8.3.1. Exhaustive Verification

Try these first

1. 1.

   Define exhaustive verification in your own words.

   Hint

   Consider what it involves in terms of design analysis.

2. 2.

   What is a corner case?

   Hint

   Think about situations that push the limits of a system.

3. 3.

   What does exhaustive verification primarily check?

   • Only a few selected states
   • Every possible state
   • Only the most common states

   Hint

   Remember the definition of exhaustive verification.

4. 4.

   True or False: Exhaustive verification is considered less effective than traditional simulation in capturing rare conditions.

   • True
   • False

   Hint

   Think about what each method covers.

5. 5.

   You are designing a safety-critical system for a medical device. Discuss the approach you would take to implement exhaustive verification, considering potential challenges.

   Hint

   Consider what makes the verification of such a device unique and critical.

6. 6.

   Identify a real-world scenario where a major failure could have been avoided with exhaustive verification. Discuss the flaws in the process that led to the failure.

   Hint

   Think about widely publicized failures and how thorough checking would impact outcomes.