User Tools
issue
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)
- Instantiation of default values (supports fUML ValueSpecifications, + OpaqueExpressions with a behavior)
- Addresses instantiation with multiple levels of hierarchy
- TODOS:
- Review the assertions to make sure they are valid / sufficient
- Cover typed/n-ary connectors
- Cover untyped binary connectors
- 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.txt · Last modified: 2013/05/24 11:58 by arnaud
