Model of communication CENJ unit and EDOS unit, coverage analysis
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Model komunikace jednotky CENJ v36 a jednotky EDOS, analýza pokrytí při testování komunikace
Original language description
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.
Czech name
Model komunikace jednotky CENJ v36 a jednotky EDOS, analýza pokrytí při testování komunikace
Czech description
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.
Classification
Type
V<sub>souhrn</sub> - Summary research report
CEP classification
JD - Use of computers, robotics and its application
OECD FORD branch
—
Result continuities
Project
—
Continuities
N - Vyzkumna aktivita podporovana z neverejnych zdroju
Others
Publication year
2016
Confidentiality
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é.
Data specific for result type
Number of pages
25
Place of publication
—
Publisher/client name
AŽD Praha
Version
—