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.