A software test which checks the interfaces between program elements for consistency and adherence to predefined rules or axioms.