Tarkvara kvaliteet ja standardid
kasutada.
Meetod võib olla efektiivne ja leida esialgu kiiresti vigu, kuid kõiki vigu ei leia ükski meetod.
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