bmad-testarch-trace

Map formal, contract, and synthetic coverage sources to tests and generate e2e-trace-summary.json.

Updated Sep 27, 2025
One-click install
npx skills add https://github.com/Cbanzaime23/Booking-System --skill bmad-testarch-trace-cbanzaime23
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: bmad-testarch-trace
Source: https://github.com/Cbanzaime23/Booking-System/tree/main/.agent/skills/bmad-testarch-trace
Command: npx skills add https://github.com/Cbanzaime23/Booking-System --skill bmad-testarch-trace-cbanzaime23

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Generates a structured traceability matrix from multiple coverage sources and applies a deterministic gate decision to indicate deployment readiness.

Core Features & Use Cases

  • Builds a complete traceability matrix linking requirements, tests, and targets (formal, contract, synthetic)
  • Analyzes gaps by priority and recommends actions for test design (ATDD) and automation
  • Produces machine-readable outputs (e2e-trace-summary.json) and human-friendly reports for CI/CD

Quick Start

Run the bmad-testarch-trace workflow to generate a traceability matrix and gate decision.

Frequently Asked Questions about bmad-testarch-trace

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I generate a traceability matrix from multiple test coverage sources?▼

Generate a traceability matrix by mapping formal, contract-based, and synthetic coverage sources to tests, producing a coherent view of linked requirements and targets. This identifies coverage gaps and computes per-priority statistics automatically.

How do I integrate test coverage gap analysis into a CI/CD pipeline?▼

Integrate coverage gap analysis into CI/CD by running the workflow to generate a machine-readable e2e-trace-summary.json and a human-friendly traceability report. These artifacts provide actionable gate decisions and deployment readiness signals for pipeline automation.

Can I map synthetic and contract-based test coverage to formal requirements?▼

Yes, you can map synthetic and contract-based test coverage to formal requirements. The traceability matrix links all three coverage sources to their corresponding tests and targets, ensuring a coherent and complete coverage view.

What is a gate decision in software deployment readiness?▼

A gate decision for deployment is a deterministic readiness check. This Skill computes gate eligibility criteria and outputs a gate decision YAML file, providing clear CI/CD pipeline artifacts to block or approve releases.

How do I get test architecture recommendations for coverage gaps?▼

Get test architecture recommendations by analyzing coverage gaps and per-priority statistics. The workflow generates actionable recommendations for test design (ATDD) and automation to close identified traceability deficiencies.

Are there limitations to using automated traceability for quality assurance?▼

Automated traceability requires meeting gate eligibility criteria to produce a final report and gate decision YAML. If coverage sources are incomplete or unmapped, gap analysis will flag deficiencies, potentially blocking pipeline deployment readiness.