计算机应用与软件2016，Vol.33Issue(3)：10-13,26,5.DOI:10.3969/j.issn.1000-386x.2016.03.003
模型检测引导的 TTCN-3测试套生成技术研究
RESEARCH ON MODEL CHECKING-GUIDED TTCN-3 TEST SUITE GENERATION TECHNOLOGY
摘要
Abstract
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-3 development 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.关键词
软件测试/模型检测/TTCN-3/测试套/μ演算Key words
Software testing/Model checking/TTCN-3 test suite/μ-calculus分类
信息技术与安全科学引用本文复制引用
孙晶,金晓文..模型检测引导的 TTCN-3测试套生成技术研究[J].计算机应用与软件,2016,33(3):10-13,26,5.基金项目
国家自然科学基金项目（61070030，61370051）；北京市教委人才创新团队计划项目 （）
