Edge cases are the values at the boundaries of the expected behavior, where errors concentrate: zero, a negative value, an empty collection, null, an empty string, the exact bound of an interval, the first and last elements. Testing them complements the nominal cases and reveals off-by-one errors.