직업 분류
소프트웨어 품질 보증 분석가·테스터
설명
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개를 표시합니다.