Using Petri nets during debugging to localize software errors (Q1115572): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Latest revision as of 03:14, 5 March 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
