Formal Derivation of Finite State Machines for Class Testing

摘要: Previous work on generating state machines for the purpose of class testing has not been formally based. There also deriving from formal specifications non-object-oriented software. We build this by presenting a method machine purposes specification under test. show how resulting can be used as basis test suite developed and executed using an existing framework testing. To derive machine, we identify states possible interactions operations The Test Template Framework is to Object-Z transitions finite are calculated derived class's operations. transformed ClassBench testgraph, which input C++ implementation class. illustrated simple bounded queue example.