Io-11-wyk-Slajd34
Automaty oparte na specyfikacji
Tworzenie testów w oparciu o specyfikację daje możliwość wygenerowania zarówno danych wejściowych jak również także oczekiwanego wyjścia. Warunkiem jest odpowiednia specyfikacja opisująca działanie systemu. Musi być stworzona w formie możliwej do automatycznej analizy przez generator. Najczęściej jednak narzędzia potrafią tylko generować dane wejściowe, rzadziej zdarza się by możliwe było wygenerowanie oczekiwanego wyjścia. W powyższym przykładzie narzędzie na podstawie specyfikacji zawartej w kodzie programu jest w stanie wygenerować wariant testu sprawdzający zachowanie aplikacji dla przypadku kiedy wartość argumentu wyniesie 0. Oczywiście specyfikacja nie musi być zapisywana tylko i wyłącznie w kodzie programu. Może to być dokument tekstowy, który zawiera także oczekiwane wyjście.
