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

• 作者: 何浩辰 周书林 曾广福
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 配置故障诊断 配置约束 枚举类型配置
• 年，卷（期）: 2020,（4）
• 所属期刊栏目: 软件工程
• 页码范围: 634-640
• 页数: 7页
• 分类号: TP316.4
• 字数: 4823字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2020.04.009

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾广福	国防科技大学计算机学院	3	1	1.0	1.0
2	何浩辰	国防科技大学计算机学院	1	0	0.0	0.0
3	周书林	国防科技大学计算机学院	1	0	0.0	0.0