Zpo-8-wyk-Slajd22: 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: | ||
== | ==Poprawność przekształceń== | ||
[[Image:zpo-8-wyk-Slajd22.PNG| | [[Image:zpo-8-wyk-Slajd22.PNG|Poprawność przekształceń]] | ||
W praktyce istnieją dwie metody weryfikacji poprawności przekształceń: | |||
* analityczna, wykorzystująca informacje statyczne, nie wymagające uruchamiania programu, jednak dająca w zamian dowód poprawności, i | |||
* dynamiczna, która wymaga także analizy dynamicznej, zwykle realizowanej poprzez testowanie. | |||
Przekształcenia, z punktu widzenie złożoności problemu weryfikacji ich poprawności, również dzielą się na dwie analogiczne grupy: przekształceń prostych oraz przekształceń złożonych. Te pierwsze wymagają wymagają jedynie analizy statycznej, natomiast w przypadku drugich konieczne jest wykonanie testów jednostkowych. Przekształceń prostych jest jednak znacznie mniej, dlatego w praktyce niemożliwe jest uniknięcie stosowania przekształceń należących do drugiej kategorii. | |||
[[zpo-8-wyk-Slajd21 | << Poprzedni slajd]] | [[zpo-8-wyk-toc|Spis treści ]] | [[zpo-8-wyk-Slajd23 | Następny slajd >>]] | [[zpo-8-wyk-Slajd21 | << Poprzedni slajd]] | [[zpo-8-wyk-toc|Spis treści ]] | [[zpo-8-wyk-Slajd23 | Następny slajd >>]] | ||
Aktualna wersja na dzień 18:13, 4 lis 2006
Poprawność przekształceń
W praktyce istnieją dwie metody weryfikacji poprawności przekształceń:
- analityczna, wykorzystująca informacje statyczne, nie wymagające uruchamiania programu, jednak dająca w zamian dowód poprawności, i
- dynamiczna, która wymaga także analizy dynamicznej, zwykle realizowanej poprzez testowanie.
Przekształcenia, z punktu widzenie złożoności problemu weryfikacji ich poprawności, również dzielą się na dwie analogiczne grupy: przekształceń prostych oraz przekształceń złożonych. Te pierwsze wymagają wymagają jedynie analizy statycznej, natomiast w przypadku drugich konieczne jest wykonanie testów jednostkowych. Przekształceń prostych jest jednak znacznie mniej, dlatego w praktyce niemożliwe jest uniknięcie stosowania przekształceń należących do drugiej kategorii.
