Zur Formalisierung von Testkonzepten
Conference paper
- 109 Downloads
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.
Literatur
- 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.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.Harrold, M.J. und Soffa, M.L. Selecting and Unsing Data for Integration Testing. IEEE Software, pages 58–85, March 1991.Google Scholar
- 4.Liggesmeyer, P. Modultest und Modulverifikation-State of the Art. BI-Wissenschaftsverlag, Mannheim, Wien, Zurich, 1990.zbMATHGoogle Scholar
- 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.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.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.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.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.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