fr.isae.automata

Class AFDTest

java.lang.Object

fr.isae.automata.AFDTest

public class AFDTest
extends java.lang.Object

Unit Test for class AFD. It uses DataGenerator to provide AFD. Created: Tue Sep 16 22:22:49 2014

Version:

1.0

Author:

Christophe Garion

See Also:

DataGenerator

Constructor Summary

Constructors

Constructor and Description
AFDTest()

Method Summary

Methods

Modifier and Type	Method and Description
void	setUp() Setup for the tests
void	testRecognizeAFD1() Tests for reconnaitre for AFD1 (it only recongnizes the empty word).
void	testRecognizeAFD2() Tests for reconnaitre for AFD2 (it only recognizes the empty word and words containing only a).
void	testRecognizeAFD3() Tests for reconnaitre for AFD3 (it only recognizes the empty word and words containing only a and b).
void	testRecognizeAFD4() Tests for reconnaitre for AFD4 (it only recognizes the word ab).
void	testRecognizeAFD5() Tests for reconnaitre for AFD5 (it only recognizes the words starting with ab and continuing only with c).
void	testRecognizeAFD6() Tests for reconnaitre for AFD6 (it only recognizes the word be and the words starting with ac and continuing only with d).
void	testRecognizeEmptyAFD() Tests for reconnaitre for empty AFD (it does not recognize anything!).
void	testToStringAFD1() Test for toString method for AFD1.
void	testToStringAFD2() Test for toString method for AFD2.
void	testToStringAFD3() Test for toString method for AFD3.
void	testToStringAFD4() Test for toString method for AFD4.
void	testToStringAFD5() Test for toString method for AFD5.
void	testToStringAFD6() Test for toString method for AFD6.
void	testToStringEmptyAFD() Test for toString method for empty automata.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AFDTest

public AFDTest()

Method Detail

setUp

public void setUp()

Setup for the tests

testRecognizeEmptyAFD

public void testRecognizeEmptyAFD()

Tests for reconnaitre for empty AFD (it does not recognize anything!).

testRecognizeAFD1

public void testRecognizeAFD1()

Tests for reconnaitre for AFD1 (it only recongnizes the empty word).

testRecognizeAFD2

public void testRecognizeAFD2()

Tests for reconnaitre for AFD2 (it only recognizes the empty word and words containing only a).

testRecognizeAFD3

public void testRecognizeAFD3()

Tests for reconnaitre for AFD3 (it only recognizes the empty word and words containing only a and b).

testRecognizeAFD4

public void testRecognizeAFD4()

Tests for reconnaitre for AFD4 (it only recognizes the word ab).

testRecognizeAFD5

public void testRecognizeAFD5()

Tests for reconnaitre for AFD5 (it only recognizes the words starting with ab and continuing only with c).

testRecognizeAFD6

public void testRecognizeAFD6()

Tests for reconnaitre for AFD6 (it only recognizes the word be and the words starting with ac and continuing only with d).

testToStringEmptyAFD

public void testToStringEmptyAFD()

Test for toString method for empty automata. Tabulations etc. must be respected!

testToStringAFD1

public void testToStringAFD1()

Test for toString method for AFD1. Tabulations etc. must be respected!

testToStringAFD2

public void testToStringAFD2()

Test for toString method for AFD2. Order of writing for transitions is not important, but tabulations etc. must be respected!

testToStringAFD3

public void testToStringAFD3()

Test for toString method for AFD3. Order of writing for transitions is not important, but tabulations etc. must be respected!

testToStringAFD4

public void testToStringAFD4()

Test for toString method for AFD4. Order of writing for transitions is not important, but tabulations etc. must be respected!

testToStringAFD5

public void testToStringAFD5()

Test for toString method for AFD5. Order of writing for transitions is not important, but tabulations etc. must be respected!

testToStringAFD6

public void testToStringAFD6()

Test for toString method for AFD6. Order of writing for transitions is not important, but tabulations etc. must be respected!