From tests over verification to completeness: an improved Behaviour Driven Development

As a first step, an approach is presented that can automatically find missing scenarios that might be intended by the design but have not been stated yet. Based on code coverage analysis this approach finds these missing scenarios for untested code i.e. all or part of a method that is not tested. After testing has been improved, in a second step it is shown how to make sure that the implementation behaves as expected using formal verification. The special feature is that no knowledge of formal verification is needed to do so. This concept will be demonstrated on hardware designs.

As a conclusion a new (enhanced) BDD flow will be presented that includes verification right from the start. In this new flow the behaviour of a system is expressed in a more flexible way using properties and scenarios.

YOU MAY ALSO LIKE:

• Towards Automatic Scenario Generation Based on Uncovered Code (SkillsCast recorded in April 2013)
• How to Test a Million Lines of Code without Writing a Single Test (SkillsCast recorded in October 2022)
• How is "Works on My Machine" Still a Thing in 2022? (SkillsCast recorded in July 2022)