Software-Qualität

Testen, Analysieren und Verifizieren von Software

  • Peter Liggesmeyer

Table of contents

  1. Front Matter
    Pages I-XV
  2. Peter Liggesmeyer
    Pages 1-48
  3. Peter Liggesmeyer
    Pages 49-81
  4. Peter Liggesmeyer
    Pages 141-178
  5. Peter Liggesmeyer
    Pages 179-214
  6. Peter Liggesmeyer
    Pages 215-230
  7. Peter Liggesmeyer
    Pages 231-268
  8. Peter Liggesmeyer
    Pages 269-304
  9. Peter Liggesmeyer
    Pages 305-319
  10. Peter Liggesmeyer
    Pages 361-389
  11. Peter Liggesmeyer
    Pages 391-405
  12. Peter Liggesmeyer
    Pages 407-438
  13. Peter Liggesmeyer
    Pages 439-479
  14. Peter Liggesmeyer
    Pages 481-491
  15. Back Matter
    Pages 493-526

About this book

Introduction

Dieses Buch stellt den aktuellen Wissenstand über die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualitätssicherung nahezu lückenlos dar. Beschrieben werden Testtechniken, automatische statische Analysen, die Software-Messung, Review- und Inspektionstechniken, formale Ansätze, Techniken zur Überprüfung objektorientierter und eingebetteter Software sowie Prüfstrategien, Prüfprozesse und Werkzeuge.

Das Buch richtet sich gleichermaßen an Praktiker sowie an Informatik-Dozenten und –Studierende. Es kann „von vorn nach hinten" gelesen werden oder als Nachschlagewerk dienen. Jedes Kapitel ist ein allein verständliches „kleines Buch für sich". Es beginnt jeweils mit einer kurzen Inhaltsangabe zur Orientierung und schließt mit einer Bewertung und einer Checkliste, die insbesondere dem Praktiker Umsetzungshinweise gibt.

Weiterführende Informationen zum Buch finden Sie unter www.liggesmeyer.de.

Die 2. Auflage ist vollständig durchgesehen und aktualisiert. Neu aufgenommen wurde ein Kapitel zu modellbasierten Tests.

Keywords

Auswertung Dokumentation Informatik Klassen Klassifikation Metriken Modellierung Modultest Qualitätssicherung Software Standards Systemtest Test Testen statische Analyse

Authors and affiliations

  • Peter Liggesmeyer
    • 1
  1. 1.Software Engineering: Dependability Fachbereich InformatikTechnische Universität KaiserslauternKaiserslautern

Bibliographic information

Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace