[发明专利]一种基于模型的软件测试方法有效
| 申请号： | 201310455252.9 | 申请日： | 2013-09-27 |
| 公开（公告）号： | CN103530228A | 公开（公告）日： | 2014-01-22 |
| 发明（设计）人： | 段振华;苗俊磊;张南;田聪;王小兵;罗玲 | 申请（专利权）人： | 西安电子科技大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京科亿知识产权代理事务所(普通合伙) 11350 | 代理人： | 汤东凤 |
| 地址： | 710071 陕西省*** | 国省代码： | 陕西;61 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种基于模型的软件测试方法，包括如下步骤：S1.分析被测试软件，确定测试对象和测试特征;S2.选择和构造UML模型；S3.对UML模型进行验证，确保UML模型的正确性；S4.通过深度优先搜索算法遍历UML模型，自动生成测试用例，根据语句覆盖准则、判定覆盖准则、条件覆盖准则及路径覆盖准则等充分性准则计算相关的覆盖率，完成对测试用例的评估；S5.根据待测程序和所述UML模型得到的测试用例生成测试脚本，自动执行所述测试脚本，并保存执行测试脚本得到的实际输出结果；S6.根据测试用例的实际输出与预期输出的比较，得出测试结果，再根据测试目标与预先设定好的停止准则，决定是否需要修改模型或修改待测程序。 | ||
| 搜索关键词： | 一种 基于 模型 软件 测试 方法 | ||
【主权项】：
一种基于模型的软件测试方法，其特征在于，包括如下步骤：S1.分析被测试软件，根据测试目的，确定测试对象和测试特征；S2.选择和构造UML模型，该UML模型表述了需求所表述的所有可能行为；S3.对UML模型进行验证，排查UML模型构造时可能出现的有界性、安全性、死锁和状态可达性，确保UML模型的正确性；S4.通过深度优先搜索算法遍历UML模型，自动生成测试用例，根据充分性准则计算相关的覆盖率，完成对测试用例的评估；S5.根据待测程序和所述UML模型得到的测试用例生成测试脚本，自动执行所述测试脚本，并保存执行测试脚本得到的实际输出结果；S6.根据测试用例的实际输出与预期输出的比较，得出测试结果，再根据测试目标与预先设定好的停止准则，决定是否需要修改模型或修改待测程序。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于西安电子科技大学，未经西安电子科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201310455252.9/，转载请声明来源钻瓜专利网。
- 上一篇：一种基于船舶运动姿态预报的船载视频稳像方法
- 下一篇：文件扫描方法
