摘要
为了实现软件测试用例的自动生成,提高软件开发效率和软件质量,目前很多方法都是针对有限状态机自动生成测试用例进行介绍,而在本文中根据扩展有限状态机对象状态迁移的特点,利用扩展有限状态机模型,提出了扩展有限状态机自动生成测试用例的测试方法,并应用于自动售货机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.
出处
《计算机系统应用》
2011年第9期238-240,126,共4页
Computer Systems & Applications
基金
安徽省教育厅自然科学基金(2005KJ004ZD)
