[发明专利]软件可信性测试方法及装置有效
| 申请号： | 201210148740.0 | 申请日： | 2012-05-14 |
| 公开（公告）号： | CN102708055A | 公开（公告）日： | 2012-10-03 |
| 发明（设计）人： | 杨学红;王国环 | 申请（专利权）人： | 中国联合网络通信集团有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京同立钧成知识产权代理有限公司 11205 | 代理人： | 张娜 |
| 地址： | 100033 *** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供一种软件可信性测试方法及装置。其中，方法包括：获取软件代码中待检测的对象的名称、所有状态以及状态变迁条件，状态变迁条件为状态之间的转换关系；根据对象的名称、所有状态以及状态变迁条件，在用自然语言描述的对象的缺陷中进行提炼和语义转换，生成用测试语言描述的对象的缺陷，测试语言为符合软件代码的语义的描述方式；根据用测试语言描述的对象的缺陷，在软件代码中对对象进行缺陷检测。本发明技术方案基于缺陷的测试技术可以深入软件代码的内部结构，通过对缺陷进行抽象建模，从内部结构出发，检测软件代码中的缺陷，有利于提高软件代码的可信性。 | ||
| 搜索关键词： | 软件 可信性 测试 方法 装置 | ||
【主权项】：
一种软件可信性测试方法，其特征在于，包括：获取软件代码中待检测的对象的名称、所有状态以及状态变迁条件，所述状态变迁条件为状态之间的转换关系；根据所述对象的名称、所有状态以及状态变迁条件，在用自然语言描述的所述对象的缺陷中进行提炼和语义转换，生成用测试语言描述的所述对象的缺陷，所述测试语言为符合所述软件代码的语义的描述方式；根据用测试语言描述的所述对象的缺陷，在所述软件代码中对所述对象进行缺陷检测。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国联合网络通信集团有限公司，未经中国联合网络通信集团有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201210148740.0/，转载请声明来源钻瓜专利网。
- 上一篇：电子卡连接器端子及其制作方法
- 下一篇：一种反射镜对准检测装置及其工作方法
