Home > Term: symboliska utförande
symboliska utförande
En programvara analys teknik där programkörningen simuleras med hjälp av symboler, t ex variabelnamn, snarare än faktiska värden för indata, och programmet utgångar är uttryckta som logiska eller matematiska uttryck med dessa symboler.
- ส่วนหนึ่งของคำพูด: noun
- อุตสาหกรรม/ขอบเขต: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
ผู้สร้าง
- HugoFridell
- 100% positive feedback
(Stockholm, Sweden)