DocumentCode
926523
Title
Systematically testing a real-time operating system
Author
Tsoukarellas, Manthos A. ; Gerogiannis, Vasilis C. ; Economides, Kostis D.
Author_Institution
Adv. Informatics Ltd., Patras, Greece
Volume
15
Issue
5
fYear
1995
fDate
10/1/1995 12:00:00 AM
Firstpage
50
Lastpage
60
Abstract
Testing large and complex software is an inherently difficult process that must be as systematic as possible to provide adequate reliability and quality assurance. This is particularly true for a complex real-time operating system in which an ad hoc testing approach would certainly fail to affirm the quality and correctness of the requirements specification, design, and implementation. We discuss applying systematic strategies to the testing of real-time operating system RTOS under development in the Esprit III project 8906 OMI/CLEAR
Keywords
formal specification; operating systems (computers); program testing; program verification; real-time systems; RTOS; quality assurance; real-time operating system; requirements specification; systematic testing; Costs; Error correction; Integrated circuit testing; Life testing; Operating systems; Real time systems; Software quality; Software safety; Software testing; System testing;
fLanguage
English
Journal_Title
Micro, IEEE
Publisher
ieee
ISSN
0272-1732
Type
jour
DOI
10.1109/40.464588
Filename
464588
Link To Document