Satisfying ASIL Requirements with Parasoft C++test