Testing object-oriented software specification based on finite automata
Zhang Ming-qi · Jisuanji gongcheng yu sheji · 2007
Object-oriented(OO) 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 OO specification.The ap-proach 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.