pd_alg_cc_test.h

Go 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