職業分類
ソフトウェア品質保証アナリスト・テスター
説明
Consolidate verbose test suites by replacing repetitive unit tests with property-based tests, parameterized tests (rstest), or fuzz tests. Less code to maintain, same or better coverage.
原文の言語: 英語
更新
このリポジトリの skills
ahrav/Gossip-rs - 3ページ
SkillsMP は ahrav/Gossip-rs から 85 件の skill を収集しています。skill を開くとソースと詳細を確認できます。
ahrav/Gossip-rs収集済み skill 85 件中 5 件を表示しています。
skill
職業分類
説明
更新
職業分類
ソフトウェア品質保証アナリスト・テスター
説明
Review test suites for duplicate, redundant, or low-value tests — especially unit tests already subsumed by property-based tests. Remove noise, keep signal.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
TLA+ specification correctness guide — evidence-backed methodology for writing correct temporal logic specs, covering canonical form, abstraction selection, safety/liveness decomposition, fairness, TLC soundness, and distributed systems patterns, with every…
原文の言語: 英語
更新
職業分類
ソフトウェア品質保証アナリスト・テスター
説明
Comprehensive review of unsafe code — audits safety invariants, demands benchmark+ASM proof of performance benefit, and verifies Miri/Kani/fuzz/property test coverage for every unsafe block
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Use when a markdown plan file exists and needs validation before implementation — catches design flaws, logic holes, footguns, unnecessary complexity, and performance concerns while changes are still cheap
原文の言語: 英語
更新
収集済み skill 85 件中 5 件を表示しています。