Title :
Multilevel testing for design verification of embedded systems
Author :
Schulz, Stephan ; Buchenrieder, Klaus J. ; Rozenblit, Jerzy W.
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;
Journal_Title :
Design & Test of Computers, IEEE
