Tarkvara kvaliteet ja standardid
Seega võib vastavalt programmi kriitilisuse astmele olla vaja kasutada ka kallimaid
meetodeid.
Vt. Punkti 14 lõpus olevat tabelit.
13. Saavutatav töökindluse tase seniste meetoditega, selle oluline suurendamine.
Verifitseerimine.
Töökindluse parendamise vahendeid on palju. Mõningaid neist vaadatakse allpool:
Nversiooniline programmeerimine (N-version programming); veapuu analüüs; formaalsed
meetodid, sealhulgas programmide tõestamine; teatud kvaliteediomadustele, nt töökindlusele
või turvalisusele orienteeritud arenduse ja halduse meetodid (sh Cleanroom development,
Common Criteria, ka ISKE mõned moodulid).
N-versioonilise programmeerimise (N-version programming) idee on, et paralleelselt
arendatakse ja kasutatakse mitut programmi versiooni. Kasutamisel võrreldakse tulemusi,
enam
levinud vastused loetakse õigeks (hääletamine).
Meetod, millelt palju loodeti ja mis õigustab ennast hästi riistvara puhul, on kasutatav, kuid ei
annaabi.ee 
