摘要
提出了一种反应式系统选择性测试方法 .该方法根据描述待测系统的UMLStatecharts模型和描述系统功能属性的时序逻辑公式生成有针对性的测试序列 .据此实现了一个面向性质的测试工具 .实验表明 ,该方法可以将测试资源集中于用户关注的系统行为 .经扩展后 ,该方法可用于实时系统 .
A selective testing method for reactive systems is presented.UML Statecharts is employed to model the system under test (SUT) and temporal logic is used to specify the functional property.Then targeted test sequences are derived from the model according to the given property.This method has been implemented in a property-oriented testing tool.Experimental results show that testing efforts can be focused on behaviors of interest of the SUT.With the appropriate extensions,this method can also be applied to real-time systems.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2004年第F12期222-225,共4页
Acta Electronica Sinica
基金
国家自然科学基金 (No .60 2 330 2 0
No.90 1 0 4 0 0 7
No .60 30 30 1 3)
国家 863项目 (No .2 0 0 1AA1 1 32 0 2
No.2 0 0 1AA1 1 31 90 )
武汉大学软件工程国家重点实验室开放基金 (No .SKLSE0 3 - 0 8)
国防科技大学计算机学院基金"基于构件的软件开发
