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

• 作者: 缪淮扣 陆公正
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 测试用例约简 扩展有穷状态机 公式簇 抽象 反例引导的精化 可满足性
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: 软件技术
• 页码范围: 2236-2252
• 页数: 17页
• 分类号: TP311
• 字数: 13648字
• 语种: 中文
• DOI: 10.11897/SP.J.1016.2016.02236

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪淮扣	上海大学计算机工程与科学学院	100	1030	16.0	26.0
5	陆公正	苏州市职业大学计算机工程学院	12	7	2.0	2.0