A software test which checks the interfaces betweenprogram elements for consistency and adherence to predefinedrules or axioms.