Exercise 3: Thermostat Model Testing

We will develop requirements-based tests and perform the verification of the thermostat unit compliant with ISO 26262 Part 6 and Part 8. We prepare several test-cases, test the requirement, achieve 100% coverage for design ranges and learn how to generate test-cases automatically based on interface ranges. We wil also achieve 100% structural coverage, both Desicion and MCDC. And we will generate cumulative coverage report. At the end we will generate a consolidated verification report.