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

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

在C语言中集合类型数据的定义及集合运算的实现

本文主要讨论了在C语言中集合类型数据的定义,并实现了集合的一些常用运算。

MySQL的数据类型和建库策略

无论是在小得可怜的免费数据库空间或是大型电子商务网站，合理的设计表结构＼充分利用空间是十分必要的．这就要求我们对数据库系统的常用数据类型有充分的认识．下面我就将我的一点心得写出来跟大家分享．

PASCAL语言应用中常见错误分析与排除

错误之一:数据类型不相容 PASCAL语言的数据类型很丰富,共有十多种类型。如果定义或说明与实际使用不一致,则会造成数据类型不相容。例如:

做坦克游戏,学Java编程(二)——创建坦克类并实现BadTank

抽象类是Java中一种重要的类,合理地使用抽象类可以使程序更加简洁,复用度高。设计一个抽象类Tank,把坦克共有的属性和方法定义其中,实现了其一个具体的子类BadTank,并让其对象能够随机地自动移动。