[ITS] IT terministandardi sõnastik

[et]
07.07.31

täielik õigsus

‣ Õigsuse tõestamine, mis näitab, et programmi * väljund * tõendid tulenevad loogiliselt ta sisend tõenditest ja töötlussammudest ning et programm kõigi spetsifitseeritud sisendtingimuste korral lõpetab töö.
EVS-ISO/IEC 2382-7:2002 (kehtiv)

[en]
07.07.31

total correctness

‣ Correctness proving indicating that a program's * output assertions follow logically from its input assertions and processing steps, and that, in addition, the program terminates under all specified input conditions.
EVS-ISO/IEC 2382-7:2002 (kehtiv)

Püsilink