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

计算机科学 ›› 2007, Vol. 34 ›› Issue (12): 286-290.

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

曾一张利武张元平袁纲李强

重庆大学计算机学院,重庆400044

出版日期:2018-11-16 发布日期:2018-11-16

ZENG Yi ZHANG Li-Wu ZHANG Yuan-Ping YUAN Gang LI Qiang （College of Computer Science, Chongqing University, Chongqing 400044）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

关键词: 测试策略活动图组合爆炸测试线索

Abstract: Three basic concurrent software test strategies are proposed after the principle of concurrent control is analyzed. These three strategies give out the basic principles of concurrent software test： synchronization cover, key method cover and threads cover

Key words: Test strategy, Activity diagram, Combination explosion, Test sequence

曾一张利武张元平袁纲李强. 一种基于活动图的并发软件测试线索生成方法[J]. 计算机科学, 2007, 34(12): 286-290. https://doi.org/

ZENG Yi ZHANG Li-Wu ZHANG Yuan-Ping YUAN Gang LI Qiang （College of Computer Science, Chongqing University, Chongqing 400044）. [J]. Computer Science, 2007, 34(12): 286-290. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed