[发明专利]一种快速获取到达程序指定点测试用例的方法有效
| 申请号： | 202010004142.0 | 申请日： | 2020-01-03 |
| 公开（公告）号： | CN111221731B | 公开（公告）日： | 2021-10-15 |
| 发明（设计）人： | 吴劼;张枨宇;蒲戈光 | 申请（专利权）人： | 华东师范大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 上海德禾翰通律师事务所 31319 | 代理人： | 陈艳娟 |
| 地址： | 200241 *** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种快速获取到达程序指定点测试用例的方法，包括：首先在给定的程序中设置一个目标代码点，该目标点代表程序实际运行时出现程序运行错误的位置；利用静态分析技术提取该目标点的dominator语句，dominator语句为到达目标点的过程中所必须经过的中间语句；增强学习技术利用Q‑learning，将其写入一个独立的python文件中；符号执行工具选择KLEE，当KLEE遇到分支决策时，将与包含Q‑learning算法的python文件进行socket通信，当前分支的决策将由Q‑learning决定；若KLEE遵循了Q‑learning算法并且在走完分支后遇到dominator语句，则返回给Q‑learning一个值为正的奖励，否则为负的奖励；Q‑learning将根据得到的奖励值更新决策；若KLEE覆盖到目标点则生成达到相应目标点的测试用例或达到给定时间则终止符号执行工具KLEE。 | ||
| 搜索关键词： | 一种 快速 获取 到达 程序 指定 测试 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华东师范大学，未经华东师范大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010004142.0/，转载请声明来源钻瓜专利网。
