What current checks can establish
Software tests can check that implemented functions behave as specified. Synthetic cases can exercise software paths and expose technical failure modes. Neither is evidence that a clinician makes more accurate diagnoses or that patients benefit.