Categorie:Specificatiefout

{{Standaardfout|Specificatiefout|commentaar}}

Een voeding levert stroom van bijvoorbeeld 5 Volt 50 Hertz met een maximale stroom van bijvoorbeeld 1A. Het commitment van zo'n voeding is dan bijvoorbeeld:

Cvoeding := wisselstroom van 5V, 50Hz, 1A op de steker

Afhankelijk van het gebruikte formalisme kan dit in verschillende gedaantes verschijnen, bijvoorbeeld:

Cvoeding := ∀t:T.op(t, stekervoeding, 2, 5V, 50Hz, 1A)

Zo'n voeding hoeft de C alleen waar te maken zolang haar omgeving voor iets anders zorgt. Dat wordt dan de assumption. Bijvoorbeeld:

Avoeding := ∀t:T.op(t, stekervoeding, 1, 230V, 50Hz, 1.2A)

In predicaatlogica wordt de hele specificatie A_voeding⇒C_voeding dan:

(∀t:T. op(stekervoeding, 1, 230V, 50Hz, 1.2A))⇒(∀t:T.op(stekervoeding, 2, 5V, 50Hz, 1A))

In naturlijke taal: de specificatie van de voeding is:

Als de hele tijd op steker 1 wisselstroom van 230 Volt, 50 Hertz, 1.2 Ampere zit, zit de hele tijd op steker 2 wisselstroom van 5 Volt, 50 Hertz, 1 Ampere.

Te veel woorden

De specificatie van de voeding is niet:

De voeding zorgt ervoor dat 
als de hele tijd op steker 1 wisselstroom van 230 Volt, 50 Hertz, 1.2 Ampere zit, 
dan de hele tijd op steker 2 wisselstroom van 5 Volt, 50 Hertz, 1 Ampere zit.

De specificatie van de voeding is ook niet:

Als de voeding correct werkt, dan zorgt deze ervoor dat 
als de hele tijd op steker 1 wisselstroom van 230 Volt, 50 Hertz, 1.2 Ampere zit, 
dan de hele tijd op steker 2 wisselstroom van 5 Volt, 50 Hertz, 1 Ampere zit.

(Vergelijk: de naam van Erik Barendsen is "Erik Barendsen". De naam van Erik Barendsen is niet: "deze man heet Erik Barendsen".)

Verkeerd standpunt

Elk ding dat aan deze specificatie voldoet, is geschikt. Dat het een voeding is, wordt uitgemaakt door het feit dat het deze specificatie waar maakt.

De specificatie van een voeding is daarom zeker niet:

Als de draden in de transformator goed gewikkeld en niet gebroken zijn, dan ...

Nee, het ding moet altijd zijn werk doen, en als het kapot is, voldoet het niet maar aan zijn specificatie.

Te veel omgeving

De specificatie van een voeding is ook beslist niet:

Als het elektriciteitsbedrijf stroom levert gaat een lampje branden.

Te veel interne structuur

De specificatie van een klok is een precieze uitwerking van:

Op elk moment wordt de huidige tijd aangewezen.

De specificatie van een klok is beslist niet:

De klok zet een teller op nul, telt elke seconde één bij de teller op, 
en als de teller op 60 staat, telt ze één op bij de minutenteller 
                                           en zet de secondenteller weer op nul.

Het bovenstaande is geen specificatie maar beschrijft één van vele mogelijk ontwerpen.