Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > de.comp.lang.java > #13218

Re: Bit packed array

Show all headers | View raw

Am Mittwoch, 10. Oktober 2018 16:50:07 UTC+2 schrieb Patrick Roemer:
> Responding to Heiner Kücker:
> > Ich habe die Tests für die arraycopy-Methoden des Bit-Packed-Array noch laufen und
> > die dauern schon ziemlich lange.
> 
> Ach? ;)
> 
> > Wie könnte man die Anzahl der ausgeführten Testfälle verringern, ohne die Korrektheit
> > zu gefährden?
> 
> Gar nicht. Denn im Prinzip kann im Code jederzeit irgendwas stehen wie
> 
> if(dataElementWidth == 637450152 && arraySize == 994637 && ...) {
>   throw new JustKiddingException();
> }
> 
> Will meinen, wenn Du nicht alle möglichen Kombinationen von
> Eingabewerten prüfst, ist die Korrektheit "gefährdet". Da das nicht
> möglich ist, muss man sich mit pragmatischeren Ansätzen bescheiden.
> 
> > Eine Überlegung ist das Formulieren einer algebraischen Spezifikation.
> 
> Das ist genau der Ansatz hinter QuickCheck. Anders als bei klassischen
> Unit-Tests, die um konkrete Beispielszenarien herum gebaut sind,
> formuliert man "Gesetze", die für alle möglichen Szenarien
> (Kombinationen von Eingabewerten,...) gelten müssen. Statt dann aber den
> kompletten Wertebereich zu durchlaufen, wie Du es versuchst, begnügt man
> sich pro Testlauf mit einer überschaubaren Menge randomisiert erstellter
> Szenarien. Damit hat man die Hoffnung, dass Fehler, die eine große
> Teilmenge der möglichen Szenarien betreffen, in so gut wie jedem Lauf
> auffallen sollten, und Fehler, die nur eine kleine Teilmenge betreffen,
> wenigstens eine Chance haben, früher oder später ins Netz zu gehen.
> 
> Zusätzlich sollte man natürlich immer noch klassische Tests haben, die
> Grenzfälle, typische Szenarien, etc. deterministisch prüfen. Und die
> muss man halt mit einer Mischung von strukturierter Analyse, gesundem
> Menschenverstand, Erfahrung und Bauchgefühl auswählen, wobei die
> Dekompositionshierarchie einen unterstützen oder, wenn schlecht gewählt,
> auch sabotieren kann.
> 
> Es ist ja kein Zufall, dass der oben zitierte Binder ein Ziegelstein mit
> über 1000 Seiten ist - und nur eines von unzähligen Werken über
> Testdesign und -strategien...

Echt schwierig.

> 
> > 
> > Um darin ein System zu finden, benötigt man Intelligenz, hier droht also der Gödel.
> 
> Und das Halteproblem. Und wiederum die kombinatorische Explosion auf
> dieser Ebene. Und, und, und...

Das Halteproblem ist eine andere Formulierung des Gödelschen Unvollsändigkeitssatzes.


> Viele Grüße
> Patrick

Danke
Heiner

Back to de.comp.lang.java | Previous | Next — Previous in thread | Find similar

Thread

Bit packed array Heiner Kücker <mail@heinerkuecker.de> - 2018-09-22 19:33 -0700
  Re: Bit packed array Patrick Roemer <sangamon@netcologne.de> - 2018-10-01 09:46 +0200
    Re: Bit packed array Patrick Roemer <sangamon@netcologne.de> - 2018-10-02 10:21 +0200
    Re: Bit packed array Heiner Kücker <mail@heinerkuecker.de> - 2018-10-03 22:05 -0700
      Re: Bit packed array Patrick Roemer <sangamon@netcologne.de> - 2018-10-04 12:07 +0200
        Re: Bit packed array Heiner Kücker <mail@heinerkuecker.de> - 2018-10-04 03:34 -0700
          Re: Bit packed array Heiner Kücker <mail@heinerkuecker.de> - 2018-10-09 23:10 -0700
            Re: Bit packed array Patrick Roemer <sangamon@netcologne.de> - 2018-10-10 16:50 +0200
              Re: Bit packed array Joerg Meier <joergmmeier@arcor.de> - 2018-10-10 20:15 +0200
                Re: Bit packed array Heiner Kücker <mail@heinerkuecker.de> - 2018-10-10 23:17 -0700
                Mutation Testing (was: Bit packed array) Patrick Roemer <sangamon@netcologne.de> - 2018-10-12 12:12 +0200
              Re: Bit packed array Heiner Kücker <mail@heinerkuecker.de> - 2018-10-10 23:23 -0700

csiph-web