pack.yaml

{
  "name": "verification-test-design-pack",
  "version": "0.1.0",
  "type": "skill-pack",
  "summary": "Verification and test design pack for Claude Code-style workflows.",
  "recommended_order": [
    "input-domain-partitioner",
    "equivalence-partitioning-generator",
    "boundary-value-generator",
    "decision-table-builder",
    "state-transition-test-designer",
    "pairwise-test-generator",
    "coverage-goal-planner",
    "cfg-builder",
    "statement-coverage-designer",
    "branch-coverage-designer",
    "path-coverage-designer",
    "basis-path-tester",
    "mc-dc-test-designer",
    "test-oracle-writer",
    "negative-test-designer",
    "fault-based-test-ideator"
  ],
  "skills": [
    {
      "id": "equivalence-partitioning-generator",
      "path": "skills/equivalence-partitioning-generator/SKILL.md",
      "purpose": "Partition an input domain into valid and invalid equivalence classes and select representative tests from each class.",
      "handoffs": [
        "boundary-value-generator",
        "test-oracle-writer",
        "coverage-goal-planner"
      ]
    },
    {
      "id": "boundary-value-generator",
      "path": "skills/boundary-value-generator/SKILL.md",
      "purpose": "Design tests around lower, upper, just-inside, and just-outside boundaries for numeric, ordered, sized, and count-based inputs.",
      "handoffs": [
        "equivalence-partitioning-generator",
        "negative-test-designer",
        "test-oracle-writer"
      ]
    },
    {
      "id": "decision-table-builder",
      "path": "skills/decision-table-builder/SKILL.md",
      "purpose": "Translate combinational business logic into a structured decision table and derive lean but sufficient tests.",
      "handoffs": [
        "pairwise-test-generator",
        "test-oracle-writer",
        "requirements-conflict-checker if present"
      ]
    },
    {
      "id": "state-transition-test-designer",
      "path": "skills/state-transition-test-designer/SKILL.md",
      "purpose": "Create tests from states, events, guards, and transitions, including invalid or out-of-order sequences.",
      "handoffs": [
        "negative-test-designer",
        "coverage-goal-planner",
        "test-oracle-writer"
      ]
    },
    {
      "id": "pairwise-test-generator",
      "path": "skills/pairwise-test-generator/SKILL.md",
      "purpose": "Reduce combinatorial explosion by selecting a compact set of tests that covers all parameter pairs.",
      "handoffs": [
        "decision-table-builder",
        "test-oracle-writer",
        "coverage-goal-planner"
      ]
    },
    {
      "id": "coverage-goal-planner",
      "path": "skills/coverage-goal-planner/SKILL.md",
      "purpose": "Choose an appropriate coverage target for the situation and define what evidence is needed to claim it.",
      "handoffs": [
        "statement-coverage-designer",
        "branch-coverage-designer",
        "path-coverage-designer"
      ]
    },
    {
      "id": "statement-coverage-designer",
      "path": "skills/statement-coverage-designer/SKILL.md",
      "purpose": "Design the smallest practical test set that executes every reachable statement at least once.",
      "handoffs": [
        "cfg-builder",
        "branch-coverage-designer",
        "basis-path-tester"
      ]
    },
    {
      "id": "branch-coverage-designer",
      "path": "skills/branch-coverage-designer/SKILL.md",
      "purpose": "Design tests that execute each decision outcome, including true and false branches and equivalent multi-way alternatives.",
      "handoffs": [
        "statement-coverage-designer",
        "path-coverage-designer",
        "mc-dc-test-designer"
      ]
    },
    {
      "id": "path-coverage-designer",
      "path": "skills/path-coverage-designer/SKILL.md",
      "purpose": "Identify meaningful execution paths and design tests while being explicit about infeasible or exploding path counts.",
      "handoffs": [
        "basis-path-tester",
        "cfg-builder",
        "coverage-goal-planner"
      ]
    },
    {
      "id": "mc-dc-test-designer",
      "path": "skills/mc-dc-test-designer/SKILL.md",
      "purpose": "Design tests showing that each atomic condition can independently affect the overall decision outcome.",
      "handoffs": [
        "branch-coverage-designer",
        "test-oracle-writer",
        "coverage-goal-planner"
      ]
    },
    {
      "id": "basis-path-tester",
      "path": "skills/basis-path-tester/SKILL.md",
      "purpose": "Compute a basis set of independent execution paths from a control-flow graph and derive tests from them.",
      "handoffs": [
        "cfg-builder",
        "path-coverage-designer",
        "statement-coverage-designer"
      ]
    },
    {
      "id": "cfg-builder",
      "path": "skills/cfg-builder/SKILL.md",
      "purpose": "Convert code or pseudo-code into a control-flow graph suitable for structural test design and reasoning.",
      "handoffs": [
        "basis-path-tester",
        "statement-coverage-designer",
        "branch-coverage-designer"
      ]
    },
    {
      "id": "test-oracle-writer",
      "path": "skills/test-oracle-writer/SKILL.md",
      "purpose": "Define what counts as a correct result for each test so outcomes are observable, comparable, and not left to intuition.",
      "handoffs": [
        "negative-test-designer",
        "traceability packs later",
        "automation-testing packs later"
      ]
    },
    {
      "id": "negative-test-designer",
      "path": "skills/negative-test-designer/SKILL.md",
      "purpose": "Design invalid, unexpected, hostile, or malformed-input tests that pressure the system\u2019s error handling and resilience.",
      "handoffs": [
        "boundary-value-generator",
        "test-oracle-writer",
        "fault-based-test-ideator"
      ]
    },
    {
      "id": "input-domain-partitioner",
      "path": "skills/input-domain-partitioner/SKILL.md",
      "purpose": "Create a clean domain model of input classes, relationships, and constraints before selecting detailed tests.",
      "handoffs": [
        "equivalence-partitioning-generator",
        "pairwise-test-generator",
        "negative-test-designer"
      ]
    },
    {
      "id": "fault-based-test-ideator",
      "path": "skills/fault-based-test-ideator/SKILL.md",
      "purpose": "Generate tests based on likely developer mistakes, common defect patterns, and known fragility in the design or code.",
      "handoffs": [
        "negative-test-designer",
        "coverage-goal-planner",
        "review or inspection packs later"
      ]
    }
  ],
  "templates": [
    "templates/test-case-template.md",
    "templates/equivalence-partition-template.md",
    "templates/boundary-value-template.md",
    "templates/decision-table-template.md",
    "templates/state-transition-template.md",
    "templates/coverage-plan-template.md",
    "templates/test-oracle-template.md",
    "templates/negative-test-template.md",
    "templates/pairwise-input-matrix-template.csv",
    "templates/traceability-template.csv"
  ]
}