testIntegrationSat1 behauptet ich würde manches nicht als erfüllbar erkennen. Die Angegebenen Beispiele sollten jedoch eigentlich erkannt werden
GoogleCodeExporter opened this issue · comments
Hallo,
bei mir gibt testIntegrationSat1 von IntegrationFelixTest an ich würde einige
subtests nicht bestehen. Interessant ist schonmal, dass die Zahl der nicht
bestandenen Tests schwankt. Manchmal sind es 160 nicht bestandene
Tests,manchmal sind es 190, immer etwas in dieser Größenordnung. In der
Konsole wird dann angegeben, dass ich bei einigen Formeln nicht erkannt habe,
dass diese erfüllbar sind. Wenn ich aber genau die selbe Formel in
IntegrationTestNonPublic einfüge und diesen Test laufen lasse, gibt er mir an
diese Formel sei erfüllbar! Hat jemand eine Idee wie dieser Wiederspruch
zustande kommt?
Original issue reported on code.google.com by s...@armun.de
on 8 Jul 2012 at 1:17
Dein Algorithmus ist wahrscheinlich nichtdeterministisch: Du nutzt Collections,
die sich selbstständig umsortieren können. Dein Algorithmus produziert nun
scheinbar nur in manchen Fällen falsche Ergebnisse, weshalb auch die Anzahl
schwankt. Du solltest den Fehler auch selbst im IntegrationTestNonPublic
nachstellen können, wenn du es (z.B. per for-Schleife) oft genug versuchst.
Schau auch mal in Ticket #32, da gab es ein ähnliches Problem.
Original comment by felix@familie-freiberger.net
on 8 Jul 2012 at 1:25
Bei anderen Tests haben wir auch schon festgestellt, dass es "sehr viele"
Versuche brauchen kann, bis ein Fehler auftritt.
Leider ist es, aufgrund des vorgegebenen Gerüsts, für uns unmöglich, da
irgendwas zu "spoofen", und damit Fehler "vorhersagbar" zu provozieren.
@Collections: Sie sortieren sich zwar nicht zur Laufzeit um, aber sie können
sich (komplett!) umsortieren, wenn Du ein Element einfügst.
Wenn Du denselben Test mehrfach laufen lassen willst, achte jedoch darauf, dass
Du nie "dieselben", sondern nur "die gleichen" Objekte benutzt.
Original comment by Nichmen...@gmail.com
on 8 Jul 2012 at 1:28
Original comment by felix@familie-freiberger.net
on 15 Jul 2012 at 12:47
- Changed state: Done