| 从Rose的规约文件自动生成测试用例 |
| |
| 引用本文： | 张毅坤,施凤鸣. 从Rose的规约文件自动生成测试用例[J]. 计算机应用, 2003, 23(12): 12-15 |
| |
| 作者姓名： | 张毅坤 施凤鸣 |
| |
| 作者单位： | 西安理工大学,计算机科学与工程学院,陕西,西安,710048 |
| |
| 基金项目： | 陕西省教育厅科研基金项目 (0 0JK2 6 5) |
| |
| 摘 要： | 对基于状态的类测试用例自动生成进行了研究，重点放在状态预测和测试消息序列生成上：类的动态行为用uML的状态图表示，测试时直接从Rational Rose的规约文件中读取状态图规约生成测试消息序列；对状态的预测使用状态不变量；生成消息序列时对算法进行优化，减少消息序列的冗余，从而缩短消息序列的路径长度。
|
| 关 键 词： | 面向对象 基于状态的测试 测试用例 UML 状态图 有限状态机 |
| 文章编号： | 1001-9081(2003)12-0012-04 |
| 修稿时间： | 2003-07-02 |
Automatic Test Cases Generation from Rational Rose Specification Files |
| |
| ZHANG Yi-kun,SHI Feng-ming. Automatic Test Cases Generation from Rational Rose Specification Files[J]. Journal of Computer Applications, 2003, 23(12): 12-15 |
| |
| Authors: | ZHANG Yi-kun SHI Feng-ming |
| |
| Abstract: | This paper probed into the automatic test cases generation of state-based class testing, emphasizing test sequences generation and state prediction. The dynamic behaviours of a class was modeled by UML statechart, and the test sequences were directly generated from state information in Rational Rose specification files. State invariants were used for the state prediction. The test sequences generation algorithm was optimized to trim the redundancy of the test sequences, thereby the length of the test sequences was shortened. ' |
| |
| Keywords: | Object-Oriented state-based testing test cases UML state diagram FSM |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
