面向测试生成的ASM模型约简研究

• 作者: 何柳柳 尚颖 李征 杨羊
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: ASM模型 状态空间爆炸 模型约简 测试用例空间约减
• 年，卷（期）: 2018,（6）
• 所属期刊栏目: 软件工程
• 页码范围: 1084-1092
• 页数: 9页
• 分类号: TP311.5
• 字数: 7882字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2018.06.017

摘要

基于模型的Web应用程序测试是软件测试的一个重要方法.ASM模型从源码解析的角度,基于Web应用程序表示层建立模型,描述了Web应用程序的交互性、动态性和低耦合性.基于ASM模型的测试用例生成,考虑用户的非预期行为,在主要路径的基础上,通过添加无效访问状态和无效迁移路径,扩充测试用例.然而,随着Web应用程序规模的扩大,无效访问状态和无效迁移路径的增加导致测试用例空间爆炸.在研究ASM模型的基础上,通过定义基于ASM模型测试生成的等价迁移和等价状态,合并迁移和状态,从而有效地对ASM模型进行约简,减少了无效访问状态和无效迁移路径的数量,实现测试用例空间约减.对一个实际Web应用程序系统的评估结果表明,基于模型约简的测试用例优化,有效约减了74.38％的测试用例空间,并且对原子段的覆盖率和错误检测数目没有产生影响.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李征	北京化工大学信息科学与技术学院	23	151	8.0	11.0
2	尚颖	北京化工大学信息科学与技术学院	12	61	3.0	7.0
3	何柳柳	北京化工大学信息科学与技术学院	2	1	1.0	1.0
4	杨羊	北京化工大学信息科学与技术学院	2	1	1.0	1.0