MBSE with GENESYS 12 31 2023

Testing the System Interfaces

To test a component’s interfaces, define a test for the component root function which: • Accepts inputs • Generates outputs • Checks performance requirements • Exits by the correct completion criteria

External System

Component under Test

External System

555

Defining Verification Activities: Sequencing Verification and Verification Procedures

• Verification Activities support • simplified descriptive statement of verification • full decomposition and modeling of sequence, resource contention, and item flow

• Identifies the sequence of verification including schedule and preconditions • Enables executable development of verification schedules reflecting resource needs and contention

556

MBSE with GENESYS