English translation for "符号执行"
|
- symbolic execution
Related Translations:
天文符号: astronomical symbols 空白符号: blank characterclear characternull 地址符号: address charactersaddress mark 符号替换: symbol substitution
- Example Sentences:
| 1. | Performs a search on the currently selected member symbol using the options specified on the
中指定的选项，对当前选定的成员符号执行搜索。 | | 2. | Performs a search on the currently selected object symbol using the options specified on the
中指定的选项，对当前选定的对象符号执行搜索。 | | 3. | We can also find unexecutable paths of the sequential program . when we find them we will stop the analysis . we enhance the capability of the traditional methods of detecting data dependence
我们采用了遍历程序路径和对路径进行符号执行的策略，这样可以尽可能早的发现程序中的不可执行路径，从而提高分析的效率。 | | 4. | For this reason , the thesis presents an approach based on constraint satisfaction , symbolic execution and extended finite state machines . it can analyze programs written in a subset of the c programming language
针对上述情况，本文中提出了一种方法，它基于约束满足问题求解方法和扩展有限状态机上的符号执行算法，能够对c语言子集描述的程序进行分析。 | | 5. | In this thesis , we will review some traditional methods of detecting data dependence and analyze the relation between the data dependence and the mechanism of parallelism . based on path analysis and symbolic execution , we describe two methods , static analysis and dynamic analysis , for detecting data dependence of array variables in loops of sequential programs
进而提出了基于路径分析和符号执行的静态测试和动态测试方法，来研究串行程序中循环内部数组变量的数据相关性，该方法对于下标表达式为线性表达式时有很好的效果，而且能够处理一些复杂的数组下标表达式，比如数组下标表达式含有输入变量和非线性下标表达式的情况。 |
- Similar Words：
- "符号运用不能" English translation, "符号再现表象阶段" English translation, "符号栈控制字" English translation, "符号侦错信息" English translation, "符号之" English translation, "符号值" English translation, "符号指令" English translation, "符号指令的标号字段" English translation, "符号指令的操作字段" English translation, "符号指令的运算对象字段" English translation
|
|
|
