摘要:
有研究表明软件配置故障已成为导致计算机系统异常和崩溃的一个重要因素。配置故障是由于用户无法充分地获取配置约束的信息进行误配置造成的,由于用户缺乏软件领域知识,配置故障难以避免。因此,如何对软件配置项的约束条件进行精确的分析和提取,从而为软件配置的故障诊断与修复提供依据,具有重要的研究意义。具体而言,枚举类型作为软件系统的常用类型,其取值空间的限制经常导致系统软件配置故障。基于此系统调研了6款常用的 C/C++ 开源软件,包括 Apache Httpd、Nginx、Postfix、MySQL、Redis 和 PostgreSQL的枚举类型配置约束特性,并针对已有方法存在枚举类型配置项取值空间漏报的问题,基于程序分析的方法设计和实现了面向枚举类型配置的自动化配置约束提取方法,大幅提高了针对以上开源软件的配置约束提取准确率,提升了软件配置的可用性和配置故障诊断能力。
曾广福,何浩辰,周书林. #br# 一种面向枚举类型的配置约束提取方法[J]. 计算机工程与科学.
ZENG Guang-fu,HE Hao-chen,ZHOU Shu-lin.
A configuration constraint extraction
method for enumeration type
[J]. Computer Engineering & Science.