Skip to main content
aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
2016-02-17Test suite refactored - naming conventions applicationinitial-submissionjeremie.tatibouet4-22393/+22430
2016-02-01Tests for deferred events, conflicting transitions and transitionsjeremie.tatibouet3-2004/+5959
2016-01-25Last version of the test suite that wa entirely re-compiled andjeremie.tatibouet4-13583/+14098
2016-01-24Add tests for deferred events semanticsjeremie.tatibouet2-338/+3738
2016-01-23Add tests for requirements "Deferred001" and "Deferred002"jeremie.tatibouet2-54/+3144
2016-01-21Consolidate test suitejeremie.tatibouet2-3443/+8583
2016-01-20Add test cases for local transition semantics.jeremie.tatibouet2-2041/+6684
2016-01-14Make sure Terminate behaves correctly when placed in a nested context.jeremie.tatibouet2-343/+1068
2016-01-14Implement Terminate semanticsjeremie.tatibouet2-394/+2983
2016-01-13Ensure the Fork pseudo state behaves correctly when placed in a nestedjeremie.tatibouet2-201/+1293
2016-01-08Bug 485445 Join semantics must be testedjeremie.tatibouet2-38/+2286
2016-01-08Bug 485392 Fork semantics must be testedjeremie.tatibouet2-1860/+3274
2016-01-07Update transitions with "external" kind originating from an entry pointjeremie.tatibouet1-6/+6
2016-01-07Bug 484953 - Execution of standalone state-machines must be tested. jeremie.tatibouet2-35/+3316
2015-12-28If multiple transitions originate from an ExitPoint and their guards arejeremie.tatibouet2-1732/+3722
2015-12-20Bug 484580 - doActivity is now started asynchronously.jeremie.tatibouet2-1987/+4783
2015-12-08Add test for requirement Choice_003jeremie.tatibouet2-358/+1253
2015-12-08Add test for requirement Choice001jeremie.tatibouet2-34/+2643
2015-12-08Add test for requirement Behavior004jeremie.tatibouet2-688/+3813
2015-12-04Add test Exit002jeremie.tatibouet2-201/+1146
2015-12-04Add tests Entry002 and Entry002-Bisjeremie.tatibouet2-27/+2179
2015-11-30Add test for requirements Exiting_003 and Exiting_005.jeremie.tatibouet2-2378/+4844
2015-11-27Add test case for requirement Event_018.jeremie.tatibouet2-885/+2059
2015-11-27Add test case for Event_015:jeremie.tatibouet2-763/+1642
2015-11-20it is possible that multiple Transitions (in different Regions) can bejeremie.tatibouet3-629/+2271
2015-11-19Add test Exit001 - Transitions terminating on an exit point within anyjeremie.tatibouet2-75/+399
2015-11-12Do not treat regions that are ill-formed while entered implicitly.jeremie.tatibouet2-623/+2340
2015-11-12Completion events are handled according to the FIFO strategy.jeremie.tatibouet1-1074/+1074
2015-11-12Test Entering005 and Entering010 demonstrate handling of explicit andjeremie.tatibouet2-683/+5835
2015-11-05The test suite is fully aligned with the new test architecturejeremie.tatibouet2-5559/+6145
2015-11-05Completion event handling testsjeremie.tatibouet2-1308/+4281
2015-09-19Test suite updated with the new architecture. Half of the existing testjeremie.tatibouet2-11155/+22968
2015-05-20Add a UML model describing the base semantic model proposed forjeremie.tatibouet4-0/+3784
2015-04-30State-machines semantic [prototype] releasejeremie.tatibouet8-0/+21176

    Back to the top