Warunki Pre i Post

pytanie zadane 19 listopada 2015 w C i C++ przez krzakurts Obywatel (1,470 p.)

Witam. Mam problem z warunkami Pre i Post tzn. wiem, że są to odpowiednie komentarze, ale nie ogarniam dwóch kwestii. Czy te warunki są niezbędne to prawidłowego działania programu? I jeszcze jedno: Czy brak warunku PRE we wlasciwie opisanej funkcji oznacza ze dziala ona poprawnie we własnym zakresie wartosci swoich argumentow? Moim zdaniem w pierwszym pytaniu będzie odpowiedź tak, a w drugim nie, ale chciałbym się upewnić. Na internecie ciężko coś znaleźć na ten temat.

1 odpowiedź

odpowiedź 19 listopada 2015 przez niezalogowany

O co ci chodzi ? Jakie warunki ?

komentarz 19 listopada 2015 przez krzakurts Obywatel (1,470 p.)

Specyfikacja często przybiera postać odpowiednich komentarzy. PRE — określają wymagania, które muszą być spełnione, aby funkcja działała poprawnie. POST — opisują zmiany, które nastąpiły w wyniku zadziałania funkcji. ( skopiowane z prezentacji)

komentarz 19 listopada 2015 przez niezalogowany

Nie wiem o co ci chodzi ?

komentarz 19 listopada 2015 przez niezalogowany

Daj jakiś przykład tworu , o którym mówisz. I wskaż w nim te warunki

komentarz 19 listopada 2015 przez krzakurts Obywatel (1,470 p.)

np. PRE: wartość parametru N musi być zawarta w przedziale [0,100]

POST: na pliku zewnętrznym związanym ze zmienną plikową PLIK została zapisana linia zawierająca wartości parametrów X1, X2, X3

komentarz 19 listopada 2015 przez niezalogowany

Jestem zbyt durny aby odpowiedzieć na twoje pytanie nie widząc kodu :)

Przykro mi :)

Jestem ciekaw o co chodzi, w czym masz problem (nie jestem w stanie zrozumieć o co ci chodzi) wklej swój kod ! i pokaż w czym problem. O jakie pliki ci chodzi, jakie X1 itp...