| 一种基于活动图的并发软件测试线索生成方法 |
| |
| 引用本文： | 曾一,张利武,张元平,袁纲,李强.一种基于活动图的并发软件测试线索生成方法[J].计算机科学,2007,34(12):286-290. |
| |
| 作者姓名： | 曾一 张利武 张元平 袁纲 李强 |
| |
| 作者单位： | 重庆大学计算机学院,重庆,400044 |
| |
| 摘 要： | 分析并发软件的控制原理，提出了三个并发软件的基本测试策略。这三个策略给出了并发软件测试的基本原则：同步测试、关键覆盖和进程覆盖；接着提出了一种使用UML活动图对软件中并发控制过程建立模型图的方法；随后分析了并发软件测试难点即进程组合爆炸问题，给出了一种基于模型图生成测试线索集的方法，证明了按照生成的测试线索集测试并发软件既能解决进程组合爆炸问题，又能满足三个测试策略。通过对比得出本测试方法在易用性、适用性和稳定性等方面要优于基于状态图的测试方法；最后通过一个实例表明了应用本方法的可行性和有效性。
|
| 关 键 词： | 测试策略 活动图 组合爆炸 测试线索 |
Activity Diagram-based Method to Generate Test Sequence of Concurrent Software |
| |
| ZENG Yi ZHANG Li-Wu ZHANG Yuan-Ping YUAN Gang LI Qiang.Activity Diagram-based Method to Generate Test Sequence of Concurrent Software[J].Computer Science,2007,34(12):286-290. |
| |
| Authors: | ZENG Yi ZHANG Li-Wu ZHANG Yuan-Ping YUAN Gang LI Qiang |
| |
| Abstract: | |
| |
| Keywords: | Test strategy Activity diagram Combination explosion Test sequence |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
