Task: Verify and Validate Functional Requirements
This task verifies and validates the model through model execution on the basis of the associated scenarios. The correctness and completeness analysis is based on the visual inspection of the model behavior.
Disciplines: System Engineering Requirements
Purpose
To verify the correctness and completeness of the executable use case model and the underlying functional requirements.
Relationships
RolesPrimary Performer: Additional Performers:
InputsMandatory:
    Optional:
    • None
    Main Description
    The use of an executable state machine representation demonstrates the consistency of the state model with the scenarios (as represented on state machines). It also allows exploration of flows that might have not been explicitly specified as scenarios but are nevertheless important. The state machine forms the normative behavioral model specification for the use case.
    Steps
    Model actor block state-based behavior
    For each actor on the use-case context diagram, create the statechart diagrams to generate the required events to trigger operations and state changes in the use-case block in accordance with the use-case black-box scenarios. See Modeling Actor Behavior for more information.
    Execute the model
    Execute the model by stimulating the actor blocks so they in turn stimulate the use-case block in accordance with the use-case black box scenarios.
    Compare the generated sequence diagrams with the input
    Compare the resulting sequence diagrams with the use-case black-box sequence diagrams to visually verify expected behavior. If incorrect behavior is seen, update the use-case block accordingly.
    More Information