抽象精化和可满足性结合的EFSM 模型测试用例优化生成

摘要：

基于模型的测试是测试自动化的重要手段，通常采用模型检验技术从系统模型自动生成测试用例集，但生成的测试用例集往往存在冗余，这将影响测试用例执行的性能和成本。该文以扩展有限状态机（Extended Finite Machine，EFSM）为建模工具，根据公式簇建立状态等价关系，构建抽象模型，采用模型检验技术生成抽象反例（测试用例）；给出了判定生成的抽象反例是否为伪反例的方法；采用反例引导的方法精化抽象模型，删除伪反例；最后，使用我们之前提出的基于可满足性的测试用例生成方法在抽象模型上生成约简的测试用例集。实验表明：该方法的测试用例数目约简比例最高达76％（警报侦测组件 EFSM），总长度约简比例最高达68％（ATM EFSM），同时不会影响测试用例集的迁移覆盖率和查错能力。

关键词：测试用例约简、扩展有穷状态机、公式簇、抽象、反例引导的精化、可满足性

所属期刊栏目：39

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金61170044，61572306;上海市重点学科建设项目基金J50153;苏州市职业大学预研基金SVU2015YY01

在线出版日期：2016-11-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共17页

页码：2236-2252