Please log in to watch this conference skillscast.
We are currently evolving the BDD flow for the design of embedded systems. Automatic extraction of step definitions and code stubs is performed using natural language processing techniques. In addition, a method has been developed to extract properties suitable for formal verification from test code. Both approaches have been integrated with Cucumber.
YOU MAY ALSO LIKE:
- DDD eXchange 2017 (in London on 27th - 28th April 2017)
- Greg Young's CQRS, Domain Events, Event Sourcing and how to apply DDD (in Stockholm on 22nd - 24th May 2017)
- Simon Brown's Software Architecture for Developers Workshop (in London on 22nd - 23rd May 2017)
- Whole Team Approach to Agile Testing (in London on 5th - 7th June 2017)
BDD for Embedded System Design
Mathias Soeken is working on formal verification of UML/OCL models used as specification in the design of embedded systems as well as on reversible logic and quantum computation.
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.