Statinė CIL kodo analizė, remiantis simboliniu vykdymu
Programinės įrangos testavimas ir kokybės užtikrinimas yra svarbus programų sistemų inžinerijos kūrimo uždavinys, siekiant sukurti tinkamą naudojimui produktą. Yra daug skirtingų metodikų kuriamai programinei įrangai testuoti, tačiau vieningos sistemos, kuri būtų universali – nėra. Įvairūs tyrimai v...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | Lithuanian |
| Published: |
Lithuanian Academic Libraries Network (LABT)
2010
|
| Subjects: | |
| Online Access: | http://vddb.laba.lt/fedora/get/LT-eLABa-0001:E.02~2010~D_20100826_104857-00197/DS.005.0.01.ETD |