基于有界模型检测的门级软件自测试方法

• 作者: 张嘉琦 张颖 江建慧 王真
• 来源期刊: 同济大学学报（自然科学版）
• 学科: 工学
• 关键词: 基于软件的自测试(SBST) 模型检测 抽象
• 年，卷（期）: 2018,（11）
• 所属期刊栏目: 电子、计算机、控制与系统
• 页码范围: 1575-1581
• 页数: 7页
• 分类号: TP302.8
• 字数: 6282字
• 语种: 中文
• DOI: 10.11908/j.issn.0253-374x.2018.11.016

摘要

提出了基于有界模型检测的门级软件自测试方法.将处理器中的模块简化成约束模块,缓解状态爆炸问题.将难测故障的触发条件逐个转化成性质并且采用有界模型检测技术,搜索触发这些性质的违例.最后,将违例映射成测试指令序列,并为测试指令序列添加观测指令序列,构成自测试程序.实验结果表明:该方法在不引起状态爆炸问题的情况下,有效地测试控制器中难以测试的故障,提高了在线测试的测试质量.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张颖	同济大学软件学院	79	525	10.0	22.0
2	江建慧	同济大学软件学院	91	680	14.0	21.0
3	王真	上海电力学院计算机科学与技术学院	11	12	2.0	2.0
4	张嘉琦	同济大学软件学院	1	1	1.0	1.0