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”

A Formal Model of Distributed Systems for Test Generation Missions

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F14%3A00221611" target="_blank" >RIV/68407700:21230/14:00221611 - isvavai.cz</a>

  • Výsledek na webu

    <a href="http://www.ijcttjournal.org/Volume15/number-3/IJCTT-V15P128.pdf" target="_blank" >http://www.ijcttjournal.org/Volume15/number-3/IJCTT-V15P128.pdf</a>

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    A Formal Model of Distributed Systems for Test Generation Missions

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

    Now a days, deploym ent of distributed systems sets high requirements for procedures and tools for the complex testing of these systems virtualization and cloud technologies make another level of system complexity. As a possible solution, it is necessaryto determine a form al list of control objectives checklists. The automated generation of checklists involves analysing system models (with the analysis covering paths in a odel). But complex distributed systems are usually a set of coexisting topologies which interact and depend on each other and it is necessary to use several models in order to cover different aspects. This work introduces a formal four layered model for test generation missions on the basis of the component based approach and the concept of layered netwo rks. The interlayer mapping determines how the topological properties on different layers affect each other and, as a consequence, represents technologies (virtualization, clustering, etc.) used to build distributed

  • Název v anglickém jazyce

    A Formal Model of Distributed Systems for Test Generation Missions

  • Popis výsledku anglicky

    Now a days, deploym ent of distributed systems sets high requirements for procedures and tools for the complex testing of these systems virtualization and cloud technologies make another level of system complexity. As a possible solution, it is necessaryto determine a form al list of control objectives checklists. The automated generation of checklists involves analysing system models (with the analysis covering paths in a odel). But complex distributed systems are usually a set of coexisting topologies which interact and depend on each other and it is necessary to use several models in order to cover different aspects. This work introduces a formal four layered model for test generation missions on the basis of the component based approach and the concept of layered netwo rks. The interlayer mapping determines how the topological properties on different layers affect each other and, as a consequence, represents technologies (virtualization, clustering, etc.) used to build distributed

Klasifikace

  • Druh

    O - Ostatní výsledky

  • CEP obor

    JC - Počítačový hardware a software

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

  • Návaznosti

    I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Ostatní

  • Rok uplatnění

    2014

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