[发明专利]一种软件故障测试系统及方法

权利要求书

1. 一种软件故障测试系统，其特征在于，该系统包括软件读取模块、控制模块、故障检测模块和确认与统计模块；

控制模块，用于根据用户的输入信息向软件读取模块发出指令；

软件读取模块，用于读取待测软件并根据控制模块发出的指令将读取的软件程序传送至故障检测模块；

故障检测模块，用于对待测软件程序进行故障检测并将检测结果传送至确认与统计模块；

确认与统计模块，用于对由故障检测模块测得的故障进行确认和统计。

2. 如权利要求1所述的软件故障测试系统，其特征在于，该系统还包括头文件检查模块，用来检测待测软件的头文件是否完整，所述软件读取模块根据控制模块发出的指令将读取的软件传送至该头文件检查模块，头文件检查模块将检测后的软件程序发送至故障检测模块进行故障检测。

3. 如权利要求1所述的软件故障测试系统，其特征在于，所述故障测试模块进一步包括资源泄露故障检测单元、空句柄引用故障检测单元、数组越界故障检测单元和非法计算故障检测单元。

4. 如权利要求3所述的软件故障测试系统，其特征在于，所述故障检测模块还包括字符串比较故障检测单元。

5. 如权利要求3或4所述的软件故障测试系统，其特征在于，所述故障检测模块还包括变量未初始化故障检测单元、死码故障检测单元。

6. 如权利要求1所述的软件故障测试系统，其特征在于，所述确认与统计模块包括故障数据库，所述确认与统计模块将故障检测模块的检测结果导入该数据库中。

7. 一种软件故障测试方法，其特征在于，该方法包括以下步骤：

A、读取待测软件，对待测软件进行词法分析、语法分析以及语义分析，用来形成抽象语法树并生成控制流图；

B、判断是否对待测软件的头文件进行完整性测试，如果是，则对待测软件的头文件进行检测，然后执行步骤C；如果否，直接执行步骤C；

C、选择故障模型，从步骤A中生成的控制流图中计算出和所选择的故障模型相一致的检查点；

D、对步骤C计算出的检查点进行确认和统计。

8.如权利要求7所述的软件故障测试方法，其特征在于，步骤B所述待测软件的头文件的检测包括计算待测软件中各个函数所调用文件的集合，与待测软件的各个头文件作比较。

9. 如权利要求7或8所述的软件故障测试方法，其特征在于，步骤C所述计算检测点包括：

C1、对控制流图上的每个结点进行迭代，针对不同的故障进行相应分析；

C2、对控制流图结点进行遍历，按各类故障的检测算法进行故障检测；

C3、返回步骤C1直到故障检测完毕；

C4、输出检测点报表。

10. 如权利要求9所述的软件故障测试方法，其特征在于，步骤D所述检测点的确认包括程序代码、程序代码的定位、故障代码的定位以及故障描述。