[发明专利]可执行程序编程优化方法在审
申请号: | 201710424094.9 | 申请日: | 2017-06-07 |
公开(公告)号: | CN107239317A | 公开(公告)日: | 2017-10-10 |
发明(设计)人: | 赖真霖;文君 | 申请(专利权)人: | 成都四象联创科技有限公司 |
主分类号: | G06F9/45 | 分类号: | G06F9/45;G06F11/36 |
代理公司: | 北京天奇智新知识产权代理有限公司11340 | 代理人: | 杨春 |
地址: | 611730 四川省成都市高新区*** | 国省代码: | 四川;51 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明提供了一种可执行程序编程优化方法,该方法包括当监控到待测程序的关键指令被执行时,在路径约束条件中输入错误约束;根据外部函数的地址,利用插桩工具提供的API获得外部函数名;对路径进行遍历搜索,求解新的路径约束条件,产生触发软件错误的用例;监控外部函数导致的符号传递,通过符号传递定位代码错误。本发明提出了一种可执行程序编程优化方法,在不降低代码覆盖率的前提下,提高了错误定位效率,优化了代码错误搜索过程。 | ||
搜索关键词: | 可执行 程序 编程 优化 方法 | ||
【主权项】:
一种可执行程序编程优化方法,其特征在于,包括:步骤1:当监控到待测程序的关键指令被执行时,在路径约束条件中输入错误约束;步骤2:根据外部函数的地址,利用插桩工具提供的API获得外部函数名;步骤3:对路径进行遍历搜索,求解新的路径约束条件,产生触发软件错误的用例;步骤4:监控外部函数导致的符号传递,通过符号传递定位代码错误。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于成都四象联创科技有限公司,未经成都四象联创科技有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201710424094.9/,转载请声明来源钻瓜专利网。
- 上一篇:一种函数的优化处理方法和装置
- 下一篇:应用转换方法、装置及设备