Lutess: a specification-driven testing environment for synchronous software
Proceedings of the 21st international conference on Software engineering
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Improvement of Control Software for Automatic Logistic Systems Using Executable Environment Models
EUROMICRO '98 Proceedings of the 24th Conference on EUROMICRO - Volume 2
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
Model-driven architecture for embedded software: A synopsis and an example
Science of Computer Programming
A Practical Guide to SysML: Systems Modeling Language
A Practical Guide to SysML: Systems Modeling Language
Testing Real-Time Systems Using TINA
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Online testing of real-time systems using UPPAAL
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Black-box system testing of real-time embedded systems using random and search-based testing
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Experiences of applying UML/MARTE on three industrial projects
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Applying a def-use approach on signal exchange to implement SysML model-based testing
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Hi-index | 0.00 |
The behavior of real-time embedded systems (RTES) is driven by their environment. Independent system test teams normally focus on black-box testing as they have typically no easy access to precise design information. Black-box testing in this context is mostly about selecting test scenarios that are more likely to lead to unsafe situations in the environment. Our Model-Based Testing (MBT) methodology explicitly models key properties of the environment, its interactions with the RTES, and potentially unsafe situations triggered by failures of the RTES under test. Though environment modeling is not new, we propose a precise methodology fitting our specific purpose, based on a language that is familiar to software testers, that is the UML and its extensions, as opposed to technologies geared towards simulating natural phenomena. Furthermore, in our context, simulation should only be concerned with what is visible to the RTES under test. Our methodology, focused on black-box MBT, was assessed on two industrial case studies. We show how the models are used to fully automate black-box testing using search-based test case generation techniques and the generation of code simulating the environment.