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

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

作　　者：苗春雨[1] 陈丽娜[2] 赵建民[2] 

机构地区：[1]浙江师范大学行知学院,浙江金华321004 [2]浙江师范大学数理与信息工程学院,浙江金华321004

出　　处：《计算机工程与科学》2011年第3期82-89,共8页Computer Engineering & Science

摘　　要：本文研究Statechart描述的测试语义和测试用例的自动生成。基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例。本文的主要贡献在于建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础。为Statechart描述建立了形式化测试语义,测试语义与传统的验证语义不同,强调可观察性和内部细节隐藏。基于形式化测试语义和测试假设,形式化定义了系统描述和系统实现之间的一致性关系/实现关系。然后给出了基于图遍历的测试用例生成算法,对于无环测试语义该算法可以生成完全测试集,而对于带环测试语义该算法可以生成高效率的宽泛测试集。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.

关 键 词：状态图 系统说明 系统实现 一致性测试 测试集 测试用例生成 形式化语义 反应系统 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]