|
|||||
|
|
| 基于有界模型检测的门级软件自测试方法 | |
| 作者姓名： | 张颖 张嘉琦 王真 江建慧 |
| 作者单位： | 同济大学 软件学院, 上海 201804,同济大学 软件学院, 上海 201804,上海电力学院 计算机科学与技术学院, 上海 200090,同济大学 软件学院, 上海 201804 |
| 基金项目： | NSFC(61432017, 61404092) |
| 摘 要： | 提出了基于有界模型检测的门级软件自测试方法.将处理器中的模块简化成约束模块,缓解状态爆炸问题.将难测故障的触发条件逐个转化成性质并且采用有界模型检测技术,搜索触发这些性质的违例.最后,将违例映射成测试指令序列,并为测试指令序列添加观测指令序列,构成自测试程序.实验结果表明:该方法在不引起状态爆炸问题的情况下,有效地测试控制器中难以测试的故障,提高了在线测试的测试质量. |
| 关 键 词： | 基于软件的自测试(SBST) 模型检测 抽象 |
| 收稿时间： | 2017-12-29 |
| 修稿时间： | 2018-09-13 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《同济大学学报(自然科学版)》浏览原始摘要信息 | |
| 点击此处可从《同济大学学报(自然科学版)》下载免费的PDF全文 | |