Something does as it says. In Eiffel speak: DesignByContract.   
----
See also DoesWhatItSaysOnTheTin