User Tools
issue
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
issue [2013/04/05 08:09] arnaud removed |
issue [2013/04/06 09:19] arnaud |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ====== The test suite shall cover instantiation semantics ====== | ||
| + | * A preliminary test suite for automatic instantiation of composite structures is available. | ||
| + | * It is used to validate the instantiation semantics covered by the CS_DefaultConstructionStrategy. | ||
| + | * It contains both structure and behaviors, and it executes successfully (No asserts fail) | ||
| + | * It covers instantiation of composite structures in the following cases: | ||
| + | * Instantiation of values for ports and parts | ||
| + | * Instantiation of links for binary, assembly/delegation, typed connectors, expressed between parts/parts, parts/partwithports, partwithports/partwithports, port/parts, parts/partwithports | ||
| + | * Instantiation of topologies of values and links which accounts for lower bound multiplicities of ports, parts and connectorEnds (resulting in Empty topologies, Unconnected topologies, Array topologies or Star topologies) | ||
| - | * Prototype implementation available | + | * TODOS: |
| - | * Based on an extension of CallOperationActionAction::doAction, and introduction of a new semantic strategy: CS_ConstructStrategy | + | * Review the asserssations to make sure they are valid / sufficient |
| - | * Using this prototype implementation, the Test Suite for instantiation of composite structures passes | + | * Cover typed/n-ary connectors |
| - | + | * Cover untyped binary connectors | |
| - | * Issues: | + | * Cover ports typed by interfaces |
| - | * How to properly determine that an operation is a <<create>> operation? | + | * Cover multiple levels of hierarchy |
| - | * Currently, the solution is implementation specific (Eclipse UML2) | + | * Cover structure with inifine depth (e.g, A is composed of a : A [1] => make sure that it is detected and that parts are not inifinitely instantiated) |
| - | + | ||
| - | * TODOs: | + | |
| - | * | + | |
issue.txt · Last modified: 2013/05/24 11:58 by arnaud
Page Tools
