%0 Journal Article
%T 设备驱动程序可靠性和正确性保障方法与技术研究进展
%A 张一帆？
%A 黄超？
%A 欧建生？
%A 汤恩义？
%A 陈鑫？
%J 软件学报
%P 239-253
%D 2015
%R 10.13328/j.cnki.jos.004778
%X 随着计算机技术的不断发展,计算机系统在安全攸关领域得到了广泛应用,其中的软件系统正逐渐成为重要的使能部件.在计算机系统中,设备驱动程序扮演了软件与硬件设备之间桥梁的角色.由于与计算机平台、操作系统、设备3个方面同时关联所导致的复杂性,设备驱动程序的开发难度大、成本高,程序中所存在的错误和缺陷常常导致系统失效,在安全攸关领域造成不可挽回的损失.以设备驱动程序可靠性和正确性保障为目标,分别从故障的隔离与恢复、正确性分析和验证、设计建模与复杂性控制这3个方面对当前相关方法和技术进行分析,为开展进一步深入的研究工作打下基础.
%K 安全攸关软件系统
%K 设备驱动程序
%K 可靠性
%K 正确性
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4778&flag=1