APP下载
[00040590]一种程序中基于动态符号执行的自动错误定位方法
联系人： 南京大学
所在地：江苏 南京市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
本发明公开了一种程序中基于动态符号执行的自动错误定位方法，包括蜕变模型构造、测试引擎、自动错误定位引擎和错误定位结果整合；蜕变模型构造利用蜕变关系将没有Oracle的程序构造出有Oracle的程序，通过测试引擎进行测试，找到多个导致错误的输入，进而自动错误定位引擎利用动态符号执行技术，从这多个错误输入出发，分别通过分支倒转技术定位出原程序中的可能错误点，最后错误定位结果整合模块将多个定位结果利用投票算法进行整合，得到最后的错误点，并将其与相应的错误执行路径一起报告给用户；本发明针对没有Oracle的程序进行自动错误定位，仅用户根据蜕变关系在预定义的框架内填充少量代码构造蜕变模型程序，过程高度自动化、人工干预少、使用方便。
