基于一致性测试理论的Statechart描述的测试用例自动生成

本文研究Statechart描述的测试语义和测试用例的自动生成.基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例.本文的主要贡献在于建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础.为Statechart描述建立了形式化测试语...

Automatic Generation of Test Cases for Statechart Specification Based on the Conformance Testing Theory

This paper studies testing semantics and automatic test case generation for Statechart specification.Applying Tretmans' approach to generate test cases for I/O automata from labeled transition systems,we provide a solid mathematical basis for conformance testing and automatic test case generation for Statechart specification.We introduce formal testing semantics of Statechart specification that go beyond the semantics presented for formal verification.These observable testing semantics can be used for general application,critical application and real-time application.We also propose a formal conformance testing relation based on presenting formal semantics and test hypothesis,and provide an algorithm which,for a Statechart specification,generates a test suites.For finite-runs semantics the algorithm can generate complete test suites,and for infinite-runs semantics only sound test suite can be generated.