Advanced Techniques in Embedded Software Testing Training

Lesson 1 • Embedded Testing Lifecycle

Maps testing activities across development phases from unit to system level. Provides a framework for organising all techniques covered in later chapters.

Lesson 2 • Common Defect Categories

Catalogues defect types prevalent in embedded software: timing faults, memory errors, and hardware interaction bugs. Motivates targeted test design strategies.

Lesson 3 • Embedded Systems Overview

Defines hardware-software interaction, resource constraints, and real-time requirements. Grounds all subsequent testing strategies in embedded system realities.

Lesson 1 • Specification-Based Test Design

Derives test cases from requirements using equivalence partitioning and boundary analysis. Ensures functional coverage without requiring source code access.

Lesson 2 • Test Design for State Machines

Applies state-based techniques to firmware with explicit state machine implementations. Produces transition coverage and sneak-path test cases.

Lesson 3 • Test Data Management

Organises input data sets, expected outputs, and boundary values for repeatable test execution. Establishes data practices that support automation in later chapters.

Lesson 4 • Designing Tests for Interrupts

Addresses interrupt-driven behaviour as a unique embedded test design challenge. Techniques ensure interrupt service routines are exercised under realistic conditions.

Lesson 1 • Integrating Static Analysis in CI

Embeds static analysis tools into continuous integration pipelines for embedded projects. Ensures early defect detection without blocking developer workflow.

Lesson 2 • Principles of Static Analysis

Explains how static analysers parse code to detect undefined behaviour, data flow errors, and coding standard violations. Positions static analysis as a complement to dynamic testing.

Lesson 3 • Coding Standards and Compliance

Covers safety-oriented coding standards for embedded C and C++ and their automated enforcement. Links standard compliance to reduced defect density.

Lesson 1 • Host-Based Unit Test Execution

Configures build environments to compile and run embedded firmware tests on development machines. Accelerates test feedback cycles before hardware is available.

Lesson 2 • Simulating Peripheral Behavior

Techniques for modelling sensors, actuators, and communication peripherals in software. Extends testability to hardware-dependent code paths.

Lesson 3 • Stubs, Drivers, and Mock Objects

Distinguishes stubs, drivers, and mocks and demonstrates their construction for embedded modules. Enables isolated unit testing without physical hardware.

Lesson 4 • Hardware Abstraction Layer Concepts

Defines the hardware abstraction layer pattern and its role in making firmware testable on host machines. Establishes the architectural basis for all harness designs.

Lesson 1 • Instrumentation Techniques

Explains source-level and binary instrumentation methods for collecting coverage data on target hardware. Addresses instrumentation overhead in resource-constrained systems.

Lesson 2 • On-Target Coverage Collection

Describes methods for extracting coverage data from embedded targets via debug interfaces and serial output. Bridges the gap between host analysis and target execution.

Lesson 3 • Coverage Reporting and Traceability

Links coverage results to requirements and test cases for audit-ready documentation. Supports compliance reporting in safety-critical projects.

Lesson 4 • Coverage Criteria and Standards

Defines statement, branch, MC/DC, and path coverage and maps them to safety integrity levels. Provides the selection framework used throughout this chapter.

Lesson 1 • Runtime Fault Detection Techniques

Applies watchdog timers, memory protection units, and assertion frameworks to detect faults at runtime. Converts latent defects into observable test failures.

Lesson 2 • Debugging Intermittent Failures

Applies systematic strategies to reproduce and isolate non-deterministic failures on hardware. Addresses race conditions, timing faults, and environmental sensitivities.

Lesson 3 • Trace and Profiling Tools

Uses instruction trace and data trace capabilities to observe execution without intrusive instrumentation. Enables timing analysis and defect localisation.

Lesson 4 • Debug Interface Fundamentals

Covers JTAG and SWD debug protocols, probe setup, and breakpoint management. Provides the hardware access foundation for all on-target test activities.

Lesson 1 • Fault Injection Fundamentals

Defines fault models, injection points, and observability requirements for embedded systems. Establishes the conceptual basis for all injection techniques in this chapter.

Lesson 2 • Communication and Protocol Fault Testing

Injects malformed messages, timing violations, and protocol errors into communication interfaces. Validates protocol stack robustness and error recovery behaviour.

Lesson 3 • Analysing Fault Injection Results

Evaluates system responses to injected faults against expected safe-state behaviours. Produces evidence of robustness for safety case documentation.

Lesson 4 • Software-Based Fault Injection

Implements fault injection through code mutation, corrupted return values, and forced exception triggers. Validates error handling paths without hardware modification.

Lesson 1 • Unit Test Frameworks for Embedded C

Configures and uses lightweight unit test frameworks suited to embedded C and C++ codebases. Produces self-contained, portable test suites executable on host and target.

Lesson 2 • Automation Architecture for Embedded

Designs layered automation architectures separating host tests, simulator tests, and on-target tests. Provides the structural blueprint for all automation work in this chapter.

Lesson 3 • Hardware-in-the-Loop Test Automation

Automates test execution on physical hardware using remote debug probes and test orchestration tools. Enables unattended overnight regression runs on real targets.

Lesson 4 • CI Pipeline Integration

Embeds build, static analysis, host tests, and target tests into a unified CI pipeline. Delivers actionable pass/fail feedback on every code commit.