symbolic execution发音

意思翻译

[计]符号执行

相似词语短语

symbolic───adj.象征的；符号的；使用符号的

execution───n.执行，实行；完成；死刑

execution synonym───执行同义词

execution time───[计]执行时间；完成时间；执行时间，完成时间

execution plan───执行计划

execution timeout───执行超时

execution aborted───执行已中止

execution definition───执行定义

garroting execution───绞刑

双语使用场景

A movement that prizes “martyrdom” will not let the propaganda opportunities of its symbolic leader's execution be wasted.───其象征性领导者逝去了，一个珍视“殉道”的组织是不会白白浪费掉这个大好的宣传机会的。

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.───实例结果表明，该算法能免去传统符号执行中对于路径可行性的分析，从而降低时间复杂度。

In order to reduce the time complexity, this paper puts forward a method of fast symbolic execution.───为降低时间复杂度，提出一种快速符号执行算法。

英语使用场景