Advertisement

Testen paralleler Betriebssysteme

  • L. Eichler
Conference paper
  • 107 Downloads
Part of the Informatik aktuell book series (INFORMAT)

Zusammenfassung

In diesem Aufsatz wird ein Weg aufgezeigt, Betriebssystemsoftware in Zukunft etwas besser testbar zu gestalten. Nach einer kurzen Einführung in die Problematik der Betriebssystementwicklung im Bereich massiv paralleler Systeme wird eine Strategie vorgeschlagen, für den Fall einer objektorientierten System(re-) implementierung mögliche, neue Wege zur Qualitätssicherung der entstehenden Software zu beschreiten. Auf der Grundlage des programmiersprachlichen Konzeptes der Vererbung sind die Software-Eigenschaften „Testbarkeit” sowie „Diagnostizierbarkeit” leichter zu erreichen als mit herkömmlichen Methoden.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    M. A. Ellis, B. Stroustrup: The Annotated C++ Reference Manual, Addison-Wesley, Mass., 1990Google Scholar
  2. [2]
    L. Eichler, U. Krutschinna: DIAMOND Diagnosis Monitor for Distributed Systems, Ges. f. Mathematik u. Datenverarbeitung FIRST, Berlin 1990Google Scholar
  3. [3]
    W. K. Giloi, C. Hastedt, F. Schön, W. Schröder-Preikschat: A Distributed Implementation of Shared Virtual Memory with Strong and Weak Coherence, Proceedings of the 2nd European Distributed Memory Computing Conference, Munich, Germany, 1991Google Scholar
  4. [4]
    W. K. Giloi, W. Schröder-Preikschat: Programming Models for Massively Parallel Systems, International Symposium on New Information Processing Technologies ’91, Tokyo, Japan, 1991Google Scholar
  5. [5]
    K.-E. Großpietsch, U. Voges: Methoden der Fehlerbehandlung, Informatik-Spektrum 9, 95–109, 1986Google Scholar
  6. [6]
    B. Meyer: Object-oriented Software Construction, Prentice Hall Intern. Ltd, Hertfordshire, 1988Google Scholar
  7. B. P. Miller, L. Fredriksen, B. So: An Empirical Study of the Reliability of UNIX Utilities, Communications of the ACM, Dec. 1990, Vol. 33, No. 12, S. 32ffCrossRefGoogle Scholar
  8. [8]
    InterFace GmbH: IF/Prolog Manual, Version 3.4, Munich 2, Germany, 1986, 88Google Scholar
  9. [9]
    NIXDORF Computer AG: TWAICE 3.1 Manual C — K, Abteilung ZSI, Paderborn, Germany, 1988Google Scholar
  10. [10]
    B. J. Nelson: Remote Procedure Call, Carnegie-Mellon University, Mountain View, CA 94043, Report CMU-CS-81–119, 1982Google Scholar
  11. [11]
    H. W. Pohl: Fehlermodelle zur Kommunikation, Ges. f. Mathematik u. Datenverarbeitung FIRST, Berün 1991Google Scholar
  12. F. P. Preparata, G. Metze, R. T. Chien: On the Connection Assignment Problem of Diagnosable Systems, IEEE Trans. El. Comp., pp. 848–854, Vol C-16, 1967CrossRefGoogle Scholar
  13. [13]
    F. Puppe: Diagnostisches Problemlösen mit Expertensystemen, Informatik Fachberichte 148, Springer Verlag Berlin Tokyo etc., 1987zbMATHGoogle Scholar
  14. [14]
    Sun Microsystems, Inc.: SunOS 4.1.1 Reference Manual, Volume I, Revision A of 30. October 1990Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • L. Eichler
    • 1
  1. 1.Gesellschaft für Mathematik und DatenverarbeitungGMD FIRSTBerlin 12Germany

Personalised recommendations