SlideShare ist ein Scribd-Unternehmen logo
1 von 27
Software Reliability
Presented by:
Gurkamal Rakhra
Mahadev Kiran
Syed Hannan Yunus
Contents
• Software Reliability(SR) definition
• Key concepts
• Factors influencing SR
• SR Methodologies
• SR Models
• SR Applications
• Summary
What is reliability?
Reliability
• Reliability is a broad concept.
• Reliability is one of the metrics that are used to measure quality.
• It is a user-oriented quality factor relating to system operation.
• Intuitively, if the users of a system rarely experience failure, the system is
considered to be more reliable than one that fails more often.
• A system without faults is considered to be highly reliable.
Key concepts
• Failure
If observable outcome of a program execution is different from the
expected outcome.
• Fault
Cause of failure.
• Time
If the time gap between two successive failures is short, we say that the
system is less reliable. Two types of time models are:
• Execution time()
• Calendar time (t)
Key concepts cont.
• MTTF: Mean Time To Failure
• MTTR: Mean Time To Repair
• MTBF: Mean Time Between Failures (= MTTF + MTTR)
Figure: Relationship between MTTR, MTTF, and MTBF.
Reference: Software Testing and Quality Assurance- Naik,Tripathy
Definition of Software Reliability
• First definition
oSoftware reliability is defined as the probability of failure-free
operation of a software system for a specified time in a specified
environment.
 Key elements of the above definition
oProbability of failure-free operation
oLength of time of failure-free operation
oA given execution environment
 Example
oThe probability that a PC in a store is up and running for
eight hours without crash is 0.99.
Reference: Software Testing and Quality Assurance- Naik,Tripathy
Definition cont.
• Second definition
• Failure intensity is a measure of the reliability of a software system
operating in a given environment.
• Example: An air traffic control system fails once in two years.
• Comparing the two
• The first puts emphasis on MTTF, whereas the second on count.
Reference: Software Testing and Quality Assurance- Naik,Tripathy
Factors influencing software reliability
User’s perception- Reliability of a software depends upon two
categories of information
1)The number of faults present in the software
2)The ways user operate the system-Operational profile
Reference: Software Testing and Quality Assurance- Naik,Tripathy
Fault count is influenced by following:
• Size and complexity of code
• Characteristics of development process used
• Education, experience and training of development personnel
• Operational Environment
Reference: Software Testing and Quality Assurance- Naik,Tripathy
Operational Profile
• An OP describes how actual users operate a system.
• Two ways to represent operational profiles
• Tabular
• Graphical
Reference: Software Testing and Quality Assurance- Naik,Tripathy
Use of OP in different ways
• Use an OP as a guiding document in designing user interfaces.
• Use an OP to design early version of a software for release
• Use an OP to determine where to put more resources in a software.
Note:
For accurate estimation of reliability of a system, test the system in the
same way it will be actually used in the field.
Software reliability methodologies
Critical systems (spacecraft, aircraft, nuclear power plant etc. ) require
a high level of dependability in their operation.
Dependability means:
1)Fault avoidance
2)Fault tolerance
3)Fault removal
4)Fault forecasting
Reference: Software Testing and Quality Assurance- Naik,Tripathy
Fault avoidance
• Prevent the introduction of faults during the development of the
software.
How?
• Use standards and guidelines
-How to implement the code?
-When and where to use functions, pointers etc.,
• Use formal methods
-state m/c to verify system working
• Methods against software aging
-to prevent memory leaks-system crash
Fault tolerance
• Used to address the shortcoming of fault avoidance
How?
By mitigating the risks cos
-there will be some potential or hidden faults remaining in software.
Fault removal
• Aim at detecting and fixing faults once the code has been developed.
How?
• Testing techniques
• Using various methods and verification
• Analysis ( Dynamic , Semantic etc.,)
Fault forecasting
• Estimating the presence of faults.
• Occurrence and consequences of failure.
• Main aim of fault forecasting is predicting the reliability of a software
product reliability.
• They are mainly concerned with reliability models.
Why Software Reliability Models?
• The fault forecasting methodologies includes the
reliability models.
• Return us the reliability of the software or predict the
reliability of the software.
Classification of Models
Reference: Software Testing and Quality Assurance-
Naik,Tripathy
Classification of Models (contd..)
Reference: Software Testing and Quality Assurance-
Naik,Tripathy
Time Dependent Models
 Time between failures models (TBF):
 In this class of models under study is the time between failures.
 Failure Count Models (FC):
 The interest of this class of models is in the number of faults and failures in
specified time intervals
Time Independent Models
 Fault Seeding Models (FS):
 Program has unknown number of indigenous faults , to this a known number
of faults are seeded.
 Input Domain Based Models (IDB):
 An estimate of the reliability of the program is obtained from the failures
observed during execution of the sample test cases.
Example models
• TBF - J-M De-Eutrophication.
• FC - Goel-Okumoto NHPP Model.
• FS - Mills seeding Model.
• IDB - Ramamoorthy and Bastani Model.
SR Modeling Flow Chart
Reference: Software Testing and Quality Assurance-
Naik,Tripathy
Applications of SR Models
 The applicability of these models can be assessed during
 Design Phase.
 Unit Testing.
 Integration Testing.
 Operational Phases.
Summary
• Software reliability is defined as the probability of failure-free
operation of a software system for a specified time in a specified
environment.
• Factors influencing SR are fault count and operational profile
• Dependability means fault avoidance, fault tolerance, fault
removal and fault forecasting.
• SR models helps in predicting the reliability of the software using
mathematical approach.
Questions?

Weitere ähnliche Inhalte

Was ist angesagt?

Software reliability & quality
Software reliability & qualitySoftware reliability & quality
Software reliability & quality
Nur Islam
 
Software Quality Attributes
Software Quality AttributesSoftware Quality Attributes
Software Quality Attributes
Hayim Makabee
 
Formal Specification in Software Engineering SE9
Formal Specification in Software Engineering SE9Formal Specification in Software Engineering SE9
Formal Specification in Software Engineering SE9
koolkampus
 
Basic software-testing-concepts
Basic software-testing-conceptsBasic software-testing-concepts
Basic software-testing-concepts
medsherb
 

Was ist angesagt? (20)

Software quality
Software qualitySoftware quality
Software quality
 
Software Metrics
Software MetricsSoftware Metrics
Software Metrics
 
Software Quality Assurance
Software Quality AssuranceSoftware Quality Assurance
Software Quality Assurance
 
Software testing
Software testing Software testing
Software testing
 
Software reliability & quality
Software reliability & qualitySoftware reliability & quality
Software reliability & quality
 
Software Quality Attributes
Software Quality AttributesSoftware Quality Attributes
Software Quality Attributes
 
Software Engineering (Software Quality Assurance)
Software Engineering (Software Quality Assurance)Software Engineering (Software Quality Assurance)
Software Engineering (Software Quality Assurance)
 
Chapter 1 2 - some size factors
Chapter 1   2 - some size factorsChapter 1   2 - some size factors
Chapter 1 2 - some size factors
 
Chapter 7 software reliability
Chapter 7 software reliabilityChapter 7 software reliability
Chapter 7 software reliability
 
Software Process Models
Software Process ModelsSoftware Process Models
Software Process Models
 
Software metrics
Software metricsSoftware metrics
Software metrics
 
Formal Specification in Software Engineering SE9
Formal Specification in Software Engineering SE9Formal Specification in Software Engineering SE9
Formal Specification in Software Engineering SE9
 
Software Testing
Software TestingSoftware Testing
Software Testing
 
Software engineering critical systems
Software engineering   critical systemsSoftware engineering   critical systems
Software engineering critical systems
 
Software Quality Assurance
Software Quality AssuranceSoftware Quality Assurance
Software Quality Assurance
 
Software Quality Metrics
Software Quality MetricsSoftware Quality Metrics
Software Quality Metrics
 
Basic software-testing-concepts
Basic software-testing-conceptsBasic software-testing-concepts
Basic software-testing-concepts
 
Software testing & Quality Assurance
Software testing & Quality Assurance Software testing & Quality Assurance
Software testing & Quality Assurance
 
formal verification
formal verificationformal verification
formal verification
 
Software testing and process
Software testing and processSoftware testing and process
Software testing and process
 

Andere mochten auch

Software and Hardware Reliability
Software and Hardware ReliabilitySoftware and Hardware Reliability
Software and Hardware Reliability
Sandeep Patalay
 
Software reliability engineering
Software reliability engineeringSoftware reliability engineering
Software reliability engineering
Mark Turner CRP
 
Software reliability models error seeding model and failure model-iv
Software reliability models error seeding model and failure model-ivSoftware reliability models error seeding model and failure model-iv
Software reliability models error seeding model and failure model-iv
Gurbakash Phonsa
 
Software quality
Software qualitySoftware quality
Software quality
jagadeesan
 

Andere mochten auch (18)

Quality & Reliability in Software Engineering
Quality & Reliability in Software EngineeringQuality & Reliability in Software Engineering
Quality & Reliability in Software Engineering
 
Reliability growth models
Reliability growth modelsReliability growth models
Reliability growth models
 
Software and Hardware Reliability
Software and Hardware ReliabilitySoftware and Hardware Reliability
Software and Hardware Reliability
 
Software reliability engineering
Software reliability engineeringSoftware reliability engineering
Software reliability engineering
 
Reliability growth models for quality management
Reliability growth models for quality managementReliability growth models for quality management
Reliability growth models for quality management
 
Software reliability models error seeding model and failure model-iv
Software reliability models error seeding model and failure model-ivSoftware reliability models error seeding model and failure model-iv
Software reliability models error seeding model and failure model-iv
 
Reliability engineering ppt-Internship
Reliability engineering ppt-InternshipReliability engineering ppt-Internship
Reliability engineering ppt-Internship
 
Reliability centered maintenance
Reliability centered maintenanceReliability centered maintenance
Reliability centered maintenance
 
Overview of software reliability engineering
Overview of software reliability engineeringOverview of software reliability engineering
Overview of software reliability engineering
 
Fault avoidance and fault tolerance
Fault avoidance and fault toleranceFault avoidance and fault tolerance
Fault avoidance and fault tolerance
 
ラーニング・バイ・コンテスト (Learning by Contest) ~ プログラミング学習のシフト ~
ラーニング・バイ・コンテスト(Learning by Contest)~ プログラミング学習のシフト ~ラーニング・バイ・コンテスト(Learning by Contest)~ プログラミング学習のシフト ~
ラーニング・バイ・コンテスト (Learning by Contest) ~ プログラミング学習のシフト ~
 
Software reliability engineering process
Software reliability engineering processSoftware reliability engineering process
Software reliability engineering process
 
Software Reliability Engineering
Software Reliability EngineeringSoftware Reliability Engineering
Software Reliability Engineering
 
SRE Tools
SRE ToolsSRE Tools
SRE Tools
 
Reliability Centered Maintenance Made Simple
Reliability Centered Maintenance Made SimpleReliability Centered Maintenance Made Simple
Reliability Centered Maintenance Made Simple
 
Software quality
Software qualitySoftware quality
Software quality
 
Best Practices in Maintenance and Reliability
Best Practices in Maintenance and ReliabilityBest Practices in Maintenance and Reliability
Best Practices in Maintenance and Reliability
 
SRE Tools
SRE ToolsSRE Tools
SRE Tools
 

Ähnlich wie Software Reliability

Sech1920 1200112979886874-3
Sech1920 1200112979886874-3Sech1920 1200112979886874-3
Sech1920 1200112979886874-3
Mateti Anilraja
 

Ähnlich wie Software Reliability (20)

Software Reliability_CS-3059_VISHAL_PADME.pptx
Software Reliability_CS-3059_VISHAL_PADME.pptxSoftware Reliability_CS-3059_VISHAL_PADME.pptx
Software Reliability_CS-3059_VISHAL_PADME.pptx
 
Ch15 software reliability
Ch15 software reliabilityCh15 software reliability
Ch15 software reliability
 
Run time Verification using formal methods
Run time Verification using formal methodsRun time Verification using formal methods
Run time Verification using formal methods
 
Software testing and introduction to quality
Software testing and introduction to qualitySoftware testing and introduction to quality
Software testing and introduction to quality
 
VTU 5TH SEM CSE SOFTWARE ENGINEERING SOLVED PAPERS - JUN13 DEC13 JUN14 DEC14 ...
VTU 5TH SEM CSE SOFTWARE ENGINEERING SOLVED PAPERS - JUN13 DEC13 JUN14 DEC14 ...VTU 5TH SEM CSE SOFTWARE ENGINEERING SOLVED PAPERS - JUN13 DEC13 JUN14 DEC14 ...
VTU 5TH SEM CSE SOFTWARE ENGINEERING SOLVED PAPERS - JUN13 DEC13 JUN14 DEC14 ...
 
Softwaretestingtoolsanditstaxonomy 131204003332-phpapp01
Softwaretestingtoolsanditstaxonomy 131204003332-phpapp01Softwaretestingtoolsanditstaxonomy 131204003332-phpapp01
Softwaretestingtoolsanditstaxonomy 131204003332-phpapp01
 
Sech1920 1200112979886874-3
Sech1920 1200112979886874-3Sech1920 1200112979886874-3
Sech1920 1200112979886874-3
 
Software testing tools and its taxonomy
Software testing tools and its taxonomySoftware testing tools and its taxonomy
Software testing tools and its taxonomy
 
SDLC models testing
SDLC models testingSDLC models testing
SDLC models testing
 
Non Functional Requirement.
Non Functional Requirement.Non Functional Requirement.
Non Functional Requirement.
 
Software Metrics - Software Engineering
Software Metrics - Software EngineeringSoftware Metrics - Software Engineering
Software Metrics - Software Engineering
 
Testing concepts [3] - Software Testing Techniques (CIS640)
Testing concepts [3] - Software Testing Techniques (CIS640)Testing concepts [3] - Software Testing Techniques (CIS640)
Testing concepts [3] - Software Testing Techniques (CIS640)
 
software Engineering process
software Engineering processsoftware Engineering process
software Engineering process
 
3. quality.ppt
3. quality.ppt3. quality.ppt
3. quality.ppt
 
Building a software testing environment
Building a software testing environmentBuilding a software testing environment
Building a software testing environment
 
6. oose testing
6. oose testing6. oose testing
6. oose testing
 
Design principles & quality factors
Design principles & quality factorsDesign principles & quality factors
Design principles & quality factors
 
T0 numtq0nje=
T0 numtq0nje=T0 numtq0nje=
T0 numtq0nje=
 
Software Productivity Measurement
Software Productivity MeasurementSoftware Productivity Measurement
Software Productivity Measurement
 
Manual Testing Interview Questions & Answers.docx
Manual Testing Interview Questions & Answers.docxManual Testing Interview Questions & Answers.docx
Manual Testing Interview Questions & Answers.docx
 

Kürzlich hochgeladen

notes on Evolution Of Analytic Scalability.ppt
notes on Evolution Of Analytic Scalability.pptnotes on Evolution Of Analytic Scalability.ppt
notes on Evolution Of Analytic Scalability.ppt
MsecMca
 
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak HamilCara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Kandungan 087776558899
 
Kuwait City MTP kit ((+919101817206)) Buy Abortion Pills Kuwait
Kuwait City MTP kit ((+919101817206)) Buy Abortion Pills KuwaitKuwait City MTP kit ((+919101817206)) Buy Abortion Pills Kuwait
Kuwait City MTP kit ((+919101817206)) Buy Abortion Pills Kuwait
jaanualu31
 
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
ssuser89054b
 
Standard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power PlayStandard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power Play
Epec Engineered Technologies
 
Integrated Test Rig For HTFE-25 - Neometrix
Integrated Test Rig For HTFE-25 - NeometrixIntegrated Test Rig For HTFE-25 - Neometrix
Integrated Test Rig For HTFE-25 - Neometrix
Neometrix_Engineering_Pvt_Ltd
 

Kürzlich hochgeladen (20)

Engineering Drawing focus on projection of planes
Engineering Drawing focus on projection of planesEngineering Drawing focus on projection of planes
Engineering Drawing focus on projection of planes
 
notes on Evolution Of Analytic Scalability.ppt
notes on Evolution Of Analytic Scalability.pptnotes on Evolution Of Analytic Scalability.ppt
notes on Evolution Of Analytic Scalability.ppt
 
Online electricity billing project report..pdf
Online electricity billing project report..pdfOnline electricity billing project report..pdf
Online electricity billing project report..pdf
 
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak HamilCara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
 
Block diagram reduction techniques in control systems.ppt
Block diagram reduction techniques in control systems.pptBlock diagram reduction techniques in control systems.ppt
Block diagram reduction techniques in control systems.ppt
 
Kuwait City MTP kit ((+919101817206)) Buy Abortion Pills Kuwait
Kuwait City MTP kit ((+919101817206)) Buy Abortion Pills KuwaitKuwait City MTP kit ((+919101817206)) Buy Abortion Pills Kuwait
Kuwait City MTP kit ((+919101817206)) Buy Abortion Pills Kuwait
 
Air Compressor reciprocating single stage
Air Compressor reciprocating single stageAir Compressor reciprocating single stage
Air Compressor reciprocating single stage
 
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
 
Standard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power PlayStandard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power Play
 
Unleashing the Power of the SORA AI lastest leap
Unleashing the Power of the SORA AI lastest leapUnleashing the Power of the SORA AI lastest leap
Unleashing the Power of the SORA AI lastest leap
 
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
 
A Study of Urban Area Plan for Pabna Municipality
A Study of Urban Area Plan for Pabna MunicipalityA Study of Urban Area Plan for Pabna Municipality
A Study of Urban Area Plan for Pabna Municipality
 
Computer Networks Basics of Network Devices
Computer Networks  Basics of Network DevicesComputer Networks  Basics of Network Devices
Computer Networks Basics of Network Devices
 
S1S2 B.Arch MGU - HOA1&2 Module 3 -Temple Architecture of Kerala.pptx
S1S2 B.Arch MGU - HOA1&2 Module 3 -Temple Architecture of Kerala.pptxS1S2 B.Arch MGU - HOA1&2 Module 3 -Temple Architecture of Kerala.pptx
S1S2 B.Arch MGU - HOA1&2 Module 3 -Temple Architecture of Kerala.pptx
 
HAND TOOLS USED AT ELECTRONICS WORK PRESENTED BY KOUSTAV SARKAR
HAND TOOLS USED AT ELECTRONICS WORK PRESENTED BY KOUSTAV SARKARHAND TOOLS USED AT ELECTRONICS WORK PRESENTED BY KOUSTAV SARKAR
HAND TOOLS USED AT ELECTRONICS WORK PRESENTED BY KOUSTAV SARKAR
 
Integrated Test Rig For HTFE-25 - Neometrix
Integrated Test Rig For HTFE-25 - NeometrixIntegrated Test Rig For HTFE-25 - Neometrix
Integrated Test Rig For HTFE-25 - Neometrix
 
Minimum and Maximum Modes of microprocessor 8086
Minimum and Maximum Modes of microprocessor 8086Minimum and Maximum Modes of microprocessor 8086
Minimum and Maximum Modes of microprocessor 8086
 
Rums floating Omkareshwar FSPV IM_16112021.pdf
Rums floating Omkareshwar FSPV IM_16112021.pdfRums floating Omkareshwar FSPV IM_16112021.pdf
Rums floating Omkareshwar FSPV IM_16112021.pdf
 
Introduction to Serverless with AWS Lambda
Introduction to Serverless with AWS LambdaIntroduction to Serverless with AWS Lambda
Introduction to Serverless with AWS Lambda
 
2016EF22_0 solar project report rooftop projects
2016EF22_0 solar project report rooftop projects2016EF22_0 solar project report rooftop projects
2016EF22_0 solar project report rooftop projects
 

Software Reliability

  • 1. Software Reliability Presented by: Gurkamal Rakhra Mahadev Kiran Syed Hannan Yunus
  • 2. Contents • Software Reliability(SR) definition • Key concepts • Factors influencing SR • SR Methodologies • SR Models • SR Applications • Summary
  • 4. Reliability • Reliability is a broad concept. • Reliability is one of the metrics that are used to measure quality. • It is a user-oriented quality factor relating to system operation. • Intuitively, if the users of a system rarely experience failure, the system is considered to be more reliable than one that fails more often. • A system without faults is considered to be highly reliable.
  • 5. Key concepts • Failure If observable outcome of a program execution is different from the expected outcome. • Fault Cause of failure. • Time If the time gap between two successive failures is short, we say that the system is less reliable. Two types of time models are: • Execution time() • Calendar time (t)
  • 6. Key concepts cont. • MTTF: Mean Time To Failure • MTTR: Mean Time To Repair • MTBF: Mean Time Between Failures (= MTTF + MTTR) Figure: Relationship between MTTR, MTTF, and MTBF. Reference: Software Testing and Quality Assurance- Naik,Tripathy
  • 7. Definition of Software Reliability • First definition oSoftware reliability is defined as the probability of failure-free operation of a software system for a specified time in a specified environment.  Key elements of the above definition oProbability of failure-free operation oLength of time of failure-free operation oA given execution environment  Example oThe probability that a PC in a store is up and running for eight hours without crash is 0.99. Reference: Software Testing and Quality Assurance- Naik,Tripathy
  • 8. Definition cont. • Second definition • Failure intensity is a measure of the reliability of a software system operating in a given environment. • Example: An air traffic control system fails once in two years. • Comparing the two • The first puts emphasis on MTTF, whereas the second on count. Reference: Software Testing and Quality Assurance- Naik,Tripathy
  • 9. Factors influencing software reliability User’s perception- Reliability of a software depends upon two categories of information 1)The number of faults present in the software 2)The ways user operate the system-Operational profile Reference: Software Testing and Quality Assurance- Naik,Tripathy
  • 10. Fault count is influenced by following: • Size and complexity of code • Characteristics of development process used • Education, experience and training of development personnel • Operational Environment Reference: Software Testing and Quality Assurance- Naik,Tripathy
  • 11. Operational Profile • An OP describes how actual users operate a system. • Two ways to represent operational profiles • Tabular • Graphical Reference: Software Testing and Quality Assurance- Naik,Tripathy
  • 12. Use of OP in different ways • Use an OP as a guiding document in designing user interfaces. • Use an OP to design early version of a software for release • Use an OP to determine where to put more resources in a software. Note: For accurate estimation of reliability of a system, test the system in the same way it will be actually used in the field.
  • 13. Software reliability methodologies Critical systems (spacecraft, aircraft, nuclear power plant etc. ) require a high level of dependability in their operation. Dependability means: 1)Fault avoidance 2)Fault tolerance 3)Fault removal 4)Fault forecasting Reference: Software Testing and Quality Assurance- Naik,Tripathy
  • 14. Fault avoidance • Prevent the introduction of faults during the development of the software. How? • Use standards and guidelines -How to implement the code? -When and where to use functions, pointers etc., • Use formal methods -state m/c to verify system working • Methods against software aging -to prevent memory leaks-system crash
  • 15. Fault tolerance • Used to address the shortcoming of fault avoidance How? By mitigating the risks cos -there will be some potential or hidden faults remaining in software.
  • 16. Fault removal • Aim at detecting and fixing faults once the code has been developed. How? • Testing techniques • Using various methods and verification • Analysis ( Dynamic , Semantic etc.,)
  • 17. Fault forecasting • Estimating the presence of faults. • Occurrence and consequences of failure. • Main aim of fault forecasting is predicting the reliability of a software product reliability. • They are mainly concerned with reliability models.
  • 18. Why Software Reliability Models? • The fault forecasting methodologies includes the reliability models. • Return us the reliability of the software or predict the reliability of the software.
  • 19. Classification of Models Reference: Software Testing and Quality Assurance- Naik,Tripathy
  • 20. Classification of Models (contd..) Reference: Software Testing and Quality Assurance- Naik,Tripathy
  • 21. Time Dependent Models  Time between failures models (TBF):  In this class of models under study is the time between failures.  Failure Count Models (FC):  The interest of this class of models is in the number of faults and failures in specified time intervals
  • 22. Time Independent Models  Fault Seeding Models (FS):  Program has unknown number of indigenous faults , to this a known number of faults are seeded.  Input Domain Based Models (IDB):  An estimate of the reliability of the program is obtained from the failures observed during execution of the sample test cases.
  • 23. Example models • TBF - J-M De-Eutrophication. • FC - Goel-Okumoto NHPP Model. • FS - Mills seeding Model. • IDB - Ramamoorthy and Bastani Model.
  • 24. SR Modeling Flow Chart Reference: Software Testing and Quality Assurance- Naik,Tripathy
  • 25. Applications of SR Models  The applicability of these models can be assessed during  Design Phase.  Unit Testing.  Integration Testing.  Operational Phases.
  • 26. Summary • Software reliability is defined as the probability of failure-free operation of a software system for a specified time in a specified environment. • Factors influencing SR are fault count and operational profile • Dependability means fault avoidance, fault tolerance, fault removal and fault forecasting. • SR models helps in predicting the reliability of the software using mathematical approach.