一种基于静态模型的嵌入式软件黑盒测试用例生成方法

摘要

一种基于静态模型的嵌入式软件黑盒测试用例生成方法，属于软件工程中的基于模型的测试自动化技术领域。本发明解决了现有的基于需求规格说明文档的黑盒测试存在测试滞后且难以理解、测试效率低、无法保证测试用例的质量的问题。本发明的技术方案为：(1)采用数据流图、故障树、因果图和判定表以及图形间的嵌套机制和图形的扩充语义构建嵌入式软件的静态模型，以描述嵌入式软件的静态测试需求；(2)基于静态模型，规划测试项，并根据测试覆盖准则和测试用例生成算法自动生成测试项对应的黑盒测试用例集合。本发明适用于嵌入式软件的静态测试需求描述和黑盒测试用例生成。

主权项

一种基于静态模型的嵌入式软件黑盒测试用例生成方法，其特征在于所述方法包括以下步骤：步骤一、采用数据流图、故障树、因果图、判定表、图形间的嵌套机制和图形的扩充语义构建嵌入式软件的静态模型；步骤二、对步骤一构建的嵌入式软件的静态模型进行校验，并根据测试目的人工规划测试项，然后自动对测试项进行补全和合法性判定，最后填写测试项的名称；所述的测试项的补全采用图的经典遍历算法实现；所述的测试项的合法性判定为：数据流图的无意义图元包括“与关系节点”、“或关系节点”和“异或关系节点”，故障树的无意义图元包括“连线”、“与门”和“或门”，因果图的无意义图元包括“连线”，若测试项全由上述无意义的图元组成，则将被判定为非法；步骤三、根据测试覆盖准则和测试用例生成算法自动生成测试项对应的黑盒测试用例集合，并将测试项和测试用例集合入库保存，其中每种测试项都有相应的测试用例生成算法；所述的测试项分为数据流图测试项、故障树测试项、因果图测试项、判定表测试项、时间域测试项和接口测试项；所述的测试覆盖准则包括数据流图的测试路径覆盖准则、故障树的最小割集覆盖准则、判定表的条件元动作元组合覆盖准则、时间域覆盖准则、时间耦合区间覆盖准则、接口的属性覆盖准则；步骤四、对测试项和测试用例集合进行管理，包括添加、删除、修改和查看操作，以完善测试用例集合的生成。