[发明专利]基于灰盒测试技术的嵌入式软件测试方法

权利要求书

1.基于灰盒测试技术的嵌入式软件测试方法，其特征在于，包括：

步骤1、对软件需求和设计文档进行测试，并对软件程序静态审查；

步骤2、确定软件测试类型及范围，并且分析和提取软件测试需求；

步骤3、对所述软件测试需求进行评审；

步骤4、使用灰盒测试思想设计软件测试用例；

步骤5、搭建测试环境并执行所述软件测试用例，同时记录并保存测试结果。

2.如权利要求1所述的基于灰盒测试技术的嵌入式软件测试方法，其特征在于，所述步骤5之后还包括：

步骤6、根据所述记录对软件设计缺陷进行定位和分析，并编写测试问题报告反馈测试结果；

步骤7、对软件进行回归测试。

3.如权利要求1或2所述的基于灰盒测试技术的嵌入式软件测试方法，其特征在于，所述步骤1中对软件需求与设计文档进行测试的测试内容具体包括完整性测试、一致性测试、无歧义测试以及设计缺陷测试；

所述完整性测试是指测试每项需求是否能够清楚完整的描述要实现的功能；

所述一致性测试是指测试软件需求描述是否存在相互矛盾以及上下文功能设计描述是否一致；

所述无歧义测试是指测试文档中语言是否简洁明了以及是否有因表达不清楚而存在歧义；

所述设计缺陷设计是指测试文档中功能详细设计是否存在明显的缺陷或者逻辑冲突。

4.如权利要求1或2所述的基于灰盒测试技术的嵌入式软件测试方法，其特征在于，所述步骤1中对软件程序静态审查的主要审查内容包括：

首先对程序进行软件编程规范检测，验证被测对象是否满足嵌入式软件编程标准和行业认证；

然后使用形式化验证方法来查找隐藏的设计错误，验证内容包括：整数溢出、死逻辑、数组访问越界以及被零除。

5.如权利要求1或2所述的基于灰盒测试技术的嵌入式软件测试方法，其特征在于，所述步骤2中软件测试类型具体包括：功能测试、性能测试、接口测试和结构测试；所述分析和提取软件测试需求具体为：同时分析和提取基于程序内部逻辑的结构测试需求和基于输入输出的功能测试需求。

6.如权利要求1或2所述的基于灰盒测试技术的嵌入式软件测试方法，其特征在于，所述步骤3中对所述软件测试需求进行评审具体为：

软件测试人员向软件设计人员反串讲软件的相关需求和详细设计。

7.如权利要求6所述的基于灰盒测试技术的嵌入式软件测试方法，其特征在于，所述步骤4中使用灰盒测试思想设计软件测试用例具体包括：

使用等价类分析法将软件测试模块的输入条件划分为有效等价类和无效等价类；

使用因果图法则分别绘制出有效等价类和无效等价类的因果图；

将因果图转换成包括输入条件和测试结果的判定表格；

使用MC/DC法则从所述判定表格中筛选出能够独立影响输出结果的测试用例。

8.如权利要求7所述的基于灰盒测试技术的嵌入式软件测试方法，其特征在于，所述步骤5中搭建测试环境并执行所述软件测试用例具体包括：

提取被测对象；

核对被测对象的输入输出接口；

修改程序设置；

生成测试环境；

执行步骤4设计的测试用例。

9.如权利要求8所述的基于灰盒测试技术的嵌入式软件测试方法，其特征在于，所述步骤6中对软件设计缺陷进行分析具体包括：

缺陷类型分析、严重程度、状态分析以及起源分析。