Coverage-driven Automated Compiler Test Suite Generation

اسناد مشابه

• Coverage-driven Automated Compiler Test Suite Generation

  مقاله‌ی دسترسی آزاد۲۰۰۳Electronic Notes in Theoretical Computer ScienceA.Kalinov, A.Kossatchev, A.Petrenko, M.Posypkin

• Beyond code coverage - An approach for test suite assessment and improvement

  سند علمی۲۰۱۵ICST WorkshopsDávid Tengeri, Árpád Beszédes, Tamás Gergely, László Vidács

  Code coverage is successfully used to guide white box test design and evaluate the respective test completeness. However, simple overall coverage ratios are often not precise enough to effectively help when a (regression) test suite needs to be reassessed and evolved after softwa

• Software Verification and Validation Laboratory: Automated Test Suite Generation for Time-Continuous Simulink Models

  سند علمی۲۰۱۵Reza Matinnejad, Shiva Nejati, Lionel Briand, Thomas Bruckmann

  All engineering disciplines are founded and rely on models, although they may differ on purposes and usages of modeling. Interdisciplinary domains such as Cyber Physical Systems (CPSs) seek approaches that incorporate different modeling needs and usages. Specifically, the Simulin

• On facilitating reuse in multi-goal test-suite generation for software product lines

  سند علمی۲۰۱۶Software EngineeringMalte Lochau, Johannes Bürdek, Stefan Bauregger, Andreas Holzer

  Software testing is still the most established and scalable quality-assurance technique in practice today. However, generating effective test suites remains computationally expensive, consisting of repetitive reachability analyses for multiple test goals according to a coverage c

• Automated functional test case generation from data flow specifications using structural coverage criteria

  سند علمی۲۰۰۶B. Blanc, G. Durrieu, A. Lakehal, O. Laurent

  This paper presents a study aiming at improving the cost and the thoroughness of testing process of avionic applications developed at Airbus. The proposed approach aims at generating automatically functional tests from formal detailed specification and a functional test objective

• Test-Driven Automation: Adopting Test-First Development to Improve Automation Systems Engineering Processes

  سند علمی۲۰۰۹Dietmar Winkler, Stefan Biffl, Thomas Östreicher

  Software provides an increasing part of the added value of modern automation systems and thus becomes more complex. System requirements may change even late in the development process, lead to ad-hoc modifications of the product and require systematic (and automated) testing appr