Systematically Testing a Real-Time Operating System

  • Authors:
  • Manthos A. Tsoukarellas;Vasilis C. Gerogiannis;Kostis D. Economides

  • Affiliations:
  • -;-;-

  • Venue:
  • IEEE Micro
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.