Using Petri nets during debugging to localize software errors (Q1115572)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Using Petri nets during debugging to localize software errors |
scientific article; zbMATH DE number 4086989
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using Petri nets during debugging to localize software errors |
scientific article; zbMATH DE number 4086989 |
Statements
Using Petri nets during debugging to localize software errors (English)
0 references
1988
0 references
We will discuss a method of using Petri nets to localize errors in automatic control system (ACS) software using results from tests done during debugging. The method makes it possible to automate the process of finding the areas and locations at which information and computing errors may occur.
0 references
Petri nets
0 references
automatic control system
0 references
debugging
0 references
