摘要
面向对象方法已经逐步代替基于过程的方法成为软件开发的主流,然而面向对象软件的测试和维护代价却并没有因此而减少。虽然在面向对象软件测试方面做了很多的研究工作,但是大多数针对面向对象软件测试的研究都是针对单一类的测试,而不是更高层次上的对面向对象软件规约的测试。提出了一种基于有限自动机的测试框架以测试面向对象软件规约中存在的不完整性和不一致性。该方法有别于公式证明和模型检查,它直接依据可执行的有限自动机来执行测试而不是人工的推导公式证明也不产生大量的状态空间。
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.
出处
《计算机工程与设计》
CSCD
北大核心
2007年第5期1005-1006,1019,共3页
Computer Engineering and Design
关键词
软件测试
有限自动机
软件规约
完整性
一致性
sottware testing
finite automata
sottware specification
completeness
consistency