Home > Term: symbolische Ablaufverfolgung
symbolische Ablaufverfolgung
Eine Aufzeichnung des Quellcode-Anweisungen und Branch-Ergebnisse, die auftreten können, wenn ein Computerprogramm mit symbolischen, sondern als tatsächliche Werte für Eingabedaten ausgeführt wird.
- Jenis Kata: noun
- Industri / Domain: Komputer; Perangkat lunak
- Kategori: Software engineering
- Organization: IEEE Computer Society
0
Penulis
- LeonKlein
- 100% positive feedback
(Munich, Germany)