symbolic execution的意思

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.───為降低時間復雜度，提出一種快速符號執行算法。

英語使用場景