CERTUS will utilise an automated intelligent algorithm that selects the most valuable tests from the problem space resulting in a more comprehensive and efficient validation and verification process. Search space optimisation techniques can then be applied to identify areas of uncertainty in performance, bolstered by test oracles and risk quantification to support CAM developers using this approach to make data driven decisions as to when they have achieved sufficient confidence in their systems performance for commercial deployment.

• Automated intelligent algorithm that selects the most valuable tests
• Novel search space optimisation techniques
• Evaluation via oracles enabling holistic assessment