New Tool for Model-Based Testing using Petri nets and Constraint Programming
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F16%3A00243048" target="_blank" >RIV/68407700:21230/16:00243048 - isvavai.cz</a>
Výsledek na webu
<a href="http://radio.feld.cvut.cz/conf/poster/" target="_blank" >http://radio.feld.cvut.cz/conf/poster/</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
New Tool for Model-Based Testing using Petri nets and Constraint Programming
Popis výsledku v původním jazyce
Model-Based Testing is an automated test approach used for automated test generation, execution, and evaluation. For this purposes, it uses a formal model of system behavior. In this paper, an advanced variant of Petri net is presented as a tool for description of the ystems under test. Petri nets have been selected for their graphical and executable nature and for the ability to describe parallel systems. For tests generation, Constraint programming is used, which is a software technology used for description and solving of combinatorial problems. This paper proposes a non-autonomous timed Petri net with discrete time, where inputs and outputs are modeled as global variables, as behavioral system model. Places in net represent a performance of the task, and a token movement represents a transition between the tasks. Test input generation is based on the Active token approach and the input values are retrospectively deducted by using Constraint programming.
Název v anglickém jazyce
New Tool for Model-Based Testing using Petri nets and Constraint Programming
Popis výsledku anglicky
Model-Based Testing is an automated test approach used for automated test generation, execution, and evaluation. For this purposes, it uses a formal model of system behavior. In this paper, an advanced variant of Petri net is presented as a tool for description of the ystems under test. Petri nets have been selected for their graphical and executable nature and for the ability to describe parallel systems. For tests generation, Constraint programming is used, which is a software technology used for description and solving of combinatorial problems. This paper proposes a non-autonomous timed Petri net with discrete time, where inputs and outputs are modeled as global variables, as behavioral system model. Places in net represent a performance of the task, and a token movement represents a transition between the tasks. Test input generation is based on the Active token approach and the input values are retrospectively deducted by using Constraint programming.
Klasifikace
Druh
O - Ostatní výsledky
CEP obor
JA - Elektronika a optoelektronika, elektrotechnika
OECD FORD obor
—
Návaznosti výsledku
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)
Ostatní
Rok uplatnění
2016
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ů