Io-7-wyk-Slajd5
Z Studia Informatyczne
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.
