Test Cases

Comprehensive testing ensures that the BrewMaster Pro 3000 meets all specified requirements and operates safely under all conditions. The test strategy employs multiple levels:

• Unit Tests: Verify individual components in isolation (temperature control, button debouncing, state machine transitions)

• Integration Tests: Validate interactions between modules (brew controller coordinating with temperature controller)

• System Tests: End-to-end verification of complete brewing cycles

• Safety Tests: Dedicated verification of all safety-critical functions under normal and fault conditions

All tests are automated and integrated into the continuous integration pipeline. Safety-critical tests are executed on hardware-in-the-loop test benches that simulate real sensors, actuators, and fault conditions. Test coverage targets are set based on the criticality of each component.

Test Case: Test Temperature Control TEST_TEMP_CONTROL

status: open tags: unit, control, safety layout: adas implemented by: IMPL_TEST_SENSOR_DATA, IMPL_TEST_TEMP_STATUS runs: CM_TESTREPORT_D00_89D39, CM_TESTREPORT_D00_A098C specs: SWREQ_TEMP_REGULATION

Objective: Verify temperature controller maintains target temperature within ±2°C. Steps: Initialize controller with target 90°C Simulate temperature sensor readings from 20°C to 95°C Record PWM output at each temperature Expected: PWM duty cycle decreases as temperature approaches target, maintains oscillation within ±2°C of setpoint.

Status: open

Test Case: Test Brew Strength Settings TEST_BREW_STRENGTH

status: open tags: integration, brewing layout: adas implemented by: IMPL_TEST_BREW_STRENGTH runs: CM_TESTREPORT_D00_67F65 specs: SWREQ_BREW_STRENGTH

Objective: Verify all three strength settings produce correct timing and water volume. Test Cases: Weak: Assert 180ml water dispensed in 3 min ±5s Medium: Assert 180ml water dispensed in 4 min ±5s Strong: Assert 180ml water dispensed in 5 min ±5s

Status: open

Test Case: Test Button Debouncing TEST_BUTTON_DEBOUNCE

status: open tags: unit, ui layout: adas implemented by: IMPL_TEST_USER_CMD runs: CM_TESTREPORT_D00_CC113 specs: SWREQ_BUTTON_INPUT

Objective: Verify button handler correctly debounces rapid inputs. Steps: Simulate 10 button presses within 200ms Count triggered events Expected: Only 1-2 events triggered (first press + possible bounce after 50ms timeout).

Status: open

Test Case: Test Safety Shutdown TEST_SAFETY_SHUTDOWN

status: open tags: integration, safety layout: adas implemented by: IMPL_TEST_BREW_FAULT, IMPL_TEST_TEMP_FAULT runs: CM_TESTREPORT_D00_3808E, CM_TESTREPORT_D00_B0B23 specs: SWREQ_OVERTEMP_SHUTDOWN, SWREQ_WATER_LEVEL

Objective: Verify safety monitor triggers shutdown on critical conditions. Test Cases: Over-temperature: Set temp > 100°C, assert shutdown within 100ms Low water: Set water level < threshold, assert brewing prevented Watchdog timeout: Block safety loop, assert hardware reset within 1s

Status: open

Test Case: Test End-to-End Brewing TEST_E2E_BREWING

status: open tags: system, e2e layout: adas specs: SWREQ_BREW_STRENGTH, SWREQ_BUTTON_INPUT, SWREQ_TEMP_REGULATION

Objective: Verify complete brewing cycle from user input to coffee output. Steps: Select medium strength Press start button Monitor temperature, water flow, and timing Expected: System heats to 85-95°C, dispenses 180ml over 4 minutes, returns to idle state, no safety triggers.

Status: open

Test Execution Results

The following test results are imported from the cargo test JUnit XML report generated by the coffee-machine crate. Each test-run need is automatically linked to its corresponding test specification via the tr_link dynamic function — the JUnit test case names match the test specification IDs (e.g. TEST_BREW_STRENGTH), so the runs link is resolved without any manual wiring.

Test file: /home/docs/checkouts/readthedocs.org/user_builds/sphinx-needs-demo/checkouts/latest/docs/testsuites/coffee_machine_junit.xml

Template used: /home/docs/checkouts/readthedocs.org/user_builds/sphinx-needs-demo/checkouts/latest/docs/_static/test_report_template.txt

Statistics

Test suites: 1

Test cases: 6

Failed test cases: 0

Skipped test cases: 0

Test cases:

ID	Title	Result
CM_TESTREPORT_D00_3808E	TEST_SAFETY_SHUTDOWN	passed
CM_TESTREPORT_D00_67F65	TEST_BREW_STRENGTH	passed
CM_TESTREPORT_D00_89D39	TEST_TEMP_CONTROL	passed
CM_TESTREPORT_D00_A098C	TEST_TEMP_CONTROL	passed
CM_TESTREPORT_D00_B0B23	TEST_SAFETY_SHUTDOWN	passed
CM_TESTREPORT_D00_CC113	TEST_BUTTON_DEBOUNCE	passed

Failed test cases:

No needs passed the filters

Skipped test cases:

No needs passed the filters

Imported data

Test-File: Coffee Machine Unit Tests CM_TESTREPORT

tags: coffee_machine, cargo_test, CM_TESTREPORT layout: adas file: /home/docs/checkouts/readthedocs.org/user_builds/sphinx-needs-demo/checkouts/latest/docs/testsuites/coffee_machine_junit.xml suites: 1 cases: 6 passed: 6 skipped: -1 failed: 0 errors: 0 links incoming: CM_TESTREPORT_D00, CM_TESTREPORT_D00_67F65, CM_TESTREPORT_D00_89D39, CM_TESTREPORT_D00_3808E, CM_TESTREPORT_D00_A098C, CM_TESTREPORT_D00_B0B23, CM_TESTREPORT_D00_CC113

[]

Status:

Test-Suite: coffee_machine CM_TESTREPORT_D00

tags: coffee_machine, cargo_test, CM_TESTREPORT layout: adas file: /home/docs/checkouts/readthedocs.org/user_builds/sphinx-needs-demo/checkouts/latest/docs/testsuites/coffee_machine_junit.xml suite: coffee_machine cases: 6 passed: 6 skipped: -1 failed: 0 errors: 0 links outgoing: CM_TESTREPORT links incoming: CM_TESTREPORT_D00_67F65, CM_TESTREPORT_D00_89D39, CM_TESTREPORT_D00_3808E, CM_TESTREPORT_D00_A098C, CM_TESTREPORT_D00_B0B23, CM_TESTREPORT_D00_CC113

Status:

Test-Run: TEST_SAFETY_SHUTDOWN CM_TESTREPORT_D00_3808E

tags: coffee_machine, cargo_test, CM_TESTREPORT style: tr_passed layout: adas file: /home/docs/checkouts/readthedocs.org/user_builds/sphinx-needs-demo/checkouts/latest/docs/testsuites/coffee_machine_junit.xml suite: coffee_machine case: TEST_SAFETY_SHUTDOWN case_name: TEST_SAFETY_SHUTDOWN classname: interfaces::tests::test_brew_ctrl_status_fault_detection time: 0.001 result: passed links outgoing: CM_TESTREPORT, CM_TESTREPORT_D00 test_cases: TEST_SAFETY_SHUTDOWN

Status:

Test-Run: TEST_BREW_STRENGTH CM_TESTREPORT_D00_67F65

tags: coffee_machine, cargo_test, CM_TESTREPORT style: tr_passed layout: adas file: /home/docs/checkouts/readthedocs.org/user_builds/sphinx-needs-demo/checkouts/latest/docs/testsuites/coffee_machine_junit.xml suite: coffee_machine case: TEST_BREW_STRENGTH case_name: TEST_BREW_STRENGTH classname: interfaces::tests::test_brew_strength_enum time: 0.001 result: passed links outgoing: CM_TESTREPORT, CM_TESTREPORT_D00 test_cases: TEST_BREW_STRENGTH

Status:

Test-Run: TEST_TEMP_CONTROL CM_TESTREPORT_D00_A098C

tags: coffee_machine, cargo_test, CM_TESTREPORT style: tr_passed layout: adas file: /home/docs/checkouts/readthedocs.org/user_builds/sphinx-needs-demo/checkouts/latest/docs/testsuites/coffee_machine_junit.xml suite: coffee_machine case: TEST_TEMP_CONTROL case_name: TEST_TEMP_CONTROL classname: interfaces::tests::test_sensor_data_creation time: 0.001 result: passed links outgoing: CM_TESTREPORT, CM_TESTREPORT_D00 test_cases: TEST_TEMP_CONTROL

Status:

Test-Run: TEST_SAFETY_SHUTDOWN CM_TESTREPORT_D00_B0B23

tags: coffee_machine, cargo_test, CM_TESTREPORT style: tr_passed layout: adas file: /home/docs/checkouts/readthedocs.org/user_builds/sphinx-needs-demo/checkouts/latest/docs/testsuites/coffee_machine_junit.xml suite: coffee_machine case: TEST_SAFETY_SHUTDOWN case_name: TEST_SAFETY_SHUTDOWN classname: interfaces::tests::test_temp_ctrl_status_fault_detection time: 0.001 result: passed links outgoing: CM_TESTREPORT, CM_TESTREPORT_D00 test_cases: TEST_SAFETY_SHUTDOWN

Status:

Test-Run: TEST_TEMP_CONTROL CM_TESTREPORT_D00_89D39

tags: coffee_machine, cargo_test, CM_TESTREPORT style: tr_passed layout: adas file: /home/docs/checkouts/readthedocs.org/user_builds/sphinx-needs-demo/checkouts/latest/docs/testsuites/coffee_machine_junit.xml suite: coffee_machine case: TEST_TEMP_CONTROL case_name: TEST_TEMP_CONTROL classname: interfaces::tests::test_temperature_status_conversions time: 0.001 result: passed links outgoing: CM_TESTREPORT, CM_TESTREPORT_D00 test_cases: TEST_TEMP_CONTROL

Status:

Test-Run: TEST_BUTTON_DEBOUNCE CM_TESTREPORT_D00_CC113

tags: coffee_machine, cargo_test, CM_TESTREPORT style: tr_passed layout: adas file: /home/docs/checkouts/readthedocs.org/user_builds/sphinx-needs-demo/checkouts/latest/docs/testsuites/coffee_machine_junit.xml suite: coffee_machine case: TEST_BUTTON_DEBOUNCE case_name: TEST_BUTTON_DEBOUNCE classname: interfaces::tests::test_user_command_variants time: 0.001 result: passed links outgoing: CM_TESTREPORT, CM_TESTREPORT_D00 test_cases: TEST_BUTTON_DEBOUNCE

Status:

Test Traceability Matrix

No needs passed the filters