Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component
| Autor: | Giovanni Denaro, Mattia Vivanti, Pietro Braione, Andrea Mattavelli, Ali Muhammad |
|---|---|
| Přispěvatelé: | Braione, P, Denaro, G, Mattavelli, A, Vivanti, M, Muhammad, A |
| Rok vydání: | 2013 |
| Předmět: |
business.industry
Computer science Test data generation structural testing INF/01 - INFORMATICA Test harness ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI experimental study automatic test generation Test case Regression testing Software construction Test suite Test Management Approach Safety Risk Reliability and Quality Software engineering business System integration testing Software |
| Zdroj: | Braione, P, Denaro, G, Mattavelli, A, Vivanti, M & Muhammad, A 2014, ' Software testing with code-based test generators : data and lessons learned from a case study with an industrial software component ', Software Quality Journal, vol. 22, no. 2, pp. 311-333 . https://doi.org/10.1007/s11219-013-9207-1 |
| ISSN: | 1573-1367 0963-9314 |
| DOI: | 10.1007/s11219-013-9207-1 |
| Popis: | Automatically generating effective test suites promises a significant impact on testing practice by promoting extensively tested software within reasonable effort and cost bounds. Code-based test generators rely on the source code of the software under test to identify test objectives and to steer the test case generation process accordingly. Currently, the most mature proposals on this topic come from the research on random testing, dynamic symbolic execution, and search-based testing. This paper studies the effectiveness of a set of state-of-the-research test generators on a family of industrial programs with nontrivial domain-specific peculiarities. These programs are part of a software component of a real-time and safety-critical control system and integrate in a control task specified in LabVIEW, a graphical language for designing embedded systems. The result of this study enhances the available body of knowledge on the strengths and weaknesses of test generators. The empirical data indicate that the test generators can truly expose subtle (previously unknown) bugs in the subject software and that there can be merit in using different types of test generation approaches in a complementary, even synergic fashion. Furthermore, our experiment pinpoints the support for floating point arithmetics and nonlinear computations as a major milestone in the path to exploiting the full potential of the prototypes based on symbolic execution in industry. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink