符號執行

（Symbolic 符號模擬技術（symbolic 符號計算（Symbolic

符號執行（SymbolicExecution）是一種程式分析技術。其可以通過分析程式來得到讓特定代碼區域執行的輸入。使用符號執行分析一個程式時，該程式會使用符號值作為輸入，而非一般執行程式時使用的具體值。在達到目標代碼時，分析器可以得到相應的路徑約束，然後通過約束求解器來得到可以觸發目標代碼的具體值。[1]
符號模擬技術（symbolicsimulation）則把類似的思想用於硬體分析。符號計算（Symboliccomputation）則用於數學表達式分析。

優點：不需求使用太多測試用例，適合於小程式測試。