Zpo-5-wyk-Slajd22

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ą które wymagają jedynie analizy, 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.

<< Poprzedni slajd | Spis treści | Następny slajd >>