Detail publikace

Tracing and Reversing the Run of Software Systems Implemented by Petri Nets

KOČÍ, R.; JANOUŠEK, V. Tracing and Reversing the Run of Software Systems Implemented by Petri Nets. In Software Engineering Advances. Nice: Xpert Publishing Services, 2018. p. 122-127. ISBN: 978-1-61208-668-2.
Název česky
Sledování a reverzní ladění softwarových systémů implementovaných Petriho sítěmi
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kočí Radek, Ing., Ph.D. (UITS)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
URL
Klíčová slova

Object Oriented Petri Nets, debugging, tracing, reverse debugging, requirements validation

Abstrakt

Interaktivní ladění aplikace je nedílnou součástí procesu vývoje softwarových systémů. V mnoha případech by možnost provedení zpětných kroků běhu systému usnadnila a urychlila ladění díky vyšetření stavu systému předtím, než se dostal do nesprávného nebo nepovoleného stavu. V současné době nejsou techniky reverzace běhu systému příliš rozšířené, ale existují experimentální implementace. Nicméně tato řešení zvyšují režii běhu aplikace kvůli zaznamenávání informací potřebných k obnově předchozích stavů. Tento článek se zaměřuje na možnost reverze běhu systémů, jejichž chování je popsáno Petriho sítěmi. Práce se řídí metodikou návrhu a validace systémových požadavků pomocí funkčních modelů, které kombinují formální notaci s objekty produkčního prostředí a lze je použít jako plnohodnotnou aplikace. Vzhledem k povaze formalismu Petriho sítí je možné definovat reverzní operace s cílem snížit režii běhu aplikace.

Rok
2018
Strany
122–127
Sborník
Software Engineering Advances
ISBN
978-1-61208-668-2
Vydavatel
Xpert Publishing Services
Místo
Nice
UT WoS
000464893200019
BibTeX 
@inproceedings{BUT154984,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="Tracing and Reversing the Run of Software Systems Implemented by Petri Nets",
  booktitle="Software Engineering Advances",
  year="2018",
  pages="122--127",
  publisher="Xpert Publishing Services",
  address="Nice",
  isbn="978-1-61208-668-2",
  url="http://www.thinkmind.org/index.php?view=article&articleid=icsea_2018_6_20_10095"
}
Nahoru