Zpo-8-wyk-Slajd7: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
== | ==Formalna definicja == | ||
[[Image:zpo-8-wyk-Slajd7.PNG| | [[Image:zpo-8-wyk-Slajd7.PNG|Formalna definicja ]] | ||
Bardziej formalną definicję zaproponował D. Roberts w 1998 roku, opisując przekształcenie refaktoryzacyjne jako parę elementów: | |||
* zbioru warunków wstępnych, jakie program musi spełniać przed wykonaniem zmiany, aby była ona poprawna | |||
* i opisu samego przekształcenia. | |||
Warto zwrócić uwagę, że definicja ta zakłada, że poprawność można stwierdzić przed wykonaniem modyfikacji, tzn. możliwe jest przewidzenie wszystkich jej skutków z góry, bez konieczności jej przeprowadzania. Oczywiście, takie założenie nie zawsze jest uzasadnione. | |||
[[zpo-8-wyk-Slajd6 | << Poprzedni slajd]] | [[zpo-8-wyk-toc|Spis treści ]] | [[zpo-8-wyk-Slajd8 | Następny slajd >>]] | [[zpo-8-wyk-Slajd6 | << Poprzedni slajd]] | [[zpo-8-wyk-toc|Spis treści ]] | [[zpo-8-wyk-Slajd8 | Następny slajd >>]] | ||
Aktualna wersja na dzień 18:15, 4 lis 2006
Formalna definicja
Bardziej formalną definicję zaproponował D. Roberts w 1998 roku, opisując przekształcenie refaktoryzacyjne jako parę elementów:
- zbioru warunków wstępnych, jakie program musi spełniać przed wykonaniem zmiany, aby była ona poprawna
- i opisu samego przekształcenia.
Warto zwrócić uwagę, że definicja ta zakłada, że poprawność można stwierdzić przed wykonaniem modyfikacji, tzn. możliwe jest przewidzenie wszystkich jej skutków z góry, bez konieczności jej przeprowadzania. Oczywiście, takie założenie nie zawsze jest uzasadnione.
