Logo des Repositoriums
 

Using Colored Petri Nets for System Specifications and as a System Under Test Prototype

Kurzanzeige
dc.contributor.authorSchnattinger, Thomas
dc.contributor.authorPietschker, Andrej
dc.date.accessioned2023-03-21T13:35:23Z
dc.date.available2023-03-21T13:35:23Z
dc.date.issued2010
dc.description.abstractAutomated testing is an essential part in the software development process. It requires, however, the system under test (SUT) to be at least partially implemented. Also the practical verification of the test cases themselves cannot start before the SUT is available. Based on the usage of Colored Petri Nets (CPNs) as a specification tool and their integration with TTCN-3, we present an approach allowing test case application and validation already before the start of the implementation phase. As an additional benefit, the well-defined semantics of CPNs enforces a more complete, explicit, and consistent system specification. Since CPNs also provide an intuitive visual representation of the model, they facilitate communication of the system specifications among various stakeholders throughout the development process. To gain more confidence in the correctness of the specification as well as the test implementation, the new idea was to apply identical TTCN-3 tests already in the system specification phase against the formal, executable CPN model and again later against the implemented system. The implementation of the described approach is based on the development of the machine control software for banknote processing systems.en
dc.identifier.pissn0720-8928
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/41062
dc.language.isoen
dc.publisherGeselllschaft für Informatik e.V.
dc.relation.ispartofSoftwaretechnik-Trends Band 30, Heft 3
dc.titleUsing Colored Petri Nets for System Specifications and as a System Under Test Prototypeen
dc.typeText/Journal Article
gi.citation.publisherPlaceBonn
gi.conference.sessiontitleBerichte aus den Fachgruppen und Arbeitskreisen - FG TAV: Beiträge vom Fachgruppen-Workshop am 16. und 17. Juni 2010 in München

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
02_paper_PetriNetwithTTCN.pdf
Größe:
354.96 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

Softwaretechnik-Trends 30(3) - 2010