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:
From tests over verification to completeness: an improved Behaviour Driven Development
Melanie Diepenbeck
Melanie Diepenbeck is currently pursuing her PhD degree on "Behaviour Driven Development for System Design" at the University of Bremen in the Graduate School System Design (SyDe) and in the Group for Computer Architecture headed by Prof. Dr. Rolf Drechsler.