Io-7-wyk-Slajd169

Implementacje niestandardowe

Mówiliśmy też o implementacjach niestandardowych. Są to takie implementacje, które spełniają warunki stawiane przez specyfikację aksjomatyczną ale dają wyniki sprzeczne z naszymi oczekiwaniami. Problem polega na złym użyciu takiej implementacji. Zamiast pisać 2 powinniśmy napisać succ(succ(zero())). Podobnie powinniśmy przedstawić trójkę i szóstkę – wówczas nie byłoby problemu. Oczywiście, byłoby to mało wygodne. Aby uniknąć tego typu sytuacji najlepiej wzbogacić specyfikację formalną o kilka nawet prostych testów akceptacyjnych takich, jak ten pokazany na dole slajdu jako „Nasze oczekiwania”.

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