本文已被：浏览 1825次 下载 5050次
Received:January 08, 2011 Revised:February 16, 2011
Received:January 08, 2011 Revised:February 16, 2011
中文摘要: 为了实现软件测试用例的自动生成,提高软件开发效率和软件质量,目前很多方法都是针对有限状态机自动生成测试用例进行介绍,而在本文中根据扩展有限状态机对象状态迁移的特点,利用扩展有限状态机模型,提出了扩展有限状态机自动生成测试用例的测试方法,并应用于自动售货机Coinbox 类软件测试中.
Abstract:A method of testing case generation based on state transfer is proposed. Extended Finite State Machine is selected as the testing model. Combined with regular expression, this method passes state transfer according to test demand, and gains test case. It has been applied to the software test of control system.
keywords: EFSM automatic software test test case Coinboxl
文章编号： 中图分类号： 文献标志码：
基金项目:安徽省教育厅自然科学基金(2005KJ004ZD)
| Author Name | Affiliation |
| ZHANG Yan | Jiangsu Automation Research Institute, Lianyungang 222006, China |
| Author Name | Affiliation |
| ZHANG Yan | Jiangsu Automation Research Institute, Lianyungang 222006, China |
引用文本：
张岩.自动生成测试用例的方法设计及实现.计算机系统应用,2011,20(9):238-240,126
ZHANG Yan.Design and Realization of Automatic Generation Test Case.COMPUTER SYSTEMS APPLICATIONS,2011,20(9):238-240,126
张岩.自动生成测试用例的方法设计及实现.计算机系统应用,2011,20(9):238-240,126
ZHANG Yan.Design and Realization of Automatic Generation Test Case.COMPUTER SYSTEMS APPLICATIONS,2011,20(9):238-240,126
