Home // VALID 2012, The Fourth International Conference on Advances in System Testing and Validation Lifecycle // View article
Authors:
Benjamin Wilmes
Keywords: Search-Based Testing; Static Analysis; Simulink
Abstract:
Considering the advantages of early testing and the importance of an efficient quality assurance process, the automation of testing software models would be of great benefit, in particular to the automotive industry. Search-based testing has been applied to automate testing of Simulink models. Despite promising results however, the approach lacks efficiency. Working toward a robust tool, this paper presents three static-analysis-based techniques for assisting and improving search-based structural testing of TargetLink-compliant Simulink models. An interval analysis of model internal signals is used to identify unsatisfiable coverage goals and exclude them from the search. A further analysis determines which model inputs a coverage goal actually depends on in order to reduce the search space. We also propose a technique that sequences coverage-goal-related search processes in order to maximize collateral coverage and reduce test suite size. These additional techniques make the search-based approach applied to Simulink more efficient, as first experiments indicate.
Pages: 51 to 56
Copyright: Copyright (c) IARIA, 2012
Publication date: November 18, 2012
Published in: conference
ISSN: 2308-4316
ISBN: 978-1-61208-233-2
Location: Lisbon, Portugal
Dates: from November 18, 2012 to November 23, 2012