-
题名软件运行时配置研究综述
- 1
-
-
作者
周书林
李姗姗
董威
王戟
廖湘科
-
机构
国防科技大学计算机学院
-
出处
《软件学报》
EI
CSCD
北大核心
2024年第1期63-86,共24页
-
基金
国家自然科学基金(61872373,62272473,61872375,62032019)。
-
文摘
运行时配置为用户使用软件提供了灵活性和可定制性,但其巨大的规模和复杂的机制也带来了巨大的挑战.大量学者和研究机构针对软件运行时配置展开了研究,以提升软件系统在复杂外部环境中的可用性和适应性.建立运行时配置研究分析框架,从配置分析与理解、配置缺陷检测与故障诊断、配置应用3个阶段对现有研究工作进行归类和分析,总结归纳现有研究的不足和面临的挑战,并对未来的研究趋势进行展望,对下一步研究具有一定的指导意义.
-
关键词
运行时配置
配置理解
配置缺陷检测
配置故障诊断
配置应用
-
Keywords
runtime configuration
configuration comprehension
configuration defect detection
misconfiguration diagnosis
configuration utilization
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种面向枚举类型的配置约束提取方法
被引量:1
- 2
-
-
作者
曾广福
何浩辰
周书林
-
机构
国防科技大学计算机学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2020年第4期634-640,共7页
-
基金
国家自然科学基金(61402496)。
-
文摘
有研究表明软件配置故障已成为导致计算机系统异常和崩溃的一个重要因素。配置故障是由于用户无法充分地获取配置约束的信息进行误配置造成的,由于用户缺乏软件领域知识,配置故障难以避免。因此,如何对软件配置项的约束条件进行精确的分析和提取,从而为软件配置的故障诊断与修复提供依据,具有重要的研究意义。具体而言,枚举类型作为软件系统的常用类型,其取值空间的限制经常导致系统软件配置故障。基于此系统调研了6款常用的C/C++开源软件,包括Apache Httpd、Nginx、Postfix、MySQL、Redis和PostgreSQL的枚举类型配置约束特性,并针对已有方法存在枚举类型配置项取值空间漏报的问题,基于程序分析的方法设计和实现了面向枚举类型配置的自动化配置约束提取方法,大幅提高了针对以上开源软件的配置约束提取准确率,提升了软件配置的可用性和配置故障诊断能力。
-
关键词
配置故障诊断
配置约束
枚举类型配置
-
Keywords
configuration failure diagnosis
configuration constraint
enumeration-type configuration
-
分类号
TP316.4
[自动化与计算机技术—计算机软件与理论]
-