Poprawność

Co to jest poprawność?

Poprawność z punktu widzenia inżynierii oprogramowania można zdefiniować jako przestrzeganie specyfikacji, które określają, w jaki sposób użytkownicy mogą wchodzić w interakcje z oprogramowaniem i jak oprogramowanie powinno się zachowywać, gdy jest używane prawidłowo.

Jeśli oprogramowanie zachowuje się nieprawidłowo, wykonanie zadania może zająć dużo czasu lub czasami jest to niemożliwe.

Ważne zasady:

Poniżej kilka ważnych zasad efektywnego programowania, które są konsekwencją teorii poprawności programu.

  • Całkowite zdefiniowanie problemu.

  • Opracuj algorytm, a następnie logikę programu.

  • Wykorzystaj ponownie sprawdzone modele w jak największym stopniu.

  • Udowodnić poprawność algorytmów na etapie projektowania.

  • Programiści powinni zwrócić uwagę na przejrzystość i prostotę programu.

  • Weryfikacja każdej części programu zaraz po jej opracowaniu.