Full metadata record
DC poleHodnotaJazyk
dc.contributor.authorAusberger, Tomáš
dc.contributor.authorKubíček, Karel
dc.contributor.authorMedvecová, Pavla
dc.contributor.authorMyslivec, Tomáš
dc.date.accessioned2022-03-28T10:00:29Z-
dc.date.available2022-03-28T10:00:29Z-
dc.date.issued2021
dc.identifier.citationAUSBERGER, 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-6cs
dc.identifier.isbn978-1-66540-330-6
dc.identifier.uri2-s2.0-85111362811
dc.identifier.urihttp://hdl.handle.net/11025/47267
dc.format6 s.cs
dc.format.mimetypeapplication/pdf
dc.language.isoenen
dc.publisherIEEEen
dc.relation.ispartofseriesInternational Conference on Process Control (PC)en
dc.rightsPlný text je přístupný v rámci univerzity přihlášeným uživatelům.cs
dc.rights© IEEEen
dc.titleTest case generation for Function Block Diagram based on blocks’ predefined behaviouren
dc.typekonferenční příspěvekcs
dc.typeConferenceObjecten
dc.rights.accessrestrictedAccessen
dc.type.versionpublishedVersionen
dc.description.abstract-translatedAutomatic 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.en
dc.subject.translatedautomatic testsen
dc.subject.translatedFunction Block Diagramen
dc.subject.translatedstructure-based testingen
dc.subject.translatedtest case generationen
dc.subject.translatedverificationen
dc.subject.translatedunit testen
dc.subject.translatedmodel checkingen
dc.identifier.doi10.1109/PC52310.2021.9447525
dc.type.statusPeer-revieweden
dc.identifier.document-number723653400035
dc.identifier.obd43933800
dc.project.IDEF17_048/0007267/InteCom: VaV inteligentních komponent pokročilých technologií pro plzeňskou metropolitní oblastcs
dc.project.IDTK01020068/Využití metodiky Model checking pro testování systémů I&C v jaderné energeticecs
dc.project.IDSGS-2019-020/Rozvoj a využití kybernetických systémů identifikace, diagnostiky a řízení 4cs
Vyskytuje se v kolekcích:Konferenční příspěvky / Conference Papers (KKY)
OBD

Soubory připojené k záznamu:
Soubor VelikostFormát 
Test_case_generation_for_Function_Block_Diagram_based_on_blocks_predefined_behaviour.pdf169,7 kBAdobe PDFZobrazit/otevřít  Vyžádat kopii
Zobrazit minimální záznam Zobrazit statistiky


Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam: http://hdl.handle.net/11025/47267

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

hledání
navigace
  1. DSpace at University of West Bohemia
  2. Publikační činnost / Publications
  3. OBD