Viewingsandwich-toaster
version main
·commit 0399697dNew versionCompare

Traceability

The engine's coverage report and the requirement-to-element allocations.

Traceability

5 requirements: 5 covered, 0 uncovered · 4 satisfy, 1 refine, 0 verify, 0 allocate

idreqIdtextallocated elementsstatus
req-cook-temperatureST-1Cooking Temperature: The toaster shall bring both plates to 180 C within 180 seconds of switch-on.
  • satisfy: Heating Element
covered
req-seal-and-cutST-2Seal and Cut: The toaster shall seal the sandwich around its perimeter and cut it into two triangular halves in a single closing action.
  • satisfy: Lower Heating Plate
covered
req-thermal-safetyST-3Thermal Safety: The toaster shall remove power from the heating elements if the plate temperature exceeds 240 C.
  • satisfy: Thermal Cut-out
covered
req-non-stickST-4Release: The plates shall release the sandwich without tearing the bread after a 5 minute cook.
  • satisfy: Upper Heating Plate
covered
req-standbyST-5Standby: The toaster shall enter a low-power standby state after 10 minutes without operation.
  • refine: Indicator Lamp
covered