User Tools

Site Tools


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