基于代数式规范的变异测试方法的设计与实现

• 作者: 陆毅明
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 软件测试 变异测试 代数式规范 变异操作符 变异体
• 年，卷（期）: 2009,（2）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 111-113
• 页数: 3页
• 分类号: TP3
• 字数: 2142字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2009.02.038

摘要

软件测试是软件工程中保证软件产品质量的重要组成部分.变异测试是一种衡量测试用例集完备性的测试策略,也被用于生成完备的测试用例集.为了提出一种基于代数式规范的新的变异测试方法,为此设计了12类针对代数式规范的变异操作符,对5个代数式规范进行了实验,并进行了结果分析.结果表明基于代数式规范的变异测试方法相比基于代码的传统变异测试方法,生成更少的变异体,也大幅度提升了变异测试的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆毅明	上海交通大学软件学院计算机应用与技术系	1	4	1.0	1.0