New Tool for Model-Based Testing using Petri nets and Constraint Programming

Result code in 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>
Result on the web
<a href="http://radio.feld.cvut.cz/conf/poster/" target="_blank" >http://radio.feld.cvut.cz/conf/poster/</a>
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
New Tool for Model-Based Testing using Petri nets and Constraint Programming
Original language description
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.
Czech name
—
Czech description
—

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)

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

Similar results(10)