fr.isae.automata

Class TransitionTest

java.lang.Object

fr.isae.automata.TransitionTest

public class TransitionTest
extends java.lang.Object

Unit Test for class Transition. Four transitions as test cases:

• t1: q0 -> q1 [label=a]
• t1: q0 -> q2 [label=b]
• t1: q2 -> q2 [label=a]
• t1: q2 -> q2 [label=b]

Created: Tue Sep 16 09:30:46 2014

Version:

1.0

Author:

Christophe Garion

Constructor Summary

Constructors

Constructor and Description
TransitionTest()

Method Summary

Methods

Modifier and Type	Method and Description
void	setUp() Setup for the tests.
void	testGetDestination() Test method for getDestination.
void	testGetEtiquette() Test method for getEtiquette.
void	testToString() Testing if the toString method is correct for t1, t2, t3 and t4.
void	testTransitionsQ0() Testing that the transitions list of q0 is correct (t1 and t2).
void	testTransitionsQ1() Testing that the transitions list of q1 is correct (empty list).
void	testTransitionsQ2() Testing that the transitions list of q2 is correct (t3 and t4).

Methods inherited from class java.lang.Object

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

Constructor Detail

TransitionTest

public TransitionTest()

Method Detail

setUp

public void setUp()

Setup for the tests.

testGetDestination

public void testGetDestination()

Test method for getDestination. Very simple test using transitions q0 -> q1, q0 -> q2 and q2 -> q2.

testGetEtiquette

public void testGetEtiquette()

Test method for getEtiquette. Very simple test using four transitions.

testTransitionsQ0

public void testTransitionsQ0()

Testing that the transitions list of q0 is correct (t1 and t2).

testTransitionsQ1

public void testTransitionsQ1()

Testing that the transitions list of q1 is correct (empty list).

testTransitionsQ2

public void testTransitionsQ2()

Testing that the transitions list of q2 is correct (t3 and t4).

testToString

public void testToString()

Testing if the toString method is correct for t1, t2, t3 and t4.