一种基于活动图的并发软件测试线索生成方法

• 作者: 张元平 张利武 曾一 李强 袁纲
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 测试策略 活动图 组合爆炸 测试线索
• 年，卷（期）: 2007,（12）
• 所属期刊栏目: 软件工程
• 页码范围: 286-290
• 页数: 5页
• 分类号: TP3
• 字数: 5921字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2007.12.076

摘要

分析并发软件的控制原理,提出了三个并发软件的基本测试策略.这三个策略给出了并发软件测试的基本原则:同步测试、关键覆盖和进程覆盖;接着提出了一种使用UML活动图对软件中并发控制过程建立模型图的方法;随后分析了并发软件测试难点即进程组合爆炸问题,给出了一种基于模型图生成测试线索集的方法,证明了按照生成的测试线索集测试并发软件既能解决进程组合爆炸问题,又能满足三个测试策略.通过对比得出本测试方法在易用性、适用性和稳定性等方面要优于基于状态图的测试方法;最后通过一个实例表明了应用本方法的可行性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾一	重庆大学计算机学院	76	855	14.0	25.0
2	李强	重庆大学计算机学院	43	393	11.0	18.0
3	袁纲	重庆大学计算机学院	5	68	3.0	5.0
4	张利武	重庆大学计算机学院	4	48	3.0	4.0
5	张元平	重庆大学计算机学院	5	53	3.0	5.0