Using Petri nets during debugging to localize software errors (Q1115572): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
| links / mardi / name | links / mardi / name | ||
Revision as of 02:29, 31 January 2024
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
