3 ms·

I think you radically underestimate how complex a modern, eco-friendly, low-water usage dishwasher is.

• tremon 5y ago
  I don't think I do, care to elaborate? From what I can see, there's only two types of processes running inside a dishwasher: - control loops. These can (and must) be fully articulated during the design phase, can be accurately modeled using a Mealy FSM, and can be coded and verified with 100% coverage. - input processing. These take input from various sensors inside the machine, clamp and/or process the measurements, and pass on the data to some control system. The processes can be designed to be completely stateless (or maybe with hysteresis), which means that the only verification they need is that they always output valid data, even when confronted with spurious inputs. Since it's a feed-forward process and the inputs are bounded, 100% coverage is again possible. The only other system is the UI, and its only job is to provide valid configuration data to the master control process. As long as that part is extensively tested, the rest of the UI can crash and reboot at any time, and it won't affect the operation of the fully-tested control process.