自动生成测试用例的方法设计及实现  

Design and Realization of Automatic Generation Test Case

作　　者：张岩[1] 

机构地区：[1]江苏自动化研究所,连云港222006

出　　处：《计算机系统应用》2011年第9期238-240,126,共4页Computer Systems & Applications

基　　金：安徽省教育厅自然科学基金(2005KJ004ZD)

摘　　要：为了实现软件测试用例的自动生成,提高软件开发效率和软件质量,目前很多方法都是针对有限状态机自动生成测试用例进行介绍,而在本文中根据扩展有限状态机对象状态迁移的特点,利用扩展有限状态机模型,提出了扩展有限状态机自动生成测试用例的测试方法,并应用于自动售货机Coinbox类软件测试中。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.

关 键 词：扩展有限状态机 自动 软件测试 测试用例:自动售货机 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]