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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
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.
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.
Harrold, M.J. und Soffa, M.L. Selecting and Unsing Data for Integration Testing. IEEE Software, pages 58–85, March 1991.
Liggesmeyer, P. Modultest und Modulverifikation-State of the Art. BI-Wissenschaftsverlag, Mannheim, Wien, Zurich, 1990.
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.
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.
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.
Müllerburg, M., Meyerhoff, D. und Flacke, S. Enhancing Accessability of Metrics Knowledge. In Proc. of EUROMETRICS 91, pages 369–379. EC2, 1991.
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.
Prath er, R.E. On hierarchical software metrics. Software Engineering Journal, pages 42–45, March 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Müllerburg, M. (1992). Zur Formalisierung von Testkonzepten. In: Liggesmeyer, P., Sneed, H.M., Spillner, A. (eds) Testen, Analysieren und Verifizieren von Software. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77747-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-77747-9_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55860-6
Online ISBN: 978-3-642-77747-9
eBook Packages: Springer Book Archive