| 基于UML状态图的类测试用例自动生成方法 |
| |
| 引用本文： | 张毅坤,施凤鸣,姚全珠,刘军,付长龙.基于UML状态图的类测试用例自动生成方法[J].计算机工程,2003,29(21):91-93. |
| |
| 作者姓名： | 张毅坤 施凤鸣 姚全珠 刘军 付长龙 |
| |
| 作者单位： | 西安理工大学计算机科学与工程学院,西安,710048 |
| |
| 基金项目： | 陕西省教育厅科研基金资助项目（00JK265） |
| |
| 摘 要： | UML作为面向对象软件开发的事实上的标准建模语言，近年来得到了广泛的应用，基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合，提出了一种基于UML状态图的类的测试用例自动生成方法。
|
| 关 键 词： | 统一建模语言 状态图 扩展的有限状态机 基于规约的测试 测试用例生成 唯一输入输出 |
| 文章编号： | 1000-3428(2003)21-0091-03 |
| 修稿时间： | 2003年1月7日 |
Automatic Generation Method of Class Test Cases Based on UML State Diagrams |
| |
| ZHANG Yikun,SHI Fengming,YAO Quanzhu,LIU Jun,FU Changlong.Automatic Generation Method of Class Test Cases Based on UML State Diagrams[J].Computer Engineering,2003,29(21):91-93. |
| |
| Authors: | ZHANG Yikun SHI Fengming YAO Quanzhu LIU Jun FU Changlong |
| |
| Abstract: | This paper presents a automatic test case generation method of state -based class test which combines EFSM-based UIO method with state diagrams of UM L. First state diagrams is flattened to a EFSM,second test cases are generated by applying UIO method to the EFSM. |
| |
| Keywords: | UML State diagrams Extented finite state machine(EFSM) Specifica tion-based test Test case generation Unique input output (UIO) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
