MBSE with GENESYS thru Dec 2024

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

569

Combining Black Box and Glass Box Perspectives: Leveraging Threads for Testing Test Paths • 1,2,8 2

• 1,3,4,6,8 • 1,3,4,7,8 • 1,3,5,6,8 • 1,3,5,7,8

4

8

1

6

3

5

7

570