Study finds specifications brittle when tied to internal code structure, not strictness.

A new study examines what makes software specifications brittle. It distinguishes between a specification's strictness and its reliance on internal program details. The research found that specifications break when they reference internal structures, even during legitimate code updates, not because they are strict. These findings were measured using automated analysis of code mutations. The work provides a framework to separate these two factors in specification design.