结合C-TTCN和全局行为分析的路由协议一致性测试

以路由协议OSPF(OpenShortestPathFirst)的LSDB(LinkStateDataBase)同步过程为例 ,提出了一种测试架构 ,将C TTCN(ConcurrentTreeandTabularCombinedNo tation)测试模型和全局行为分析器融于一体 ,降低了C

基于C++语言转换的TTCN-3执行器的设计与实现

在TTCN-3标准与执行语义研究的基础上,提出一种将TTCN-3语言翻译成C++语言的转换方案.首先将TTCN-3书写的抽象测试套翻译为C++语言,在翻译语言中添加执行要素,从而生成可执行的测试套,然后执行器调度该测试套完成测试套的执行.这种方案已经应用在新设计的TTCN-3测试系统中.运行结果表明,基于C++语言转换的TTCN-3测试系统在总体性能上比编译成内存对象并执行的方式有一定的提高.

一种TTCN测试套自动生成方法研究

简要介绍了TTCN-3标准的第三部分GFT(Graphical presentation Format,图形表示格式),并且根据GFT与TTCN-3核心语言的内在关联以及标准中的语法规定设计开发了一套由图形表示格式自动生成用核心语言描述的测试套的转换工具,从而可以减少测试相关人员在测试套开发过程中的工作量。