摘要 |
Eine elektrische Schaltung ist durch ein Referenzmodell mit mehreren Zuständen und mit mehreren Zustandsübergängen beschreibbar. Für jeden Zustand sind zulässige und/oder nicht zulässige Befehlssätze vorgegeben. Aus dem Referenzmodell nacheinander werden zulässige und nicht zulässige Befehlssätze zufällig erzeugt und an ein Abbild der elektrischen Schaltung zur Verarbeitung angelegt. Durch Vergleich der durch das Abbild der elektrischen Schaltung verarbeiteten Befehlssätze mit den aus dem Referenzmodell ermittelten Befehlssätzen werden Aussagen über das Abbild der elektrischen Schaltung getroffen.
|