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

来源：软件学报杂志2015年第2期北京时间：

作者：张一帆,黄超,欧建生,汤恩义,陈鑫

单位：张一帆，南京大学 计算机科学与技术系, 江苏 南京 210023;计算机软件新技术国家重点实验室南京大学, 江苏 南京 21002311,黄超，南京大学 计算机科学与技术系, 江苏 南京 210023;计算机软件新技术国家重点实验室南京大学, 江苏 南京 21002302,欧建生，南京大学 计算机科学与技术系, 江苏 南京 210023;计算机软件新技术国家重点实验室南京大学, 江苏 南京 21002303,汤恩义，南京大学 计算机科学与技术系, 江苏 南京 210023;计算机软件新技术国家重点实验室南京大学, 江苏 南京 21002304,陈鑫，南京大学 计算机科学与技术系, 江苏 南京 210023;计算机软件新技术国家重点实验室南京大学, 江苏 南京 21002305

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

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

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