Analytic method for automatic test case generation for Function Block Diagram
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F20%3A43959688" target="_blank" >RIV/49777513:23520/20:43959688 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1109/ETFA46521.2020.9212034" target="_blank" >https://doi.org/10.1109/ETFA46521.2020.9212034</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/ETFA46521.2020.9212034" target="_blank" >10.1109/ETFA46521.2020.9212034</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Analytic method for automatic test case generation for Function Block Diagram
Popis výsledku v původním jazyce
Any Instrumentation and Control (I&C) system has to be properly tested to minimize the risk of faults in the system. This is even more crucial if the I&C system implements a safety function. The function of the I&C is often designed in a form of Function Block Diagram (FBD). The presented approach describes a new analytic method for automatic generation of test cases for FBD models. The test cases are generated in order to verify that the implementation behaves as intended. The test cases are designed to be used for gray-box testing of the implemented model. The automatic generation of test cases is generally faster and less prone to miss out an unsafe scenario than manual design.
Název v anglickém jazyce
Analytic method for automatic test case generation for Function Block Diagram
Popis výsledku anglicky
Any Instrumentation and Control (I&C) system has to be properly tested to minimize the risk of faults in the system. This is even more crucial if the I&C system implements a safety function. The function of the I&C is often designed in a form of Function Block Diagram (FBD). The presented approach describes a new analytic method for automatic generation of test cases for FBD models. The test cases are generated in order to verify that the implementation behaves as intended. The test cases are designed to be used for gray-box testing of the implemented model. The automatic generation of test cases is generally faster and less prone to miss out an unsafe scenario than manual design.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
20205 - Automation and control systems
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2020
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
ISBN
978-1-72818-956-7
ISSN
1946-0740
e-ISSN
1946-0759
Počet stran výsledku
8
Strana od-do
1799-1806
Název nakladatele
IEEE
Místo vydání
New York
Místo konání akce
Vienna, Austria
Datum konání akce
8. 9. 2020
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—