Testing the completeness and consistency of object-oriented software specification

Zhu Lianzhang,Zhang Mingqi
2006-01-01
Abstract:Formal proof system and static analysis technique are main methods for verifying the consistency and completeness of procedure-oriented programs. But when extend them to apply to object-oriented software specification testing, many problems exist. So the paper provides a testing framework based on finite automata to test the inconsistency and incompleteness of OO specification. The approach differs from formal proofs and model checking.
What problem does this paper attempt to address?