W testowaniu składniowym należy pamiętać o zasadzie „”, która zadziała gdy: brak mechanizmu walidacji danych na wejściu brak testów na tolerancje systemu na błędne dane
Przykładowe testy jednostkowe W przykładzie zostało przytoczone użycie środowiska JUnit wraz z dostarczonym mechanizmem testów jednostkowych.
Testy w przykładzie dotyczą niedeterministycznego automatu skończenie stanowego. W każdym teście, oznaczonym adnotacją @Test tworzymy obiekt klasy DAUTAutomaton, następnie dodajemy stany automatu. Potem dodajemy przejścia wraz z etykietami, po których możemy udać się do określonego stanu.
Testy zaczynają się w momencie, gdy wywołujemy asercje dla żądanego napisu, aby sprawdzić, czy napis jest akceptowany przez automat. Każda litera staje się etykietą przejścia od jednego stanu do drugiego i po przejrzeniu całego napisu musimy znaleźć się w tzw. stanie akceptującym. assertTrue(A.run("ab")); // sprawdza czy dla napisu "ab" automat zwróci prawdę assertTrue(A.run("abbbbb")); // sprawdza czy dla napisu "abbbbb" automat zwróci prawdę assertTrue(A.run("c")); // sprawdza czy dla napisu "c" automat zwróci prawdę assertFalse(A.run("a"));