pd_alg_cc_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 Ts with transitions that are reachable
85  */
86 void TestTeReachable();
87 
88 /**
89  * Test Ts with states that are unreachable
90  */
91 void TestTeUnreachable();
92 
93 /**
94  * Test if Ruls deletes the correct states
95  */
97 
98 /**
99  * Test if Ac makes the test generator accessible
100  */
101 void TestAcAccessible();
102 
103 /**
104  * All Transient tests
105  */
106 void TestTransient();
107 
108 /**
109  * All Rnce tests
110  */
111 void TestRnce();
112 
113 /**
114  * all Times tests
115  */
116 void TestTimes();
117 
118 /**
119  * all IntersectEvents tests
120  */
121 void TestIntersectEvents();
122 
123 /**
124  * all Split tests
125  */
126 void TestSplit();
127 
128 /**
129  * all Nonblock tests
130  */
131 void TestNonblock();
132 
133 /**
134  * all Ts tests
135  */
136 void TestTs();
137 
138 /**
139  * all Te tests
140  */
141 void TestTe();
142 
143 /**
144  * all Ruls tests
145  */
146 void TestRuls();
147 
148 /**
149  * all Ac tests
150  */
151 void TestAc();
152 
153 } // namespace faudes
154 
155 #endif

libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen