期刊文献+

自动生成测试用例的方法设计及实现 被引量:2

Design and Realization of Automatic Generation Test Case
下载PDF
导出
摘要 为了实现软件测试用例的自动生成,提高软件开发效率和软件质量,目前很多方法都是针对有限状态机自动生成测试用例进行介绍,而在本文中根据扩展有限状态机对象状态迁移的特点,利用扩展有限状态机模型,提出了扩展有限状态机自动生成测试用例的测试方法,并应用于自动售货机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)
关键词 扩展有限状态机 自动 软件测试 测试用例:自动售货机 EFSM automatic software test test case Coinboxl
  • 相关文献

参考文献1

二级参考文献3

  • 1H Ural,Saleh,W Williams.Test Generation Based on Control and Data Dependencies Within System Specification in SDL[J].Computer Communications,2000,23(7):609-627.
  • 2R Dssouli,K Saleh,E Aboulhamid,et al.Test Development for Communication Protocols:Towards Automation[J].Computer Networks,1999,31(17):1835-1872.
  • 3D Kung,N Suchak,P Hsia,et al.On Object State Testing[A].Proc of COMPSAC '94[C].1994.222-227.

共引文献2

同被引文献21

引证文献2

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部