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

doi:10.3969/j.issn.1007130X.2011.

J4 ›› 2011, Vol. 33 ›› Issue (3): 82-89.doi: 10.3969/j.issn.1007130X.2011.

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

苗春雨1,陈丽娜2,赵建民2

(1.浙江师范大学行知学院,浙江金华 321004;2.浙江师范大学数理与信息工程学院,浙江金华 321004)

出版日期:2011-03-25 发布日期:2011-05-01
作者简介:苗春雨(1978),男,吉林梨树人,硕士，讲师，研究方向为计算机软件理论。陈丽娜(1978),女,吉林舒兰人,硕士,讲师，研究方向为可信计算与信号处理。赵建民(1950),男,上海人,硕士,教授,CCF会员号(E200006748s),研究方向为模式识别与图像处理。

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

MIAO Chunyu1,CHEN Lina2,ZHAO Jianmin2

(1.Xingzhi School,Zhejiang Normal University,Jinhua 321004;
2.School of Mathematics,Physics and Information Engineering,
Zhejiang Normal University,Jinhua 321004,China)

Online:2011-03-25 Published:2011-05-01

摘要/Abstract

摘要：

本文研究Statechart描述的测试语义和测试用例的自动生成。基于Tretmans的从标记转换系统描述自

动生成测试用例的方法，我们研究如何从Statechart描述自动生成测试用例。本文的主要贡献在于建立了基

于Statechart描述的一致性测试和测试用例生成的形式化基础。为Statechart描述建立了形式化测试语义，

测试语义与传统的验证语义不同，强调可观察性和内部细节隐藏。基于形式化测试语义和测试假设，形式化

定义了系统描述和系统实现之间的一致性关系/实现关系。然后给出了基于图遍历的测试用例生成算法，对

于无环测试语义该算法可以生成完全测试集，而对于带环测试语义该算法可以生成高效率的宽泛测试集。

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

Abstract:

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.

Key words: specification;implementation;conformance testing;test suite;test case generation;formal semantics;reactive system

苗春雨1,陈丽娜2,赵建民2. 基于一致性测试理论的Statechart描述的测试用例自动生成[J]. J4, 2011, 33(3): 82-89.

MIAO Chunyu1,CHEN Lina2,ZHAO Jianmin2. Automatic Generation of Test Cases for Statechart Specification Based on the Conformance Testing Theory[J]. J4, 2011, 33(3): 82-89.

[1]	陈灿, 杨兴达, 方菱. 基于决策表的AUTOSAR操作系统一致性测试研究[J]. 计算机工程与科学, 2023, 45(04): 622-629.
[2]	米磊,贲可荣. 一种基于UML状态图的规约变异测试方法[J]. J4, 2012, 34(2): 150-158.
[3]	钱雪忠，宋建生. 基于UML图和不同粒度切片的回归测试研究[J]. J4, 2012, 34(11): 124-129.
[4]	李根,卢凯，张英，卢锡城，冯华，张巍. Hunter：一种指令集体系结构无关的二进制级动态测试用例生成技术[J]. J4, 2011, 33(4): 69-74.
[5]	高建华，刘慧. 配对组合测试中参数约束问题研究[J]. J4, 2011, 33(3): 103-107.
[6]	单黎君, 朱鸿. UML的形式化描述语义[J]. J4, 2010, 32(3): 96-103.
[7]	王斌刘菲桂卫华陈松乔. 一种基于CSP的面向方面状态图形式化描述方法[J]. J4, 2008, 30(5): 41-43.
[8]	陈传波谷涛喻之斌. 引入错误级别的测试集压缩模型研究[J]. J4, 2008, 30(3): 119-122.
[9]	范炜玮苏金树彭伟. IS-IS路由协议一致性测试的研究与实现[J]. J4, 2006, 28(7): 22-24.
[10]	卓琳[1,2] 刘万伟[1] 谭庆平[2]. 一种基于场景的性质验证方法[J]. J4, 2006, 28(4): 56-59.
[11]	彭熙李艳肖德宝. 基于通信扩展有限状态机的测试集生成技术[J]. J4, 2004, 26(2): 32-35.
[12]	张颖蓓龚正虎王乐春. LDP一致性测试的研究与实现[J]. J4, 2004, 26(11): 14-16.

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

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

PDF

可视化

摘要/Abstract

引用本文

使用本文

相关文章 12

编辑推荐

Metrics

本文评价