[4 sessions] Software Testing & Verification Programme

[4 sessions] Software Testing & Verification Programme

We offer a 50% discount to students; please complete this form to avail the discount.

This 4-session professional training programme covers software testing, verification, and validation across C/C++, Python, and Rust, with a focus on practical testing evidence and the standards governing high-assurance software.

The programme consists of four sessions:

• Session 1 — Foundations & Cross-Language Testing

• Session 2 — Coverage, Requirements & Integration

• Session 3 — Domain Testing Survey

• Session 4 — Automation & the Standards Bridge

What You Will Learn

By the end of this programme, you will:

• Apply verification and validation principles and practical test design techniques

• Use static analysis and unit-testing tools across C/C++, Python and Rust

• Identify coverage gaps and derive MC/DC test sets

• Design requirements-based tests and build traceability matrices

• Apply testing techniques to embedded, IoT, AI/ML and automotive software

• Automate testing and coverage checks in CI/CD pipelines

• Map verification evidence against five cross-industry standards

Why This Matters

Software testing is not just about whether code runs. High-assurance software requires evidence that meaningful defects have been identified, requirements have been tested, and verification objectives have been addressed.

This programme provides practical experience producing testing artifacts that demonstrate the effectiveness of your testing approach.

Ideal For

• Software test engineers and QA engineers

• Verification and validation engineers

• Software engineers moving into testing roles

• Engineers working towards avionics, rail, defence, automotive or nuclear certification.

• Technical professionals interested in high-assurance software verification

Training Format

• 4 sessions

• 3 hours per session

• 12 hours total

• Live online training

• Practical demonstrations and structured learning

• Graded take-home assignments

• Open-source tools and offline-capable exercises

Participants should already be comfortable writing code in C/C++, Python and Rust. The sessions are designed to be taken in order.