Seite 1 von 1

Lab 4 Task 2.5

Verfasst: 14. Feb 2013 12:30
von tacu
Hallo,

fragen uns gerade wie wir die 2.5 verstehen sollen: Sollen wir uns überlegen welche Invarianten von welchen Methoden verletzt werden dürfen (also die Methode würde immernoch funktionieren). Oder ob die Methode dazu führen könnte, das eine Invariante verletzt wird?

Es geht eigentlich darum wie wir "may" übersetzen sollen ;)

Re: Lab 4 Task 2.5

Verfasst: 14. Feb 2013 12:49
von mmi1991
Ich schätze mal "may" im Sinne von könnte.
Das wäre zumindest das, was Sinn machen würde :)

Re: Lab 4 Task 2.5

Verfasst: 14. Feb 2013 16:30
von Nathan Wasser
Die Invarianten dürfen gar nicht verletzt werden. Bei einigen Methoden ist es sofort klar, ohne groß zu überlegen, dass diese eine oder mehrere Invarianten nicht verletzen können. Man soll begründen weshalb. Bei den anderen soll dies dann bewiesen werden.