Detali paieška
Išorinės paslaugos
Raštija.lt
verifikãvimas
Apibrėžtis
Formalus programos teisingumo patikrinimas įrodant, kad programa yra teisinga.
Programa laikoma teisinga, jeigu ji daro tai, ko reikia, kas apibrėžta jos specifikacijoje. Tam, kad būtų galima formaliai (kompiuteriu) patikrinti programos teisingumą, reikia, kad ir jos specifikacija būtų formali. Parašyti formalią specifikaciją yra sudėtingas uždavinys. Verifikavimo programos taip pat sudėtingos. Todėl verifikuojamos tik labai atsakingos programos.
Programos taip pat tikrinamos testavimu. Testuoti paprasčiau. Tačiau testavimu tik randamos klaidos, bet neįrodoma, kad jų nėra. Verifikavimu įrodoma, kad klaidų nebėra.
Programa laikoma teisinga, jeigu ji daro tai, ko reikia, kas apibrėžta jos specifikacijoje. Tam, kad būtų galima formaliai (kompiuteriu) patikrinti programos teisingumą, reikia, kad ir jos specifikacija būtų formali. Parašyti formalią specifikaciją yra sudėtingas uždavinys. Verifikavimo programos taip pat sudėtingos. Todėl verifikuojamos tik labai atsakingos programos.
Programos taip pat tikrinamos testavimu. Testuoti paprasčiau. Tačiau testavimu tik randamos klaidos, bet neįrodoma, kad jų nėra. Verifikavimu įrodoma, kad klaidų nebėra.
Atitikmuo (-ys)
anglų kalba
- verification
Enciklopedinis kompiuterijos žodynas
Aprašymas
Kalba
Autoriai
Publikavimo informacija
Data
Vieta
Leidėjas
Pavadinimas
Informacija iš kitų sistemų paslaugų
Atsisiųsti ištekliaus įrašo informaciją
Atsisiųsti žodžio informaciją:
RDF formatu LMF formatu TEI formatu TBX formatu SOAP formatu JSON formatu XLSX formatu DOCX formatu PDF formatu
Vertimas pagal vertimas.vu.lt
anglų kalba: sharpening
prancūzų kalba: vérification
vokiečių kalba: Verifizierung
rusų kalba: верификация
lenkų kalba: Weryfikacji
Komentuoti
Komentuoti gali tik prisijungę nariai.
Komentarų nėra
Komentarai(0)