-
题名面向测试生成的ASM模型约简研究
被引量：1
- 1
-
-
作者
杨羊
何柳柳
尚颖
李征
-
机构
北京化工大学信息科学与技术学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2018年第6期1084-1092,共9页
-
基金
国家自然科学基金(61170082
61472025
+1 种基金
61672085)
教育部新世纪优秀人才计划项目(NCET-12-0757)
-
文摘
基于模型的Web应用程序测试是软件测试的一个重要方法。ASM模型从源码解析的角度,基于Web应用程序表示层建立模型,描述了Web应用程序的交互性、动态性和低耦合性。基于ASM模型的测试用例生成,考虑用户的非预期行为,在主要路径的基础上,通过添加无效访问状态和无效迁移路径,扩充测试用例。然而,随着Web应用程序规模的扩大,无效访问状态和无效迁移路径的增加导致测试用例空间爆炸。在研究ASM模型的基础上,通过定义基于ASM模型测试生成的等价迁移和等价状态,合并迁移和状态,从而有效地对ASM模型进行约简,减少了无效访问状态和无效迁移路径的数量,实现测试用例空间约减。对一个实际Web应用程序系统的评估结果表明,基于模型约简的测试用例优化,有效约减了74.38%的测试用例空间,并且对原子段的覆盖率和错误检测数目没有产生影响。
-
关键词
ASM模型
状态空间爆炸
模型约简
测试用例空间约减
-
Keywords
ASM model
state space explosion
model reduction
test case reduction
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
