Audyty znajdują błędy, które istnieją. Asercje zapobiegają stanom, które nie powinny występować. Jedno jest reaktywne. Drugie jest proaktywne.