Commit 5173ca6d authored by Faezeh KHORRAM's avatar Faezeh KHORRAM 💬
Browse files

put all test cases in a single file

parent b3d1cbb4
Package testDesignPackage_template {
Import all from common ;
Import all from fsmSpecificTypes;
Import all from testConfiguration ;
StateMachine stateMachineNewState(
currentState = *,
unprocessedString = *,
consumedString = *,
producedString = *
);
StateMachine givenSMState(
currentState = S0,
unprocessedString = "000101010"
);
StateMachine expectedSMState(
currentState = S2,
unprocessedString = "",
consumedString = "000101010",
producedString = "000010101"
);
State S0 (
_name = "S0"
);
State S2 (
_name = "S2"
);
Test Description bitShiftingGenericTest1 uses configuration genericConfiguration{
tester.genericTestGate sends givenSMState to fsm.genericMUTGate;
tester.genericTestGate sends runModel to fsm.genericMUTGate;
tester.genericTestGate sends getModelState to fsm.genericMUTGate;
//Assertion
fsm.genericMUTGate sends expectedSMState to tester.genericTestGate;
set verdict to PASS;
}
}
\ No newline at end of file
Package oclTestCases {
Import all from common ;
Import all from fsmSpecificTypes;
Import all from testConfiguration ;
State S0 (
_name = "S0"
);
State S1 (
_name = "S1"
);
State S2 (
_name = "S2"
);
Test Description bitShiftingOclTest uses configuration oclConfiguration{
tester.genericTestGate sends runModel to fsm.genericMUTGate;
tester.oclTestGate sends oclQuery (query = "self.currentState") to fsm.oclMUTGate;
fsm.oclMUTGate sends {S0, S1} to tester.oclTestGate;
tester.oclTestGate sends oclQuery (query = "self.currentState") to fsm.oclMUTGate;
fsm.oclMUTGate sends S2 to tester.oclTestGate;
}
}
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment