User Tools
revised
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
revised [2013/04/05 08:34] arnaud |
revised [2013/07/09 09:06] (current) arnaud |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== Issues ===== | ===== Issues ===== | ||
| * **Semantics** | * **Semantics** | ||
| - | * FIXME[[sem_1|Semantics of request propagation accross ports shall be fully aligned with UML 2.5]] | + | * **FIXED** <del>[[sem_1|Semantics of request propagation accross ports shall be fully aligned with UML 2.5]]</del> |
| * **ONGOING** [[sem_2|The execution model shall provide a flexible mechanism for instantiation of composite structures]] | * **ONGOING** [[sem_2|The execution model shall provide a flexible mechanism for instantiation of composite structures]] | ||
| * FIXME[[sem_3|The execution model shall support untyped connectors]] | * FIXME[[sem_3|The execution model shall support untyped connectors]] | ||
| * FIXME[[sem_4|Architecture of the execution model shall be improved]] | * FIXME[[sem_4|Architecture of the execution model shall be improved]] | ||
| - | * **Test suite** | + | * **UML Test suite** |
| * **ONGOING** [[issue#5|The test suite shall cover instantiation semantics]] | * **ONGOING** [[issue#5|The test suite shall cover instantiation semantics]] | ||
| - | * FIXME [[test_1|The test suite shall cover other aspects of composite structure run-time lifecycle as well]] | + | * **ONGOING** [[test_1|The test suite shall cover other aspects of composite structure run-time lifecycle as well]] |
| - | * FIXME [[test_2|The test suite shall cover communication semantics]] | + | * **ONGOING** [[test_2|The test suite shall cover communication semantics]] |
| * FIXME [[test_3|Test cases part of the test suite shall be related to coverage criteria]] | * FIXME [[test_3|Test cases part of the test suite shall be related to coverage criteria]] | ||
| * FIXME [[test_4|The execution model shall be tested with existing fUML and Alf test cases]] | * FIXME [[test_4|The execution model shall be tested with existing fUML and Alf test cases]] | ||
| - | * FIXME [[test_5|The assertion library used for the test suite should allow multiple reporting mechanisms]] | + | * **CLOSED** <del>[[test_5|The assertion library used for the test suite should allow multiple reporting mechanisms]]</del> |
| ===== Ressources ===== | ===== Ressources ===== | ||
| - | * Test suite model: | + | * **UML Test suite model:** |
| - | * 20130405: {{:test_suites_and_assertion_lib.zip|}} (Papyrus model) | + | * 20130611: {{:precisesemanticsofcomposites_testsuites.zip| Test suite and assertion library}} (Papyrus project) - Import it in your workspace as an "existing project / archive file" |
| + | * <del>20130405: {{:test_suites_and_assertion_lib.zip|}} (Papyrus model)</del> | ||
| + | * **SysML Test suite model:** | ||
| + | * 20130709: SysML Test Suite model {{:sysml_test_suite_20130709.zip|}} (Papyrus model) - Import it in your workspace as an "existing project / archive file". Requires the Assertion Library model to be in the same workspace. | ||
| + | * 20130405: Preliminary study from Yves {{:sysml_ports_at_m0.pptx|}} | ||
| + | |||
| + | ===== Meetings ===== | ||
| + | * **Berlin meeting:** | ||
| + | * Minutes: {{:minutes_berlin_meeting-sf.docx|}} | ||
revised.1365165278.txt.gz · Last modified: 2013/04/05 08:34 by arnaud
Page Tools
