A Formal Approach to Distributed System Tests Design

Kód výsledku v IS VaVaI

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

Výsledek na webu

<a href="http://www.ijcit.com/archives/volume3/issue4/Paper030402.pdf" target="_blank" >http://www.ijcit.com/archives/volume3/issue4/Paper030402.pdf</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

A Formal Approach to Distributed System Tests Design

Popis výsledku v původním jazyce

Deployment of distributed systems sets high requirements for procedures and tools for the complex testing of these systems. This work introduces a formal four - layered model for test generation mission o n the basis of the component based approach and the concept of layered networks . Based on this model, we de scribe the test generation stratégy that covers every interaction from the end user requirements on all co existing architectural layers , and checks the internal consistency of the system technical specifications with respect to the end user requirements. The next step introduce s the Prolog based approach to representing this model and the requirements coverage stratégy.

Název v anglickém jazyce

A Formal Approach to Distributed System Tests Design

Popis výsledku anglicky

Deployment of distributed systems sets high requirements for procedures and tools for the complex testing of these systems. This work introduces a formal four - layered model for test generation mission o n the basis of the component based approach and the concept of layered networks . Based on this model, we de scribe the test generation stratégy that covers every interaction from the end user requirements on all co existing architectural layers , and checks the internal consistency of the system technical specifications with respect to the end user requirements. The next step introduce s the Prolog based approach to representing this model and the requirements coverage stratégy.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

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

OECD FORD obor

—

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

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ů

Název periodika

International Journal of computer and Information technology

ISSN

2279-0764

e-ISSN

—

Svazek periodika

3

Číslo periodika v rámci svazku

4

Stát vydavatele periodika

IN - Indická republika

Počet stran výsledku

10

Strana od-do

696-705

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—