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

Test of Object-oriented Software Specification Based on Finite Automata

作　　者：程烨[1] 高建华[1] 

机构地区：[1]上海师范大学计算机科学与工程系,上海200234

出　　处：《计算机工程》2007年第5期59-61,64,共4页Computer Engineering

摘　　要：尽管作为软件工程中面向对象的技术已逐步取代了面向过程的技术,但是测试和维护软件的费用并没有因此而减少。在面向对象软件的测试研究中,对如何减少面向对象软件的错误提出了许多方法,绝大多数人关注的是类测试而不是对面向对象规约的高级测试。该文提供了一个基于有穷自动机的测试框架来测试面向对象规约。该方法在一个可执行的有穷自动机上直接进行了测试,不用手动进行证明,并且可产生大量的状态空间。测试结果证明了该方法的有效性。Although object-oriented（OO） software techniques gradually replace procedure-oriented programming as the mainstream in software industry, the cost of test and maintenance of OO software does not reduce. There are lots of researches on the object-oriented software test （OOT） proposed to reduce OO software en＇ors, most of them focus on the class test instead of high level test for OO specification. This paper provides a test framework based on finite automata to test the OO specification. The approach performs the test directly on an executable finite automata without manually deriving the formal proofs or generating a great deal of state spaces. The test results prove the approach is efficient.

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

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