[SystemSafety] State of the art for "safe Linux"

[Paul Sherwood]

On 2024-08-07 10:28, Prof. Dr. Peter Bernard Ladkin wrote:
>>> If your tests haven't covered
>>> all the requirements, there's functionality you haven't tested. If
>>> your tests haven't achieved statement coverage, then there's code 
>>> that
>>> you've never executed, not even once, during your testing.
>> 
>> I understand the argument, but this last sentence is flawed.
> 
> How is the last sentence "flawed"? It seems to me a clear statement of 
> the obvious (which I imagine is what Dewi intended).

Because we can **test**, without creating **tests**. We may have 
executed the code, but not created tests for it.