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

• 作者: 苗春雨 赵建民 陈丽娜
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 状态图 系统说明 系统实现 一致性测试 测试集 测试用例生成 形式化语义 反应系统
• 年，卷（期）: 2011,（3）
• 所属期刊栏目: 软件工程
• 页码范围: 82-89
• 分类号: TP311
• 字数: 8365字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2011.03.016

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵建民	浙江师范大学数理与信息工程学院	121	1027	18.0	25.0
2	苗春雨	浙江师范大学行知学院	19	118	6.0	10.0
3	陈丽娜	浙江师范大学数理与信息工程学院	17	88	5.0	9.0