A szoftver elemzés technika, amelyben program végrehajtása szimulált, a szimbólumok, mint például a változó nevét, nem pedig a tényleges értékek a bemeneti adatok tekintetében, és az eredmények program logikai és matematikai kifejezések jeleket fejezik ki.