Title:	Test case generation for Function Block Diagram based on blocks’ predefined behaviour
Authors:	Ausberger, Tomáš Kubíček, Karel Medvecová, Pavla Myslivec, Tomáš
Citation:	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
Issue Date:	2021
Publisher:	IEEE
Document type:	konferenční příspěvek ConferenceObject
URI:	2-s2.0-85111362811 http://hdl.handle.net/11025/47267
ISBN:	978-1-66540-330-6
Keywords in different language:	automatic tests;Function Block Diagram;structure-based testing;test case generation;verification;unit test;model checking
Abstract in different language:	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.
Rights:	Plný text je přístupný v rámci univerzity přihlášeným uživatelům. © IEEE
Appears in Collections:	Konferenční příspěvky / Conference Papers (KKY) OBD

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.