Statecharts: A visual formalism for complex systems
Science of Computer Programming
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Automated Test Set Generation for Statecharts
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Software Architecture in Practice
Software Architecture in Practice
Testing Concurrency and Communication in Distributed Objects
HIPC '98 Proceedings of the Fifth International Conference on High Performance Computing
Test Selection from UML Statecharts
TOOLS '99 Proceedings of the 31st International Conference on Technology of Object-Oriented Language and Systems
Feature interactions in embedded control systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Generating optimal distinguishing sequences with a model checker
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
An operational semantics for Stateflow
International Journal on Software Tools for Technology Transfer (STTT)
Test generation and minimization with "basic" statecharts
Proceedings of the 2008 ACM symposium on Applied computing
Modelling feature interactions in the automotive domain
Proceedings of the 2008 international workshop on Models in software engineering
Pairwise feature-interaction testing for SPLs: potentials and limitations
Proceedings of the 15th International Software Product Line Conference, Volume 2
Incremental model-based testing of delta-oriented software product lines
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Conditioned model slicing of feature-annotated state machines
FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
Parameterized preorder relations for model-based testing of software product lines
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Towards efficient SPL testing by variant reduction
Proceedings of the 4th international workshop on Variability & composition
| Hi-index | 0.00 |
The growing number and increased coupling of functionality in embedded control systems, e.g. in the automotive domain, leads to complex networks of interacting features and a wide range of variants. Hence, today's software development processes must include systematic approaches to analyze the functional correctness of system specifications and implementations. Model-based testing is of particular importance for embedded software systems as the test cases can be performed at the real system under test and failures arising from the interaction of software and hardware can be discovered. As features are usually designed in a modular and isolated way, unexpected and undesired behavior caused by unintended interferences of insufficiently synchronized and even contradicting features concurrently active in the system often remains undetected which may lead to serious safety problems. To overcome such feature interactions at system integration level is tedious as it leads to a voluminous number of unmanageable test cases. We describe a model-based approach for efficiently generating test cases that particularly aim at feature interaction analysis. We first characterize feature interaction in a formal way based on a rigorous functional architecture model, and describe how to detect potential feature interactions. For test case generation, behavioral models like Statecharts and according coverage criteria can be used as usual, but only those models are integrated into the test model, that contribute to one of the features under consideration. This leads to a trade off between comprehensive test coverage to find possible flaws caused by interacting features, and yet still a reasonable number of test cases. The steps of the approach are illustrated be means of a case study from the automotive domain.