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