Using Petri nets during debugging to localize software errors (Q1115572)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using Petri nets during debugging to localize software errors |
scientific article |
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
