The RKValidate Blog

The safety-critical testing blog

Code coverage, MC/DC, and AI-speed test generation for ISO 26262 and DO-178C teams.

Search is illustrative in this preview.

All posts Code Coverage MC/DC & Multi-Condition Unit Test Generation Embedded GPU/CUDA ISO 26262 DO-178C

Featured

MC/DC · multi_condition.c DAL-A

Decision100%

Condition100%

MC/DC100%

MC/DC & Multi-Condition Featured

MC/DC Explained for DO-178C: From Truth Tables to Certifiable Evidence

Modified Condition/Decision Coverage trips up even experienced teams. We break down independence pairs, masking vs. unique-cause, and exactly what an avionics assessor expects to see in your coverage report, with worked examples you can reproduce.

Priya Nair · Coverage Engineering · May 28, 2026 · 11 min read

How Code Coverage Works: From Instrumentation to MC/DC Reports

A clear walkthrough of how a code coverage tool works: instrumentation at compile time, a runtime library, capturing data on host or target, and color-coded HTML and XML reports through MC/DC.

Arjun Rao·Jun 21, 2026·10 min

CI/CD

Code Coverage in CI/CD: Jenkins, Azure DevOps, GitLab and SonarQube

Add code coverage to your pipeline: build with coverage, run tests, publish to SonarQube, and gate merges in Jenkins, Azure DevOps and GitLab, with delta coverage on changed code.

Sanjay Iyer·Jun 21, 2026·11 min

Embedded

How to Choose a Code Coverage Tool for Embedded and Safety-Critical Software

A practical buyers guide for embedded teams: the criteria that matter, from no source changes and cross-compiler support to on-target MC/DC and CI integration, with a checklist you can copy.

Priya Nair·Jun 21, 2026·11 min

Test Generation

AI Unit Test Generation: Closing Coverage Gaps with RKMCP and RKTracerGen

RKTracer finds the uncovered lines and conditions. RKMCP feeds them to your AI agent, and RKTracerGen writes unit tests fully offline. Here is how coverage-driven test generation works.

Arjun Rao·Jun 21, 2026·10 min

Embedded

Code Coverage in IAR Embedded Workbench IDE: A Step-by-Step Guide

Integrate RKTracer with IAR Embedded Workbench, capture structural coverage on the embedded target during a C-SPY debug session, and generate HTML reports, with selective instrumentation by folder or function.

Sanjay Iyer·Jun 18, 2026·10 min

GPU/CUDA

Code Coverage for CUDA NVIDIA: Host and GPU Device Testing Made Simple

Measuring structural coverage across host and GPU device code used to mean blind spots in your kernels. Here's how to instrument both sides of a CUDA build and get one unified report.

Arjun Rao·Apr 9, 2026·9 min

Unit Test Generation

Unit Testing Tools for C, C++, Java and C#

A practical comparison of the unit-testing landscape across four major languages, frameworks, mocking, and where AI-generated tests fit alongside the classics.

Meera Krishnan·Mar 21, 2026·8 min

Code Coverage

What is Test-Driven Development (TDD)?

Red, green, refactor, explained from first principles, with a look at how TDD interacts with coverage targets and where it pays off most in safety-critical code.

Sanjay Iyer·Mar 4, 2026·7 min

Unit Test Generation

GTest Tutorial: Getting Started with Google Test

A hands-on walkthrough of writing your first GoogleTest suite, fixtures, assertions, parameterized tests, and wiring it into a coverage run for C++.

Arjun Rao·Feb 18, 2026·10 min

Code Coverage

Tools for Code Coverage: A Practical Guide

From gcov and lcov to commercial qualification kits, what each class of tool measures, where they stop, and how to choose one that holds up under audit.

Meera Krishnan·Jan 30, 2026·12 min

Code Coverage

Everything You Need to Know About Code Coverage

The complete primer: statement, branch, decision, condition, MC/DC and multi-condition, what each metric proves, and why "100% line coverage" can still hide bugs.

Priya Nair·Jan 12, 2026·14 min

DO-178C

Measuring Coverage on Targets Without a File System

Bare-metal and constrained RTOS devices can't just write a coverage file. We walk through streaming structural data out over SWO, RTT and other debug transports.

Sanjay Iyer·Dec 15, 2025·9 min

ISO 26262

ISO 26262 Tool Confidence Levels, Demystified

TCL, TD, and tool qualification can feel like alphabet soup. Here's a clear path through tool impact, error detection, and what a coverage tool needs to be trusted in an ASIL-D workflow.

Priya Nair·Nov 27, 2025·10 min

Embedded

Cross-Compiler Coverage: Why Host Numbers Lie

The compiler that builds your firmware optimizes differently from your host. We show why coverage gathered on your laptop isn't the coverage that ships, and how to fix it.

Arjun Rao·Nov 6, 2025·8 min

Pagination is illustrative in this preview.

Newsletter

Get safety-critical testing insights

Once or twice a month: new guides on MC/DC, target coverage, and AI-speed test generation, written for engineers shipping software that cannot fail. No spam, unsubscribe anytime.

Practical coverage techniques, not marketing fluff
Worked examples for DO-178C, ISO 26262 & IEC 61508
Early access to RKTracer tutorials & CI recipes

Reading about coverage is good. Proving it is better.

See RKTracer generate tests and measure certifiable MC/DC coverage on your own code, host or target, in an afternoon.

Book a Demo Download Free Trial

The safety-critical testing blog

Get safety-critical testing insights

You're subscribed.

Reading about coverage is good. Proving it is better.