/*test case:test the reaction of the system called with an activation of a task*/ static void test_t2_instance(void) { StatusType result_inst_1, result_inst_2, result_inst_3, result_inst_4, result_inst_5; StatusType received_char; SCHEDULING_CHECK_INIT(11); result_inst_1 = GetMessageStatus(rm); SCHEDULING_CHECK_AND_EQUAL_INT(13,E_COM_ID, result_inst_1); SCHEDULING_CHECK_INIT(14); result_inst_2 = ReceiveMessage(rm, &received_char); SCHEDULING_CHECK_AND_EQUAL_INT_FIRST(14,E_OK, result_inst_2); SCHEDULING_CHECK_AND_EQUAL_INT(14,(int)('1'), (int)received_char); SCHEDULING_CHECK_INIT(15); result_inst_3 = ReceiveMessage(rm, &received_char); SCHEDULING_CHECK_AND_EQUAL_INT_FIRST(15,E_OK, result_inst_3); SCHEDULING_CHECK_AND_EQUAL_INT(15,(int)('1'), (int)received_char); SCHEDULING_CHECK_INIT(16); result_inst_4 = ReceiveMessage(INVALID_MESSAGE, &received_char); SCHEDULING_CHECK_AND_EQUAL_INT(19,E_COM_ID, result_inst_4); SCHEDULING_CHECK_INIT(20); result_inst_5 = TerminateTask(); SCHEDULING_CHECK_AND_EQUAL_INT(20,E_OK, result_inst_5); }
/*test case:test the reaction of the system called with an activation of a task*/ static void test_t1_instance(void) { StatusType result_inst_1, result_inst_2, result_inst_3, result_inst_4, result_inst_5, result_inst_6; /*result_inst = GetCOMApplicationMode(); SCHEDULING_CHECK_AND_EQUAL_INT(X,E_OK, result_inst); */ SCHEDULING_CHECK_INIT(1); result_inst_1 = GetMessageStatus(sm); SCHEDULING_CHECK_AND_EQUAL_INT(3,E_COM_ID, result_inst_1); SCHEDULING_CHECK_INIT(4); result_inst_2 = SendMessage(INVALID_MESSAGE, "3"); SCHEDULING_CHECK_AND_EQUAL_INT(7,E_COM_ID, result_inst_2); SCHEDULING_CHECK_INIT(8); result_inst_3 = SendMessage(sm, "0"); SCHEDULING_CHECK_AND_EQUAL_INT(8,E_OK, result_inst_3); SCHEDULING_CHECK_INIT(9); result_inst_4 = SendMessage(sm, "1"); SCHEDULING_CHECK_AND_EQUAL_INT(9,E_OK, result_inst_4); SCHEDULING_CHECK_INIT(10); result_inst_5 = ActivateTask(t2); SCHEDULING_CHECK_AND_EQUAL_INT(20,E_OK, result_inst_5); SCHEDULING_CHECK_INIT(21); result_inst_6 = SendMessage(-1, "3"); SCHEDULING_CHECK_AND_EQUAL_INT(24,E_COM_ID, result_inst_6); }