What problem does it solve? Loop-specific defects like off-by-one errors, empty-input failures, and limit overflows, plus dataflow defects like uninitialized variable use and dead assignments, are hard to catch with black-box testing alone. This Skill provides structured white-box techniques to systematically cover loop iteration counts and variable definition-to-use chains. ## Core Features & Use Cases - Loop Testing: Covers 0, 1, typical, maximum, and maximum±1 iterations, including nested loop boundary combinations, to expose off-by-one and boundary errors. - Dataflow Testing (def-use chains): Traces each variable definition to its uses and designs cases that traverse each def-use pair, targeting uninitialized use and overwritten-assignment defects. - Coverage Criteria: Defines explicit completion criteria, case-construction procedures, and leakage checks for both techniques, with TypeScript/Vitest examples. - Use Case: When reviewing a pagination or retry-limit function, apply loop boundary cases (0/1/max/max±1) to catch < vs <= mistakes that typical-iteration tests miss. ## Quick Start Ask the AI to design loop boundary and def-use dataflow test cases for a specific function using the whitebox-dataflow-loop techniques.
