[发明专利]故障自动注入与故障检测的方法及其系统

权利要求书

1.故障自动注入与故障检测的方法，其特征在于，包括：

S1，对被测文件进行故障自动化注入，进行分析并生成多个故障文件；

S2，对所述多个故障文件分别进行处理，生成多个可执行文件；

S3，根据所述被测文件选择特定的测试用例库，将所述测试用例库中的用例逐一在所述每个可执行文件上运行，进行故障检测，并计算故障检测率。

2.根据权利要求1所述的故障自动注入与故障检测的方法，其特征在于，所述步骤S1包括：

S11，输入被测文件，对所述被测文件进行语法分析、词法分析和语义分析，生成抽象语法树；

S12，基于所述抽象语法树，对变异算子进行建模，生成程序变异模型；

S13，遍历所述抽象语法树，提取所述抽象语法树的节点信息；

S14，根据所述抽象语法树的节点信息和所述程序变异模型，生成相应的故障注入点，并在所述故障注入点进行故障自动注入；

S15，进行文件IO操作，生成多个故障文件。

3.根据权利要求1所述的故障自动注入与故障检测的方法，其特征在于，所述步骤S2包括：

对所述多个故障文件分别进行预处理、编译、汇编和链接，生成对应的多个可执行文件。

4.根据权利要求1所述的故障自动注入与故障检测的方法，其特征在于，所述测试用例库包括与所述被测文件的程序相对应的用例。

5.根据权利要求4所述的故障自动注入与故障检测的方法，其特征在于，所述测试用例库还包括所述被测文件运行所述每个用例后的执行结果。

6.根据权利要求1所述的故障自动注入与故障检测的方法，其特征在于，所述测试用例库中的所述用例满足覆盖准则，所述覆盖准则可以是对所述被测试文件的100%分支覆盖。

7.故障自动注入与故障检测系统，其特征在于，所述系统包括：

故障自动注入模块，用于对被测文件进行自动化注入，进行分析并生成多个故障文件；

执行文件生成模块，用于对所述多个故障文件进行处理，生成多个可执行文件；

故障检测模块，用于根据所述被测文件选择特定的测试用例库，将所述测试用例库中的用例逐一在所述每个可执行文件上运行，进行故障检测，并计算故障检测率。

8.根据权利要求7所述的故障自动注入与故障检测系统，其特征在于，所述故障自动注入模块包括：

抽象树生成单元，用于对所述被测文件进行语法分析、词法分析和语义分析，生成抽象语法树；

程序变异模型生成单元，用于基于所述抽象语法树，对变异算子进行建模，生成程序变异模型；

抽象语法树遍历单元，用于遍历所述抽象语法树，提取所述抽象语法树的节点信息；

故障自动注入单元，用于根据所述抽象语法树的节点信息和所述程序变异模型，生成相应的故障注入点，并在所述故障注入点进行故障自动注入；

故障文件生成单元，用于进行文件IO操作，生成多个故障文件。