yakindu/TestScenarios/test-c/Test_Hierarchy/main.c

/*
 * main.c
 *
 *  Created on: 16.11.2011
 *      Author: showcase
 */


#include <stdio.h>
#include <stdlib.h>
#include <assert.h>
#include <string.h>
#include "Timer.h"
#include "DummyTimer.h"
#include "Test_HierarchyStatemachine.h"

/*@DTestSuite: Hierachy Statechart Test (Test_Hierarchy.sct) */

#define MAXEVENTSPERTYPE 4
const char* stateName[13] = {"State1", "State2", "State3", "State4", "State5", "State6", "State7", "State8", "State9", "State10", "State11", "State12", "none"};

const int EnumTostateStr[10] = {
	      _Test_Hierarchy_mainRegion_State1,
	      _Test_Hierarchy_mainRegion_State2,
	      _Test_Hierarchy_mainRegion_State2_Region2_State3,
	      _Test_Hierarchy_mainRegion_State2_Region2_State4,
	      _Test_Hierarchy_mainRegion_State2_Region2_State4_Region4_State5,
	      _Test_Hierarchy_mainRegion_State2_Region2_State4_Region4_State6,
	      _Test_Hierarchy_mainRegion_State2_Region2_State4_Region4_State6_Region6_State7,
	      _Test_Hierarchy_mainRegion_State2_Region2_State4_Region4_State6_Region6_State8,
	      _Test_Hierarchy_mainRegion_State1_Region1_State9,
	      _Test_Hierarchy_mainRegion_State1_Region1_State10
};

const char* getStateString(uint32_t index)
{
	int i;
	for (i=0; i<10; ++i)
		if (EnumTostateStr[i] == index)
			return stateName[i];
	return stateName[12];
}

void setupStatemachine(Test_HierarchyStatemachine* machine, Timer* dummyTimer, EventPool* eventPool)
{
	/* set up dummy Timer */
	dummyTimer_init(dummyTimer);

	/* Set up Event Pool */
	test_Hierarchy_eventPool_init_heap(eventPool, MAXEVENTSPERTYPE);

	/* initialize state machine */
	test_HierarchyStatemachine_init(machine, dummyTimer, eventPool);

	/* call all necessary enter functions */
	test_HierarchyStatemachine_enter(machine);

}

void teardownStatemachine(Test_HierarchyStatemachine* machine, Timer* dummyTimer, EventPool* eventPool)
{
	/* call all exit actions for this state machine */
	test_HierarchyStatemachine_exit(machine);

	/* free all internal memory for this state machine */
	test_HierarchyStatemachine_destruct(machine);

	/* free the timer */
	timer_exit(dummyTimer);

	/* free all events in the event pool */
	eventPool_exit(eventPool);

}

/*@Test: test_default_var1 test behavior of var1 in default interface */
int test_initialization()
{

	return 0;
}


/*@Test: test_state9_state10_transition test behavior of var1 in default and other interface */
int test_state9_state10_transition()
{
	Test_HierarchyStatemachine machine;
	Timer dummyTimer;
	EventPool eventPool;

	/*@Desc: setup initial statemachine */
	setupStatemachine(&machine, &dummyTimer, &eventPool);

	/*@Desc: check wether state is initial state (State9) */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State9") == 0);

	/*@Desc: check whether s1 is set to 2 as State 9 is in second hierarchy level */
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 2 );

	/*@Desc: run the statechart for the first time (just as dummy) */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is still in initial state (State9) */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State9") == 0);

	/*@Desc: check whether s1 is set to 2 as State 9 is in second hierarchy level */
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 2 );

	/*@Desc: raise event9 on default interface */
	test_Hierarchy_if_raise_event9(&machine.iface);

	/*@Desc: run the statechart to trigger state change */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state10 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State10") == 0);

	/*@Desc: check whether s1 is set to 2 as State 9 is in second hierarchy level */
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 2 );

	/*@Desc: raise event10 on default interface */
	test_Hierarchy_if_raise_event10(&machine.iface);

	/*@Desc: run the statechart to trigger state change */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state10 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State9") == 0);

	/*@Desc: check whether s1 is set to 2 as State 9 is in second hierarchy level */
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 2 );

	/*@Desc: teardown statemachine */
	teardownStatemachine(&machine, &dummyTimer, &eventPool);

	return 0;
}

/*@Test: test_state1_state2_back_transition test of event1 raised on default interface to enter state 3 */
int test_state1_state2_back_transition()
{
	Test_HierarchyStatemachine machine;
	Timer dummyTimer;
	EventPool eventPool;

	/*@Desc: setup initial statemachine */
	setupStatemachine(&machine, &dummyTimer, &eventPool);

	/*@Desc: check wether state is initial state (State9) */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State9") == 0);

	/*@Desc: check whether s1 is set to 2 as State 9 is in second hierarchy level */
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 2 );

	/*@Desc: raise event1 on default interface */
	test_Hierarchy_if_raise_event1(&machine.iface);

	/*@Desc: run the statechart for the first time (just as dummy) */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state3 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State3") == 0);

	/*@Desc: check whether s2 is set to 2 as State 3 is in second hierarchy level */
	assert( test_Hierarchy_if_get_s2(&machine.iface) == 2 );

	/*@Desc: check whether s1 is set to 0 as State 1 has been left */
	printf( " s1 = %d\n", test_Hierarchy_if_get_s1(&machine.iface));
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 0 );

	/*@Desc: raise event6 on default interface */
	test_Hierarchy_if_raise_event6(&machine.iface);

	/*@Desc: run the statechart for the first time (just as dummy) */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state10 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State9") == 0);

	/*@Desc: check whether s2 is set to 2 as State 3 is in second hierarchy level */
	assert( test_Hierarchy_if_get_s2(&machine.iface) == 0 );

	/*@Desc: check whether s1 is set to 0 as State 1 has been left */
	printf( " s1 = %d\n", test_Hierarchy_if_get_s1(&machine.iface));
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 2 );


	/*@Desc: teardown statemachine */
	teardownStatemachine(&machine, &dummyTimer, &eventPool);

	return 0;
}

/*@Test: test_state1_state2_back_transition test of event1 raised on default interface to enter state 3 */
int test_state1_state2_back_with_event14_transition()
{
	Test_HierarchyStatemachine machine;
	Timer dummyTimer;
	EventPool eventPool;

	/*@Desc: setup initial statemachine */
	setupStatemachine(&machine, &dummyTimer, &eventPool);

	/*@Desc: check wether state is initial state (State9) */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State9") == 0);

	/*@Desc: check whether s1 is set to 2 as State 9 is in second hierarchy level */
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 2 );

	/*@Desc: raise event1 on default interface */
	test_Hierarchy_if_raise_event1(&machine.iface);

	/*@Desc: run the statechart for the first time (just as dummy) */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state3 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State3") == 0);

	/*@Desc: check whether s2 is set to 2 as State 3 is in second hierarchy level */
	assert( test_Hierarchy_if_get_s2(&machine.iface) == 2 );

	/*@Desc: check whether s1 is set to 0 as State 1 has been left */
	printf( " s1 = %d\n", test_Hierarchy_if_get_s1(&machine.iface));
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 0 );

	/*@Desc: raise event6 on default interface */
	test_Hierarchy_if_raise_event14(&machine.iface);

	/*@Desc: run the statechart for the first time (just as dummy) */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state10 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State9") == 0);

	/*@Desc: check whether s2 is set to 2 as State 3 is in second hierarchy level */
	assert( test_Hierarchy_if_get_s2(&machine.iface) == 0 );

	/*@Desc: check whether s1 is set to 0 as State 1 has been left */
	printf( " s1 = %d\n", test_Hierarchy_if_get_s1(&machine.iface));
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 2 );


	/*@Desc: teardown statemachine */
	teardownStatemachine(&machine, &dummyTimer, &eventPool);

	return 0;
}


/*@Test: test_traverse_to_State5_back_with_event6_transition tests whether transition to state5 and back to state9 works correct */
int test_traverse_to_State5_back_with_event6_transition()
{
	Test_HierarchyStatemachine machine;
	Timer dummyTimer;
	EventPool eventPool;

	/*@Desc: setup initial statemachine */
	setupStatemachine(&machine, &dummyTimer, &eventPool);

	/*@Desc: check wether state is initial state (State9) */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State9") == 0);

	/*@Desc: check whether s1 is set to 2 as State 9 is in second hierarchy level */
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 2 );

	/*@Desc: raise event1 on default interface */
	test_Hierarchy_if_raise_event1(&machine.iface);

	/*@Desc: run the statechart cycle */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state3 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State3") == 0);

	/*@Desc: raise event2 on default interface */
	test_Hierarchy_if_raise_event2(&machine.iface);

	/*@Desc: run the statechart cycle */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state3 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State5") == 0);


	/*@Desc: check whether s2 is set to 3 as State 5 is in third hierarchy level */
	assert( test_Hierarchy_if_get_s2(&machine.iface) == 3 );

	/*@Desc: check whether s1 is set to 0 as State 1 has been left */
	printf( " s1 = %d\n", test_Hierarchy_if_get_s1(&machine.iface));
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 0 );

	/*@Desc: raise event6 on default interface */
	test_Hierarchy_if_raise_event6(&machine.iface);

	/*@Desc: run the statechart for the first time (just as dummy) */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state10 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State9") == 0);

	/*@Desc: check whether s2 is set to 2 as State 3 is in second hierarchy level */
	printf( " s2 = %d\n", test_Hierarchy_if_get_s2(&machine.iface));
	assert( test_Hierarchy_if_get_s2(&machine.iface) == 0 );

	/*@Desc: check whether s1 is set to 0 as State 1 has been left */
	printf( " s1 = %d\n", test_Hierarchy_if_get_s1(&machine.iface));
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 2 );


	/*@Desc: teardown statemachine */
	teardownStatemachine(&machine, &dummyTimer, &eventPool);

	return 0;
}


/*@Test: test_default_var1 test behavior of var1 in default and other interface */
int test_traverse_to_State5_back_with_event15_transition()
{
	Test_HierarchyStatemachine machine;
	Timer dummyTimer;
	EventPool eventPool;

	/*@Desc: setup initial statemachine */
	setupStatemachine(&machine, &dummyTimer, &eventPool);

	/*@Desc: check wether state is initial state (State9) */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State9") == 0);

	/*@Desc: check whether s1 is set to 2 as State 9 is in second hierarchy level */
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 2 );

	/*@Desc: raise event1 on default interface */
	test_Hierarchy_if_raise_event1(&machine.iface);

	/*@Desc: run the statechart cycle */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state3 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State3") == 0);

	/*@Desc: raise event2 on default interface */
	test_Hierarchy_if_raise_event2(&machine.iface);

	/*@Desc: run the statechart cycle */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state3 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State5") == 0);


	/*@Desc: check whether s2 is set to 3 as State 5 is in third hierarchy level */
	assert( test_Hierarchy_if_get_s2(&machine.iface) == 3 );

	/*@Desc: check whether s1 is set to 0 as State 1 has been left */
	printf( " s1 = %d\n", test_Hierarchy_if_get_s1(&machine.iface));
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 0 );

	/*@Desc: raise event6 on default interface */
	test_Hierarchy_if_raise_event15(&machine.iface);

	/*@Desc: run the statechart for the first time (just as dummy) */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state10 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State10") == 0);

	/*@Desc: check whether s2 is set to 2 as State 3 is in second hierarchy level */
	printf( " s2 = %d\n", test_Hierarchy_if_get_s2(&machine.iface));
	assert( test_Hierarchy_if_get_s2(&machine.iface) == 0 );

	/*@Desc: check whether s1 is set to 0 as State 1 has been left */
	printf( " s1 = %d\n", test_Hierarchy_if_get_s1(&machine.iface));
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 2 );


	/*@Desc: teardown statemachine */
	teardownStatemachine(&machine, &dummyTimer, &eventPool);

	return 0;
}

/*@Test: test_traverse_to_State7_back_with_event6_transition tests whether transition to state7 and back to state9 works correct */
int test_traverse_to_State7_back_with_event6_transition()
{
	Test_HierarchyStatemachine machine;
	Timer dummyTimer;
	EventPool eventPool;

	/*@Desc: setup initial statemachine */
	setupStatemachine(&machine, &dummyTimer, &eventPool);

	/*@Desc: check wether state is initial state (State9) */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State9") == 0);

	/*@Desc: check whether s1 is set to 2 as State 9 is in second hierarchy level */
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 2 );

	/*@Desc: raise event1 on default interface */
	test_Hierarchy_if_raise_event1(&machine.iface);

	/*@Desc: run the statechart cycle */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state3 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State3") == 0);

	/*@Desc: raise event2 on default interface */
	test_Hierarchy_if_raise_event2(&machine.iface);

	/*@Desc: run the statechart cycle */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state5 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State5") == 0);

	/*@Desc: raise event2 on default interface */
	test_Hierarchy_if_raise_event3(&machine.iface);

	/*@Desc: run the statechart cycle */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state7 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State7") == 0);

	/*@Desc: check whether s2 is set to 3 as State 7 is in 4th hierarchy level */
	assert( test_Hierarchy_if_get_s2(&machine.iface) == 4 );

	/*@Desc: check whether s1 is set to 0 as State 1 has been left */
	printf( " s1 = %d\n", test_Hierarchy_if_get_s1(&machine.iface));
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 0 );

	/*@Desc: raise event6 on default interface */
	test_Hierarchy_if_raise_event6(&machine.iface);

	/*@Desc: run the statechart for the first time (just as dummy) */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state9 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State9") == 0);

	/*@Desc: check whether s2 is set to 2 as State 3 is in second hierarchy level */
	printf( " s2 = %d\n", test_Hierarchy_if_get_s2(&machine.iface));
	assert( test_Hierarchy_if_get_s2(&machine.iface) == 0 );

	/*@Desc: check whether s1 is set to 0 as State 1 has been left */
	printf( " s1 = %d\n", test_Hierarchy_if_get_s1(&machine.iface));
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 2 );


	/*@Desc: teardown statemachine */
	teardownStatemachine(&machine, &dummyTimer, &eventPool);

	return 0;
}

/*@Test: test_traverse_to_State8_back_with_event6_transition tests whether transition to state8 and back to state9 works correct */
int test_traverse_to_State8_back_with_event6_transition()
{
	Test_HierarchyStatemachine machine;
	Timer dummyTimer;
	EventPool eventPool;

	/*@Desc: setup initial statemachine */
	setupStatemachine(&machine, &dummyTimer, &eventPool);

	/*@Desc: check wether state is initial state (State9) */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State9") == 0);

	/*@Desc: check whether s1 is set to 2 as State 9 is in second hierarchy level */
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 2 );

	/*@Desc: raise event1 on default interface */
	test_Hierarchy_if_raise_event1(&machine.iface);

	/*@Desc: run the statechart cycle */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state3 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State3") == 0);

	/*@Desc: raise event2 on default interface */
	test_Hierarchy_if_raise_event2(&machine.iface);

	/*@Desc: run the statechart cycle */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state5 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State5") == 0);

	/*@Desc: raise event3 on default interface */
	test_Hierarchy_if_raise_event3(&machine.iface);

	/*@Desc: run the statechart cycle */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state7 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State7") == 0);

	/*@Desc: raise event4 on default interface */
	test_Hierarchy_if_raise_event4(&machine.iface);

	/*@Desc: run the statechart cycle */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state8 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State8") == 0);

	/*@Desc: check whether s2 is set to 3 as State 7 is in 4th hierarchy level */
	assert( test_Hierarchy_if_get_s2(&machine.iface) == 4 );

	/*@Desc: check whether s1 is set to 0 as State 1 has been left */
	printf( " s1 = %d\n", test_Hierarchy_if_get_s1(&machine.iface));
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 0 );

	/*@Desc: raise event6 on default interface */
	test_Hierarchy_if_raise_event6(&machine.iface);

	/*@Desc: run the statechart for the first time (just as dummy) */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state9 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State9") == 0);

	/*@Desc: check whether s2 is set to 2 as State 3 is in second hierarchy level */
	printf( " s2 = %d\n", test_Hierarchy_if_get_s2(&machine.iface));
	assert( test_Hierarchy_if_get_s2(&machine.iface) == 0 );

	/*@Desc: check whether s1 is set to 0 as State 1 has been left */
	printf( " s1 = %d\n", test_Hierarchy_if_get_s1(&machine.iface));
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 2 );


	/*@Desc: teardown statemachine */
	teardownStatemachine(&machine, &dummyTimer, &eventPool);

	return 0;
}

/*@Test: test_traverse_to_State8_back_with_event16_transition tests whether transition to state8 and back to state10 works correct */
int test_traverse_to_State8_back_with_event16_transition()
{
	Test_HierarchyStatemachine machine;
	Timer dummyTimer;
	EventPool eventPool;

	/*@Desc: setup initial statemachine */
	setupStatemachine(&machine, &dummyTimer, &eventPool);

	/*@Desc: check wether state is initial state (State9) */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State9") == 0);

	/*@Desc: check whether s1 is set to 2 as State 9 is in second hierarchy level */
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 2 );

	/*@Desc: raise event1 on default interface */
	test_Hierarchy_if_raise_event1(&machine.iface);

	/*@Desc: run the statechart cycle */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state3 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State3") == 0);

	/*@Desc: raise event2 on default interface */
	test_Hierarchy_if_raise_event2(&machine.iface);

	/*@Desc: run the statechart cycle */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state5 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State5") == 0);

	/*@Desc: raise event3 on default interface */
	test_Hierarchy_if_raise_event3(&machine.iface);

	/*@Desc: run the statechart cycle */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state7 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State7") == 0);

	/*@Desc: raise event4 on default interface */
	test_Hierarchy_if_raise_event4(&machine.iface);

	/*@Desc: run the statechart cycle */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state8 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State8") == 0);

	/*@Desc: check whether s2 is set to 3 as State 7 is in 4th hierarchy level */
	assert( test_Hierarchy_if_get_s2(&machine.iface) == 4 );

	/*@Desc: check whether s1 is set to 0 as State 1 has been left */
	printf( " s1 = %d\n", test_Hierarchy_if_get_s1(&machine.iface));
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 0 );

	/*@Desc: raise event16 on default interface */
	test_Hierarchy_if_raise_event16(&machine.iface);

	/*@Desc: run the statechart for the first time (just as dummy) */
	test_HierarchyStatemachine_runCycle(&machine);

	/*@Desc: check wether state is changed  to state10 */
	printf("%s\n", getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)));
	assert( strcmp(getStateString(statemachineBase_getState((StatemachineBase*)&machine, 0)), "State10") == 0);

	/*@Desc: check whether s2 is set to 2 as State 3 is in second hierarchy level */
	printf( " s2 = %d\n", test_Hierarchy_if_get_s2(&machine.iface));
	assert( test_Hierarchy_if_get_s2(&machine.iface) == 0 );

	/*@Desc: check whether s1 is set to 0 as State 1 has been left */
	printf( " s1 = %d\n", test_Hierarchy_if_get_s1(&machine.iface));
	assert( test_Hierarchy_if_get_s1(&machine.iface) == 2 );


	/*@Desc: teardown statemachine */
	teardownStatemachine(&machine, &dummyTimer, &eventPool);

	return 0;
}



int main(int argc, char** argv)
{
	if (argc != 2)
		return -1;

	switch (atoi(argv[1])) {
	case 1:
		return test_state9_state10_transition();
	case 2:
		return test_state1_state2_back_transition();
	case 3:
		return test_traverse_to_State5_back_with_event6_transition();
	case 4:
		return test_traverse_to_State5_back_with_event15_transition();
	case 5:
		return test_state1_state2_back_with_event14_transition();
	case 6:
		return test_traverse_to_State7_back_with_event6_transition();
	case 7:
		return test_traverse_to_State8_back_with_event6_transition();
	case 8:
		return test_traverse_to_State8_back_with_event16_transition();
	}


	return -1;

}