Advertisement

Zur Formalisierung von Testkonzepten

  • Monika Müllerburg
Conference paper
  • 109 Downloads
Part of the Informatik aktuell book series (INFORMAT)

Zusammenfassung

Das Testen von Software beruht auf dynamischer Ausführung und ist die in der Praxis am häufigsten verwendete Methode der Software-Qualitätsprüfung. Der Aufwand für das Testen ist sehr hoch. Ein Grund dafür ist, daß Testen immer noch mehr auf der Intuition des Testers beruht, als auf systematischen Verfahren. Trotz vieler Fortschritte hängt noch zu viel von der Kreativität einzelner Tester ab, und die Güte der erzielten Ergebnisse, insbesondere bezüglich der Wirksamkeit der Testläufe, läßt sich nur selten nachweisen. Für eine wirkliche Nutzung der Möglichkeiten des Testens muß noch viel getan werden, insbesondere müssen systematische Vorgehensweisen unterstützt werden.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. 1.
    Bache, R. und Müllerburg, M. Measures of Testability as a Basis for Quality Assurance. IEE/BCS Software Engineering Journal, 5(2):86–92, March 1990.CrossRefGoogle Scholar
  2. 2.
    Franck, R., Spülner, A. und Herrmann, J. Methods and Tools for Integration Testing of Large Software Systems. In Proc. 2nd European Conference on Software Quality. European Organisation for Quality Control (EOQC), 1990.Google Scholar
  3. 3.
    Harrold, M.J. und Soffa, M.L. Selecting and Unsing Data for Integration Testing. IEEE Software, pages 58–85, March 1991.Google Scholar
  4. 4.
    Liggesmeyer, P. Modultest und Modulverifikation-State of the Art. BI-Wissenschaftsverlag, Mannheim, Wien, Zurich, 1990.zbMATHGoogle Scholar
  5. 5.
    Linnenkugel, U. und Müllerburg, M. Test Data Selection Criteria for (Software) Integration Testing. In Proc. of The First International Conference on Systems Integration, pages 707–717. IEEE, April 1990.Google Scholar
  6. 6.
    Müllerburg, M, Fundamental concepts of software testing, 1989. Revised version of the paper On Fundamentals of Program Testing., in Proc. of the 1st European Seminar on Software Quality, European Organisation for Quality Control (EOQC), 1988, 290–305.Google Scholar
  7. 7.
    Müllerburg, M, Software Testing: A Stepwise Process. In Proc. of the 2nd European Conference on Software Quality. European Organisation for Quality Control (EOQC), 1990.Google Scholar
  8. 8.
    Müllerburg, M., Meyerhoff, D. und Flacke, S. Enhancing Accessability of Metrics Knowledge. In Proc. of EUROMETRICS 91, pages 369–379. EC2, 1991.Google Scholar
  9. 9.
    Müllerburg, M., Meyerhoff, D., and Flacke, S., Supporting Software Measurement: The METKIT CAI System. In Results and Progress of ESPRIT Projects, pages 246–261. Commission of the European Communities, 1991.Google Scholar
  10. 10.
    Prath er, R.E. On hierarchical software metrics. Software Engineering Journal, pages 42–45, March 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Monika Müllerburg
    • 1
  1. 1.Gesellschaft für Mathematik und DatenverarbeitungSchloss BirlinghovenSankt Augustin 1Germany

Personalised recommendations