Io-7-wyk-Slajd5

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Jakość oprogramowania

Jakość oprogramowania


Na wykładzie dotyczącym kontroli jakości była przytoczona definicja jakości wg Crosby’ego, zgodnie z którą jakość jest rozumiana, jako zgodność z wymaganiami. Można powiedzieć, że idea metod formalnych opiera się właśnie na tej definicji jakości z tym, że zakłada się, iż wymagania zostały sformułowane na gruncie matematycznym (czyli bardzo precyzyjnie) i można metodami matematycznymi zbadać, czy dany program jest zgodny z tą specyfikacją. Często przedmiotem takiego badania są wybrane właściwości programu lub systemu informatycznego.


<< Poprzedni slajd | Spis treści | Następny slajd >>