Issue No. 02 - March/April (2002 vol. 19)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/54.990443
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.
hardware-software codesign, embedded systems, program testing, formal verification, formal specification
S. Schulz, K. Buchenrieder and J. Rozenblit, "Multilevel testing for design verification of embedded systems," in IEEE Design & Test of Computers, vol. 19, no. 2, pp. 60-69, .