Skip to main content

Qualitätsmasse im Ablauf des Software-Entwicklungsprozesses — Masse zur Sicherstellung der Zuverlässigkeit beim Dynamischen Programmtesten

  • Chapter
Operations Research Proceedings 1982

Part of the book series: Operations Research Proceedings ((ORP))

  • 14 Accesses

Zusammenfassung

Zunächst wird eine allgemeine Systematik zur Anwendung von Qualitätsmaßen im Software- Entwicklungsprozeß erläutert. Darüber hinaus werden ausgewählte Ansätze zur Messung der Zuverlässigkeit beim dynamischen Programmtesten vorgestellt. Hierbei wird auf Qualitätsmaße eingegangen, die einerseits auf der Grundlage von Fehlern in Software-Produkten bzw. als Ergebnisse von Analysetätigkeiten definiert sind und die andererseits von der Abdeckung in der Testdurchführung ausgehen. Im Rahmen der ersten Gruppe werden die Ansätze “Abschätzung der Anzahl Fehler im Programm und Vergleich mit der Anzahl gefundener Fehler”, “Bebugging” und “Variantenanalyse” und “Feh1er erkenn ungsrate” erläutert. Für die zweite Gruppe werden beispielhaft Testabdekkungsmaße für den Bausteintest und für den Verfahrenstest vorgestellt. Es werden Werkzeuge zur Ermittlung von Testabdeckungsmaßen angeführt.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturverzeichnis

  1. Bons, H.; van Megen, R.: Generelle Testkonventionen als Beitrag zur Qualitätssicherung in Software-Projekten. Vortrag zum IKD ’82. Berlin 1982 (erscheint demnächst).

    Google Scholar 

  2. Bons, H.; van Megen, R.: Software-Qualität darf kein Zu fallsprodukt sein. In: Computerwoche, Jahrgang 1982, Nr. 14–16, 18

    Google Scholar 

  3. de Millo, R.A.; Lipton, Richard J.; Sayward, F.G.: Program Mutation — A New Approach to Program Testing. In: Infotech State of the Art Report “Software Testing”, Vol. 2, Hrsg.: Infotech International, Maidenhead, Berkshire 1979

    Google Scholar 

  4. Deutscher Normenausschuß e.V.: Begriffe der Qualitätssicherung und Statistik. Begriffe der Qualitätssicherung. Grundbegriffe. Vornorm Din 55 350, Teil 11, Berlin 1980

    Google Scholar 

  5. Endres, A.: Analyse und Verifikation von Programmen. München Wien 1977

    Google Scholar 

  6. Fosdick, Lloyd D.: BRNANL — A FORTRAN Program to Identify Basic Blocks in FORTRAN Programs. Hrsg.: University of Colorado, Department of Computer Science, Technical Report CY-CS-040–24, Boulder

    Google Scholar 

  7. General Research Corporation (Hrsg.) RXVP. FORTRAN Automated Verification System. System Description. Santa Barbara, California 1978

    Google Scholar 

  8. Gewald, Klaus; Haake, Gisela; Pfadler, Werner: Software-Engineering. München — Wien 1977

    Google Scholar 

  9. Halstead, M. H.: Elements of Software Science. New York — Oxford — Amsterdam, North-Holland, 1977

    Google Scholar 

  10. Heilmann, Heidi u.a. (Hrsg.): Handwörterbuch der modernen Datenverarbeitung. Heft 105, 19. Jahrgang, Mai 1982

    Google Scholar 

  11. Infotech International (Hrsg.) Infotech State of the Art Report “Software Testing”, Vol. 1. Maidenhead, Berkshire 1979

    Google Scholar 

  12. Lipton, R.J.; Sayward, F.G.: The Status of Research on Program Mutation. Digest of the Workshop on Software Testing and Test Documentation. Fort Lauderdale, Florida 1978, S. 355–373

    Google Scholar 

  13. van Megen, R., Bons, H.: Ermittlung und Verwendung quantitativer Angaben zur Bewertung der Qualität von Software-Produkten. In: Informatik-Fachbericht, Band 50, GI, 11. Jahrestagung, München 20.–23.10.1981, S. 145–159. Hrsg.: W. Brauer, Berlin-Heidelberg-New York 1981

    Google Scholar 

  14. van Megen, R., Bons, H.: Testen als Methode der Qualitätssicherung Vorgehensweise zur frühzeitigen und systematischen Fehlererkennung. CSMI/TTP-Schriftenreihe, Band 22–030, G. Maurer (Hrsg.), München 1982.

    Google Scholar 

  15. Myers, Glenford J.: Methodisches Testen von Programmen. München — Wien 1982

    Google Scholar 

  16. Schmitz, P.; Bons, H.; van Megen, R.: Software-Qualitätssicherung — Testen im Software-Lebenszyklus. Wiesbaden 1982

    Book  Google Scholar 

  17. Siemens AG (Hrsg.) FORTUNE. Programmanalysator für FORTRAN-Programme (BS2000). Version 1, 2. Ausgabe, D AP Beschreibung. München 1977

    Google Scholar 

  18. Stucki, Leon Gu The Use of Dynamic Assertions to Improve Software-Quality. Hrsg.: Mc Donnell Douglas Astronautics Company-West, Huntington Beach, California 1976

    Google Scholar 

  19. van Tassel, Dennie: Program Style, Design, Efficiency, Debugging and Testing. 2. Aufl., Englewood Cliffs, New Jersey 1978

    Google Scholar 

  20. NODAL. Node Determination and Analysis. Fact Sheet. Hrsg.: TRW Systems Group, Redon do Beach, California

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1983 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bons, H., van Megen, R. (1983). Qualitätsmasse im Ablauf des Software-Entwicklungsprozesses — Masse zur Sicherstellung der Zuverlässigkeit beim Dynamischen Programmtesten. In: Bühler, W., Fleischmann, B., Schuster, KP., Streitferdt, L., Zander, H. (eds) Operations Research Proceedings 1982. Operations Research Proceedings. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-38529-6_39

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-38529-6_39

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-37714-7

  • Online ISBN: 978-3-662-38529-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics