模型检测引导的TTCN-3测试套生成技术研究

RESEARCH ON MODEL CHECKING-GUIDED TTCN-3 TEST SUITE GENERATION TECHNOLOGY

针对软件测试的不完备性以及软件测试自动化问题,提出在测试过程中将模型检测前置于传统测试,将模型检测与测试相结合。通过分析模型检测中的形式化规约明确测试目的,并转换成TTCN-3(Testing and Test Control Notation)抽象测试套。进一步利用规约中本身存在的正例,与数据类型描述文件相关联,从而生成测试用例。分析TTCN-3开发模式,基于标签转换系统与TTCN-3行为树的等价性,提出模型检测引导的抽象测试套生成算法,并实现TTCN-3抽象测试套的自动生成。

To address the problems of incompleteness and automation of software testing,we proposed to put the model checking in ahead of the customary test in testing process,this combines the model checking with test. Through analysing the formal specification of model checking we cleared the test purpose,and converted it to TTCN-3（ testing and test control notation） abstract test suite. Further,we used the example existing in the specification to associate it with a data type description file,so as to generate test cases. By analysing the TTCN-3development mode and based on the equivalence of a labelled transition system and TTCN-3 behaviour trees,we put forward a generation algorithm of abstract test suite guided by model checking,and implemented the automatic generation of TTCN-3 abstract test suite.