• DocumentCode
    2059831
  • Title

    From hardware to software testability

  • Author

    Le Traon, Yves ; Robach, Chantal

  • Author_Institution
    Lab. de Genie Inf., IMAG, Grenoble, France
  • fYear
    1995
  • fDate
    21-25 Oct 1995
  • Firstpage
    710
  • Lastpage
    719
  • Abstract
    This paper presents the application of some hardware testability concepts to data-flow software. Testability is concerned with three difficulties: generating test sets, interpreting test results and diagnosing faults. This threefold aspect of testability is discussed and estimates are proposed
  • Keywords
    automatic test software; computer aided software engineering; data flow graphs; fault diagnosis; program testing; software performance evaluation; software reliability; SATAN tool; bipartite directed graph; computer aided specification diagram; data-flow software; diagnosing faults; embedded software; executable specifications; generating test sets; hardware testability; information transfer graph; interpreting test results; software modelling; software testability; Aerospace electronics; Application software; Circuit testing; Controllability; Embedded software; Hardware; Observability; Software measurement; Software testing; System testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Test Conference, 1995. Proceedings., International
  • Conference_Location
    Washington, DC
  • ISSN
    1089-3539
  • Print_ISBN
    0-7803-2992-9
  • Type

    conf

  • DOI
    10.1109/TEST.1995.529901
  • Filename
    529901