您的位置：
首页
>
农业专利
>
详情页
一种动态的二进制代码测试用例生成方法
- 专利权人:
- 北京航空航天大学
- 发明人:
- 李舟军,马金鑫,忽朝俭,章张锴
- 申请号：
- CN201210243495.1
- 公开号：
- CN102799529B
- 申请日:
- 2012.07.13
- 申请国别(地区):
- 中国
- 年份:
- 2015
- 代理人:
- 王顺荣`唐爱华
- 摘要：
- 本发明公开了一种动态的二进制代码测试用例生成方法。实现动态的二进制插装工具，可收集二进制代码执行过程中，寄存器、内存、线程、系统调用、库加载等动态上下文信息，将此类信息传送到二进制代码翻译组件中，转化为一种中间语言，并在此中间语言上进行符号执行，传播符号输入，收集依赖于输入的路径约束。然后把此路径约束输入到路径生成组件中，提出一种新的同级分支路径变异算法及策略，在每次符号执行后尽可能多地生成新的路径约束，再使用定理证明器来求解新的路径约束，得到满足该路径约束的新输入，把新输入传送给二进制代码进行再一次具体执行，不断循环从新的执行中得到新的路径约束，生成新的输入，从而提高二进制代码覆盖率。
- 来源网站：
- 中国工程科技知识中心
- 来源网址：
- http://www.ckcest.cn/home/
