Task: Verify Statecharts for each Subsystem

This task describes the steps needed for the verification/validation of the elements defined during system decomposition.

Purpose

To verify/validate the architectural design model through model execution.

Relationships

Roles	Primary: System Architect	Additional:	Assisting:
Inputs	Mandatory: System Architecture Statechart Diagram System Operation Sequence Diagram	Optional: None	External: None
Outputs	System Architecture Statechart Diagram

Main Description

In order to verify/validate the architectural design model through model execution, for each of the system blocks at the lowest level of the architectural model the associated state-based behavior needs to be described in a statechart diagram (if needed these statecharts could be created for higher levels too). The verification/validation of the detailed architectural design is performed through model execution on the bases of stimuli derived from the white-box sequence diagrams.

Steps

Execute the Statechart

Verify the correctness of the captured state-based behavior through model execution using the white-box use case scenarios as the basis for respective stimuli.

Refactor the Statechart

Once the use case state-based behavior of the use case is captured, look for ways to simplify it by restructuring the Statechart hierarchically.

Execute the Hierarchical Statechart

Verify the correctness of the captured state-based behavior through model execution using the white-box use case scenarios as the basis for respective stimuli.

More Information

Guidelines	Deriving Statechart Diagrams