Zpo-8-wyk-Slajd24: 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: | ||
== | ==Przekształcenia trudne== | ||
[[Image:zpo-8-wyk-Slajd24.PNG| | [[Image:zpo-8-wyk-Slajd24.PNG|Przekształcenia trudne]] | ||
W przypadku przekształceń trudnych analiza statyczna nie jest wystarczającym narzędziem. Niektóre warunki poprawności tych przekształceń można zweryfikować jedynie poprzez analizę dynamiczną, np. wykorzystanie testów jednostkowych. Testy sprawdzają wówczas, czy asercje istotne z punktu widzenia przekształcenia są zachowane. | |||
Należy jednak zauważyć, że testy nie pozwalają na dowiedzenie poprawności przekształcenia; przeciwnie – niepowodzenie wykonania testu wskazuje na niepoprawność, natomiast poprawności w ten sposób nie można pokazać. Dlatego weryfikacja poprawności jest realizowana dla tej kategorii przekształceń w sposób niepełny i nie dający pewności, że transformacja została przeprowadzona poprawnie. | |||
[[zpo-8-wyk-Slajd23 | << Poprzedni slajd]] | [[zpo-8-wyk-toc|Spis treści ]] | [[zpo-8-wyk-Slajd25 | Następny slajd >>]] | [[zpo-8-wyk-Slajd23 | << Poprzedni slajd]] | [[zpo-8-wyk-toc|Spis treści ]] | [[zpo-8-wyk-Slajd25 | Następny slajd >>]] | ||
Aktualna wersja na dzień 18:13, 4 lis 2006
Przekształcenia trudne
W przypadku przekształceń trudnych analiza statyczna nie jest wystarczającym narzędziem. Niektóre warunki poprawności tych przekształceń można zweryfikować jedynie poprzez analizę dynamiczną, np. wykorzystanie testów jednostkowych. Testy sprawdzają wówczas, czy asercje istotne z punktu widzenia przekształcenia są zachowane.
Należy jednak zauważyć, że testy nie pozwalają na dowiedzenie poprawności przekształcenia; przeciwnie – niepowodzenie wykonania testu wskazuje na niepoprawność, natomiast poprawności w ten sposób nie można pokazać. Dlatego weryfikacja poprawności jest realizowana dla tej kategorii przekształceń w sposób niepełny i nie dający pewności, że transformacja została przeprowadzona poprawnie.
