Název:	Test case generation for Function Block Diagram based on blocks’ predefined behaviour
Autoři:	Ausberger, Tomáš Kubíček, Karel Medvecová, Pavla Myslivec, Tomáš
Citace zdrojového dokumentu:	AUSBERGER, T. KUBÍČEK, K. MEDVECOVÁ, P. MYSLIVEC, T. Test case generation for Function Block Diagram based on blocks’ predefined behaviour. In International Conference on Process Control (PC). New York: IEEE, 2021. s. 206-211. ISBN: 978-1-66540-330-6
Datum vydání:	2021
Nakladatel:	IEEE
Typ dokumentu:	konferenční příspěvek ConferenceObject
URI:	2-s2.0-85111362811 http://hdl.handle.net/11025/47267
ISBN:	978-1-66540-330-6
Klíčová slova v dalším jazyce:	automatic tests;Function Block Diagram;structure-based testing;test case generation;verification;unit test;model checking
Abstrakt v dalším jazyce:	Automatic test case generation based on knowledge of a model is currently a challenge for many researchers and developers. This article describes the first of two complementary methods for test case generation for Function Block Diagram (FBD) models and grey-box testing. The first method utilises predefined tested behaviour (unit tests) of each used Function Block and combines them together. This method adds a structural limitation to the model. Therefore, the model needs to be split into multiple parts and processed per partes. The second method is then used for a combination of these partial results. Together these two methods can generate test cases even for models that include feedbacks, internal states, and traffic delays.
Práva:	Plný text je přístupný v rámci univerzity přihlášeným uživatelům. © IEEE
Vyskytuje se v kolekcích:	Konferenční příspěvky / Conference Papers (KKY) OBD

Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.