反应式系统面向性质测试的方法框架

摘要

提出了一种反应式系统选择性测试方法．该方法根据描述待测系统的UML Statecharts模型和描述系统功能属性的时序逻辑公式生成有针对性的测试序列．据此实现了一个面向性质的测试工具．实验表明，该方法可以将测试资源集中于用户关注的系统行为．经扩展后，该方法可用于实时系统．