| UML 2.0通信图的一种测试用例生成方法 |
| |
| 引用本文： | 张峻,张广泉,王辉,戴晔.UML 2.0通信图的一种测试用例生成方法[J].苏州大学学报(医学版),2007,23(2):36-42. |
| |
| 作者姓名： | 张峻 张广泉 王辉 戴晔 |
| |
| 作者单位： | [1]苏州大学计算机科学与技术学院,江苏苏州215006 [2]苏州市软件评测中心,江苏苏州215021 |
| |
| 基金项目： | 江苏省高校自然科学基金;重庆市自然科学基金 |
| |
| 摘 要： | 提出了一种UML2.0通信图生成测试用例的方法.首先根据通信图构建一棵通信树,利用后序遍历了所构造的树,从通信图中选择条件断言,然后转换条件断言并通过求解函数最小值的方法来生成测试用例.该测试用例满足消息路径覆盖和边界覆盖.
|
| 关 键 词： | 通信图 软件测试 测试用例 |
| 文章编号： | 1000-2073(2007)02-0036-07 |
| 修稿时间： | 2006年11月22 |
A test cases generation method for UML 2.0 communication diagram |
| |
| Zhang Jun,Zhang Guangquan,Wang Hui,Dai Ye.A test cases generation method for UML 2.0 communication diagram[J].Journal of Suzhou University(Natural Science),2007,23(2):36-42. |
| |
| Authors: | Zhang Jun Zhang Guangquan Wang Hui Dai Ye |
| |
| Abstract: | A test cases generation method for UML 2.0 communication diagram is presented.The method first constructs a communication tree according to communication diagram and carrys out a preorder traversal of the constructed tree for selecting conditional predicates.The method transforms the conditional predicates and applies function minimization technique to generate the test cases.The generated test cases achieve message paths coverage as well as boundary coverage. |
| |
| Keywords: | UML 2 0 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
