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

• 作者: 李书浩 王戟 董威 齐治昌
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 软件测试 反应式系统 UML Statecharts 时序逻辑
• 年，卷（期）: 2004,（z1）
• 页码范围: 222-225
• 分类号: TP311
• 字数: 5098字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王戟	国防科技大学计算机学院	41	880	14.0	29.0
2	齐治昌	国防科技大学计算机学院	42	432	12.0	19.0
3	董威	国防科技大学计算机学院	25	165	6.0	12.0
7	李书浩	国防科技大学计算机学院	6	29	3.0	5.0