pd_alg_cc_test.hGo to the documentation of this file.00001 /** @file pd_alg_cc_test.h Unit Tests */ 00002 00003 00004 /* Pushdown plugin for FAU Discrete Event Systems Library (libfaudes) 00005 00006 Copyright (C) 2013 Stefan Jacobi, Sven Schneider, Anne-Kathrin Hess 00007 00008 */ 00009 00010 #ifndef FAUDES_PD_ALG_CC_TEST_H 00011 #define FAUDES_PD_ALG_CC_TEST_H 00012 00013 #include "corefaudes.h" 00014 #include "pd_include.h" 00015 #include "pd_test_util.h" 00016 00017 namespace faudes { 00018 00019 /** 00020 * Test if Transient chooses the right states 00021 */ 00022 void TestTransientStates(); 00023 00024 /** 00025 * Test if Transient chooses the right states 00026 */ 00027 void TestTransientStatesEmpty(); 00028 00029 /** 00030 * Test if uncontrollable ears are correctly removed. 00031 */ 00032 void TestRnceRemoveEars(); 00033 00034 /** 00035 * test for intersect events 00036 */ 00037 void TestIntersectEventsAll(); 00038 00039 /** 00040 * test for the the right number of states and for correctly set merge states 00041 */ 00042 void TestTimesStates(); 00043 00044 /** 00045 * Test if all stack symbols and the stack bottom are set correctly 00046 */ 00047 void TestTimesStackSymbols(); 00048 00049 /** 00050 * Test if the number of lambda transitions and the total number of transitions 00051 * is right 00052 */ 00053 void TestTimesTransitions(); 00054 00055 /** 00056 * Test if the stack bottom remains unchanged and all stack symbols from the 00057 * old generator are in the split generator 00058 */ 00059 void TestSplitStackSymbols(); 00060 00061 /** 00062 * Test if the states have been split correctly into heads and ears 00063 */ 00064 void TestSplitStates(); 00065 00066 /** 00067 * Test if all transitions originating at heads end at ears and if the pop/push 00068 * of the transition is correctly set. 00069 */ 00070 void TestSplitTransitionsHeadToEar(); 00071 00072 /** 00073 * Test if all transitions originating at ears end at heads and if the pop 00074 * of the transition is correctly set. 00075 */ 00076 void TestSplitTransitionsEarToHead(); 00077 00078 /** 00079 * Test Te with transitions that are unreachable 00080 */ 00081 void TestTsUnreachable(); 00082 00083 /** 00084 * Test Ts with transitions that are reachable 00085 */ 00086 void TestTeReachable(); 00087 00088 /** 00089 * Test Ts with states that are unreachable 00090 */ 00091 void TestTeUnreachable(); 00092 00093 /** 00094 * Test if Ruls deletes the correct states 00095 */ 00096 void TestRulsRemoveStates(); 00097 00098 /** 00099 * Test if Ac makes the test generator accessible 00100 */ 00101 void TestAcAccessible(); 00102 00103 /** 00104 * All Transient tests 00105 */ 00106 void TestTransient(); 00107 00108 /** 00109 * All Rnce tests 00110 */ 00111 void TestRnce(); 00112 00113 /** 00114 * all Times tests 00115 */ 00116 void TestTimes(); 00117 00118 /** 00119 * all IntersectEvents tests 00120 */ 00121 void TestIntersectEvents(); 00122 00123 /** 00124 * all Split tests 00125 */ 00126 void TestSplit(); 00127 00128 /** 00129 * all Nonblock tests 00130 */ 00131 void TestNonblock(); 00132 00133 /** 00134 * all Ts tests 00135 */ 00136 void TestTs(); 00137 00138 /** 00139 * all Te tests 00140 */ 00141 void TestTe(); 00142 00143 /** 00144 * all Ruls tests 00145 */ 00146 void TestRuls(); 00147 00148 /** 00149 * all Ac tests 00150 */ 00151 void TestAc(); 00152 00153 } // namespace faudes 00154 00155 #endif libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen |