Introducing plant features to model-based testing of programmable controllers in automation systems
| Autor: | Canlong Ma, Julien Provost |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
0209 industrial biotechnology
Model-based testing SIMPLE (military communications protocol) business.industry Computer science Applied Mathematics 020208 electrical & electronic engineering Programmable logic controller Control engineering 02 engineering and technology Automation ddc Computer Science Applications Test (assessment) Reduction (complexity) 020901 industrial engineering & automation Life-critical system System under test Control and Systems Engineering 0202 electrical engineering electronic engineering information engineering Electrical and Electronic Engineering business |
| Zdroj: | Control Engineering Practice. 90:301-310 |
| ISSN: | 0967-0661 |
| DOI: | 10.1016/j.conengprac.2019.07.006 |
| Popis: | This paper proposes a model-based test generation approach for programmable controllers that aims at reducing the length of a test sequence by applying plant features. The proposed approach does not require detailed or full knowledge of the plant behavior of a system under test, but it can achieve a remarkable reduction with simple plant features. As a result, the obtained test sequence can be significantly shorter than ones generated by complete testing methods; and meanwhile, it still reaches full coverage of the nominal behavior of the system under test. This makes it feasible to test large-scale systems, or to serve as an early test in the validation of safety critical systems. The proposed approach has been illustrated on a large-scale case study. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect