DE19529342C2 - Verfahren zur Visualisierung des Überdeckungsgrades beim Test eines endlichen Automaten - Google Patents
Verfahren zur Visualisierung des Überdeckungsgrades beim Test eines endlichen AutomatenInfo
- Publication number
- DE19529342C2 DE19529342C2 DE1995129342 DE19529342A DE19529342C2 DE 19529342 C2 DE19529342 C2 DE 19529342C2 DE 1995129342 DE1995129342 DE 1995129342 DE 19529342 A DE19529342 A DE 19529342A DE 19529342 C2 DE19529342 C2 DE 19529342C2
- Authority
- DE
- Germany
- Prior art keywords
- coverage
- combinations
- states
- events
- tested
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/2273—Test methods
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/28—Error detection; Error correction; Monitoring by checking the correct order of processing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/32—Monitoring with visual or acoustical indication of the functioning of the machine
- G06F11/321—Display for diagnostics, e.g. diagnostic result display, self-test user interface
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Human Computer Interaction (AREA)
- Computer Hardware Design (AREA)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Description
Systeme der Informationstechnik, der Kommunikations- und
Datentechnik lassen sich häufig zu Testzwecken als endliche
Automaten auffassen. Ihr Verhalten wird dann durch einen Satz
von Zuständen beschrieben, zwischen denen Übergänge möglich
sind. In diesen Zuständen oder beim Übergang zwischen solchen
Zuständen treten bestimmte Ereignisse auf. Das Testverhalten
eines endlichen Automaten läßt sich daher durch das Auftreten
bestimmter Ereignisse in Kombination mit bestimmten Zuständen
charakterisieren.
Beim Test eines endlichen Automaten wird dieser entweder mit
Hilfe eines Computers simuliert oder es werden Messungen an
einem realen System durchgeführt, denen man Zustände und
Ereignisse des Automaten zuordnet. Dabei ist ein solcher Test
um so vollständiger und erlaubt daher um so repräsentativere
Aussagen über die Qualität des getesteten Automaten, je
vollständiger der Grad der Überdeckung ist, d. h. je höher der
Anteil der tatsächlich getesteten Kombinationen aus Ereignis
sen und Zuständen ist.
Da häufig aus Gründen der Komplexität eines zu testenden
Systems nicht alle Kombinationen getestet werden können, oder
die Situation für den Entwickler recht unübersichtlich ist,
ist es für den Entwickler hilfreich zu wissen, wie
"flächendeckend" ein Test ist, d. h. wie die getesteten Kombi
nationen im Raum der möglichen Kombinationen verteilt sind,
und welche Kombinationen aus Ereignissen und Zuständen noch
nicht getestet worden sind.
Aus der US Patentschrift 5, 388,233 ist ein Verfahren
bekannt, das der Ermittlung des Überdeckungsgrades beim Test
eines endlichen Automaten dient. Dieses Verfahren bietet
jedoch keine komfortable Visualisierung des
Überdeckungsgrades.
Der Erfindung liegt also die Aufgabe zugrunde, den Test
endlicher Automaten und damit die Qualitätskontrolle bei der
Entwicklung von Systemen der Informationstechnik, der Kommu
nikations- und Datentechnik zu unterstützen und zu vereinfa
chen.
Diese Aufgabe wird durch ein Verfahren zur
Visualisierung des Überdeckungsgrades beim Test eines
endlichen Automaten mit Merkmalen nach Anspruch 1 gelöst.
Dabei wird mit Hilfe eines Datenverarbeitungssystems eine
Liste erzeugt und dynamisch aktualisiert, in welcher alle
getesteten Kombinationen aus Zuständen und Ereignissen
registriert werden.
Vorteilhafte Weiterbildungen der Erfindung ergeben sich aus
den Unteransprüchen.
Im folgenden wird die Erfindung anhand bevorzugter Ausfüh
rungsbeispiele näher beschrieben.
Fig. 1 zeigt eine schematische Darstellung des Ablaufs eines
Verfahrens gemäß der vorliegenden Erfindung.
Fig. 2 zeigt in schematischer Weise eine Zustands-Ereignis-
Matrix gemäß einer bevorzugten Ausführungsform der vorliegen
den Erfindung.
Die Softwarestruktur einer Kommunikationsanlage basiert auf
einer Vielzahl endlicher Automaten. Um etwas über die Qua
lität eines derartigen komplexen Systems aussagen zu können,
ist es wichtig, die bei Tests erzielte Überdeckung der endli
chen Automaten zu ermitteln. Gemäß der vorliegenden Erfindung
geschieht dies während einer Testsitzung.
Für das zu testende System gibt es eine Software-Simulation
(XTEL) auf einer Workstation. In dieser Software-Simulation
sind alle endlichen Automaten in der Weise instrumentiert,
daß die Informationen über den Zustand und das Ereignis, die
aktuell durchlaufen werden, direkt über ein Print-Kommando
ausgegeben werden. Diese Informationen werden von einem
nachgeschalteten Prozeß aufgenommen, der diese Informationen
in eine Zustands-Ereignis-Matrix (SEM) einträgt (Fig. 1).
Diese Matrix wird vorher auf der Grundlage der im endlichen
Automaten vorhandenen Zustände und Ereignisse erzeugt.
Dazu wird der Quellcode des endlichen Automaten analysiert,
und die vorhandenen Zustände und Ereignisse werden ermittelt
(BD). Aus diesen Informationen wird dann die Matrix erstellt
(MATGEN). Zu diesem Zweck muß der Automat, dessen Überdeckung
überwacht werden soll, dem Prozeß vorher mitgeteilt werden.
Während der Testsitzung kann nun die Überdeckung eines ausge
wählten Automaten direkt am Bildschirm kontrolliert werden.
Bei einer bevorzugten Ausführungsform der vorliegenden Er
findung wird die prozentuale Überdeckung direkt am Bildschirm
angezeigt (Fig. 2). Dabei werden die Kombinationen aus dem
analysierten Quellcode (BD) des Automaten als 100%ige Über
deckung zugrundegelegt.
In Fig. 2 bedeuten leere Felder eine mögliche Zustands-
Ereignis-Kombination des getesteten Automaten. Kästchen mit
einem Kreuz bedeuten eine im Test tatsächlich getestete (vom
Test überdeckte) Zustands-Ereignis-Kombination des getesteten
Automaten. Der Überdeckungsgrad ist dann das Verhältnis aus
der Zahl der getesteten und der Zahl der möglichen Kombina
tionen.
Claims (7)
1. Verfahren zur Visualisierung des Überdeckungsgrades beim
Test eines endlichen Automaten, bei dem
- - mit Hilfe eines Datenverarbeitungssystems eine Liste erzeugt und dynamisch aktualisiert wird, in welcher alle getesteten Kombinationen aus Zuständen und Ereignissen registriert werden;
- - die Liste in Form einer Matrix aufgebaut ist, deren Zeilen bzw. Spalten den Zuständen bzw. Ereignissen entsprechen;
- - der Überdeckungsgrad als Verhältnis der getesteten Kombinationen zu den möglichen Kombinationen auf einem Bildschirm angezeigt wird.
2. Verfahren Anspruch 1, bei dem die
Liste auf dem Datenverarbeitungssystem in einer Weise
gespeichert wird, die nur tatsächlich mögliche oder sinnvolle
Kombinationen von Zuständen und Ereignissen berücksichtigt
oder enthält.
3. Verfahren nach einem der vorhergehenden Ansprüche, bei dem
getestete Kombinationen als solche markiert werden.
4. Verfahren zur Ermittlung der Qualität eines Datenverar
beitungs- oder Kommunikationssystems, bei dem dieses System
als endlicher Automat repräsentiert und getestet wird, und
bei dem der Überdeckungsgrad dieses Tests mit Hilfe eines der
Verfahrens gemäß einem der vorhergehenden Ansprüche ermittelt
wird.
5. Verfahren nach einem der vorhergehenden Ansprüche, bei dem
der Test eine Simulation des endlichen Automaten auf einem
Datenverarbeitungssystem ist.
6. Verfahren nach einem der vorhergehenden Ansprüche, bei dem
der Test eine Messung physikalischer Signale des endlichen
Automaten umfaßt.
7. Verfahren nach einem der vorhergehenden Ansprüche, bei dem
der Quellcode des endlichen Automaten von einer Software
analysiert wird, wobei die Kombinationen von Zuständen und
Ereignissen ermittelt und zur Erzeugung der Liste verwendet
werden.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
DE1995129342 DE19529342C2 (de) | 1995-08-09 | 1995-08-09 | Verfahren zur Visualisierung des Überdeckungsgrades beim Test eines endlichen Automaten |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
DE1995129342 DE19529342C2 (de) | 1995-08-09 | 1995-08-09 | Verfahren zur Visualisierung des Überdeckungsgrades beim Test eines endlichen Automaten |
Publications (2)
Publication Number | Publication Date |
---|---|
DE19529342A1 DE19529342A1 (de) | 1997-02-13 |
DE19529342C2 true DE19529342C2 (de) | 1997-07-03 |
Family
ID=7769111
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
DE1995129342 Expired - Fee Related DE19529342C2 (de) | 1995-08-09 | 1995-08-09 | Verfahren zur Visualisierung des Überdeckungsgrades beim Test eines endlichen Automaten |
Country Status (1)
Country | Link |
---|---|
DE (1) | DE19529342C2 (de) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
DE10137297A1 (de) * | 2001-08-01 | 2003-02-20 | Abb Patent Gmbh | Verfahren zum Testen von Software-Robustheit |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
DE19723252C2 (de) * | 1997-06-03 | 1999-06-24 | Siemens Ag | Verfahren zum automatischen Testen komplexer Systeme |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5388233A (en) * | 1993-04-30 | 1995-02-07 | Intel Corporation | Method and apparatus for counting instruction types using bit masks and a programmable bit map |
-
1995
- 1995-08-09 DE DE1995129342 patent/DE19529342C2/de not_active Expired - Fee Related
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
DE10137297A1 (de) * | 2001-08-01 | 2003-02-20 | Abb Patent Gmbh | Verfahren zum Testen von Software-Robustheit |
Also Published As
Publication number | Publication date |
---|---|
DE19529342A1 (de) | 1997-02-13 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
DE69810795T2 (de) | Automatisierte gültigkeitsbestätigung und richtigkeitsprüfung von rechnersoftware | |
DE69924296T2 (de) | Ic-test programmiersystem zur zuordnung logischer funktionstestdaten von logischen integrierten schaltung zu einer physikalischen darstellung | |
DE69817689T2 (de) | Modellbasiertes Diagnosesystem mit automatisierten Verfahren für Auswahl von folgendem Test | |
EP2095238B1 (de) | Verfahren zum testen eines computerprogramms | |
DE19959157C2 (de) | Verbessertes Funktionstesten durch das Filtern von groben Mutationen | |
DE3625462A1 (de) | Rechnerunterstuetzte fehlerisolation beim pruefen von gedruckten schaltungen | |
DE2515297A1 (de) | Pruefsystem fuer logische netzwerke mit simulatororientiertem fehlerpruefgenerator | |
DE4426740C1 (de) | Testverfahren sowie Konvertereinrichtung, Testeinrichtung und Testprogramm-Modul dafür | |
DE3702408C2 (de) | ||
DE112006001222T5 (de) | Halbleitertestprogramm-Diagnosevorrichtung | |
DE3828988C2 (de) | ||
EP0894255B1 (de) | Steuern eines zumindest eine Prüfgasse aufweisenden Prüfsystems für Kraftfahrzeuge | |
DE10255142B4 (de) | Diagnose von Datenpaketübertragungs-Fehlern unter Verwendung von Einschränkungen | |
DE19529342C2 (de) | Verfahren zur Visualisierung des Überdeckungsgrades beim Test eines endlichen Automaten | |
DE10111831A1 (de) | Verfahren zum automatischen Suchen und Sortieren von Fehlersignaturen von Wafern | |
DE19857462A1 (de) | Verfahren zur Prüfung von Einzelkomponenten eines Kraftfahrzeuges | |
DE102019111558A1 (de) | Verfahren und system zum testen von systemen | |
DE2441486C2 (de) | Verfahren zur automatischen Fehlerprüfung eines elektrischen Schaltkreises und Einrichtung zur Durchführung des Verfahrens | |
EP1297425A2 (de) | Verfahren und vorrichtung für die optimierung eines testprogramms | |
DE102009019442A1 (de) | Testdatengenerator | |
EP2653850B1 (de) | Verfahren und IT-System zum Durchführen von Gesamtfahrzeugtests | |
DE102014004553B4 (de) | Verfahren zum Test eines Steuergerätes | |
DE102019219067A1 (de) | Verfahren zur automatischen Qualifizierung eines virtuellen Modells für eine Kraftfahrzeugkomponente | |
DE4426739C2 (de) | Testverfahren sowie Einrichtung zum Erzeugen von Test-Fällen, Testeinrichtung und Programm-Modul dafür | |
DE10121587A1 (de) | Verfahren und Vorrichtung zur automatisierten Prüfung grundlegender CAN-Eigenschaften von Steuergeräten |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
OP8 | Request for examination as to paragraph 44 patent law | ||
D2 | Grant after examination | ||
8364 | No opposition during term of opposition | ||
8339 | Ceased/non-payment of the annual fee |