基于有界模型检测的门级软件自测试方法
来源：同济大学学报·自然科学版杂志2018年第11期北京时间：
作者：张颖
单位：同济大学软件学院,同济大学软件学院,同济大学软件学院,上海电力学院
摘要：提出了基于有界模型检测的门级软件自测试方法.将处理器中的模块简化成约束模块，缓解状态爆炸问题.将难测故障的触发条件逐个转化成性质并且采用有界模型检测技术，搜索触发这些性质的违例.最后，将违例映射成测试指令序列，并为测试指令序列添加观测指令序列，构成自测试程序.实验结果表明：该方法在不引起状态爆炸问题的情况下，有效地测试控制器中难以测试的故障，提高了在线测试的测试质量.
关键词：基于软件的自测试(SBST), 模型检测, 抽象
基金资助：NSFC(61432017, 61404092)
