Control Flow Models using Petri Nets for Model Based Testing
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F17%3A00313910" target="_blank" >RIV/68407700:21230/17:00313910 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1109/IDAACS.2017.8095142" target="_blank" >http://dx.doi.org/10.1109/IDAACS.2017.8095142</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/IDAACS.2017.8095142" target="_blank" >10.1109/IDAACS.2017.8095142</a>
Alternative languages
Result language
angličtina
Original language name
Control Flow Models using Petri Nets for Model Based Testing
Original language description
Model-Based Testing is a testing approach used for automated test generation, execution, and evaluation. It is based on a formal behavioral model of the tested system. This paper presents a new test generation method that utilizes an advanced variant of Petri nets for a description of the systems under test and Constraint programming for tests generation. The presented method aims for modeling and testing distributed and parallel systems, which are commonly used in automotive. In the proposed approach, Petri Nets with Discrete Variables describe system behavior model. This Petri net variant extends nets with variables, which are used as system inputs and outputs. The paper show novel testing methods that utilize Constraint programming, and where the actual test inputs are generated as a solution to combinatorial problems.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
20201 - Electrical and electronic engineering
Result continuities
Project
<a href="/en/project/TE01020020" target="_blank" >TE01020020: Josef Bozek Competence Centre for Automotive Industry</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2017
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 2017 IEEE 9th International Conference on Inteligent Data Acquisition and Advanced Computing Systems: Technology and Application (IDAACS)
ISBN
978-1-5386-0697-1
ISSN
—
e-ISSN
—
Number of pages
5
Pages from-to
553-557
Publisher name
Ternopil National Economic University
Place of publication
Ternopil
Event location
Bukurešť
Event date
Sep 21, 2017
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000425869000102