You can not test for the absence of behavior. You can design type systems to ensure the absence of specific behaviors.