pd_alg_main_test.h
Go to the documentation of this file.
1 /** @file pd_alg_cc_test.h Unit Tests */
2 
3 
4 /* Pushdown plugin for FAU Discrete Event Systems Library (libfaudes)
5 
6  Copyright (C) 2013 Stefan Jacobi, Sven Schneider, Anne-Kathrin Hess
7 
8 */
9 
10 #ifndef FAUDES_PD_ALG_CC_TEST_H
11 #define FAUDES_PD_ALG_CC_TEST_H
12 
13 #include "corefaudes.h"
14 #include "pd_include.h"
15 #include "pd_test_util.h"
16 
17 namespace faudes {
18 
19 /**
20  * Test if Transient chooses the right states
21  */
22 void TestTransientStates();
23 
24 /**
25  * Test if Transient chooses the right states
26  */
28 
29 /**
30  * Test if uncontrollable ears are correctly removed.
31  */
32 void TestRnceRemoveEars();
33 
34 /**
35  * test for intersect events
36  */
38 
39 /**
40  * test for the the right number of states and for correctly set merge states
41  */
42 void TestTimesStates();
43 
44 /**
45  * Test if all stack symbols and the stack bottom are set correctly
46  */
48 
49 /**
50  * Test if the number of lambda transitions and the total number of transitions
51  * is right
52  */
54 
55 /**
56  * Test if the stack bottom remains unchanged and all stack symbols from the
57  * old generator are in the split generator
58  */
60 
61 /**
62  * Test if the states have been split correctly into heads and ears
63  */
64 void TestSplitStates();
65 
66 /**
67  * Test if all transitions originating at heads end at ears and if the pop/push
68  * of the transition is correctly set.
69  */
71 
72 /**
73  * Test if all transitions originating at ears end at heads and if the pop
74  * of the transition is correctly set.
75  */
77 
78 /**
79  * Test Te with transitions that are unreachable
80  */
81 void TestTsUnreachable();
82 
83 /**
84  * Test if Ac makes the test generator accessible
85  */
86 void TestAcAccessible();
87 
88 /**
89  * All Transient tests
90  */
91 void TestTransient();
92 
93 /**
94  * All Rnce tests
95  */
96 void TestRnce();
97 
98 /**
99  * all Times tests
100  */
101 void TestTimes();
102 
103 /**
104  * all IntersectEvents tests
105  */
106 void TestIntersectEvents();
107 
108 /**
109  * all Split tests
110  */
111 void TestSplit();
112 
113 /**
114  * all Ac tests
115  */
116 void TestAc();
117 
118 } // namespace faudes
119 
120 #endif

libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen