Analytic method for automatic test case generation for Function Block Diagram
| Autor: | Pavla Medvecova, Milan Stetina, Tomas Ausberger, Tomas Myslivec, Karel Kubicek |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
Model checking
Function block diagram REXYGEN Computer science safety-critical system Function Block Diagram test case generation 020207 software engineering 02 engineering and technology Function (mathematics) Test (assessment) Model Checking Test case tructure-based testing Analytic element method 0202 electrical engineering electronic engineering information engineering Instrumentation (computer programming) verification Algorithm automatic tests |
| Zdroj: | ETFA |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|