10.3969/j.issn.1007-130X.2020.04.009
一种面向枚举类型的配置约束提取方法
有研究表明软件配置故障已成为导致计算机系统异常和崩溃的一个重要因素.配置故障是由于用户无法充分地获取配置约束的信息进行误配置造成的,由于用户缺乏软件领域知识,配置故障难以避免.因此,如何对软件配置项的约束条件进行精确的分析和提取,从而为软件配置的故障诊断与修复提供依据,具有重要的研究意义.具体而言,枚举类型作为软件系统的常用类型,其取值空间的限制经常导致系统软件配置故障.基于此系统调研了6款常用的C/C++开源软件,包括Apache Httpd、Nginx、Postfix、MySQL、Redis和PostgreSQL的枚举类型配置约束特性,并针对已有方法存在枚举类型配置项取值空间漏报的问题,基于程序分析的方法设计和实现了面向枚举类型配置的自动化配置约束提取方法,大幅提高了针对以上开源软件的配置约束提取准确率,提升了软件配置的可用性和配置故障诊断能力.
配置故障诊断、配置约束、枚举类型配置
42
TP316.4(计算技术、计算机技术)
国家自然科学基金61402496
2020-05-07(万方平台首次上网日期,不代表论文的发表时间)
共7页
634-640