In HyBIST, design of scenarios/cases uses a model based approach. This approach enables us to understand the intended behavior of the EUT (Entity Under Test) and create a behavior model to ensure that the scenarios and cases subsequently designed are indeed complete. This commences by identifying conditions that govern the behavior of the EUT and the data elements that drive the conditions and finally identify the sequencing of conditions as a flow to understand the business logic (behavior).
Testing is about injecting a variety of stimuli and assessing the behavior by observing the actual with the expected result. Firstly identify behaviors to be validated and then generate stimuli. A behavior is denoted by a test scenario while test cases represent stimuli. This is a hierarchical approach to test design, this enables clarity, coverage and optimality.