一种面向性质的实时系统测试方法

• 作者: 李书浩 王戟 董威 齐治昌
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 软件测试 实时系统 UML Statecharts 时序逻辑 测试序列
• 年，卷（期）: 2005,（5）
• 所属期刊栏目: 学术论文
• 页码范围: 827-834
• 页数: 8页
• 分类号: TP311
• 字数: 10576字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2005.05.012

摘要

尽管Statecharts在反应式实时系统建模领域获得了广泛应用,基于Statecharts开发的实时软件的测试仍然十分困难.由于引入了时间维,待测系统的行为空间变得非常庞大,使得难以对其进行全面深入测试.本文提出了一种面向性质的实时系统测试方法.首先对UML Statecharts作适当实时扩展,使得扩展后能描述non-trivial时间约束;然后用一种受限实时逻辑描述待测系统的功能特性;在此基础上根据待测性质从系统模型生成有针对性的测试序列.实验表明,在相同测试深度下,面向性质测试比非面向性质测试需要少得多的测试序列.

作者信息

序号	姓名	单位	发文数	被引次数	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