Test case generation for Function Block Diagram based on blocks’ predefined behaviour
| dc.contributor.author | Ausberger, Tomáš | |
| dc.contributor.author | Kubíček, Karel | |
| dc.contributor.author | Medvecová, Pavla | |
| dc.contributor.author | Myslivec, Tomáš | |
| dc.date.accessioned | 2022-03-28T10:00:29Z | |
| dc.date.available | 2022-03-28T10:00:29Z | |
| dc.date.issued | 2021 | |
| dc.description.abstract-translated | 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. | en |
| dc.format | 6 s. | cs |
| dc.format.mimetype | application/pdf | |
| dc.identifier.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 | cs |
| dc.identifier.document-number | 723653400035 | |
| dc.identifier.doi | 10.1109/PC52310.2021.9447525 | |
| dc.identifier.isbn | 978-1-66540-330-6 | |
| dc.identifier.obd | 43933800 | |
| dc.identifier.uri | 2-s2.0-85111362811 | |
| dc.identifier.uri | http://hdl.handle.net/11025/47267 | |
| dc.language.iso | en | en |
| dc.project.ID | EF17_048/0007267/InteCom: VaV inteligentních komponent pokročilých technologií pro plzeňskou metropolitní oblast | 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 |
| dc.publisher | IEEE | en |
| dc.relation.ispartofseries | International Conference on Process Control (PC) | 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.rights.access | restrictedAccess | en |
| dc.subject.translated | automatic tests | en |
| dc.subject.translated | Function Block Diagram | en |
| dc.subject.translated | structure-based testing | en |
| dc.subject.translated | test case generation | en |
| dc.subject.translated | verification | en |
| dc.subject.translated | unit test | en |
| dc.subject.translated | model checking | en |
| dc.title | Test case generation for Function Block Diagram based on blocks’ predefined behaviour | en |
| dc.type | konferenční příspěvek | cs |
| dc.type | ConferenceObject | en |
| dc.type.status | Peer-reviewed | en |
| dc.type.version | publishedVersion | en |
Files
Original bundle
1 - 1 out of 1 results
No Thumbnail Available
- Name:
- Test_case_generation_for_Function_Block_Diagram_based_on_blocks_predefined_behaviour.pdf
- Size:
- 169.7 KB
- Format:
- Adobe Portable Document Format