Zpo-5-wyk-Slajd24
Z Studia Informatyczne
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.
