A model for testing computer software whose goal is to confirm the presence or absence of a specific fault.