[SystemSafety] "Ripple20 vulnerabilities will haunt the IoT landscape for years to come"

[Olwen Morgan]

On 01/07/2020 16:11, Peter Bernard Ladkin wrote:
> <snip>
>
> ... If you are programming, it may be that you can avoid unit tests in favor of verification, ...

<snip>


ABSOLUTELY NOT!

I refer you to the tester/programmer dialogue in my last posting.

Testing checks the assumptions made by the verifier. If a verified 
program fails a test, there is DEFINITELY a problem somewhere!


Olwen