• DocumentCode
    625549
  • Title

    AURORA: AUtomatic RObustness coveRage Analysis Tool

  • Author

    Gargantini, Angelo ; Guarnieri, Massimo ; Magri, Eros

  • Author_Institution
    Dip. di Ing. dell´Inf. e Metodi Matematici, Univ. di Bergamo, Bergamo, Italy
  • fYear
    2013
  • fDate
    18-22 March 2013
  • Firstpage
    463
  • Lastpage
    470
  • Abstract
    Code coverage is usually used as a measurement of testing quality and as adequacy criterion. Unfortunately, code coverage is very sensitive to modifications of the code structure, and, therefore, we can achieve the same degree of coverage with different testing effort by writing the same program in syntactically different ways. For this reason, code coverage can provide the tester with misleading information. In order to understand how a testing criterion is affected by code structure modifications, we have introduced a way to measure the sensitivity of coverage to code changes by means of code-to-code transformations. However the manual execution of the robustness analysis is tedious, time consuming and error prone. In order to solve these issues we present AURORA, a tool that automates the robustness analysis process and leverages the capabilities offered from several existing tools. AURORA has an extendible architecture that concretely supports the tester in the execution of the robustness analysis. Due to this extendible architecture, each user can personalize the robustness analysis to his/her needs. AURORA allows the user to add new transformations by using TXL, which is a programming language specifically designed to support source transformation tasks. It performs the coverage evaluation by using existing code coverage tools and is based on the use of the JUnit framework.
  • Keywords
    program testing; systems analysis; AURORA; JUnit framework; TXL; adequacy criterion; automatic robustness coverage analysis tool; code coverage; code structure modifications; code-to-code transformations; testing quality; Computer architecture; Grammar; Indexes; Optimized production technology; Robustness; Sensitivity; Testing; Code Coverage; Testing Criteria; Code Transformations; Coverage Robustness;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on
  • Conference_Location
    Luembourg
  • Print_ISBN
    978-1-4673-5961-0
  • Type

    conf

  • DOI
    10.1109/ICST.2013.64
  • Filename
    6569761