|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
| ASCII Text | x | ||
| Manthos A. Tsoukarellas, Vasilis C. Gerogiannis, Kostis D. Economides, "Systematically Testing a Real-Time Operating System," IEEE Micro, vol. 15, no. 5, pp. 50-60, October, 1995. | |||
| BibTex | x | ||
| @article{ 10.1109/40.464588, author = {Manthos A. Tsoukarellas and Vasilis C. Gerogiannis and Kostis D. Economides}, title = {Systematically Testing a Real-Time Operating System}, journal ={IEEE Micro}, volume = {15}, number = {5}, issn = {0272-1732}, year = {1995}, pages = {50-60}, doi = {http://doi.ieeecomputersociety.org/10.1109/40.464588}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Micro TI - Systematically Testing a Real-Time Operating System IS - 5 SN - 0272-1732 SP50 EP60 EPD - 50-60 A1 - Manthos A. Tsoukarellas, A1 - Vasilis C. Gerogiannis, A1 - Kostis D. Economides, PY - 1995 KW - Software testing KW - real-time operating system KW - operating systems KW - ESPRIT programmer VL - 15 JA - IEEE Micro ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/40.464588
Testing large and complex software is an inherently difficult process, which must be as systematic as possible, in order to provide adequate reliability and quality assurance. This is particularly true in the case of a complex real-time operating system, in which an ad hoc testing approach would certainly fail to affirm the quality and the correctness of the requirements specification, design and implementation. The main purpose of this article, after presenting well-established testing strategies, is to show their adaptation to the testing of an under-development, real-time operating system (RTOS), in the context of ESPRIT III project 8906 OMI/CLEAR1.
Index Terms:
Software testing, real-time operating system, operating systems, ESPRIT programmer
Citation:
Manthos A. Tsoukarellas, Vasilis C. Gerogiannis, Kostis D. Economides, "Systematically Testing a Real-Time Operating System," IEEE Micro, vol. 15, no. 5, pp. 50-60, Oct. 1995, doi:10.1109/40.464588
Usage of this product signifies your acceptance of the Terms of Use.

