针对存储为主的模块的一种软件模型检测方法

摘要：

本文结合某可靠性苛求模块检测的实际需求，抽象出存储为主的模块的概念和特点，并在其基础上分析了BMC方法的适用性，给出了以BMC为核心的针对存储为主的模块的优化检测方法及其实现。最后以测试数据说明了其有效性。

关键词： 有界模型检测器 存储模块 优化分析 功能验证

作者: 王舜 杜晔 韩臻

作者单位: 北京交通大学计算机与信息技术学院

会议类型: 国内会议

会议名称: 第二十四届全国信息保密学术会议(IS2014)

会议地点: 吉林

会议语种:中文

页码: 295-300

在线出版日期: 2014-09-16（万方平台首次上网日期，不代表论文的发表时间）