Premise: The technical verification of the ability of a proposed system configuration, replacement component, or the features or functions of its software, to satisfy functional requirements.

Hypothesis: Systems often have little or no bug testing.
Relation: contradiction