Free companion code for Prove It Works: Model-Based Test-Driven Development for Embedded and Automotive Software by Ahmed Rubel.
⬇ Download the companion files (ZIP)
What’s inside
- C implementations for the traffic light, temperature, and automotive door controllers
- The minimal test framework from Chapter 18
- Model-derived test suites (7, 10, and 20 tests)
- Deliberately defective versions for the defect exercises
- Requirement files and a traceability matrix
- The AI prompt library from Appendix A
- Build scripts for Linux, macOS, and Windows
Quick start
Unzip the folder, open it in Visual Studio Code, and run make test (or build.sh / build.bat). See README.md inside the folder for full instructions.
The companion source code may be used and modified freely for learning.