Using Petri nets during debugging to localize software errors (Q1115572)

From MaRDI portal
Revision as of 03:14, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Using Petri nets during debugging to localize software errors
scientific article

    Statements

    title
    Using Petri nets during debugging to localize software errors (English)
    0 references
    author
    S. A. Kosyachenko
    0 references
    V. V. Kul'ba
    0 references
    A. G. Mamikonov
    0 references
    E. B. Sokolova
    0 references
    publication date
    1988
    0 references
    review text
    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
    zbMATH DE Number
    4086989
    0 references
    zbMATH Keywords
    Petri nets
    0 references
    automatic control system
    0 references
    debugging
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1115572&oldid=26003682"
    Powered by MediaWiki