• DocumentCode
    2786390
  • Title

    Analysis of Testability Metrics for Lustre/Scade Programs

  • Author

    du Bousquet, Lydie ; Delaunay, Michel ; Do, Huy-Vu ; Robach, Chantal

  • Author_Institution
    LIG, UJF-CNRS, St. Martin d´´Hères, France
  • fYear
    2010
  • fDate
    22-27 Aug. 2010
  • Firstpage
    26
  • Lastpage
    31
  • Abstract
    Testing is a validation process carried out to find errors in a system. Testability metrics aims at identifying parts of a design/code that are difficult to test. In this article, we focus on two testability metrics defined for systems written in Lustre/Scade. An intuitive interpretation was proposed for these metrics. The aims of the work described here is to check whether this intuitive interpretation can be consolidated with factual evidences.
  • Keywords
    formal verification; program testing; software metrics; Lustre program; Scade program; intuitive interpretation; testability metrics analysis; validation process; Controllability; Mathematical model; Observability; Software; Software measurement; Testing; Mutation Analysis; Software Measurement; Synchronous Reactive Software; Testability Analysis;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Advances in System Testing and Validation Lifecycle (VALID), 2010 Second International Conference on
  • Conference_Location
    Nice
  • Print_ISBN
    978-1-4244-7784-5
  • Electronic_ISBN
    978-0-7695-4146-4
  • Type

    conf

  • DOI
    10.1109/VALID.2010.23
  • Filename
    5617177
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2786390