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 | ||
|
issue [2013/04/05 08:27] arnaud |
issue [2013/05/24 11:58] (current) arnaud |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| * A preliminary test suite for automatic instantiation of composite structures is available. | * 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 is used to validate the instantiation semantics covered by the CS_DefaultConstructionStrategy. | ||
| - | * It contains both structure and behaviors, and it executes successfully (No assert fails) | + | * It contains both structure and behaviors, and it executes successfully (No asserts fail) |
| * It covers instantiation of composite structures in the following cases: | * It covers instantiation of composite structures in the following cases: | ||
| * Instantiation of values for ports and parts | * 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 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) | * 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) | ||
| + | * Instantiation of default values (supports fUML ValueSpecifications, + OpaqueExpressions with a behavior) | ||
| + | * Addresses instantiation with multiple levels of hierarchy | ||
| * TODOS: | * TODOS: | ||
| - | * Review the asserssations to make sure they are valid / sufficient | + | * Review the assertions to make sure they are valid / sufficient |
| * Cover typed/n-ary connectors | * Cover typed/n-ary connectors | ||
| * Cover untyped binary connectors | * Cover untyped binary connectors | ||
| * Cover ports typed by interfaces | * Cover ports typed by interfaces | ||
| + | * Cover structures with inifine depth (e.g, A is composed of a : A [1] => make sure that it is detected and that parts are not infinitely instantiated) | ||
issue.1365164869.txt.gz ยท Last modified: 2013/04/05 08:27 by arnaud
Page Tools
