Model komunikace jednotky CENJ v36 a jednotky EDOS, analýza pokrytí při testování komunikace

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F16%3A00308678" target="_blank" >RIV/68407700:21230/16:00308678 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Model komunikace jednotky CENJ v36 a jednotky EDOS, analýza pokrytí při testování komunikace

Popis výsledku v původním jazyce

Zpráva obsahuje formální model komunikace jednotky CENJ a jednotky EDOS elektronického automatického bloku ABE-1. Formální model je využit při generování testovacích případů pro kontrolu správnosti implementace jednotek. Zpráva obsahuje i analýzu pokrytí formálního modelu testovacími případy.

Název v anglickém jazyce

Model of communication CENJ unit and EDOS unit, coverage analysis

Popis výsledku anglicky

This report describes formal model of communication between CENJ unit and EDOS unit. This model is used for preparing test cases that control correct implementation of units. Report contains analysis of formal model coverage by test cases.

Druh

V_souhrn - Souhrnná výzkumná zpráva

CEP obor

JD - Využití počítačů, robotika a její aplikace

OECD FORD obor

—

Projekt

—

Návaznosti

N - Vyzkumna aktivita podporovana z neverejnych zdroju

Rok uplatnění

2016

Kód důvěrnosti údajů

C - Předmět řešení projektu podléhá obchodnímu tajemství (§ 504 Občanského zákoníku), ale název projektu, cíle projektu a u ukončeného nebo zastaveného projektu zhodnocení výsledku řešení projektu (údaje P03, P04, P15, P19, P29, PN8) dodané do CEP, jsou upraveny tak, aby byly zveřejnitelné.

Počet stran výsledku

25

Místo vydání

—

Název nakladatele resp. objednatele

AŽD Praha

Verze

—