<testing> A software test which checks the interfaces between program elements for consistency and adherence to predefined rules or axioms.
(09 Jul 1996)