Automatically checking that modifications respect predefined rules about what can and cannot be changed.