DocumentCode
994870
Title
Rapid embedded system testing using verification patterns
Author
Tsai, Wei-Tek ; Yu, Lian ; Zhu, Feng ; Paul, Ray
Author_Institution
Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
Volume
22
Issue
4
fYear
2005
Firstpage
68
Lastpage
75
Abstract
Testing is often difficult, and testing real-time embedded systems for mission-critical applications is particularly difficult owing to embedded design complexities and frequent requirements changes. Embedded systems usually require a series of rigorous white-box (structural), black-box (functional), module, and integration testing before developers can release them to the market. In practice, functional testing is often more important than structural testing. Similarly, integration testing is more challenging than module testing. Furthermore, functional integration testing often requires individual test scripts based on the system requirements.
Keywords
embedded systems; formal verification; program testing; software reusability; functional integration testing; mission-critical application; pattern verification; real-time embedded system testing; system requirement; Application software; Communication industry; Costs; Debugging; Embedded system; Life testing; Logic testing; Real time systems; System testing; Timing; Software engineering; embedded systems testing; rapid testing; scenario patterns; testing and debugging; testing tools; verification patterns;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/MS.2005.103
Filename
1463211
Link To Document