User Tools

Site Tools


revised

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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