| 基于扩展有限状态机的类测试用例生成方法 |
| |
| 引用本文： | 郭朝彬,郭永红,郭红涛.基于扩展有限状态机的类测试用例生成方法[J].华北水利水电学院学报,2006,27(3):52-54. |
| |
| 作者姓名： | 郭朝彬 郭永红 郭红涛 |
| |
| 作者单位： | [1]华北水利水电学院,河南郑州450011 [2]中兴通讯股份有限公司,江苏南京210012 |
| |
| 摘 要： | 为了实现软件测试用例的自动生成,提高软件开发效率和软件质量,利用扩展的有限状态机模型(EF-SM)和数据流分析方法,对类、类的消息传递和类状态变化进行了分析和研究,提出了一种基于扩展有限状态机模型的类测试用例集的生成算法.此算法能自动生成满足All_use路径覆盖标准的测试用例集,并能保证测试用例的路径长度最短.
|
| 关 键 词： | 类单元测试 扩展有限状态机 定义-使用路径 测试用例 |
| 文章编号： | 1002-5634（2006）03-0052-03 |
| 收稿时间： | 2006-03-30 |
| 修稿时间： | 2006-05-10 |
Method of Class Test Case Generating Based on EFSM |
| |
| GUO Chao-bin, GUO Yong-hong, GUO Hong-tao.Method of Class Test Case Generating Based on EFSM[J].Journal of North China Institute of Water Conservancy and Hydroelectric Power,2006,27(3):52-54. |
| |
| Authors: | GUO Chao-bin GUO Yong-hong GUO Hong-tao |
| |
| Affiliation: | 1. North China Institute of Water Conservancy and Hydroelectric Power, Zhengzhou 450011, China; 2. Zhongxing Communieation Corporation, Nanjing 210012, China |
| |
| Abstract: | Enhancing the efficiency of software development and quality of software products necessarily requires software test automation. Automating software test lies in the automatic generation of test cases. The module extending finite state machines and data flow analysis method are used to analyze class, message of class and object state transferring. As a result, based on extending finite state machines, generation algorithm of class test cases is given. The algorithm can automatically generate test cases set that can satisfy All-use path rule and make path length shortest. |
| |
| Keywords: | class unit test extended finite state machine define-use path test case |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
