Build a structured foundation in software testing and verification, covering V&V and the V-Model, test levels, black-box and white-box techniques, test planning, risk-based testing, defect management and test metrics.

Practical focus: apply test-design techniques and produce a risk-prioritised test plan and defect log as part of a Test Strategy & Case Design Dossier.

Apply static analysis across C/C++, Python and Rust using cppcheck, clang-tidy, Clang Static Analyzer, pylint, mypy and clippy, together with security scanning, SARIF reporting and quality-gate concepts.

Practical focus: build a multi-language static-analysis workflow and consolidate findings into a unified SARIF report with severity-based quality gates.

Develop practical unit and component testing across C/C++, Python and Rust using GoogleTest, Catch2, pytest and cargo test, with test doubles, property-based testing, memory/thread-safety tools and cross-language test architecture.

Practical focus: create a polyglot component test suite with language-specific tests, a documented test strategy and a cross-language contract test.

Measure structural code coverage across C/C++, Python and Rust, identify coverage gaps and develop a practical understanding of Modified Condition/Decision Coverage, independence pairs and masking versus unique-cause MC/DC.

Practical focus: generate statement and branch coverage evidence, close identified gaps and manually derive an MC/DC test set using a truth-table method.

Turn functional and non-functional requirements into testable verification activities, covering requirement quality, test derivation, test oracles, Given/When/Then and forward, backward and bidirectional traceability.

Practical focus: derive a complete test set and build a bidirectional traceability matrix with documented change-impact and regression-scope analysis.

Extend testing across protocols, networks, middleware and data layers using Wireshark, Scapy, TCP/UDP test harnesses, fuzzing, MQTT, Kafka, REST/gRPC and ETL integration testing.

Practical focus: validate a multi-protocol CAN/MQTT/REST data-aggregation system across protocol, network, middleware and persistence layers, including a fuzz-based negative test.

Apply static and dynamic verification to embedded and real-time software using MISRA-C, stack/resource analysis, QEMU emulation, FreeRTOS, GPIO/UART/CAN testing, WCET and interrupt-latency measurement.

Practical focus: produce static and dynamic verification evidence for a sample embedded UART/CAN driver, including timing and fault-injection results.

Test connected applications across device, gateway and cloud layers, including OTA updates, intermittent connectivity, store-and-forward behaviour, IoT identity, load testing, failover, observability and basic chaos testing.

Practical focus: run an end-to-end device-to-dashboard IoT scenario and create a Locust-based load and failover test report for the receiving service.

Validate AI/ML systems from dataset quality and model documentation through output validation, robustness, regression and drift detection using tools including Great Expectations, scikit-learn and Evidently.

Practical focus: produce a full ML pipeline validation report combining data-quality evidence, model-card review, golden test-set results, robustness testing and drift detection.

Apply safety-oriented verification to automotive and ADAS software through ISO 26262 and ASIL concepts, automotive MISRA-C, CAN checks, sensor fusion, object/lane detection, scenario-based testing and fault injection.

Practical focus: combine an ASIL-driven static review with scenario-based dynamic testing and fault injection for a camera-to-decision mini-ADAS pipeline.

Automate static analysis, unit testing and coverage across C/C++, Python and Rust using GitHub Actions, matrix builds, JUnit reporting, Docker Compose test environments and pipeline quality gates.

Practical focus: build a complete gated CI/CD pipeline with automated static analysis, tests, coverage thresholds and required status checks before merge.