Full metadata record
| DC pole | Hodnota | Jazyk |
|---|---|---|
| dc.contributor.author | Ausberger, Tomáš | |
| dc.contributor.author | Kubíček, Karel | |
| dc.contributor.author | Medvecová, Pavla | |
| dc.contributor.author | Myslivec, Tomáš | |
| dc.contributor.author | Štětina, Milan | |
| dc.date.accessioned | 2021-03-01T11:00:25Z | - |
| dc.date.available | 2021-03-01T11:00:25Z | - |
| dc.date.issued | 2020 | |
| dc.identifier.citation | AUSBERGER, T., KUBÍČEK, K., MEDVECOVÁ, P., MYSLIVEC, T., ŠTĚTINA, M. Analytic method for automatic test case generation for Function Block Diagram. In: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. New York: IEEE, 2020. s. 1799-1806. ISBN 978-1-72818-956-7 , ISSN 1946-0740. | cs |
| dc.identifier.isbn | 978-1-72818-956-7 | |
| dc.identifier.issn | 1946-0740 | |
| dc.identifier.uri | 2-s2.0-85093361621 | |
| dc.identifier.uri | http://hdl.handle.net/11025/42770 | |
| dc.format | 8 s. | cs |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | en | en |
| dc.publisher | IEEE | en |
| dc.relation.ispartofseries | IEEE International Conference on Emerging Technologies and Factory Automation, ETFA | en |
| dc.rights | Plný text je přístupný v rámci univerzity přihlášeným uživatelům. | cs |
| dc.rights | © IEEE | en |
| dc.title | Analytic method for automatic test case generation for Function Block Diagram | en |
| dc.type | konferenční příspěvek | cs |
| dc.type | conferenceObject | en |
| dc.rights.access | restrictedAccess | en |
| dc.type.version | publishedVersion | en |
| dc.description.abstract-translated | 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. | en |
| dc.subject.translated | automatic tests | en |
| dc.subject.translated | Function Block Diagram | en |
| dc.subject.translated | Model Checking | en |
| dc.subject.translated | REXYGEN | en |
| dc.subject.translated | safety-critical system | en |
| dc.subject.translated | tructure-based testing | en |
| dc.subject.translated | test case generation | en |
| dc.subject.translated | verification | en |
| dc.identifier.doi | 10.1109/ETFA46521.2020.9212034 | |
| dc.type.status | Peer-reviewed | en |
| dc.identifier.obd | 43930687 | |
| dc.project.ID | EF17_048/0007267/InteCom: VaV inteligentních komponent pokročilých technologií pro plzeňskou metropolitní oblast | cs |
| dc.project.ID | LO1506/PUNTIS - Podpora udržitelnosti centra NTIS - Nové technologie pro informační společnost | cs |
| dc.project.ID | TK01020068/Využití metodiky Model checking pro testování systémů I&C v jaderné energetice | cs |
| dc.project.ID | SGS-2019-020/Rozvoj a využití kybernetických systémů identifikace, diagnostiky a řízení 4 | cs |
| Vyskytuje se v kolekcích: | Konferenční příspěvky / Conference papers (NTIS) Konferenční příspěvky / Conference Papers (KKY) OBD | |
Soubory připojené k záznamu:
| Soubor | Velikost | Formát | |
|---|---|---|---|
| 09212034.pdf | 438,8 kB | Adobe PDF | Zobrazit/otevřít Vyžádat kopii |
Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam:
http://hdl.handle.net/11025/42770Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.