设备驱动程序可靠性和正确性保障方法与技术研究进展

作     者：张一帆 黄超 欧建生 汤恩义 陈鑫 ZHANG Yi-Fan;HUANG Chao;OU Jian-Sheng;TANG En-Yi;CHEN Xin

作者机构：南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学)江苏南京210023 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2015年第26卷第2期

页      面：239-253页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家重点基础研究发展计划(973)(2014CB340703) 国家自然科学基金(91318301 91118002 61321491 61402222) 教育部高等学校博士学科点专项科研基金(20110091120058) 江苏省产学研项目(BY2014126-03) 

主　　题：安全攸关软件系统 设备驱动程序 可靠性 正确性 

摘      要：随着计算机技术的不断发展,计算机系统在安全攸关领域得到了广泛应用,其中的软件系统正逐渐成为重要的使能部件.在计算机系统中,设备驱动程序扮演了软件与硬件设备之间桥梁的角色.由于与计算机平台、操作系统、设备3个方面同时关联所导致的复杂性,设备驱动程序的开发难度大、成本高,程序中所存在的错误和缺陷常常导致系统失效,在安全攸关领域造成不可挽回的损失.以设备驱动程序可靠性和正确性保障为目标,分别从故障的隔离与恢复、正确性分析和验证、设计建模与复杂性控制这3个方面对当前相关方法和技术进行分析,为开展进一步深入的研究工作打下基础.