• DocumentCode
    1261647
  • Title

    Multilevel testing for design verification of embedded systems

  • Author

    Schulz, Stephan ; Buchenrieder, Klaus J. ; Rozenblit, Jerzy W.

  • Volume
    19
  • Issue
    2
  • fYear
    2002
  • Firstpage
    60
  • Lastpage
    69
  • Abstract
    A multilevel testing approach for embedded systems addresses mixed hardware and software implementations. Contrary to conventional approaches, it provides consistent generation of scenarios throughout all levels of testing, an early assessment of alternative design implementations, integrated system and component testing, and performance assessments of design specifications starting from the system level
  • Keywords
    embedded systems; formal specification; formal verification; hardware-software codesign; program testing; component testing; consistent scenario generation; design specifications; design verification; embedded systems; mixed hardware/software implementations; multilevel testing; performance assessments; system testing; Computational modeling; Computer architecture; Embedded software; Embedded system; Hardware; Prototypes; Refining; Software prototyping; Software testing; System testing;
  • fLanguage
    English
  • Journal_Title
    Design & Test of Computers, IEEE
  • Publisher
    ieee
  • ISSN
    0740-7475
  • Type

    jour

  • DOI
    10.1109/54.990443
  • Filename
    990443