一种针对门级电路采用有界模型检测的软件自测试方法

摘要

本发明涉及一种针对门级电路采用有界模型检测的软件自测试方法，包括：简化处理步骤，对被测模块的门级电路进行建模，同时将与所述门级电路相关的其它模块抽象简化为功能约束；违例获取步骤，将难测故障的触发条件转化为对应的性质，采用有界模型检测技术搜索触发所述性质的违例；自测试程序生成步骤，将所述违例映射为测试指令序列，并添加对应的观测指令序列，构成用于软件自测试的自测试程序。与现有技术相比，本发明在不引起状态爆炸问题的情况下，有效地测试处理器控制器中难以测试的故障，具有在线测试质量高等优点。