Systematically Testing a Real-Time Operating System

Manthos A. Tsoukarellas, Vasilis C. Gerogiannis, Kostis D. Economides

    Research output: Contribution to journalArticlepeer-review

    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.

    Original languageEnglish
    Pages (from-to)50-60
    Number of pages11
    JournalIEEE Micro
    Volume15
    Issue number5
    DOIs
    Publication statusPublished - 1995

    Fingerprint

    Dive into the research topics of 'Systematically Testing a Real-Time Operating System'. Together they form a unique fingerprint.

    Cite this