论文部分内容阅读
复杂反应式系统通常包含大量行为,因此难以对它们进行全面而深入的测试.本文提出了一种用于反应式系统的选择性测试方法,对于描述待测系统的UMLStatecharts模型,根据描述系统功能特性的时序逻辑公式生成有针对性的测试序列.据此实现了一个面向性质的选择性测试工具.实验表明,该方法可以将测试资源集中于用户感兴趣的系统行为,通常只需测试系统整个行为空间中的一小部分.该方法经过扩展后可用于反应式实时系统.