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”

Requirements Validation Through Scenario Generation and Comparison

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F20%3APU138629" target="_blank" >RIV/00216305:26230/20:PU138629 - isvavai.cz</a>

  • Výsledek na webu

    <a href="https://www.thinkmind.org/index.php?view=article&articleid=icsea_2020_1_190_10098" target="_blank" >https://www.thinkmind.org/index.php?view=article&articleid=icsea_2020_1_190_10098</a>

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Requirements Validation Through Scenario Generation and Comparison

  • Popis výsledku v původním jazyce

    When designing systems, we must solve many problems associated with the correct definition of system requirements, correct understanding, and proper implementation. Finding that design or implementation contains an error or is incomplete, and identifying where a change needs to be made, are different issues that require different approaches. Models and diagrams, often diagrams from the UML language, are used to capture the system's requirements and basic design. The basic ones include the domain model, use case diagram, activity diagram, and scenario models. Scenarios show the communication and cooperation of objects in solving the use case under specific conditions. If the system is implemented following the design, it is possible to generate scenarios at runtime (either actual implementations or using simulation models). Thus, we can have assumed scenarios of the behavior of the investigated use case and actual scenarios reflecting the performed design. In many cases, it is not useful to have a detailed view of the entire communication between objects. However, it is enough to focus on specific parts, such as messages, or states of objects. In this paper, we will focus on detecting discrepancies between expected and actual behavior and quickly identifying the location of the problem through scenarios.

  • Název v anglickém jazyce

    Requirements Validation Through Scenario Generation and Comparison

  • Popis výsledku anglicky

    When designing systems, we must solve many problems associated with the correct definition of system requirements, correct understanding, and proper implementation. Finding that design or implementation contains an error or is incomplete, and identifying where a change needs to be made, are different issues that require different approaches. Models and diagrams, often diagrams from the UML language, are used to capture the system's requirements and basic design. The basic ones include the domain model, use case diagram, activity diagram, and scenario models. Scenarios show the communication and cooperation of objects in solving the use case under specific conditions. If the system is implemented following the design, it is possible to generate scenarios at runtime (either actual implementations or using simulation models). Thus, we can have assumed scenarios of the behavior of the investigated use case and actual scenarios reflecting the performed design. In many cases, it is not useful to have a detailed view of the entire communication between objects. However, it is enough to focus on specific parts, such as messages, or states of objects. In this paper, we will focus on detecting discrepancies between expected and actual behavior and quickly identifying the location of the problem through scenarios.

Klasifikace

  • Druh

    D - Stať ve sborníku

  • CEP obor

  • OECD FORD obor

    10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Návaznosti výsledku

  • Projekt

    <a href="/cs/project/LQ1602" target="_blank" >LQ1602: IT4Innovations excellence in science</a><br>

  • Návaznosti

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Ostatní

  • Rok uplatnění

    2020

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

Údaje specifické pro druh výsledku

  • Název statě ve sborníku

    The Fifteenth International Conference on Software Engineering Advances, ICSEA 2020

  • ISBN

    978-1-61208-827-3

  • ISSN

  • e-ISSN

  • Počet stran výsledku

    6

  • Strana od-do

    129-134

  • Název nakladatele

    Xpert Publishing Services

  • Místo vydání

    Porto

  • Místo konání akce

    Porto

  • Datum konání akce

    19. 10. 2020

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

    WRD - Celosvětová akce

  • Kód UT WoS článku