Detail publikace

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

KOČÍ Radek a JANOUŠEK Vladimír. Tracing and Reversing the Run of Software Systems Implemented by Petri Nets. In: Software Engineering Advances. Nice: Xpert Publishing Services, 2018, s. 122-127. ISBN 978-1-61208-668-2. Dostupné z: http://www.thinkmind.org/index.php?view=article&articleid=icsea_2018_6_20_10095
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
angličtina
Autoři
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
URL
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
Konference
The Thirteenth International Conference on Software Engineering Advances, Nice, FR
ISBN
978-1-61208-668-2
Vydavatel
Xpert Publishing Services
Místo
Nice, FR
UT WoS
000464893200019
BibTeX 
@INPROCEEDINGS{FITPUB11795,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "Tracing and Reversing the Run of Software Systems Implemented by Petri Nets",
   pages = "122--127",
   booktitle = "Software Engineering Advances",
   year = 2018,
   location = "Nice, FR",
   publisher = "Xpert Publishing Services",
   ISBN = "978-1-61208-668-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11795"
}
Nahoru