19 #ifndef FWPR_TESTCASES_H_ 20 #define FWPR_TESTCASES_H_ FwPrTestOutcome_t FwPrTestCaseCheck11()
Verify the ability of the FwPrCheck function to detect and report a situation where there is an undef...
FwPrTestOutcome_t FwPrTestCaseExecute4()
Test an Execute command which triggers the execution of a loop in the procedure.
FwPrTestOutcome_t FwPrTestCaseDer2()
Create a derived procedure by extending state machine PR2 (see FwPrMakeTestPR2) and by overriding one...
FwPrTestOutcome_t FwPrTestCaseCheck14()
Verify the ability of the FwPrCheck function to detect and report a situation where there is an unrea...
FwPrTestOutcome_t FwPrTestCaseExecute1()
Test the Execute command on a procedure which is stopped.
FwPrTestOutcome_t FwPrTestCaseDerCheck3()
Verify the correctness of the initial state of a derived procedure.
FwPrTestOutcome_t FwPrTestCaseRun1()
Verify the Run command on a procedure.
FwPrTestOutcome_t FwPrTestCaseDerCheck4()
Verify the ability of function FwPrInitDer to detect and report errors.
FwPrTestOutcome_t FwPrTestCaseCheck2()
Test the ability of the FwPrCreate function to catch configuration errors.
FwPrTestOutcome_t FwPrTestCaseExecute9()
Verify the order of evaluation of the control flow guards.
FwPrTestOutcome_t FwPrTestCaseCheck13()
Verify the ability of the FwPrCheck function to detect and report a situation where there is an unrea...
FwPrTestOutcome_t FwPrTestCaseCheck4()
Test the response to a situation where all flows out of a decision node have a false guard...
FwPrTestOutcome_t FwPrTestCaseDerCheck2()
Verify the ability of the functions which override an action or a guard in a derived procedure to det...
FwPrTestOutcome_t FwPrTestCaseExecute5Static()
Test the behaviour of a procedure created statically.
FwPrTestOutcome_t FwPrTestCaseCheck1()
Test the ability of the FwPrCheck function to detect configuration errors.
FwPrTestOutcome_t FwPrTestCaseDerCheck1()
Verify that a derived procedure is, at the time it is created, a structural clone of its base procedu...
FwPrTestOutcome_t FwPrTestCaseCheck12()
Verify the ability of the FwPrCheck function to detect and report a situation where there is an undef...
FwPrTestOutcome_t FwPrTestCaseCheck7()
Verify the ability of the FwPrCheck function to detect and report a situation where there is an uncon...
FwPrTestOutcome_t FwPrTestCaseExecute8()
Verify the functionalities associated to the Procedure Execution Counter and to the Node Execution Co...
FwPrTestOutcome_t FwPrTestCaseExecute6()
Test a procedure which has one single action node and no guards.
FwPrTestOutcome_t FwPrTestCaseStop1()
Test the Stop command for the test procedure PR2.
FwPrTestOutcome_t FwPrTestCaseCheck10()
Verify the ability of the FwPrCheck function to detect and report a situation where there is a contro...
FwPrTestOutcome_t FwPrTestCaseCheck5()
Test the ability of the functions which add a control flow to a procedure to detect and report a conf...
FwPrTestOutcome_t FwPrTestCaseExecute3()
Test an Execute command which triggers the traversal of several nodes.
FwPrTestOutcome_t FwPrTestCaseExecute2()
Test the Execute command on control flows from the initial nodes and between action nodes...
FwPrTestOutcome_t FwPrTestCaseDer1()
Create a derived procedure by extending state machine PR2 (see FwPrMakeTestPR2) and then verify that ...
FwPrTestOutcome_t FwPrTestCaseCheck8()
Verify the ability of the FwPrCheck function to detect and report a situation where there is an uncon...
FwPrTestOutcome_t FwPrTestCaseExecute4Dir()
Test the behaviour of a procedure created by directly instantiating and configuring its data structur...
FwPrTestOutcome_t FwPrTestCaseExecute4Static()
Test the behaviour of a procedure created statically.
FwPrTestOutcome_t FwPrTestCaseCheck6()
Verify the ability of the FwPrCheck function to detect and report a situation where there is an uncon...
FwPrTestOutcome_t FwPrTestCaseDer3()
Create a derived procedure by extending state machine PR2 (see FwPrMakeTestPR2) and by overriding one...
FwPrTestOutcome_t FwPrTestCaseExecute5()
Test a sequence of Execute command which triggers the execution of a linear sequence of actions nodes...
FwPrTestOutcome_t FwPrTestCaseCheck9()
Verify the ability of the FwPrCheck function to detect and report a situation where there is a contro...
FwPrTestOutcome_t FwPrTestCaseDerCheck5()
Verify the correctness of the initial state of a derived procedure.
FwPrTestOutcome_t FwPrTestCaseCheck3()
Test the ability of the FwPrAddActionNode and FwPrAddDecisionNode to catch configuration errors...
FwPrTestOutcome_t
Outcome of a procedure test case.
FwPrTestOutcome_t FwPrTestCaseStart1()
Test the Start command for the test procedure PR2.
FwPrTestOutcome_t FwPrTestCaseExecute7()
Test a procedure which has one decision node directly connected to the initial node.