"versioonilise" - 1 õppematerjal

Tarkvara kvaliteet ja standardid

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 anna sama häid tulemusi tarkvara korral. Üks põhjus on selles, et inimlik loogika jälgib tihti samu radu ja paralleelsetes arendustes tehakse ühesuguseid vigu.