Test of Object-oriented Software Specification Based on Finite Automata
Gao Jian-hua · Jisuanji gongcheng · 2007
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 errors,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.