Build an Application Behavior Contract Generator that derives testable behavioral specifications from existing code, API schemas, approved documentation, and observed application tests. Express each behavior as explicit preconditions, inputs, expected outcomes, side effects, permissions, and failure conditions. Detect contradictory specifications, undocumented behavior, and areas where the evidence is insufficient to define a reliable contract. Generate contract tests, regression scenarios, and human-readable documentation. Let developers approve, revise, and version each contract before it becomes authoritative. Never assume current implementation behavior is necessarily intended behavior, and label inferred requirements separately from requirements explicitly approved by the product team.
0 Comments