RIV/68407700:21230/14:00221609 - A Formal Approach to Distributed System Tests Design
Údaje o výsledku
Identifikační kód:RIV/68407700:21230/14:00221609 Název v původním jazyce:A Formal Approach to Distributed System Tests Design Název česky: Druh:J - Článek v odborném periodiku Jazyk:eng - angličtina Obor:JC - Počítačový hardware a software Rok uplatnění:2014 Kód důvěrnosti:S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů Počet tvůrců:2 Počet domácích tvůrců:2 Tvůrce:Shchurov, Andrey Tvůrce: Mařík, Radek
Údaje blíže specifikující výsledek
Popis 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. Popis česky: Klíčová slova: Název periodka:International Journal of computer and Information technology Rozsah stran: ISSN:2279-0764 Svazek periodika:3 Číslo periodika v rámci uvedeného svazku:4 Stát vydavatele periodika:IN - Indická republika Počet stran výsledku:10 DOI:
Údaje o tomto záznamu o výsledku
Předkladatel:České vysoké učení technické v Praze / Fakulta elektrotechnická (IČO: 68407700) Dodavatel:MSM Rok sběru:2015 Systémové označení dodávky dat:RIV15-MSM-21230___/01:1 Kontrolní kód:[7BA7480323A8]
