high-assurance testing