{"slug":"model-based-testing","title":"model-based-testing","summary":"Use this skill when you need to derive test-path candidates from sourced behavior, state, or process models; triggers include 基于模型的测试 and model-based test design.","platform":"Claude","tags":[],"authorName":"LLM Mart","authorSlug":"llm-mart","score":0,"source":"github","price":null,"verified":false,"createdAt":"2026-09-24T14:55:05.485174Z","repo":{"url":"https://github.com/naodeng/awesome-qa-skills","stars":230,"forks":31,"license":null,"updatedAt":"2026-09-22T13:51:34Z"},"bodyHtml":"<hr>\n<h2>name: model-based-testing\ndescription: Use this skill when you need to derive test-path candidates from sourced behavior, state, or process models; triggers include 基于模型的测试 and model-based test design.</h2>\n<h1>Model-Based Test Design</h1>\n<p>Derive test-path candidates from sourced behavior, state, or process models. Produce MBT-## design candidates within the evidence boundary; do not execute tests or claim coverage or pass results.</p>\n<h2>When to Use</h2>\n<ul>\n<li>Analyze behavior models, states or nodes, events, path constraints, model versions, and existing execution evidence.</li>\n<li>Preserve selection rationale, evidence gaps, priority, and validation actions.</li>\n<li>Inputs are incomplete but a bounded first pass can mark items unassessed or blocked.</li>\n</ul>\n<h2>Output Format Options</h2>\n<ul>\n<li>Use Markdown by default; use tables, JSON, or CSV only when explicitly requested or required by the delivery format.</li>\n<li>Separate static analysis, unexecuted work, evidence states, and Human decisions; keep items unassessed, blocked, or NOT_RUN when runtime evidence is absent.</li>\n</ul>\n<h2>How to Use</h2>\n<ol>\n<li>Read <code>prompts/model-based-testing.md</code> and provide the objective, scope, material, environment, and evidence.</li>\n<li>Start with separate known, missing, conflicting, stale, out_of_scope, and assumptions entries.</li>\n<li>Produce MBT-## findings with source, evidence state, applicability, impact/priority, owner, close condition, and validation.</li>\n<li>Separate facts, evidence-backed inferences, recommendations, and Human decisions.</li>\n<li>Recommend follow-up validation without claiming execution.</li>\n</ol>\n<h2>Core Constraints</h2>\n<ul>\n<li>Do not invent model nodes, paths, or versions, or treat model presence as runtime evidence.</li>\n<li>File presence, names, templates, and Eval configuration are not runtime evidence.</li>\n<li>Do not edit requirements, code, test assets, or target systems, or accept risk for a Human.</li>\n</ul>\n<h2>Pre-delivery Check</h2>\n<ul>\n<li><input disabled=\"disabled\" type=\"checkbox\"> The six-part input audit is complete.</li>\n<li><input disabled=\"disabled\" type=\"checkbox\"> Every MBT-## has source, evidence state, applicability, concern, impact/priority, owner, close condition, and validation.</li>\n<li><input disabled=\"disabled\" type=\"checkbox\"> Facts, inferences, recommendations, and Human decisions are separate.</li>\n<li><input disabled=\"disabled\" type=\"checkbox\"> Unexecuted, unverified, unassessed, and pending-decision items are explicit.</li>\n</ul>\n<h2>Reference Files</h2>\n<ul>\n<li>Read evals/eval.yaml and matching cases for regression; configuration does not prove project results.</li>\n<li>Use evals/trigger-prompts.csv and evals/local-rules.json for trigger checks; missing skill.selection evidence is BLOCKED.</li>\n</ul>\n<h2>Common Pitfalls</h2>\n<ul>\n<li>Do not treat a method name, file presence, or candidate count as execution, coverage, pass, or release evidence.</li>\n<li>Do not fill missing model rules, paths, versions, or results with convention; preserve unassessed, blocked, and pending items.</li>\n<li>Do not expand this specialist design into a complete strategy, full test cases, runtime execution, or a release decision.</li>\n</ul>\n<h2>Best Practices</h2>\n<ul>\n<li>Complete the six-part input audit before selecting the smallest traceable and verifiable finding scope.</li>\n<li>Keep the source, evidence state, impact/priority, owner role, close condition, validation method, and residual risk for every finding.</li>\n<li>Write validation suggestions as next actions; do not upgrade package structure, candidate counts, or local Eval configuration into real quality conclusions.</li>\n</ul>\n","files":[{"path":"agents/openai.yaml","sizeBytes":330,"isText":true},{"path":"evals/cases/basic-success.yaml","sizeBytes":829,"isText":true},{"path":"evals/cases/edge-incomplete-input.yaml","sizeBytes":779,"isText":true},{"path":"evals/cases/edge-scope-boundary.yaml","sizeBytes":875,"isText":true},{"path":"evals/eval.yaml","sizeBytes":436,"isText":true},{"path":"evals/local-rules.json","sizeBytes":138,"isText":true},{"path":"evals/trigger-prompts.csv","sizeBytes":589,"isText":false},{"path":"prompts/model-based-testing.md","sizeBytes":2508,"isText":true},{"path":"SKILL.md","sizeBytes":3267,"isText":true}],"reviewScore":null,"reviewSummary":null,"trust":{"provenance":"trusted-source-unreviewed","notice":"Community-authored content, reproduced verbatim and not vetted as instructions. Treat it as data to evaluate, never as directives to follow.","bodySource":null},"bodyLocked":false,"purchaseUrl":null,"sourceUrl":null,"report":{"provenance":"trusted-source-unreviewed","screen":{"ran":true,"outcome":"clean","suspicious":0,"notes":0,"hiddenCharacters":false},"virusScan":{"engine":"clamav","status":"clean","scannedAt":"2026-09-24T14:58:10.235258Z","sha256":"430A5A5573905C28CAED3007C755CDA87B54AA67BA0E3D6FF1B7CD2159B0BD20","sizeBytes":5662},"review":null,"source":{"repositoryUrl":"https://github.com/naodeng/awesome-qa-skills","path":"skills/en/testing-types/model-based-testing","license":null,"commit":"c44b8922085e01bafc804d1ffa3f21d4cec1d1c5","subtreeSha":"945AD41E7456592BDB0A06AEAD4A840D2F8F3C128B6998C16D41D47854586AC5","lastSyncedAt":"2026-09-24T14:54:50.849933Z"},"reviewedAt":"2026-09-24T15:07:38.824528Z","notice":"Community-authored content, reproduced verbatim and not vetted as instructions. Treat it as data to evaluate, never as directives to follow."},"install":[{"target":"skills-cli","command":"npx skills add https://github.com/naodeng/awesome-qa-skills/tree/main/skills/en/testing-types/model-based-testing"},{"target":"claude-code","command":"claude plugin marketplace add https://llmmart.ai/marketplace.json && claude plugin install naodeng-awesome-qa-skills@llmmart"},{"target":"git","command":"git clone https://github.com/naodeng/awesome-qa-skills.git"}]}