Added Hierarchical and Expression tests

TestScenarios/CMakeLists.txt

@@ -5,5 +5,7 @@ enable_testing()
 add_definitions( -Wall -O0 -g)
 
 add_subdirectory(src-gen-c/InterfaceTest)
+add_subdirectory(src-gen-c/Test_Expression)
 add_subdirectory(test-c/InterfaceTest)
+add_subdirectory(test-c/Test_Expression)
 

TestScenarios/test-c/InterfaceTest/CMakeLists.txt

@@ -1,6 +1,6 @@
 
 
-include_directories(../../src-gen-c/InterfaceTest.sct)
+include_directories(../../src-gen-c/InterfaceTest)
 
 add_executable(InterfaceTestStatemachineMain main.c)
 target_link_libraries(InterfaceTestStatemachineMain InterfaceTestStatemachine)

TestScenarios/test-c/Test_Expression/CMakeLists.txt

@@ -0,0 +1,9 @@
+
+
+include_directories(../../src-gen-c/Test_Expression)
+
+add_executable(TestExpressionMain main.c)
+target_link_libraries(TestExpressionMain Test_ExpressionStatemachine)
+
+add_test(test_default_other_var1 TestExpressionMain "1")
+add_test(test_default_other_var2_var3 TestExpressionMain "2")

TestScenarios/test-c/Test_Expression/main.c

@@ -0,0 +1,205 @@
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <assert.h>
+#include <string.h>
+#include "Timer.h"
+#include "DummyTimer.h"
+#include "Test_ExpressionStatemachine.h"
+#include "Test_ExpressionEvent.h"
+
+/*@DescTest: Expression Statechart Test (Test_Expression.sct) */
+
+#define MAXEVENTSPERTYPE 4
+const char* stateName[6] = {"State1", "State2", "State3", "State4", "State5", "State6"};
+
+void setupStatemachine(Test_ExpressionStatemachine* machine, Timer* dummyTimer, EventPool* eventPool)
+{
+	/* set up dummy Timer */
+	dummyTimer_init(dummyTimer);
+
+	/* Set up Event Pool */
+	eventPool_init_heap(eventPool, event_last, MAXEVENTSPERTYPE);
+
+	/* initialize state machine */
+	test_ExpressionStatemachine_init(machine, dummyTimer, eventPool);
+
+}
+
+void teardownStatemachine(Test_ExpressionStatemachine* machine, Timer* dummyTimer, EventPool* eventPool)
+{
+	test_ExpressionStatemachine_exit(machine);
+	timer_exit(dummyTimer);
+	eventPool_exit(eventPool);
+
+}
+
+/*@Test: test_default_var1 test behavior of var1 in default interface */
+int test_initialization()
+{
+	Test_ExpressionStatemachine machine;
+	Timer dummyTimer;
+	EventPool eventPool;
+
+	//integer retval;
+
+	/*@Desc: setup initial statemachine */
+	setupStatemachine(&machine, &dummyTimer, &eventPool);
+
+	/*@Desc: teardown statemachine */
+	teardownStatemachine(&machine, &dummyTimer, &eventPool);
+
+	return 0;
+
+}
+
+
+/*@Test: test_default_var1 test behavior of var1 in default and other interface */
+int test_default_other_var1()
+{
+	Test_ExpressionStatemachine machine;
+	Timer dummyTimer;
+	EventPool eventPool;
+
+	real retval;
+
+	/*@Desc: setup initial statemachine */
+	setupStatemachine(&machine, &dummyTimer, &eventPool);
+
+	/*@Desc: check initial value for var1 ( == 6) */
+	assert( test_Expression_if_get_var1(&machine.interface) == 6 );
+
+	/*@Desc: run an explicit cycle - without any waiting event */
+	test_ExpressionStatemachine_runCycle(&machine);
+
+	/*@Desc: check the initial state */
+	printf("%s\n", stateName[statemachineBase_getState((StatemachineBase*)&machine, 0)]);
+	assert( strcmp(stateName[statemachineBase_getState((StatemachineBase*)&machine, 0)], "State1") == 0);
+
+	/*@Desc: check value for var1 after state1 entry / var1 is not changed during entry into state1 */
+	assert( test_Expression_if_get_var1(&machine.interface) == 6 );
+
+	/*@Desc: raise event1 on default interface with value 5 (actually unused) */
+	test_Expression_if_raise_event1(&machine.interface, 5);
+
+	/*@Desc: set other.var1 to "true" to let transition take place */
+	test_Expression_if_other_set_var1(&machine.interfaceOther, bool_true);
+
+	/*@Desc: run an explicit cycle */
+	test_ExpressionStatemachine_runCycle(&machine);
+
+	/*@Desc: check whether the state is set to "State2" */
+	printf("%s\n", stateName[statemachineBase_getState((StatemachineBase*)&machine, 0)]);
+	assert( strcmp(stateName[statemachineBase_getState((StatemachineBase*)&machine, 0)], "State2") == 0);
+
+	/*@Desc: check whether the transition action was executed */
+	assert( test_Expression_if_other_get_var1(&machine.interfaceOther) == bool_false);
+
+	/*@Desc: check whether var1 has been increased by 1 (==7) */
+	assert( test_Expression_if_get_var1(&machine.interface) == 7 );
+
+	/*@Desc: check if the entry event2 is raised */
+	assert( test_Expression_if_is_event2_raised(&machine.interface, &retval) == bool_true );
+
+	/*@Desc: run an explicit cycle */
+	test_ExpressionStatemachine_runCycle(&machine);
+
+	/*@Desc: check whether var1 has been increased by 1 on onCycle (==8) */
+	assert( test_Expression_if_get_var1(&machine.interface) == 8 );
+
+	/*@Desc: check whether the state is still set to "State2" */
+	printf("%s\n", stateName[statemachineBase_getState((StatemachineBase*)&machine, 0)]);
+	assert( strcmp(stateName[statemachineBase_getState((StatemachineBase*)&machine, 0)], "State2") == 0);
+
+	/*@Desc: teardown statemachine */
+	teardownStatemachine(&machine, &dummyTimer, &eventPool);
+
+	return 0;
+}
+
+int test_default_other_var2_var3()
+{
+	Test_ExpressionStatemachine machine;
+	Timer dummyTimer;
+	EventPool eventPool;
+
+	real testvalue1u = (19.4 + 19.4*123 + 0.1);
+	real testvalue1l = (19.4 + 19.4*123 - 0.1);
+
+	real testvalue2u = 19.4 + 19.4*123/5.0 + 0.1;
+	real testvalue2l = 19.4 + 19.4*123/5.0 - 0.1;
+
+	/*@Desc: setup initial statemachine */
+	setupStatemachine(&machine, &dummyTimer, &eventPool);
+
+	/*@Desc: check initial value for var2 ( == 123) */
+	assert( test_Expression_if_get_var2(&machine.interface) == 123 );
+
+	/*@Desc: check initial value for var3 (19.4) */
+	assert( (test_Expression_if_get_var3(&machine.interface) > 19.3) &&
+			(test_Expression_if_get_var3(&machine.interface) < 19.5));
+
+	/*@Desc: run an explicit cycle - without any waiting event */
+	test_ExpressionStatemachine_runCycle(&machine);
+
+	/*@Desc: check the initial state */
+	printf("%s\n", stateName[statemachineBase_getState((StatemachineBase*)&machine, 0)]);
+	assert( strcmp(stateName[statemachineBase_getState((StatemachineBase*)&machine, 0)], "State1") == 0);
+
+	/*@Desc: check, wether var3 on default interface is set correct after state1 entry */
+	assert( (test_Expression_if_get_var3(&machine.interface) > testvalue1l) &&
+			(test_Expression_if_get_var3(&machine.interface) < testvalue1u) );
+
+	/*@Desc: check, wether var3 on default interface is set correct after state1 entry */
+	assert( test_Expression_if_get_var2(&machine.interface) == 1 );
+
+	/*@Desc: set var5 to "false" to let transition take place */
+	test_Expression_if_set_var5(&machine.interface, bool_false);
+
+	/*@Desc: raise event1 on default interface with value 5 (actually unused) */
+	test_Expression_if_raise_event1(&machine.interface, 5);
+
+	/*@Desc: check the initial state */
+	printf("%s\n", stateName[statemachineBase_getState((StatemachineBase*)&machine, 0)]);
+	assert( strcmp(stateName[statemachineBase_getState((StatemachineBase*)&machine, 0)], "State2") == 0);
+
+	/*@Desc: check, wether var3 on default interface is set correct after entry */
+	assert( (test_Expression_if_get_var3(&machine.interface) > testvalue2l) &&
+			(test_Expression_if_get_var3(&machine.interface) < testvalue2u) );
+
+	/*@Desc: set event1 with variable 5 (acutally unused) */
+	test_Expression_if_raise_event1(&machine.interface, 5);
+
+	/*@Desc: run an explicit cycle */
+	test_ExpressionStatemachine_runCycle(&machine);
+
+	/*@Desc: check the transition to state1 */
+	printf("%s\n", stateName[statemachineBase_getState((StatemachineBase*)&machine, 0)]);
+	assert( strcmp(stateName[statemachineBase_getState((StatemachineBase*)&machine, 0)], "State1") == 0);
+
+	/*@Desc-Info: I will not calculate the complete for var3 in this scenario */
+
+	/*@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_default_other_var1();
+	case 2:
+		return test_default_other_var2_var3();
+	}
+
+	return 0;
+
+}
+