Automated Verification of Behavior Models using Cameo Simulation Toolkit
Using Cameo Simulation Toolkit to execute system behaviors defined in Sequence Diagrams, State Machines and Activity Diagrams provides a powerful tool to ensure you are specifying the correct behavior. This is especially true for architecturally significant or safety critical behaviors. These executable behaviors are typically demonstrated to all stakeholders prior to design work commencing through manual testing. As the architecture matures, these verification steps rapidly become too numerous to execute manually!
In this presentation, we will explore the use of a "Test Bench" SysML Block to step through pre-defined triggers and responses to automate behavior execution to:
- Verify Default Behavior
- Verify Nominal and Alternate Behaviors
- Verify Exceptional Behaviors by injecting "faults"
- Verify guard conditions for safety
All of the stakeholders (including Human Factors and Safety) can then define and manage their own set of verification steps ensuring the executable behavior demonstrates correct responses from all perspectives.