Grin logo
de en es fr
Shop
GRIN Website
Publicación mundial de textos académicos
Go to shop › Ciencias de la computación - Software

Software Reliability using Mathematical Modeling

Título: Software Reliability using Mathematical Modeling

Libro Especializado , 166 Páginas

Autor:in: Dr. Manu Banga (Autor)

Ciencias de la computación - Software
Extracto de texto & Detalles   Leer eBook
Resumen Extracto de texto Detalles

A mathematical model is basically a symbolic representation involving mathematical concepts/symbols and terminologies. Mathematical models are extremely powerful because they enable predictions to be made regarding a system. Further, these predictions provide a road map for further experimentation. Numerical models are utilized not just as a part of characteristic sciences and building disciplines, but also in social sciences. Additionally, numerous physicists, engineers, analysts, financial experts, operations research examiners use scientific models most widely to pick the best strategy and test with the different alternative decisions. One of the fields where mathematical modeling has been vastly applied is reliability. The subject has been traditionally attached to hardware systems. Yet, with the expanding utilization of PCs in present times, programming dependability has turned into a control in its own. Thus, making software reliability an important discipline in today’s era.

In this digital world, life without a computer is not possible. Almost everything around us is computerized, which helps us to lead life in a much better way. The change in revolution brought by computers has increased the global productivity and has benefited the society in many ways. Computers are useless without software. For achieving excellence in computer technology, there is a strong need to develop more and more software systems. Thus, the role played by the software is appreciated in industry, education, marketing, information, banking and social media etc. Access to online payment, entertainment, banking systems, chatting, bill payments, organization management, nuclear reactors etc. has become easier, smarter and faster due to the use of software in day-to-day life. Thus, software plays a crucial role in everything from elementary education to genetic engineering in this technology driven era.

Extracto


Inhaltsverzeichnis

Chapter 1: Introduction

1.1. Software Reliability Engineering

1.2. Software Development Life Cycle

1.3. Testing Phase- An Overview

1.4. Software Reliability Growth Models

1.5. NHPP based Software Reliability Growth Model

1.5.1. NHPP in Continuous Time Space

1.5.2. Summary of NHPP based SRGMs

1.5.3. SRGMs with Testing Effort

1.6. Multi Up- Gradation Software Reliability Growth Models

1.7. Parameter Estimation and Model Validation

1.8. Optimization Problems- An Outlook

1.8.1. Optimization Problems in Software Reliability

1.9. Optimal Control Theory

1.9.1. Basic Concepts and Definitions

1.10. Genetic Algorithm

1.11. Information Theory

1.11.1. Entropy

Chapter 2: Dynamic Resource Allocation Modeling for Single Release and Multi Release

2.1. Dynamic Resource Allocation Modeling for Single Release Software

2.1.1. Notations

2.1.2. SRGM with Testing Effort

2.1.3. Model Development

2.1.4. An Approach for Optimal Solution

2.1.5. Numerical Example

2.1.6. Research on Release Time Problem of Software

2.2. Dynamic Testing Resource Allocation Modeling for Multi Release Software

2.2.1. Notations

2.2.2. Basic Assumptions

2.2.3. SRGM with Testing Effort

2.2.4. Problem Statement & Formulation

2.2.5. Optimal Solution

2.2.6. Genetic Algorithm- A Particular Case

2.2.7. Numerical Analysis

Chapter 3: Resource Allocation Modeling with Different Budgetary Constraint on Fault Detection and Fault Correction Process in Dynamic Environment

3.1. Notations

3.2. Modeling Framework

3.2.1. FDP and FCP Modeling

3.2.2. Cost Optimization Modeling

3.3. Optimal Solution

3.4. Special Cases

3.4.1. Case 1

3.4.2. Case 2

3.5. Numerical Analysis

3.6. Release Policy

Chapter 4: Multi Release Software Reliability Growth Modeling in the presence of Perfect Debugging and Imperfect Debugging

4.1. Two Dimensional Multi Release Software Reliability Modeling in the presence of Perfect Debugging

4.1.1. One Dimensional SRGM versus Two Dimensional SRGM- A Review

4.1.2. Notations

4.1.3. Cobb Douglas Function- An Overview

4.1.4. Modeling Framework

4.1.5. Parameter Estimation and Model Validation

4.2. Two Dimensional Multi Release Software Reliability Modeling with Testing Effort, Time and Two Types of Imperfect Debugging

4.2.1. Notations

4.2.2. Assumptions

4.2.3. Modeling Development

4.2.4. Mean Value Functions for Proposed SRGMs

4.2.5. Parameter Estimation & Model Validation

Chapter 5: Bugs and Release Time Prediction Modeling- A New Insight

5.1. Predicting Bugs of Mozilla Open Source Software using Entropy Measures

5.1.1. Notations

5.1.2. Complexity of Code Changes

5.1.3. Methodology

5.1.4. Bug Prediction Modeling

5.1.5. Assessment of Entropy Measures

5.2. Estimation of Release Time for Bugzilla Open Source Software: An Information Theoretic Approach

5.2.1. Notations

5.2.2. Information Theoretic Approach

5.2.3. Methodology

5.2.4. Prediction Modeling

5.2.5. Results and Discussions

Zielsetzung & Forschungsthemen

Die vorliegende Arbeit zielt darauf ab, mathematische Modelle zur prädiktiven Analyse und Ressourcenoptimierung in der Softwarezuverlässigkeitstechnik zu entwickeln, insbesondere unter Berücksichtigung dynamischer Umgebungen und mehrstufiger Software-Releases.

  • Mathematische Modellierung der Software-Fehlerzuverlässigkeit (SRGMs).
  • Optimierung der Ressourcenallokation für Fehlererkennung und -korrektur.
  • Entscheidungsmodelle für den optimalen Release-Zeitpunkt von Software.
  • Anwendung von Informationstheorie und Entropie-Maßen zur Fehler- und Release-Zeit-Vorhersage.
  • Integration evolutionärer Algorithmen (Genetische Algorithmen) und optimaler Kontrolltheorie.

Auszug aus dem Buch

1.1 Software Reliability Engineering

The decade 1970s was the start of Software Reliability Engineering (SRE), the connected study of measuring, anticipating and dealing with the reliability of software products to expand the client fulfillment. This field has been produced to make and use sound building standards and engineering concepts to monetarily obtain reliable software systems that work capably on genuine real machines. SRE has principally brought the product improvement under the building umbrella. SRE fundamentally originates from the requirements of programming clients.

Musa (1999) has characterized SRE as a standard proven, widespread best practice which helps to build up more reliable software systems, and helps one develop it cheaper and faster. SRE being low in cost and as its implementation involves almost no schedule impact, is widely applicable.

SRE helps not only in delivering a software product of required functionality within desired cost and within time but also satisfies certain required quality criteria. Thus, to assess the quality of the software is highly important. It focuses on quantitatively characterizing the distinguished attributes such as usability, reliability, maintainability, availability, testability, functionality etc. of the software. Software reliability is the key variable of software quality as it measures software failures- the most unwanted and undesirable events and subsequently is of significant concern to the product organizations and client. It worries about how well the software product capacities to meet the necessities of the clients. Software reliability can be defined as follows:

The probability of failure-free software operation for a specific period of time in a specified environment.

Zusammenfassung der Kapitel

Chapter 1: Introduction: Dieses Kapitel führt in die Grundlagen der Softwarezuverlässigkeit ein und erläutert die Bedeutung mathematischer Modellierung sowie statistischer Methoden für die moderne Softwareentwicklung.

Chapter 2: Dynamic Resource Allocation Modeling for Single Release and Multi Release: Hier wird ein Modell zur dynamischen Ressourcenallokation entwickelt, das speziell auf die Herausforderungen bei der Software-Einzelauslieferung und bei mehrstufigen Upgradeprozessen eingeht.

Chapter 3: Resource Allocation Modeling with Different Budgetary Constraint on Fault Detection and Fault Correction Process in Dynamic Environment: Dieses Kapitel befasst sich mit der Budgetoptimierung in dynamischen Testumgebungen, wobei Fehlererkennung und Fehlerbehebung als getrennte, aber abhängige Prozesse modelliert werden.

Chapter 4: Multi Release Software Reliability Growth Modeling in the presence of Perfect Debugging and Imperfect Debugging: Hier werden mehrdimensionale Modelle für die Zuverlässigkeit von Software-Releases vorgestellt, die verschiedene Debugging-Szenarien und die Fehlerraten-Dynamik berücksichtigen.

Chapter 5: Bugs and Release Time Prediction Modeling- A New Insight: Das letzte Kapitel nutzt informationstheoretische Ansätze, insbesondere Entropie-Maße, zur Vorhersage von Fehleranzahl und Release-Zeitpunkten für Open-Source-Softwareprojekte wie Mozilla und Bugzilla.

Schlüsselwörter

Softwarezuverlässigkeitstechnik, Mathematische Modellierung, SRGM, Ressourcenallokation, Optimierungsprobleme, Optimale Kontrolltheorie, Genetische Algorithmen, Entropie, Informationstheorie, Fehlererkennung, Fehlerkorrektur, Imperfektes Debugging, Software-Release, Dynamische Umgebung, Bug-Prädiktion.

Häufig gestellte Fragen

Worum geht es in dieser Arbeit grundsätzlich?

Die Arbeit behandelt die mathematische Modellierung und Optimierung der Softwarezuverlässigkeit. Der Fokus liegt darauf, durch wissenschaftliche Methoden zu bestimmen, wie Ressourcen bei Tests optimal verteilt werden und wann der beste Zeitpunkt für eine Softwareveröffentlichung ist.

Welche sind die zentralen Themenfelder?

Die zentralen Themen sind Zuverlässigkeitswachstumsmodelle (SRGMs), Ressourcenallokation, Release-Zeitpunkt-Entscheidungen, mathematische Optimierung und die Anwendung der Informationstheorie auf die Softwarequalität.

Was ist das primäre Ziel der Forschungsarbeit?

Das primäre Ziel ist es, rechnergestützte Rahmenbedingungen zu schaffen, mit denen Softwarefirmen ihre Kosten minimieren, die Fehlerbehebungseffizienz steigern und eine zuverlässige Softwareveröffentlichung innerhalb terminlicher Anforderungen erreichen können.

Welche wissenschaftliche Methode wird primär verwendet?

Die Arbeit nutzt hauptsächlich die optimale Kontrolltheorie, statistische Analysen (z.B. einfache und multiple lineare Regression) und heuristische Optimierungsverfahren wie genetische Algorithmen (GA) zur Parameterbestimmung.

Was wird im Hauptteil der Arbeit behandelt?

Der Hauptteil gliedert sich in verschiedene Modellierungsansätze: von der dynamischen Ressourcenallokation für einzelne Releases über Modelle für mehrstufige Software-Upgrades bis hin zur Anwendung informationstheoretischer Entropie zur Vorhersage von Bugs in großen Open-Source-Projekten.

Welche Schlüsselwörter charakterisieren die Arbeit?

Wichtige Begriffe sind Softwarezuverlässigkeit, NHPP (Non-Homogeneous Poisson Process), Cobb-Douglas-Produktionsfunktionen, Fehlererkennung (FDP), Fehlerkorrektur (FCP) und informationstheoretische Entropie-Maße.

Welche Rolle spielt die Informationstheorie in diesem Dokument?

Die Arbeit nutzt Entropie-Maße (nach Shannon, Renyi und Tsallis), um die Komplexität von Programmcodeänderungen in Open-Source-Projekten zu quantifizieren. Diese Entropiewerte dienen dann als Basis für statistische Vorhersagemodelle bezüglich zukünftiger Fehler (Bugs) und optimaler Release-Zeitpunkte.

Wie werden die Ergebnisse validiert?

Die Validierung erfolgt durch den Vergleich der theoretisch abgeleiteten Modelle mit realen Datensätzen, beispielsweise von Tandem Computers. Hierbei kommen Gütemaße wie der mittlere quadratische Fehler (MSE), das Bestimmtheitsmaß (R²), Bias und Standardabweichungen zum Einsatz.

Final del extracto de 166 páginas  - subir

Detalles

Título
Software Reliability using Mathematical Modeling
Universidad
Amity University
Autor
Dr. Manu Banga (Autor)
Páginas
166
No. de catálogo
V1289566
ISBN (PDF)
9783346752413
ISBN (Libro)
9783346752420
Idioma
Alemán
Etiqueta
software reliability mathematical modeling
Seguridad del producto
GRIN Publishing Ltd.
Citar trabajo
Dr. Manu Banga (Autor), Software Reliability using Mathematical Modeling, Múnich, GRIN Verlag, https://www.grin.com/document/1289566
Leer eBook
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
  • Si ve este mensaje, la imagen no pudo ser cargada y visualizada.
Extracto de  166  Páginas
Grin logo
  • Grin.com
  • Envío
  • Contacto
  • Privacidad
  • Aviso legal
  • Imprint