基于有穷自动机的面向对象软件规约的测试

摘要：

尽管作为软件工程中面向对象的技术已逐步取代了面向过程的技术,但是测试和维护软件的费用并没有因此而减少.在面向对象软件的测试研究中,对如何减少面向对象软件的错误提出了许多方法,绝大多数人关注的是类测试面不是对面向对象规约的高级测试.该文提供了一个基于有穷自动机的测试框架来测试面向对象规约.该方法在一个可执行的有穷自动机上直接进行了测试,不用手动进行证明,并且可产生大量的状态空间.测试结果证明了该方法的有效性.

关键词：测试、有穷自动机、形式化方法、软件规约、面向对象

所属期刊栏目：33

分类号：TP311.52(计算技术、计算机技术)

在线出版日期：2007-04-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：59-61,64