So še rigoroznejši visokonivojski jeziki. Eiffel npr. sili v še eno nadvse pomembno prakso pri učinkovitem programiranju: pisanju ustreznih testov za preizkušanje pravilnosti delovanja. Funkcije v eifflu ne moremo niti napisati, če nismo pred tem določili pogojev, ki bodo jamčili za pravilnost njenega delovanja.