职业分类
软件质量保证分析师与测试员
描述
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已展示 5 / 85 个已收集 Skill。
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
原文语言：英语
更新
已展示 5 / 85 个已收集 Skill。