Le audit trovano bug che esistono. Le asserzioni prevengono stati che non dovrebbero. Uno è reattivo. Uno è proattivo.