同济大学学报(自然科学版)

作者：张颖

单位：同济大学软件学院,同济大学软件学院,同济大学软件学院,上海电力学院

关键词：基于软件的自测试(SBST), 模型检测, 抽象

基金：NSFC(61432017, 61404092)

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

来源：2018年第11期

《同济大学学报(自然科学版)》期刊编辑部

查看同济大学学报(自然科学版)杂志2018年第11期