技术编号：6367959
提示：您尚未登录，请点 登 陆 后下载，如果您还没有账户请点 注 册 ，登陆完成后，请刷新本页查看技术详细信息。本发明属于计算机软件安全测试领域，提供了。背景技术软件测试是验证软件质量最通用的技术。高质量的软件产品需求，促使软件测试在软件开发周期中占据越来越重要的地位。近几年发展起来的动态软件测试避免了静态软件测试人工开销大、效率低、误报率高等缺点，成为当前软件测试的主要方式。动态符号执行是动态软件测试的重要技术之一，其通过自动生成测试用例以获取高代码覆盖率，被用于当前许多主流动态软件测试工具中。例如NASA的PathFinder，斯坦福大学的KLEE，伯克利大学的...
注意：该技术已申请专利，请尊重研发人员的辛勤研发付出，在未取得专利权人授权前，仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权，增加技术思路，做技术知识储备，不适合论文引用。
请注意，此类技术没有源代码，用于学习研究技术思路。