Testing real-time constraints in a process algebraic setting
Proceedings of the 17th international conference on Software engineering
Multi-Objective Optimization Using Evolutionary Algorithms
Multi-Objective Optimization Using Evolutionary Algorithms
Testing Enbredded Software
IEEE Transactions on Software Engineering
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
Using genetic algorithms for early schedulability analysis and stress testing in real-time systems
Genetic Programming and Evolvable Machines
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria
IEEE Transactions on Software Engineering
Automated generation of test suites from formal specifications of real-time reactive systems
Journal of Systems and Software
Functional Search-based Testing from State Machines
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Conformance testing for real-time systems
Formal Methods in System Design
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
IEEE Transactions on Software Engineering
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
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 33rd International Conference on Software Engineering
On parameter tuning in search based software engineering
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
A Search-Based OCL Constraint Solver for Model-Based Test Data Generation
QSIC '11 Proceedings of the 2011 11th International Conference on Quality Software
A real-world benchmark model for testing concurrent real-time systems in the automotive domain
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Online testing of real-time systems using UPPAAL
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Random Testing: Theoretical Results and Practical Implications
IEEE Transactions on Software Engineering
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
An observable and controllable testing framework for modern systems
Proceedings of the 2013 International Conference on Software Engineering
| Hi-index | 0.00 |
System testing of real-time embedded systems (RTES) is a challenging task and only a fully automated testing approach can scale up to the testing requirements of industrial RTES. One such approach, which offers the advantage for testing teams to be black-box, is to use environment models to automatically generate test cases and oracles and an environment simulator to enable earlier and more practical testing. In this paper, we propose novel heuristics for search-based, RTES system testing which are based on these environment models. We evaluate the fault detection effectiveness of two search-based algorithms, i.e., Genetic Algorithms and (1+1) Evolutionary Algorithm, when using these novel heuristics and their combinations. Preliminary experiments on 13 carefully selected, non-trivial artificial problems, show that, under certain conditions, these novel heuristics are effective at bringing the environment into a state exhibiting a system fault. The heuristic combination that showed the best overall performance on the artificial problems was applied on an industrial case study where it showed consistent results.