Automatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm

摘要: This paper studies automatic test cases generation for Statechart specifications. Applying Tretmans’ approach to generate from labeled transition systems, we provide a solid mathematical basis conformance testing and case In order make the process more simple efficient, propose observable semantics as suitable model describing behavior subset of specification, which is different complete used specification verification checking. Then describe how use this not only reactive systems but also critical systems. We formal relation based on presented hypothesis, an algorithm which, generates suite. For specifications with graph can suite, tree cost-efficient sound suite be generated.