Source : Free On-Line Dictionary of Computing

interface analysis
     
         A software test which checks the interfaces between
        program elements for consistency and adherence to predefined
        rules or {axioms}.
     
        (1996-07-09)