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

• 作者: 张一帆 欧建生 汤恩义 陈鑫 黄超
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 安全攸关软件系统 设备驱动程序 可靠性 正确性
• 年，卷（期）: 2015,（2）
• 页码范围: 239-253
• 页数: 15页
• 分类号: TP311
• 字数: 17882字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004778

摘要

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