Skip to content
Verification

Requirements Traceability Without the Spreadsheet

The traceability matrix is accurate the day it is written and wrong within a sprint. Generating the link at authoring time is what makes it survive.

3 min read

A traceability matrix is accurate on the day it is written and wrong within a sprint. The problem is not discipline. It is that the link lives in a document rather than on the artifact.

Every regulated engineering organization maintains one. Almost none trusts it. The ritual before an audit — freeze the requirements, reconstruct the mapping by hand, discover that four hundred tests reference requirement identifiers that no longer exist — is familiar enough that teams budget weeks for it.

From the standard

“Verification and validation (V&V) processes are used to determine whether the development products of a given activity conform to the requirements of that activity and whether the product satisfies its intended use and user needs.”
IEEE 1012-2016, System, Software, and Hardware Verification and Validation — standards.ieee.org

Why the matrix decays

The matrix is a second source of truth about a relationship that is not recorded anywhere else. Nothing enforces it, and nothing detects when it drifts.

A requirement is revised and its identifier changes. A test suite is reorganised and cases are renumbered. An engineer writes three cases for a requirement and records one. Someone deletes a requirement that turned out to be a duplicate, leaving the tests that verified it in place with no justification. None of these produces an error at the time — each surfaces months later, in an audit, as a finding.

The manual fix is to reconstruct the mapping periodically, which is expensive enough that it happens only when compelled. Between reconstructions the organization is operating on a document it knows to be inaccurate.

Write the link at authoring time

The structural fix is to stop treating traceability as documentation and start treating it as provenance. When a test is generated from a requirement, the requirement identifier and the specific signals it implicates are written onto the case as it is created — not recorded in a parallel spreadsheet afterwards.

The consequence is that the matrix stops being a document to maintain and becomes a query to run. Nothing can drift, because there is no second copy to drift from.

Both directions matter

Forward traceability — which tests verify this requirement — is what auditors ask for. Backward traceability — which requirement justifies this test — is what finds orphaned cases: tests that outlived the requirement motivating them and now consume review effort verifying behaviour nobody asked for. Most matrices only support the first direction.

Grounding: the part that makes it trustworthy

Automating the link is only useful if the link is correct. A system that confidently associates a requirement with signals that do not exist has made the matrix worse, because now the errors carry machine authority.

This is why generation has to be grounded in an index built by parsing your actual source — the real signal entities, the real interfaces — rather than in a model's recollection of what a system like yours probably contains. The model selects among things that demonstrably exist; it does not supply the vocabulary.

A grounding check then rejects any output referencing something absent from the index, before a reviewer sees it. That inverts the review economics: engineers spend their time judging whether coverage is adequate rather than checking whether the signal names are real.

The coverage question nobody could answer

Once traceability is a property of the artifacts rather than a document, a question that was previously unanswerable becomes routine: what fraction of implemented behaviour is actually verified, and specifically where is the gap?

With both directions recorded and an index of what exists, a scan can enumerate signals and functions with no covering test, per configuration. That output is a work queue rather than an audit finding — the difference between discovering a gap deliberately and discovering it under examination.

Human review stays

Automating traceability does not mean automating judgment. Every generated case should stop in a review queue with its source requirement and matched signals shown alongside it, and legacy updates should show a field-level diff before the write. In a regulated context, an unattended write into a test plan is a defect rather than a feature — the automation removes the transcription, not the engineer.

What this is worth

The obvious saving is the weeks of pre-audit reconstruction, which is real but not the largest number. The larger one is what stops happening: requirements that were never covered because the omission was invisible, and test effort spent on cases nobody could justify.

Both are hard to put in a business case, because they are costs that were never recorded as costs. They show up instead as schedule slippage nobody could attribute.

Axionalytics

Production agentic AI for enterprise engineering, data, and revenue teams.

Keep reading

Facing this in your own environment?

Forty-five minutes with the engineers who build these systems. Bring the constraint that has been blocking you — you will leave with an architecture opinion whether or not you work with us.