oracle-model-based
Skill0 starsChanged 17 days agoNo licenceView on GitHub
期待値を1つずつ手で用意できないとき、システムの振る舞いを抽象モデル(状態機械など)で表し、 そこからテスト系列(操作の列)を自動生成して実システムと突き合わせるモデルベーステスト (Model-Based Testing)を扱う。test-catalog の手法カタログの一部。 抽象モデルの定義、fast-check の commands によるステートフル PBT、 状態・遷移の網羅確認、モデルの素朴さの維持を検証したい、または割り当てたいときに使う。 通常は test-catalog スキルの索引経由で手法が選定された後にこのスキルを直接参照する。
In this repository63 other files it gives its agents.
- ai-nondeterministicSkill
- blackbox-cause-effectSkill
- blackbox-coveringSkill
- blackbox-partitionSkill
- blackbox-stateSkill
- commit-flowSkill
- diff-reviewSkill
- experience-checklistSkill
- experience-exploratorySkill
- experience-scenarioSkill
- flakiness-concurrencySkill
- flakiness-externalSkill
- flakiness-valueSkill
- formal-verificationSkill
- generative-fuzzingSkill
- generative-propertySkill
- gh-ci-investigateSkill
- good-test-principlesSkill
- ledger-flowSkill
- levels-operationalSkill
- levels-serviceSkill
- levelsSkill
- levels-systemSkill
- loopeng-extractSkill
- loopeng-formalizeSkill
- loopeng-gherkinSkill
- loop-engineeringSkill
- loopeng-modelcheckSkill
- loopeng-smtSkill
- loopeng-tracecheckSkill
- micro-commitSkill
- mutation-testingSkill
- nonfunctional-attributesSkill
- nonfunctional-perfSkill
- nonfunctional-resilienceSkill
- oracle-differentialSkill
- oracle-past-outputSkill
- oracle-relationalSkill
- pr-createSkill
- process-staticSkill
- rebase-flowSkill
- reset-flowSkill
- review-feedbackSkill
- strategy-allocationSkill
- strategy-operationsSkill
- tdd-cycleSkill
- tdd-green-strategySkill
- test-catalogSkill
- test-design-qualitySkill
- test-designSkill
- test-doublesSkill
- test-extractSkill
- testing-principlesSkill
- test-structure-anatomySkill
- test-structure-lifecycleSkill
- test-target-designSkill
- test-targetedSkill
- test-verifySkill
- using-hymmeSkill
- verifiabilitySkill
- The first 60 shown.
The file
Does it work?
Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.
No reviews yet
People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.
- It worked
- Partly
- It didn't
Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.
Your trail
Files you open will collect here, so you can find them again.
Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.
Now do this for your own.
Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.