[发明专利]以布尔表达式的求值序列为谓词单元的软件错误定位方法无效
| 申请号： | 201210002136.7 | 申请日： | 2012-01-05 |
| 公开（公告）号： | CN102541741A | 公开（公告）日： | 2012-07-04 |
| 发明（设计）人： | 张震宇;高文超 | 申请（专利权）人： | 中国科学院软件研究所 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京君尚知识产权代理事务所(普通合伙) 11200 | 代理人： | 俞达成 |
| 地址： | 100190 *** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明属于软件测试领域，涉及一种以布尔表达式的求值序列为谓词单元的软件错误定位方法，步骤包括：提取待测软件程序中的各布尔表达式，得到其对应的布尔表达式的求值序列；将布尔表达式的求值序列作为谓词，收集各谓词在程序执行中的执行信息；根据各谓词的执行信息，计算各谓词的可疑度，根据可疑度确定与软件错误相关的谓词；根据与软件错误相关的谓词的位置定位软件错误位置。本发明使收集的谓词信息更充分、粒度更细，更容易且更准确地找到与错误最相关的谓词，从而提高了错误定位的准确度。 | ||
| 搜索关键词： | 布尔 表达式 求值 序列 谓词 单元 软件 错误 定位 方法 | ||
【主权项】：
一种以布尔表达式的求值序列为谓词单元的软件错误定位方法，其步骤包括：1)提取待测软件程序中的各布尔表达式，得到其对应的布尔表达式的求值序列；2)将上述布尔表达式的求值序列作为谓词，收集各谓词在程序执行中的信息；3)根据上述各谓词的执行信息，计算各谓词的可疑度，根据可疑度确定与软件错误相关的谓词；4)根据上述与软件错误相关的谓词的位置定位软件错误位置。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国科学院软件研究所，未经中国科学院软件研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201210002136.7/，转载请声明来源钻瓜专利网。
- 上一篇：一种高可用集群中串口心跳的实现方法
- 下一篇：一种电子纸显示材料的制造方法
