Analytic method for automatic test case generation for Function Block Diagram
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Analytic method for automatic test case generation for Function Block Diagram
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
20205 - Automation and control systems
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2020
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
ISBN
978-1-72818-956-7
ISSN
1946-0740
e-ISSN
1946-0759
Number of pages
8
Pages from-to
1799-1806
Publisher name
IEEE
Place of publication
New York
Event location
Vienna, Austria
Event date
Sep 8, 2020
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—