一种面向枚举类型的配置约束提取方法

A configuration constraint extraction method for enumeration type

有研究表明软件配置故障已成为导致计算机系统异常和崩溃的一个重要因素。配置故障是由于用户无法充分地获取配置约束的信息进行误配置造成的,由于用户缺乏软件领域知识,配置故障难以避免。因此,如何对软件配置项的约束条件进行精确的分析和提取,从而为软件配置的故障诊断与修复提供依据,具有重要的研究意义。具体而言,枚举类型作为软件系统的常用类型,其取值空间的限制经常导致系统软件配置故障。基于此系统调研了6款常用的C/C++开源软件,包括Apache Httpd、Nginx、Postfix、MySQL、Redis和PostgreSQL的枚举类型配置约束特性,并针对已有方法存在枚举类型配置项取值空间漏报的问题,基于程序分析的方法设计和实现了面向枚举类型配置的自动化配置约束提取方法,大幅提高了针对以上开源软件的配置约束提取准确率,提升了软件配置的可用性和配置故障诊断能力。

It is reported that software configuration failure has become an important factor causing computer system anomalies and crashes. Configuration failures are caused by users’ misconfigurations due to their inability to adequately obtain configuration constraint information. Because users lack software domain knowledge, configuration failures are difficult to avoid. Therefore, how to accurately analyze and extract the constraints of software configuration items to provide a basis for software configuration fault diagnosis and repair has important research significance. Specifically, enumeration is a common type of software systems, and the limitation of its value space often causes the system software configuration failure. This paper systematically investigates the enumeration type configuration constraints of six commonly used C/C++ open source software including Apache Httpd, Nginx, Postfix, MySQL, Redis, and PostgreSQL. Aiming at the problem that the value spaces of enumeration type configuration items are underreported in the previous methods, based on the program analysis method, an automatic configuration constraint extraction method for enumeration type configuration is designed and implemented. This method greatly improves the accuracy of the configuration constraint extraction of the above open source software, and improves the availability of the software configuration, and the diagnosibility of configuration failure.