基于一致性测试理论的Statechart描述的测试用例自动生成
【出 处】:《
计算机工程与科学
》
CSCD
2011年第33卷第3期 82-89页,共8页
【作 者】:
苗春雨
[1] ;
陈丽娜
[2] ;
赵建民
[2]
【摘 要】
本文研究Statechart描述的测试语义和测试用例的自动生成。基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例。本文的主要贡献在于建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础。为Statechart描述建立了形式化测试语义,测试语义与传统的验证语义不同,强调可观察性和内部细节隐藏。基于形式化测试语义和测试假设,形式化定义了系统描述和系统实现之间的一致性关系/实现关系。然后给出了基于图遍历的测试用例生成算法,对于无环测试语义该算法可以生成完全测试集,而对于带环测试语义该算法可以生成高效率的宽泛测试集。
相关热词搜索: