Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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ů