[发明专利]代码自动检测和校正方法在审
| 申请号： | 201710423143.7 | 申请日： | 2017-06-07 |
| 公开（公告）号： | CN107247668A | 公开（公告）日： | 2017-10-13 |
| 发明（设计）人： | 赖真霖;文君 | 申请（专利权）人： | 成都四象联创科技有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京天奇智新知识产权代理有限公司11340 | 代理人： | 杨春 |
| 地址： | 611730 四川省成都市高新区*** | 国省代码： | 四川;51 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种代码自动检测和校正方法，该方法包括对待测程序进行监控，当关键指令被执行时，在路径约束条件中输入错误约束，检测当前运行路径上的错误的错误约束，并对错误约束进行标记；根据外部函数的函数名判断该函数是否有对应的函数模型；如果有对应的函数模型，判断函数的参数是否与符号相关，如果函数的参数与符号相关，则执行函数模型，追踪符号传递，随后进行实际执行。本发明提出了一种代码自动检测和校正方法，在不降低代码覆盖率的前提下，提高了错误定位效率，优化了代码错误搜索过程。 | ||
| 搜索关键词： | 代码 自动检测 校正 方法 | ||
【主权项】：
一种代码自动检测和校正方法，其特征在于，包括：对待测程序进行监控，当关键指令被执行时，在路径约束条件中输入错误约束，检测当前运行路径上的错误的错误约束，并对错误约束进行标记；根据外部函数的函数名判断该函数是否有对应的函数模型；如果有对应的函数模型，判断函数的参数是否与符号相关，如果函数的参数与符号相关，则执行函数模型，追踪符号传递，随后进行实际执行。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于成都四象联创科技有限公司，未经成都四象联创科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710423143.7/，转载请声明来源钻瓜专利网。
- 上一篇：自动化dump分析系统及方法
- 下一篇：一种程序接口的性能测试方法及装置
