Skip to main content
summaryrefslogtreecommitdiffstats
path: root/extraplugins/moka/org.eclipse.papyrus.moka.fuml.statemachines/resources
AgeCommit message (Collapse)AuthorFilesLines
2016-02-17Test suite refactored - naming conventions applicationinitial-submissionjeremie.tatibouet4-22393/+22430
Change-Id: Ib1be41bbb8210cbe211a2cdf068904f71665d1fd Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2016-02-01Tests for deferred events, conflicting transitions and transitionsjeremie.tatibouet3-2004/+5959
priorities. Change-Id: I7f6d7da92071e50752453bba13edd5982c819156 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2016-01-25Last version of the test suite that wa entirely re-compiled andjeremie.tatibouet4-13583/+14098
cleaned-up Change-Id: I7b01adb70ec6141836a89d66f8ae167675d851ea Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2016-01-24Add tests for deferred events semanticsjeremie.tatibouet2-338/+3738
Change-Id: I0d2f1bb766e75b6301f756e7fbcb377147c13773 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2016-01-23Add tests for requirements "Deferred001" and "Deferred002"jeremie.tatibouet2-54/+3144
Change-Id: I045a419e4bd6f05f32a36cb84dff0a6c9bb79e2e Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2016-01-21Consolidate test suitejeremie.tatibouet2-3443/+8583
1 - Add test for requirement Event001 2 - Add test for requirement Final001 3 - Add test for requirement Transition019 4 - Add test for requirement Transition020 Change-Id: Idf6c41712279f25a6b789cb0ec048eef5f2b98aa Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2016-01-20Add test cases for local transition semantics.jeremie.tatibouet2-2041/+6684
See Bug 486187 Change-Id: I669e8c8fa5cf4f651e58dc5ee87e1173d8006ee4 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2016-01-14Make sure Terminate behaves correctly when placed in a nested context.jeremie.tatibouet2-343/+1068
Verify this behavior with the new test Terminate_003 Address Bug 485863 and Bug 485864 Change-Id: I84cc9a15a7fd2e015a5771febda05e36d1663448 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2016-01-14Implement Terminate semanticsjeremie.tatibouet2-394/+2983
Add tests to validate Terminate semantics Change-Id: Ieee4aadb540044eb0e8ed76ad3b0ccff8917365f Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2016-01-13Ensure the Fork pseudo state behaves correctly when placed in a nestedjeremie.tatibouet2-201/+1293
context. Change-Id: I3ef6f4734c356ef944e1004999202f8a0c57e61a Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2016-01-08Bug 485445 Join semantics must be testedjeremie.tatibouet2-38/+2286
Change-Id: I0d27fadf7bcfb0049e7e4a45eb01668011193825 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2016-01-08Bug 485392 Fork semantics must be testedjeremie.tatibouet2-1860/+3274
Change-Id: Ie8c10e8f57a349c0acf5b38605b1d4669fbfbc01 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2016-01-07Update transitions with "external" kind originating from an entry pointjeremie.tatibouet1-6/+6
to make sure they have the "local" kind. This change is justified by the existence of the constraint "A Transition with kind external can source any Vertex except entry points." (see UML 2.5 p. 422) Change-Id: Ida2f7fdb62c57d13cba21468c1db29e819ce2f94 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2016-01-07Bug 484953 - Execution of standalone state-machines must be tested. jeremie.tatibouet2-35/+3316
Change-Id: I8b224d4051645f567df875a3aab42da307670c6c Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-12-28If multiple transitions originate from an ExitPoint and their guards arejeremie.tatibouet2-1732/+3722
true then only one of them is fired. The one that is fired is selected based on the choice provided by the ChoiceStrategy. Change-Id: I561459dd17409b76cbb9ec0af991db5afaa3704c Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-12-20Bug 484580 - doActivity is now started asynchronously.jeremie.tatibouet2-1987/+4783
Add test Behavior003 to illustrate how a doActivity is aborted when the state is exited meanwhile the behavior is still running. Add test Behavior003-bis to illustrate that while the doActivity is not finished then we remain on the same state. Add test Behavior004 to illustrate that an executed doActivity is not affected by firing of an internal transition. Change-Id: I649d6420ff4f393fda0c3d1da3094c7a0aad7b54 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-12-08Add test for requirement Choice_003jeremie.tatibouet2-358/+1253
If none of the guards evaluates to true, then the model is considered ill formed. To avoid this, it is recommended to define one outgoing Transition with the predefined “else” guard for every choice Pseudostate. (p.327) Implements the possibility to take the else transition. Change-Id: I3364c15dd268ded7cfa875c30628fa5af0929a4a Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-12-08Add test for requirement Choice001jeremie.tatibouet2-34/+2643
the guard Constraints on all outgoing Transitions are evaluated dynamically, when the compound transition traversal reaches this Pseudostate (p.327) Add test for requirement Choice002 If more than one guard evaluates to true, one of the corresponding Transitions is selected. The algorithm for making this selection is not defined. (p.327) Add implementation for the choice pseudostate semantics Change-Id: I1a41027c5a47722c768e7e1c410f6d1261751be6 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-12-08Add test for requirement Behavior004jeremie.tatibouet2-688/+3813
The execution of a doActivity Behavior of a State is not affected by the firing of an internal Transition of that State. Add test for requirement Encaps001 Entry points represent termination points (sources) for incoming Transitions and origination points (targets) for Transitions that terminate on some internal Vertex of the composite State. In effect, the latter is a continuation of the external incoming Transition, with the proviso that the execution of the entry Behavior of the composite State (if defined) occurs between the effect Behavior of the incoming Transition and the effect Behavior of the outgoing Transition. (p.325) Add test for requirement Encaps002 If there is no outgoing Transition inside the composite State, then the incoming Transition simply performs a default State entry. (p.325) Change-Id: I91c087c3a4f7a866eac14a1cdb6797f66e92ac00 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-12-04Add test Exit002jeremie.tatibouet2-201/+1146
If multiple Transitions from orthogonal Regions within the State terminate on this Pseudostate, then it acts like a join Psuedostate. (p.327) Change-Id: Ic0fb604ebbfdb4923e3f83cffb6e8bc257642826 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-12-04Add tests Entry002 and Entry002-Bisjeremie.tatibouet2-27/+2179
Entry002: An entry point without outgoing edges that is placed on composite state with orthogonal regions act as a fork. Entry002-Bis: An entry point may have outgoing transitions. If used in the context of a composite state that has orthogonal regions, then it can have as many outgoing transitions than the number of regions. Regions that have an internal state targeted are entered explicitly. Change-Id: Ib0a1dd022501fc8ba60e8f3baef24c94d2d9ad5e Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-11-30Add test for requirements Exiting_003 and Exiting_005.jeremie.tatibouet2-2378/+4844
Exiting_003: When exiting from a composite State, exit commences with the innermost State in the active state configuration. This means that exit Behaviors are executed in sequence starting with the innermost active State. (p.324) Exiting_005: When exiting from an orthogonal State, each of its Regions is exited. After that, the exit Behavior of the State is executed. (p.324) Change-Id: If154719684ca8d277fb61e32581a16bf9f34f5d2 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-11-27Add test case for requirement Event_018.jeremie.tatibouet2-885/+2059
Change-Id: I8e42cf05ca64e7f971954533a1a6f4ac92ee43b6 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-11-27Add test case for Event_015:jeremie.tatibouet2-763/+1642
It is possible for more than one Transition to be enabled within a StateMachine. If that happens, then such Transitions may be in conflict with each other. For example, consider the case of two Transitions originating from the same State, triggered by the same event, but with different guards. If that event occurs and both guard conditions are true, then at most one of those Transition can fire in a given run-to-completion step. (p.331) Change-Id: I273a13deaeda7f88bf15b02aca0f51f91035f49b Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-11-20it is possible that multiple Transitions (in different Regions) can bejeremie.tatibouet3-629/+2271
triggered by the same Event occurrence. The order in which these Transitions are executed is left undefined. (p.330) Change-Id: Ic72acdc43ee6cc12a34f37751b36295218e9c778 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-11-19Add test Exit001 - Transitions terminating on an exit point within anyjeremie.tatibouet2-75/+399
Region of the composite State implies exiting of this composite (with execution of its associated exit Behavior). (p.327) Change-Id: If7afd0b3e429d1aecfc45a77780bf0cc3df7cc08 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-11-12Do not treat regions that are ill-formed while entered implicitly.jeremie.tatibouet2-623/+2340
Test Entering004 verifies this requirement. Change-Id: I237bca95aa59efd5cacafb6af6a09c000f74d02c Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-11-12Completion events are handled according to the FIFO strategy.jeremie.tatibouet1-1074/+1074
Tests concerning completion event handling were updated Change-Id: I68e088c5295a8a80789cd074985615a34cdf9ef3 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-11-12Test Entering005 and Entering010 demonstrate handling of explicit andjeremie.tatibouet2-683/+5835
implicit entries Change-Id: I5e9c0422fb59bf592b6d9a387da9f8fadb5111d6 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-11-05The test suite is fully aligned with the new test architecturejeremie.tatibouet2-5559/+6145
Change-Id: I9715c4eae9b5161834ce0feae159aad9ce862210 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-11-05Completion event handling testsjeremie.tatibouet2-1308/+4281
Change-Id: I59e5212ade4e09035e04016c05bc45a3d9691efe Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-09-19Test suite updated with the new architecture. Half of the existing testjeremie.tatibouet2-11155/+22968
are currently migrated Change-Id: I8f1f7ff4e7242eb88ea78969e65d9da843d1c6c0 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr>
2015-05-20Add a UML model describing the base semantic model proposed forjeremie.tatibouet4-0/+3784
state-machines. https://bugs.eclipse.org/bugs/show_bug.cgi?id=467525 Change-Id: I30a99cffff222a93001a44a97753d1a7cbda9368 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr> Reviewed-on: https://git.eclipse.org/r/48100 Tested-by: Hudson CI Reviewed-by: Arnaud Cuccuru <arnaud.cuccuru@cea.fr> Tested-by: Arnaud Cuccuru <arnaud.cuccuru@cea.fr>
2015-04-30State-machines semantic [prototype] releasejeremie.tatibouet8-0/+21176
Answer to bug: https://bugs.eclipse.org/bugs/show_bug.cgi?id=465888 Change-Id: I8a5bab7238a2ee85ffeabf3bfdd904ee440c1dec Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr> Adjustment to make fUML semantic model compatible with the proptotype for state-machines Mainly consists in a refactoring of dispatchNextEvent method and the addition of a dispatchEvent(SignalInstance signal) method both in ClassifierBehaviorExecution and Execution. Change-Id: I8b7be388daed4e221a9c43a79a0451d3225a3249 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr> Improvements of the assert library to make the test results available when execution state-machine test suite Change-Id: I9533b61e36266046f6b17cff971b0024ffd685ce Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr> Adjustement to fUML: - Activity execution overrides dispatchEvent(SignalInstance signal) Change-Id: Ia199f4c0a1020dab26f8ec2834b95808ceec5a28 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr> State-machines semantics base prototype Change-Id: I0ee2c25b05ad28b53dc8c17454e3caa552703997 Signed-off-by: jeremie.tatibouet <jeremie.tatibouet@cea.fr> Reviewed-on: https://git.eclipse.org/r/46906 Tested-by: Hudson CI Reviewed-by: Arnaud Cuccuru <arnaud.cuccuru@cea.fr> Tested-by: Arnaud Cuccuru <arnaud.cuccuru@cea.fr>

    Back to the top