skills.rest
deriye
deriyeCOMMUNITY
Explore all skills by this author →
GitHub

v3-ic3-gfx-testwriter

Generates PAQR test cases and visual reports from IC3 and GFX requirement XIDs using subagent workflows.

Updated Sep 7, 2026
Search Tags:#test generation#requirement analysis#gfx#subagent workflow#ic3#paqr#systemweaver
One-click install
npx skills add https://github.com/deriye/.agents-work --skill v3-ic3-gfx-testwriter-deriye
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: v3-ic3-gfx-testwriter
Source: https://github.com/deriye/.agents-work/tree/main/skills/v3-ic3-gfx-testwriter
Command: npx skills add https://github.com/deriye/.agents-work --skill v3-ic3-gfx-testwriter-deriye

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve? Writing test cases from SystemWeaver/SE-TOOL requirements is slow and error-prone, requiring engineers to manually analyze requirement XIDs, interpret signal flows, and author PAQR test code. This Skill automates that pipeline by orchestrating subagents that analyze the requirement, generate runnable PAQR tests, and produce a visual HTML report. ## Core Features & Use Cases - Requirement Analysis: Resolves a requirement XID (or swap:// URL) and produces a deep analysis covering signal flows, boundary conditions, DOID parameters, and dependencies. - PAQR Test Generation: Creates runnable PAQR test cases covering normal operation, boundary conditions, error handling, and integration scenarios, verified with LSP, ruff, and uv run paqr generate. - AIGR Confidence Markers: Annotates generated test code with HIGH/MEDIUM/LOW confidence blocks so reviewers know which sections need manual validation. - Visual HTML Report: Produces a concise, scannable HTML visualization of the requirement analysis with diagrams and tables, opened automatically in the browser. - Use Case: Given an XID like x040000000000..., the Skill analyzes the requirement, then in parallel generates verified PAQR test files and an HTML report, ending with a summary of deliverables and risks. ## Quick Start Ask the assistant to generate PAQR test cases and a visual analysis report for requirement XID x0400000000001234.

Frequently Asked Questions about v3-ic3-gfx-testwriter

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

FAQPage Schema
How do I generate PAQR test cases from a requirement XID?▼

Provide the requirement XID (such as x040000000000...) or a swap:// URL and request test generation. The Skill analyzes the requirement first, then generates PAQR test cases covering normal operation, boundary conditions, error handling, and integration scenarios.

How are generated PAQR tests verified for correctness?▼

Generated tests are verified using LSP checks, `uv run ruff check` and `uv run ruff format` for linting, and `uv run paqr generate` to confirm successful XML generation. Any generation issues are debugged and fixed before delivery.

What are AIGR confidence blocks in generated test code?▼

AIGR confidence blocks are review markers placed above generated code sections with HIGH, MEDIUM, or LOW confidence levels. HIGH marks direct implementations, MEDIUM marks interpreted logic, and LOW flags speculative code or signals not exactly matching the database for manual review.

Does the Skill produce documentation alongside the test cases?▼

Yes, a visual reporter subagent generates a concise HTML report of the requirement analysis with cards, mermaid diagrams, tables, and a table of contents. The report is saved in the current directory and opened in the browser automatically.

What inputs does the test generation workflow accept?▼

The workflow accepts a requirement XID, a swap:// URL, a software component or requirement reference, or a file containing references to such identifiers. The XID is resolved and analyzed before any test generation begins.

Related Skills

Explore More Software Engineering Skills→
blakniteblaknite

reading-notion

Search, view, and list Notion workspace content using notion-cli.

Community
Basic
Obsidian-OwlObsidian-Owl
9

gate-build

Execute configured build and test commands to verify code integrity.

Official
Intermediate
norechangnorechang
5

en50128-validation

Generate EN 50128 validation plans and manage compliance artifacts for railway software.

Community
Advanced
FlorianRiquelmeFlorianRiquelme

Testing Test Writing

Guide testing strategy for feature development with unit and integration tests.

Community
Basic