[发明专利]一种改进的面向宿主的嵌入式软件白盒测试方法

权利要求书

1.一种改进的面向宿主的嵌入式软件白盒测试方法，其特征在于包括如下步骤：

1.)第一阶段测试即粗预测，包括如下步骤：

(1)将含有已知错误的代码经过词法语法分析检测编配得到含有错误的属性不变量，将去除错误后的代码经过词法语法分析检测编配得到去除错误后的属性不变量；(2)将步骤(1)所述的含有错误的属性不变量和去除错误后的属性不变量分别经过槽的替换得到支持向量机输入的特征向量，其中槽包括变量类型槽、运算符类型槽、属性类型槽和程序变量槽；(3)将步骤(2)所述的特征向量经过SVM模式识别与回归进行机器学习得到能够辨识潜在错误的模型；(4)将用户程序依次经过词法语法分析检测编配、槽的替换后得到用户程序的属性特征向量，将用户程序的属性特征向量与步骤(3)所述的能够辨识潜在错误的模型匹配去除可揭错误属性，可揭错误属性就是那些真实不正确的代码而不是那些真实正确的代码；

2.)第二阶段测试即白盒测试：将去除了可揭错误属性后的程序进行预处理即将宏进行展开，然后将去除了可揭错误属性后的程序进行白盒测试，去除测试过程中所出现的问题，白盒测试包括词法分析、语法分析、动态运行分析、覆盖率分析；

3.)第三阶段测试即精预测：将排除白盒测试出现的问题后的程序再应用第一阶段(4)步骤进行辨识，得到可能隐含更深的程序错误。

2.根据权利要求1所述的一种改进的面向宿主的嵌入式软件白盒测试方法，其特征在于所述槽的个数为44。