Control Flow Models using Petri Nets for Model Based Testing

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Control Flow Models using Petri Nets for Model Based Testing

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Control Flow Models using Petri Nets for Model Based Testing

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

20201 - Electrical and electronic engineering

Projekt

<a href="/cs/project/TE01020020" target="_blank" >TE01020020: Centrum kompetence automobilového průmyslu Josefa Božka</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2017

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

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

—

Počet stran výsledku

5

Strana od-do

553-557

Název nakladatele

Ternopil National Economic University

Místo vydání

Ternopil

Místo konání akce

Bukurešť

Datum konání akce

21. 9. 2017

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000425869000102