001    package de.hska.java.aufgaben.felder;
002    
003    import junit.framework.TestCase;
004    
005    /**
006     * JUnit-Testklasse für EndlicherAutomat.
007     * @author Christian Pape
008     *
009     */
010    public class EndlicherAutomatTest extends TestCase {
011    
012            private Automat automat = null;
013    
014            public void setUp() {
015                    int [] [] uebergaenge = new int[5][128];
016                    uebergaenge[1]['a'] = 3;
017                    uebergaenge[1]['b'] = 2;
018                    uebergaenge[2]['a'] = 4;
019                    uebergaenge[3]['b'] = 4;
020                    uebergaenge[4]['c'] = 3;
021                    automat = new EndlicherAutomat(uebergaenge);
022            }
023            
024            public void testAkzeptiert() {
025                    assertTrue(automat.akzeptiert("abcb".toCharArray()));
026            }
027    
028            public void testAkzeptiert1() {
029                    assertFalse(automat.akzeptiert("abc".toCharArray()));
030            }
031            
032            public void testAkzeptier2() {
033                    assertFalse(automat.akzeptiert("abcbct".toCharArray()));
034            }
035            
036            public void testAkzeptier3() {
037                    assertTrue(automat.akzeptiert("bacbcbcbcbcbcbcb".toCharArray()));
038            }
039    }