RKH
test_rkhsm.c File Reference
Test » State Machine

Unit test for state machine module. More...

#include <unitrazer.h>
#include <tzlink.h>
#include <tzparse.h>
#include "rkhsm.h"
#include "common.h"
#include "smTest.h"
#include "Mock_smTestAct.h"
#include "smPseudoConditionalTest.h"
#include "Mock_smPseudoConditionalTestAct.h"
#include "smPseudoTest.h"
#include "Mock_smPseudoTestAct.h"
#include "smInitialPseudoTest.h"
#include "Mock_smInitialPseudoTestAct.h"
#include "Mock_rkhassert.h"
#include "rkhport.h"
#include "rkhfwk_bittbl.h"
#include "rkhtrc.h"
#include "rkhtrc_filter.h"
#include "rkhtrc_record.h"
#include "rkhtrc_stream.h"
Include dependency graph for test_rkhsm.c:

Go to the source code of this file.

Functions

Test cases of transition group
void test_transitionFirstStateAfterInit (void)
 
void test_transitionSimpleToSimpleAtEqualLevel (void)
 
void test_transitionSimpleToSimpleFromHighToLowLevel (void)
 
void test_transitionSimpleToSimpleFromLowToHighLevel (void)
 
void test_transitionSimpleToCompositeAtEqualLevel (void)
 
void test_transitionSimpleToCompositeFromHighToLowLevel (void)
 
void test_transitionSimpleToCompositeFromLowToHighLevel (void)
 
void test_transitionCompositeToSimpleAtEqualLevel (void)
 
void test_transitionCompositeToSimpleFromHighToLowLevel (void)
 
void test_transitionLoopSimpleStateOnTop (void)
 
void test_transitionLoopNestedSimpleState (void)
 
void test_transitionLoopCompositeStateOnTop (void)
 
void test_transitionLoopNestedCompositeState (void)
 
void test_transitionCompositeToSimpleFromLowToHighLevel (void)
 
void test_transitionCompositeToCompositeAtEqualLevel (void)
 
void test_transitionCompositeToCompositeFromHighToLowLevel (void)
 
void test_transitionCompositeToCompositeFromLowToHighLevel (void)
 
void test_transitionInternalInSimpleState (void)
 
void test_transitionInternalInCompositeState (void)
 
void test_transitionFails_EventNotFound (void)
 
void test_transitionFails_GuardFalse (void)
 
void test_transitionFails_ExceededHierarchicalLevel (void)
 
void test_transitionMultipleEnabledTrn_FiringFirstTrueGuard (void)
 
void test_transitionMultipleEnabledTrn_FiringFirstEmptyGuard (void)
 
void test_transitionDefaultTrnWithAssociatedEffect (void)
 
void test_transitionGeneratedCompletionEventBySimpleState (void)
 
void test_transitionGeneratedCompletionEventByFinalState (void)
 
void test_transitionSyncDispatchingToStateMachine (void)
 
void test_transitionToStateMachineFinalState (void)
 
Test cases of trnWoutUnitrazer group
void test_trnWoutUnitrazerFirstStateAfterInit (void)
 
void test_trnWoutUnitrazerSimpleToSimpleAtEqualLevel (void)
 
void test_trnWoutUnitrazerSimpleToSimpleFromHighToLowLevel (void)
 
void test_trnWoutUnitrazerSimpleToSimpleFromLowToHighLevel (void)
 
void test_trnWoutUnitrazerSimpleToCompositeAtEqualLevel (void)
 
void test_trnWoutUnitrazerSimpleToCompositeFromHighToLowLevel (void)
 
void test_trnWoutUnitrazerSimpleToCompositeFromLowToHighLevel (void)
 
void test_trnWoutUnitrazerCompositeToSimpleAtEqualLevel (void)
 
void test_trnWoutUnitrazerCompositeToSimpleFromHighToLowLevel (void)
 
void test_trnWoutUnitrazerLoopSimpleStateOnTop (void)
 
void test_trnWoutUnitrazerLoopNestedSimpleState (void)
 
void test_trnWoutUnitrazerLoopCompositeStateOnTop (void)
 
void test_trnWoutUnitrazerLoopNestedCompositeState (void)
 
void test_trnWoutUnitrazerCompositeToSimpleFromLowToHighLevel (void)
 
void test_trnWoutUnitrazerCompositeToCompositeAtEqualLevel (void)
 
void test_trnWoutUnitrazerCompositeToCompositeFromHighToLowLevel (void)
 
void test_trnWoutUnitrazerCompositeToCompositeFromLowToHighLevel (void)
 
void test_trnWoutUnitrazerInternalInSimpleState (void)
 
void test_trnWoutUnitrazerInternalInCompositeState (void)
 
void test_trnWoutUnitrazerFails_EventNotFound (void)
 
void test_trnWoutUnitrazerFails_GuardFalseOnInternalTrn (void)
 
void test_trnWoutUnitrazerFails_GuardFalseOnExternalTrn (void)
 
void test_trnWoutUnitrazerFails_ExceededHierarchicalLevel (void)
 
void test_trnWoutUnitrazerMultipleEnabledTrn_FiringFirstTrueGuard (void)
 
void test_trnWoutUnitrazerMultipleEnabledTrn_FiringFirstEmptyGuard (void)
 
void test_trnWoutUnitrazerDefaultTrnWithAssociatedEffect (void)
 
void test_trnWoutUnitrazerGeneratedCompletionEventBySimpleState (void)
 
void test_trnWoutUnitrazerGeneratedCompletionEventByFinalState (void)
 
void test_trnWoutUnitrazerSyncDispatchingToStateMachine (void)
 
Test cases of pseudostateConditional group
void test_pseudostateConditionalFirstStateAfterInit (void)
 
void test_pseudostateConditionalTrnToChoiceWithTrueCondition (void)
 
void test_pseudostateConditionalTrnToChoiceWithFalseCondition (void)
 
void test_pseudostateConditionalTrnToChoiceWithoutElse (void)
 
void test_pseudostateConditionalTrnToChoiceReturnToSource (void)
 
void test_pseudostateConditionalFailsTrnSegmentsExceeded (void)
 
Test cases of pseudostate group
void test_pseudostateFirstStateAfterInit (void)
 
void test_pseudostateTrnToEmptyShallowHistoryWithoutDefaultTrn (void)
 
void test_pseudostateTrnToLoadedShallowHistoryWithoutDefaultTrn (void)
 
void test_pseudostateExitFromCompositeWithLoadedShallowHistory (void)
 
void test_pseudostateTrnToEmptyDeepHistoryWithoutDefaultTrn (void)
 
void test_pseudostateTrnToLoadedDeepHistoryWithoutDefaultTrn (void)
 
void test_pseudostateExitFromCompositeWithLoadedDeepHistory (void)
 
void test_pseudostateTrnToEmptyShallowHistoryWithDefaultTrn (void)
 
void test_pseudostateTrnToLoadedShallowHistoryWithDefaultTrn (void)
 
Test cases of InitPseudostate group
void test_InitPseudostateFirstStateAfterInit (void)
 
void test_InitPseudostateTrnToEmptyShHistoryToSimpleState (void)
 
void test_InitPseudostateTrnToLoadedShHistory (void)
 
void test_InitPseudostateTrnToEmptyShHistoryToCmpState (void)
 
void test_InitPseudostateTrnToEmptyDeepHistoryToSimpleState (void)
 
void test_InitPseudostateTrnToLoadedDeepHistory (void)
 
void test_InitPseudostateTrnToLoadedDeepHistoryToNestedState (void)
 
void test_InitPseudostateTrnToEmptyShHistoryToNestedSimpleState (void)
 
void test_InitPseudostateTrnToBranchToSimpleState (void)
 
void test_InitPseudostateTrnToBranchToCmpState (void)
 
void test_InitPseudostateTrnToBranchToNestedSimpleState (void)
 
void test_InitPseudostateTrnToBranchToNestedCmpState (void)
 
void test_InitPseudostateTrnToBranchToFinalState (void)
 
void test_InitPseudostateTrnToJunctionToSimpleState (void)
 
void test_InitPseudostateTrnToJunctionToCmpState (void)
 
void test_InitPseudostateSMInitialToSimpleState (void)
 
void test_InitPseudostateSMInitialToCmpState (void)
 
void test_InitPseudostateSMInitialToNestedSimpleState (void)
 
void test_InitPseudostateSMInitialToNestedCmpState (void)
 
void test_InitPseudostateSMInitialToJunctionToSimpleState (void)
 
void test_InitPseudostateSMInitialToJunctionToCmpState (void)
 
void test_InitPseudostateSMInitialToBranchToSimpleState (void)
 
void test_InitPseudostateSMInitialToBranchToCmpState (void)
 
void test_InitPseudostateTrnToInitialToSimpleStateWithNullTrn (void)
 
void test_InitPseudostateSMInitialToSimpleStateWithNullTrn (void)
 

Detailed Description

Unit test for state machine module.

Definition in file test_rkhsm.c.