Software Reliability Modeling, Fachbücher von Shigeru Yamada

Das Buch "Software Reliability Modeling" von Shigeru Yamada bietet eine umfassende Analyse der Softwarezuverlässigkeit, die als entscheidendes Merkmal der Softwarequalität gilt. Es behandelt die Messung und das Management von Softwarezuverlässigkeit während des gesamten Lebenszyklus eines Softwareprodukts. Im ersten Teil werden verschiedene Aspekte der Softwarezuverlässigkeitsmodellierung und deren Anwendungen vorgestellt, einschliesslich der Untersuchung von Hazard-Raten und nicht-homogenen Poisson-Prozessen (NHPP) für die quantitative Bewertung der Softwarezuverlässigkeit. Zudem werden Modelle für unvollständiges Debugging und Softwareverfügbarkeit behandelt, die praktische Faktoren des dynamischen Softwareverhaltens berücksichtigen. Der zweite Teil des Buches thematisiert aktuelle Entwicklungen in der Softwarezuverlässigkeitsmodellierung und deren quantitative Techniken zur Messung und Bewertung der Softwarequalität. Die Diskussion umfasst auch die Analyse menschlicher Faktoren, die die Softwarezuverlässigkeit während der Entwurfsüberprüfung beeinflussen, sowie Wachstumsmodelle der Softwarezuverlässigkeit, die auf stochastischen Differentialgleichungen basieren.