symbolic execution

• 1. 符号执行: symbolic execution
• 2. 参考符号执行: symbolic execution
• 3. 动态符号执行: dynamic symbolic execution

更多释义

• 1.本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。
  This paper presents an automatic verification method for possible software defects based on finite backtracking symbolic execution.
  dict.yoduao.com
• 2.实例结果表明，该算法能免去传统符号执行中对于路径可行性的分析，从而降低时间复杂度。
  Experimental results show that the path feasibility analysis of traditional symbolic evaluation can be omitted. So it can reduce the time complexity by using symbolic execution algorithm.
  dict.yoduao.com
• 3.您可以对这些符号执行各种运算（如计算比率），而对于通过使用功能不那么强大的衡量标准获得的数值，您不能使用这些运算。
  You can perform various operations on those symbols (such as computing ratios) that you cannot perform using numerical values obtained using less powerful measurement scales.
  dict.yoduao.com

©2026 网易公司