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.