技术编号：11154872
提示：您尚未登录，请点 登 陆 后下载，如果您还没有账户请点 注 册 ，登陆完成后，请刷新本页查看技术详细信息。本发明主要涉及软件测试技术领域，具体涉及一种基于Actor模型的并行动态符号执行方法和系统。背景技术1976年提出的符号执行技术，是一种静态的软件分析方法，它用符号值代替了具体值作为程序的输入，主要用来进行软件路径探索、测试用例生成和软件缺陷检测。动态符号执行是在符号执行发展过程中提出的一种方法，它结合了具体执行和符号执行的优点，在某些情况下，符号执行进行路径探索时路径约束可能无法求解出具体值，不能继续路径探索，这时利用动态符号执行就可以通过其具体执行来解决这个问题。传统的符号执行方式效率已经无...
注意：该技术已申请专利，请尊重研发人员的辛勤研发付出，在未取得专利权人授权前，仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权，增加技术思路，做技术知识储备，不适合论文引用。
请注意，此类技术没有源代码，用于学习研究技术思路。