然后，逐条地符号执行这组逻辑路径。
本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。
This paper presents an automatic verification method for possible software defects based on finite backtracking symbolic execution.
实例结果表明，该算法能免去传统符号执行中对于路径可行性的分析，从而降低时间复杂度。
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.
您可以对这些符号执行各种运算（如计算比率），而对于通过使用功能不那么强大的衡量标准获得的数值，您不能使用这些运算。
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.
您可以对这些符号执行各种运算（如计算比率），而对于通过使用功能不那么强大的衡量标准获得的数值，您不能使用这些运算。
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.
应用推荐