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

Testing object-oriented software specification based on finite automata

作　　者：朱连章[1] 张茗淇[1] 

机构地区：[1]中国石油大学计算机与通信工程学院,山东东营257061

出　　处：《计算机工程与设计》2007年第5期1005-1006,1019,共3页Computer Engineering and Design

摘　　要：面向对象方法已经逐步代替基于过程的方法成为软件开发的主流,然而面向对象软件的测试和维护代价却并没有因此而减少。虽然在面向对象软件测试方面做了很多的研究工作,但是大多数针对面向对象软件测试的研究都是针对单一类的测试,而不是更高层次上的对面向对象软件规约的测试。提出了一种基于有限自动机的测试框架以测试面向对象软件规约中存在的不完整性和不一致性。该方法有别于公式证明和模型检查,它直接依据可执行的有限自动机来执行测试而不是人工的推导公式证明也不产生大量的状态空间。Object-oriented （00） software techniques have gradually replaced procedure-oriented programming as the mainstream of software industry. However the cost of testing and maintenance of OO software did not reduce as it is. Although there are a lot of researches on OO software testing, most of them are focused on the single class testing instead of high level testing for OO specification. A testing framework based on finite automata is presented for testing the inconsistency and incompleteness of O0 specification. The approach differs from formal proofs and model checking. It performs testing directly on executable finite automata without manually deriving formal proofs or generating a great deal of state spaces.

关 键 词：软件测试 有限自动机 软件规约 完整性 一致性 

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