[JTyQZSnP3cQGa8B]

That’s how it works too for medical software: the test proves that the specification has been implemented in a feature, that the feature kinda works, and as a bonus you get some code coverage.