XProfan

Deutsch

p.specht

Will man für Tests logischer Schaltungen mit Computerhilfe nur alle praktisch vorkommende Signalvarianten durchspielen, bleibt in der Regel nichts anderes übrig, als sämtliche mögliche Kombinationen darauf abzuklopfen, ob die jeweilige Kombination vorkommt oder nicht. Da die Anzahl grundsätzlich möglicher Konfigurationen bekanntlich mit der Zahl der Freiheitsgrade explodiert, stoßen solche Ansätze recht schnell an ihre Grenzen. Da ist man dann froh, die Anzahl der Möglichkeiten von den Vorgaben an den Testgenerator her schon deutlich einschränken zu können. Dazu das folgende Demoprogramm - wie immer ohne Gewähr!

In XProfan11 scheinen Whileloop-Scheifen nur bis zu einer begrenzten Verschachtelungstiefe ohne Fehler zu arbeiten. Überschreitet man eine kritische Zahl, vergisst das System den Stand äusserer Schleifenwerte (was mir aber sehr vom verwendeten Betriebssystem und vom freien Auslagerungsspeicher abzuhängen scheint). Um dieses Verhalten zu umgehen, bieten sich Arrayvariablen als untere und obere Grenzwerte an, und diese Grenzwerte dienen dann auch gleich zur Werte-Einschränkung, wie oben gefordert, indem man z.B. Unter- und Obergrenze einengt oder gleichsetzt.

Kompilieren Markieren Separieren

WindowTitle "Aufsteigender Von-Bis-Enumerator ohne Stack-Overflow"
'(CL) CopyLeft 2016-07f by P.Specht, Vienna/Austria; OHNE JEGLICHE GEWÄHR!
declare von$,bis$,n&,anz&,tmp$[],u&[],o&[],x&[],v&,nr&
CLS
Goto "Test3"' Welcher Test soll dargestellt werden?
' DER ENUMERATOR MIT INDEX v&= ... ZÄHLT ...
' v&= 20__19____16__15_____12__11_____8____7____...___2_1_0"
von$=" 0,  0,0,0,0,   0,0,0,0,   4,0,0,0,   8,6,2,0, 3,1,0,9"
bis$=" 1,  9,0,0,0,   0,0,0,0,   4,0,0,0,   9,7,4,1, 5,2,1,9"
Goto "Init"
Test2:
' DER ENUMERATOR MIT INDEX v&=... ZÄHLT ...
' v&=_2_1_0"
von$="0,1,0"
bis$="2,2,0"
Goto "Init"
Test3:
' DER ENUMERATOR MIT INDEX v&= ... ZÄHLT ...
' v&= 20__19____16__15_____12__11_____8____7____...___2_1_0"
von$=" 0,  0,0,0,0,   0,0,0,0,   4,0,0,0,   8,6,2,5, 6,7,8,9"
bis$=" 1,  9,0,0,0,   0,0,0,0,   4,0,0,0,   9,7,4,5, 6,7,8,9"
Goto "Init"
'==========================================================
Init:
tmp$[]=explode(von$,","):n&=sizeof(tmp$[]):setsize u&[],n&:u&[]=val(tmp$[n&-1-&index])
clear tmp$[]:tmp$[]=explode(bis$,","):setsize o&[],n&:o&[]=val(tmp$[n&-1-&index])
clear tmp$[],von$,bis$:setsize x&[],n&
anz&=1:whileloop 0,n&-1:anz&=anz&*(o&[&loop]-u&[&loop]+1):endwhile
:print "\n Es werden ";anz&;" Konfigurationen erzeugt:\n":waitinput 1500
Start:
x&[]=u&[&index]

Whileloop anz&:Nr&=&Loop

    :print " ";Nr&;":  ";:whileloop n&-1,0,-1:print x&[&Loop];:endwhile :print
    ' ... oder etwas Nützliches damit machen.

    Repeat

        if x&[v&]<o&[v&]

            x&[v&]=x&[v&]+1
            break

        else

            x&[v&]=u&[v&]
            inc v&

        endif

    until v&>=n&

    v&=0

endwhile

Beep
waitinput 30000
END