Empirical investigation of search algorithms for environment model-based testing of real-time embedded software

Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

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.

Original languageEnglish
Title of host publication2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings
Pages199-209
Number of pages11
DOIs
Publication statusPublished - 2012
Externally publishedYes
Event21st International Symposium on Software Testing and Analysis, ISSTA 2012 - Minneapolis, MN, United States
Duration: 15 Jul 201220 Jul 2012

Publication series

Name2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings

Conference

Conference21st International Symposium on Software Testing and Analysis, ISSTA 2012
Country/TerritoryUnited States
CityMinneapolis, MN
Period15/07/1220/07/12

Keywords

  • Automated model-based testing
  • branch distance
  • real-time embedded systems
  • search-based software engineering

Fingerprint

Dive into the research topics of 'Empirical investigation of search algorithms for environment model-based testing of real-time embedded software'. Together they form a unique fingerprint.

Cite this