公开(公告)号：CN103530228B

公开(公告)日：2016-09-28

申请号：CN201310455252.9

申请日：2013-09-27

Applicant: 西安电子科技大学

Inventor： 段振华 ,  苗俊磊 ,  张南 ,  田聪 ,  王小兵 ,  罗玲

IPC: G06F11/36

Abstract: 一种基于模型的软件测试方法，包括如下步骤：S1.分析被测试软件，确定测试对象和测试特征;S2.选择和构造UML模型；S3.对UML模型进行验证，确保UML模型的正确性；S4.通过深度优先搜索算法遍历UML模型，自动生成测试用例，根据语句覆盖准则、判定覆盖准则、条件覆盖准则及路径覆盖准则等充分性准则计算相关的覆盖率，完成对测试用例的评估；S5.根据待测程序和所述UML模型得到的测试用例生成测试脚本，自动执行所述测试脚本，并保存执行测试脚本得到的实际输出结果；S6.根据测试用例的实际输出与预期输出的比较，得出测试结果，再根据测试目标与预先设定好的停止准则，决定是否需要修改模型或修改待测程序。

公开(公告)号：CN103530228A

公开(公告)日：2014-01-22

申请号：CN201310455252.9

申请日：2013-09-27

Applicant: 西安电子科技大学

Inventor： 段振华 ,  苗俊磊 ,  张南 ,  田聪 ,  王小兵 ,  罗玲

IPC: G06F11/36

Abstract: 一种基于模型的软件测试方法，包括如下步骤：S1.分析被测试软件，确定测试对象和测试特征;S2.选择和构造UML模型；S3.对UML模型进行验证，确保UML模型的正确性；S4.通过深度优先搜索算法遍历UML模型，自动生成测试用例，根据语句覆盖准则、判定覆盖准则、条件覆盖准则及路径覆盖准则等充分性准则计算相关的覆盖率，完成对测试用例的评估；S5.根据待测程序和所述UML模型得到的测试用例生成测试脚本，自动执行所述测试脚本，并保存执行测试脚本得到的实际输出结果；S6.根据测试用例的实际输出与预期输出的比较，得出测试结果，再根据测试目标与预先设定好的停止准则，决定是否需要修改模型或修改待测程序。