消息传递并行程序的弱变异测试及其转化?

• 作者: 巩敦卫 田甜 陈永伟
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 消息传递 并行程序 变异测试 弱变异测试 转化 变异条件语句
• 年，卷（期）: 2016,（8）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 2008-2024
• 页数: 17页
• 分类号: TP311
• 字数: 13707字
• 语种: 中文

摘要

并行程序执行的不确定性，增加了测试的复杂性和难度。研究消息传递并行程序的变异测试，提出其弱变异测试转化方法，以提高该程序变异测试的效率。首先，根据消息传递并行程序包含语句的类型和语句变异之后导致的变化构建相应的变异条件语句；然后，将构建好的所有变异条件语句插入到原程序中，形成新的被测程序，从而将原程序的弱变异测试问题转化为新程序的分支覆盖问题。这样做的好处是，能够利用已有的分支覆盖方法解决变异测试问题。将该方法应用于8个典型的消息传递并行程序测试中，实验结果表明，该方法不但是可行的，也是必要的。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	巩敦卫	中国矿业大学信息与电气工程学院	117	1590	22.0	32.0
2	陈永伟	中国矿业大学信息与电气工程学院	1	8	1.0	1.0
3	田甜	山东建筑大学计算机科学与技术学院	6	23	2.0	4.0