SlideShare a Scribd company logo
Software Testing Axioms
Prepared by
S.Rijutha
AP/IT
7/21/2019 IT6004/ Software Testing / Axioms 2/27
An Uncontested principle
An axiom is something that is impossible to
prove to be true but could be disproved with a
single experiment/example
Software testing axioms
1. It is impossible to test a program completely.
2. Software testing is a risk-based exercise.
3. Testing cannot show the absence of bugs.
4. The more bugs you find, the more bugs there are.
5. Not all bugs found will be fixed.
6. It is difficult to say when a bug is indeed a bug.
7. Specifications are never final.
8. Software testers are not the most popular members of a
project.
9. Software testing is a disciplined and technical profession.
7/21/2019 IT6004/ Software Testing / Axioms 3/27
7/21/2019 IT6004/ Software Testing / Axioms 4/27
It’s impossible to test a program
completely
• There are the reasons below:
• The number of possible inputs is very large.
• The number of possible outputs is very large.
• The number of paths through the software is very large.
• The software specification is subjective.
7/21/2019 IT6004/ Software Testing / Axioms 5/27
• How many test cases do you need to
exhaustively test:
• Powerpoint
• A calculator
• MS Word
• Any interesting software!
• The only way to be absolutely sure
software works is to run it against all
possible inputs and observe all of its
outputs
7/21/2019 IT6004/ Software Testing / Axioms 6/27
Software testing
is a risk-based
exercise
7/21/2019 IT6004/ Software Testing / Axioms 7/27
Software testing is a risk-bases
exercise
• If you do not test the software for all inputs (a wise choice)
you take a risk.
• Hopefully you will skip a lot of inputs that work correctly.
• What if you skip inputs that cause a fault?
• Risk: financial loss, security, loss of money, loss of life!
• That is a lot of pressure for a tester!
• If you try to test too much, the development cost becomes
prohibitive.
• If you test too little, the probability of software failure
increases
• software failures can cost us big time!
7/21/2019 IT6004/ Software Testing / Axioms 8/27
Software testing is a risk-bases
exercise
Every software project has an optimal test effort
7/21/2019 IT6004/ Software Testing / Axioms 9/27
Testing can’t show that bugs
don’t exist
• Are there bugs in our
software?
• Are there bugs in other
software?
• Can you guarantee that
there are no bugs to
find?
7/21/2019 IT6004/ Software Testing / Axioms 10/27
Bugs follow bugs
7/21/2019 IT6004/ Software Testing / Axioms 11/27
Bugs follow bugs
• Frequently: find one bug, then find other and
more, Why?
– Programmers have bad days
– Programmers often make the same mistake
– Some bugs are really just the tip of the iceberg
7/21/2019 IT6004/ Software Testing / Axioms 12/27
• Boris Beizer coined the
term pesticide
paradox to describe
the phenomenon that
the more you test
software the more
immune it becomes to
your test cases.
– Remedy: continually
write new and
different tests to
exercise different parts
of the software
7/21/2019 IT6004/ Software Testing / Axioms 13/27
7/21/2019 IT6004/ Software Testing / Axioms
Not
possible
14/27
Not all bugs you find will be fixed
Why? …..There are several reasons :
• There are not enough time.
• It is really not a bug.
• It is too risk to fix.
• It is just not worth it.
7/21/2019 IT6004/ Software Testing / Axioms 15/27
There are not enough time
• In every project there are many
software features:
–Too few people to code and test.
–Not enough room to left them
–Must have software in time.
7/21/2019 IT6004/ Software Testing / Axioms 16/27
It is really not bug
• It’s common for misunderstandings
• Test errors
• Specification change to result
7/21/2019 IT6004/ Software Testing / Axioms 17/27
It is too risk to fix
• Software is fragile.
• Sometime is like spaghetti. (inter-twined)
• Under the pressure to release a product under
tight schedule.
It may be better to leave in the know bug to avoid the risk of
creating than unknown ones
7/21/2019 IT6004/ Software Testing / Axioms 18/27
It’s just not worth it.
• Bugs that would occur infrequently.
• Bugs that appear in little-used features.
• A user can prevent or avoid the bug.
7/21/2019 IT6004/ Software Testing / Axioms 19/27
What happens when you make the wrong
decision?
The Intel Pentium test engineers found bug
before the chip was released, but the product
team decided that it was such small, rare bug
that it wasn’t worth fixing. They were under a
tight schedule and decided to meet their
current deadline and fix the bug in later
releases of the chip. Unfortunately, the bug
was discovered and rest.
7/21/2019 IT6004/ Software Testing / Axioms 20/27
It is difficult to say when a bug
is indeed a bug
• If there is a problem in the software but no
one ever discovers it … is it a bug?
• Parody of “if a tree falls in the forest … does it really
make a noise?”
• What is your opinion? Does a bug have to be
observable in order for it to me a bug?
• Bugs that are undiscovered are called latent
bugs.
7/21/2019 IT6004/ Software Testing / Axioms 21/27
Specifications are never final
• Building a product based on a “moving
target” specification is fairly unique to
software development.
• Competition is fierce
• Very rapid release cycles
• Software is “easy” to change
• Not true in other engineering domains
• E.g., the Brooklyn Bridge could not be adjusted to allow
train traffic to cross it once its construction started.
7/21/2019 IT6004/ Software Testing / Axioms 22/27
Software testers are not the most
popular members of a project
• Goal of a software tester:
• Find bugs
• Find bugs early
• Make sure bugs get fixed
• Tips to avoid becoming unpopular:
• Find bugs early
• Temper your enthusiasm … act in a professional manner
• Don’t report just the bad news
7/21/2019 IT6004/ Software Testing / Axioms 23/27
Software testing is a disciplined
and technical profession
• When software was simpler and more manageable software
testers were often untrained and testing was not done
methodically.
– Contrary to the urban legend, if you hire a million moneys
and have them test for a million years … you will not find
all of the bugs in your software.
• It is now too costly to build buggy software. As a result
testing has matured as a discipline.
– Sophisticated techniques
– Tool support
– Rewarding careers
7/21/2019 IT6004/ Software Testing / Axioms 24/27

More Related Content

What's hot

Unified process model
Unified process modelUnified process model
Unified process model
RyndaMaala
 
Formal Specification in Software Engineering SE9
Formal Specification in Software Engineering SE9Formal Specification in Software Engineering SE9
Formal Specification in Software Engineering SE9
koolkampus
 
Design Concept software engineering
Design Concept software engineeringDesign Concept software engineering
Design Concept software engineering
Darshit Metaliya
 
Software Engineering (Software Quality Assurance)
Software Engineering (Software Quality Assurance)Software Engineering (Software Quality Assurance)
Software Engineering (Software Quality Assurance)
ShudipPal
 
Software testing ppt
Software testing pptSoftware testing ppt
Software testing ppt
Poonkodi Jayakumar
 
CHAPTER 6 REQUIREMENTS MODELING: SCENARIO based Model , Class based moddel
CHAPTER 6 REQUIREMENTS MODELING: SCENARIO based Model , Class based moddelCHAPTER 6 REQUIREMENTS MODELING: SCENARIO based Model , Class based moddel
CHAPTER 6 REQUIREMENTS MODELING: SCENARIO based Model , Class based moddel
mohamed khalaf alla mohamedain
 
Software quality assurance
Software quality assuranceSoftware quality assurance
Software quality assurance
Aman Adhikari
 
Unit 8-risk manaegement (1) -
Unit 8-risk manaegement (1) - Unit 8-risk manaegement (1) -
Unit 8-risk manaegement (1) -
Shashi Kumar
 
Crime Analysis & Prediction System
Crime Analysis & Prediction SystemCrime Analysis & Prediction System
Crime Analysis & Prediction System
BigDataCloud
 
White box testing
White box testingWhite box testing
White box testing
Neethu Tressa
 
Software requirement and specification
Software requirement and specificationSoftware requirement and specification
Software requirement and specification
Aman Adhikari
 
Lect2 conventional software management
Lect2 conventional software managementLect2 conventional software management
Lect2 conventional software management
meena466141
 
Black Box Testing
Black Box TestingBlack Box Testing
Black Box Testing
Testbytes
 
RMMM Plan
RMMM PlanRMMM Plan
RMMM Plan
Ankit Bahuguna
 
Evolving role of Software,Legacy software,CASE tools,Process Models,CMMI
Evolving role of Software,Legacy software,CASE tools,Process Models,CMMIEvolving role of Software,Legacy software,CASE tools,Process Models,CMMI
Evolving role of Software,Legacy software,CASE tools,Process Models,CMMI
nimmik4u
 
Data Mining and Intrusion Detection
Data Mining and Intrusion Detection Data Mining and Intrusion Detection
Data Mining and Intrusion Detection
amiable_indian
 
Chapter 15 software product metrics
Chapter 15 software product metricsChapter 15 software product metrics
Chapter 15 software product metrics
SHREEHARI WADAWADAGI
 
Off the-shelf components (cots)
Off the-shelf components (cots)Off the-shelf components (cots)
Off the-shelf components (cots)
Himanshu
 
Se (techniques for black box testing ppt)
Se (techniques for black box testing ppt)Se (techniques for black box testing ppt)
Se (techniques for black box testing ppt)
Mani Kanth
 
Context model
Context modelContext model
Context model
Ubaid423
 

What's hot (20)

Unified process model
Unified process modelUnified process model
Unified process model
 
Formal Specification in Software Engineering SE9
Formal Specification in Software Engineering SE9Formal Specification in Software Engineering SE9
Formal Specification in Software Engineering SE9
 
Design Concept software engineering
Design Concept software engineeringDesign Concept software engineering
Design Concept software engineering
 
Software Engineering (Software Quality Assurance)
Software Engineering (Software Quality Assurance)Software Engineering (Software Quality Assurance)
Software Engineering (Software Quality Assurance)
 
Software testing ppt
Software testing pptSoftware testing ppt
Software testing ppt
 
CHAPTER 6 REQUIREMENTS MODELING: SCENARIO based Model , Class based moddel
CHAPTER 6 REQUIREMENTS MODELING: SCENARIO based Model , Class based moddelCHAPTER 6 REQUIREMENTS MODELING: SCENARIO based Model , Class based moddel
CHAPTER 6 REQUIREMENTS MODELING: SCENARIO based Model , Class based moddel
 
Software quality assurance
Software quality assuranceSoftware quality assurance
Software quality assurance
 
Unit 8-risk manaegement (1) -
Unit 8-risk manaegement (1) - Unit 8-risk manaegement (1) -
Unit 8-risk manaegement (1) -
 
Crime Analysis & Prediction System
Crime Analysis & Prediction SystemCrime Analysis & Prediction System
Crime Analysis & Prediction System
 
White box testing
White box testingWhite box testing
White box testing
 
Software requirement and specification
Software requirement and specificationSoftware requirement and specification
Software requirement and specification
 
Lect2 conventional software management
Lect2 conventional software managementLect2 conventional software management
Lect2 conventional software management
 
Black Box Testing
Black Box TestingBlack Box Testing
Black Box Testing
 
RMMM Plan
RMMM PlanRMMM Plan
RMMM Plan
 
Evolving role of Software,Legacy software,CASE tools,Process Models,CMMI
Evolving role of Software,Legacy software,CASE tools,Process Models,CMMIEvolving role of Software,Legacy software,CASE tools,Process Models,CMMI
Evolving role of Software,Legacy software,CASE tools,Process Models,CMMI
 
Data Mining and Intrusion Detection
Data Mining and Intrusion Detection Data Mining and Intrusion Detection
Data Mining and Intrusion Detection
 
Chapter 15 software product metrics
Chapter 15 software product metricsChapter 15 software product metrics
Chapter 15 software product metrics
 
Off the-shelf components (cots)
Off the-shelf components (cots)Off the-shelf components (cots)
Off the-shelf components (cots)
 
Se (techniques for black box testing ppt)
Se (techniques for black box testing ppt)Se (techniques for black box testing ppt)
Se (techniques for black box testing ppt)
 
Context model
Context modelContext model
Context model
 

Similar to Software testing axioms

Unit 1.pptx
Unit 1.pptxUnit 1.pptx
Unit 1.pptx
MohammadIsmailNaaz
 
Software testing principles
Software testing principlesSoftware testing principles
Software testing principles
Donato Di Pierro
 
software testing
software testingsoftware testing
software testing
choclatyhero007
 
Software Development Lifecycle Presentation
Software Development Lifecycle PresentationSoftware Development Lifecycle Presentation
Software Development Lifecycle Presentation
ssuser645e24
 
Introduction to software FMEA
Introduction to software FMEAIntroduction to software FMEA
Introduction to software FMEA
AnnMarieNeufelder1
 
Lec 1 Introduction to Software Engg.pptx
Lec 1 Introduction to Software Engg.pptxLec 1 Introduction to Software Engg.pptx
Lec 1 Introduction to Software Engg.pptx
Abdullah Khan
 
Automation and Technical Debt
Automation and Technical DebtAutomation and Technical Debt
Automation and Technical Debt
IBM UrbanCode Products
 
Fundamentals of testing - Testing & Implementations
Fundamentals of testing - Testing & ImplementationsFundamentals of testing - Testing & Implementations
Fundamentals of testing - Testing & Implementations
yogi syafrialdi
 
Fundamentals of testing
Fundamentals of testingFundamentals of testing
Fundamentals of testing
Muhammad Khairil
 
EFFECTIVE TEST CASE DESING: A REVIEW
EFFECTIVE TEST CASE DESING: A REVIEWEFFECTIVE TEST CASE DESING: A REVIEW
EFFECTIVE TEST CASE DESING: A REVIEW
Journal For Research
 
Software Failure Modes Effects Analysis Overview
Software Failure Modes Effects Analysis OverviewSoftware Failure Modes Effects Analysis Overview
Software Failure Modes Effects Analysis Overview
Ann Marie Neufelder
 
Bug Advocacy
Bug AdvocacyBug Advocacy
Bug Advocacy
Deepu S Nath
 
Software testing
Software testingSoftware testing
Software testing
Nico Heidtke
 
IEEE 1633 Recommended Practices for Reliable Software
IEEE 1633 Recommended Practices for Reliable SoftwareIEEE 1633 Recommended Practices for Reliable Software
IEEE 1633 Recommended Practices for Reliable Software
Ann Marie Neufelder
 
Poka yoke error proofing
Poka yoke error proofing Poka yoke error proofing
Poka yoke error proofing
ssusercee91d
 
Rob Sabourin: On Testing
Rob Sabourin: On TestingRob Sabourin: On Testing
Rob Sabourin: On Testing
TechWell
 
Bab 1
Bab 1Bab 1
Best Practices in Mobile CI (webinar)
Best Practices in Mobile CI (webinar)Best Practices in Mobile CI (webinar)
Best Practices in Mobile CI (webinar)
Sauce Labs
 
Adopting Agile
Adopting AgileAdopting Agile
Adopting Agile
Coverity
 
Software Testing
Software TestingSoftware Testing
Software Testing
MusTufa Nullwala
 

Similar to Software testing axioms (20)

Unit 1.pptx
Unit 1.pptxUnit 1.pptx
Unit 1.pptx
 
Software testing principles
Software testing principlesSoftware testing principles
Software testing principles
 
software testing
software testingsoftware testing
software testing
 
Software Development Lifecycle Presentation
Software Development Lifecycle PresentationSoftware Development Lifecycle Presentation
Software Development Lifecycle Presentation
 
Introduction to software FMEA
Introduction to software FMEAIntroduction to software FMEA
Introduction to software FMEA
 
Lec 1 Introduction to Software Engg.pptx
Lec 1 Introduction to Software Engg.pptxLec 1 Introduction to Software Engg.pptx
Lec 1 Introduction to Software Engg.pptx
 
Automation and Technical Debt
Automation and Technical DebtAutomation and Technical Debt
Automation and Technical Debt
 
Fundamentals of testing - Testing & Implementations
Fundamentals of testing - Testing & ImplementationsFundamentals of testing - Testing & Implementations
Fundamentals of testing - Testing & Implementations
 
Fundamentals of testing
Fundamentals of testingFundamentals of testing
Fundamentals of testing
 
EFFECTIVE TEST CASE DESING: A REVIEW
EFFECTIVE TEST CASE DESING: A REVIEWEFFECTIVE TEST CASE DESING: A REVIEW
EFFECTIVE TEST CASE DESING: A REVIEW
 
Software Failure Modes Effects Analysis Overview
Software Failure Modes Effects Analysis OverviewSoftware Failure Modes Effects Analysis Overview
Software Failure Modes Effects Analysis Overview
 
Bug Advocacy
Bug AdvocacyBug Advocacy
Bug Advocacy
 
Software testing
Software testingSoftware testing
Software testing
 
IEEE 1633 Recommended Practices for Reliable Software
IEEE 1633 Recommended Practices for Reliable SoftwareIEEE 1633 Recommended Practices for Reliable Software
IEEE 1633 Recommended Practices for Reliable Software
 
Poka yoke error proofing
Poka yoke error proofing Poka yoke error proofing
Poka yoke error proofing
 
Rob Sabourin: On Testing
Rob Sabourin: On TestingRob Sabourin: On Testing
Rob Sabourin: On Testing
 
Bab 1
Bab 1Bab 1
Bab 1
 
Best Practices in Mobile CI (webinar)
Best Practices in Mobile CI (webinar)Best Practices in Mobile CI (webinar)
Best Practices in Mobile CI (webinar)
 
Adopting Agile
Adopting AgileAdopting Agile
Adopting Agile
 
Software Testing
Software TestingSoftware Testing
Software Testing
 

Recently uploaded

Executive Directors Chat Leveraging AI for Diversity, Equity, and Inclusion
Executive Directors Chat  Leveraging AI for Diversity, Equity, and InclusionExecutive Directors Chat  Leveraging AI for Diversity, Equity, and Inclusion
Executive Directors Chat Leveraging AI for Diversity, Equity, and Inclusion
TechSoup
 
ANATOMY AND BIOMECHANICS OF HIP JOINT.pdf
ANATOMY AND BIOMECHANICS OF HIP JOINT.pdfANATOMY AND BIOMECHANICS OF HIP JOINT.pdf
ANATOMY AND BIOMECHANICS OF HIP JOINT.pdf
Priyankaranawat4
 
writing about opinions about Australia the movie
writing about opinions about Australia the moviewriting about opinions about Australia the movie
writing about opinions about Australia the movie
Nicholas Montgomery
 
Chapter 4 - Islamic Financial Institutions in Malaysia.pptx
Chapter 4 - Islamic Financial Institutions in Malaysia.pptxChapter 4 - Islamic Financial Institutions in Malaysia.pptx
Chapter 4 - Islamic Financial Institutions in Malaysia.pptx
Mohd Adib Abd Muin, Senior Lecturer at Universiti Utara Malaysia
 
Digital Artefact 1 - Tiny Home Environmental Design
Digital Artefact 1 - Tiny Home Environmental DesignDigital Artefact 1 - Tiny Home Environmental Design
Digital Artefact 1 - Tiny Home Environmental Design
amberjdewit93
 
Assessment and Planning in Educational technology.pptx
Assessment and Planning in Educational technology.pptxAssessment and Planning in Educational technology.pptx
Assessment and Planning in Educational technology.pptx
Kavitha Krishnan
 
How to Build a Module in Odoo 17 Using the Scaffold Method
How to Build a Module in Odoo 17 Using the Scaffold MethodHow to Build a Module in Odoo 17 Using the Scaffold Method
How to Build a Module in Odoo 17 Using the Scaffold Method
Celine George
 
S1-Introduction-Biopesticides in ICM.pptx
S1-Introduction-Biopesticides in ICM.pptxS1-Introduction-Biopesticides in ICM.pptx
S1-Introduction-Biopesticides in ICM.pptx
tarandeep35
 
A Independência da América Espanhola LAPBOOK.pdf
A Independência da América Espanhola LAPBOOK.pdfA Independência da América Espanhola LAPBOOK.pdf
A Independência da América Espanhola LAPBOOK.pdf
Jean Carlos Nunes Paixão
 
Film vocab for eal 3 students: Australia the movie
Film vocab for eal 3 students: Australia the movieFilm vocab for eal 3 students: Australia the movie
Film vocab for eal 3 students: Australia the movie
Nicholas Montgomery
 
The basics of sentences session 5pptx.pptx
The basics of sentences session 5pptx.pptxThe basics of sentences session 5pptx.pptx
The basics of sentences session 5pptx.pptx
heathfieldcps1
 
The History of Stoke Newington Street Names
The History of Stoke Newington Street NamesThe History of Stoke Newington Street Names
The History of Stoke Newington Street Names
History of Stoke Newington
 
The Diamonds of 2023-2024 in the IGRA collection
The Diamonds of 2023-2024 in the IGRA collectionThe Diamonds of 2023-2024 in the IGRA collection
The Diamonds of 2023-2024 in the IGRA collection
Israel Genealogy Research Association
 
How to Manage Your Lost Opportunities in Odoo 17 CRM
How to Manage Your Lost Opportunities in Odoo 17 CRMHow to Manage Your Lost Opportunities in Odoo 17 CRM
How to Manage Your Lost Opportunities in Odoo 17 CRM
Celine George
 
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdfবাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
eBook.com.bd (প্রয়োজনীয় বাংলা বই)
 
Smart-Money for SMC traders good time and ICT
Smart-Money for SMC traders good time and ICTSmart-Money for SMC traders good time and ICT
Smart-Money for SMC traders good time and ICT
simonomuemu
 
Pride Month Slides 2024 David Douglas School District
Pride Month Slides 2024 David Douglas School DistrictPride Month Slides 2024 David Douglas School District
Pride Month Slides 2024 David Douglas School District
David Douglas School District
 
MARY JANE WILSON, A “BOA MÃE” .
MARY JANE WILSON, A “BOA MÃE”           .MARY JANE WILSON, A “BOA MÃE”           .
MARY JANE WILSON, A “BOA MÃE” .
Colégio Santa Teresinha
 
World environment day ppt For 5 June 2024
World environment day ppt For 5 June 2024World environment day ppt For 5 June 2024
World environment day ppt For 5 June 2024
ak6969907
 
ISO/IEC 27001, ISO/IEC 42001, and GDPR: Best Practices for Implementation and...
ISO/IEC 27001, ISO/IEC 42001, and GDPR: Best Practices for Implementation and...ISO/IEC 27001, ISO/IEC 42001, and GDPR: Best Practices for Implementation and...
ISO/IEC 27001, ISO/IEC 42001, and GDPR: Best Practices for Implementation and...
PECB
 

Recently uploaded (20)

Executive Directors Chat Leveraging AI for Diversity, Equity, and Inclusion
Executive Directors Chat  Leveraging AI for Diversity, Equity, and InclusionExecutive Directors Chat  Leveraging AI for Diversity, Equity, and Inclusion
Executive Directors Chat Leveraging AI for Diversity, Equity, and Inclusion
 
ANATOMY AND BIOMECHANICS OF HIP JOINT.pdf
ANATOMY AND BIOMECHANICS OF HIP JOINT.pdfANATOMY AND BIOMECHANICS OF HIP JOINT.pdf
ANATOMY AND BIOMECHANICS OF HIP JOINT.pdf
 
writing about opinions about Australia the movie
writing about opinions about Australia the moviewriting about opinions about Australia the movie
writing about opinions about Australia the movie
 
Chapter 4 - Islamic Financial Institutions in Malaysia.pptx
Chapter 4 - Islamic Financial Institutions in Malaysia.pptxChapter 4 - Islamic Financial Institutions in Malaysia.pptx
Chapter 4 - Islamic Financial Institutions in Malaysia.pptx
 
Digital Artefact 1 - Tiny Home Environmental Design
Digital Artefact 1 - Tiny Home Environmental DesignDigital Artefact 1 - Tiny Home Environmental Design
Digital Artefact 1 - Tiny Home Environmental Design
 
Assessment and Planning in Educational technology.pptx
Assessment and Planning in Educational technology.pptxAssessment and Planning in Educational technology.pptx
Assessment and Planning in Educational technology.pptx
 
How to Build a Module in Odoo 17 Using the Scaffold Method
How to Build a Module in Odoo 17 Using the Scaffold MethodHow to Build a Module in Odoo 17 Using the Scaffold Method
How to Build a Module in Odoo 17 Using the Scaffold Method
 
S1-Introduction-Biopesticides in ICM.pptx
S1-Introduction-Biopesticides in ICM.pptxS1-Introduction-Biopesticides in ICM.pptx
S1-Introduction-Biopesticides in ICM.pptx
 
A Independência da América Espanhola LAPBOOK.pdf
A Independência da América Espanhola LAPBOOK.pdfA Independência da América Espanhola LAPBOOK.pdf
A Independência da América Espanhola LAPBOOK.pdf
 
Film vocab for eal 3 students: Australia the movie
Film vocab for eal 3 students: Australia the movieFilm vocab for eal 3 students: Australia the movie
Film vocab for eal 3 students: Australia the movie
 
The basics of sentences session 5pptx.pptx
The basics of sentences session 5pptx.pptxThe basics of sentences session 5pptx.pptx
The basics of sentences session 5pptx.pptx
 
The History of Stoke Newington Street Names
The History of Stoke Newington Street NamesThe History of Stoke Newington Street Names
The History of Stoke Newington Street Names
 
The Diamonds of 2023-2024 in the IGRA collection
The Diamonds of 2023-2024 in the IGRA collectionThe Diamonds of 2023-2024 in the IGRA collection
The Diamonds of 2023-2024 in the IGRA collection
 
How to Manage Your Lost Opportunities in Odoo 17 CRM
How to Manage Your Lost Opportunities in Odoo 17 CRMHow to Manage Your Lost Opportunities in Odoo 17 CRM
How to Manage Your Lost Opportunities in Odoo 17 CRM
 
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdfবাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
 
Smart-Money for SMC traders good time and ICT
Smart-Money for SMC traders good time and ICTSmart-Money for SMC traders good time and ICT
Smart-Money for SMC traders good time and ICT
 
Pride Month Slides 2024 David Douglas School District
Pride Month Slides 2024 David Douglas School DistrictPride Month Slides 2024 David Douglas School District
Pride Month Slides 2024 David Douglas School District
 
MARY JANE WILSON, A “BOA MÃE” .
MARY JANE WILSON, A “BOA MÃE”           .MARY JANE WILSON, A “BOA MÃE”           .
MARY JANE WILSON, A “BOA MÃE” .
 
World environment day ppt For 5 June 2024
World environment day ppt For 5 June 2024World environment day ppt For 5 June 2024
World environment day ppt For 5 June 2024
 
ISO/IEC 27001, ISO/IEC 42001, and GDPR: Best Practices for Implementation and...
ISO/IEC 27001, ISO/IEC 42001, and GDPR: Best Practices for Implementation and...ISO/IEC 27001, ISO/IEC 42001, and GDPR: Best Practices for Implementation and...
ISO/IEC 27001, ISO/IEC 42001, and GDPR: Best Practices for Implementation and...
 

Software testing axioms

  • 1. Software Testing Axioms Prepared by S.Rijutha AP/IT
  • 2. 7/21/2019 IT6004/ Software Testing / Axioms 2/27 An Uncontested principle An axiom is something that is impossible to prove to be true but could be disproved with a single experiment/example
  • 3. Software testing axioms 1. It is impossible to test a program completely. 2. Software testing is a risk-based exercise. 3. Testing cannot show the absence of bugs. 4. The more bugs you find, the more bugs there are. 5. Not all bugs found will be fixed. 6. It is difficult to say when a bug is indeed a bug. 7. Specifications are never final. 8. Software testers are not the most popular members of a project. 9. Software testing is a disciplined and technical profession. 7/21/2019 IT6004/ Software Testing / Axioms 3/27
  • 4. 7/21/2019 IT6004/ Software Testing / Axioms 4/27
  • 5. It’s impossible to test a program completely • There are the reasons below: • The number of possible inputs is very large. • The number of possible outputs is very large. • The number of paths through the software is very large. • The software specification is subjective. 7/21/2019 IT6004/ Software Testing / Axioms 5/27
  • 6. • How many test cases do you need to exhaustively test: • Powerpoint • A calculator • MS Word • Any interesting software! • The only way to be absolutely sure software works is to run it against all possible inputs and observe all of its outputs 7/21/2019 IT6004/ Software Testing / Axioms 6/27
  • 7. Software testing is a risk-based exercise 7/21/2019 IT6004/ Software Testing / Axioms 7/27
  • 8. Software testing is a risk-bases exercise • If you do not test the software for all inputs (a wise choice) you take a risk. • Hopefully you will skip a lot of inputs that work correctly. • What if you skip inputs that cause a fault? • Risk: financial loss, security, loss of money, loss of life! • That is a lot of pressure for a tester! • If you try to test too much, the development cost becomes prohibitive. • If you test too little, the probability of software failure increases • software failures can cost us big time! 7/21/2019 IT6004/ Software Testing / Axioms 8/27
  • 9. Software testing is a risk-bases exercise Every software project has an optimal test effort 7/21/2019 IT6004/ Software Testing / Axioms 9/27
  • 10. Testing can’t show that bugs don’t exist • Are there bugs in our software? • Are there bugs in other software? • Can you guarantee that there are no bugs to find? 7/21/2019 IT6004/ Software Testing / Axioms 10/27
  • 11. Bugs follow bugs 7/21/2019 IT6004/ Software Testing / Axioms 11/27
  • 12. Bugs follow bugs • Frequently: find one bug, then find other and more, Why? – Programmers have bad days – Programmers often make the same mistake – Some bugs are really just the tip of the iceberg 7/21/2019 IT6004/ Software Testing / Axioms 12/27
  • 13. • Boris Beizer coined the term pesticide paradox to describe the phenomenon that the more you test software the more immune it becomes to your test cases. – Remedy: continually write new and different tests to exercise different parts of the software 7/21/2019 IT6004/ Software Testing / Axioms 13/27
  • 14. 7/21/2019 IT6004/ Software Testing / Axioms Not possible 14/27
  • 15. Not all bugs you find will be fixed Why? …..There are several reasons : • There are not enough time. • It is really not a bug. • It is too risk to fix. • It is just not worth it. 7/21/2019 IT6004/ Software Testing / Axioms 15/27
  • 16. There are not enough time • In every project there are many software features: –Too few people to code and test. –Not enough room to left them –Must have software in time. 7/21/2019 IT6004/ Software Testing / Axioms 16/27
  • 17. It is really not bug • It’s common for misunderstandings • Test errors • Specification change to result 7/21/2019 IT6004/ Software Testing / Axioms 17/27
  • 18. It is too risk to fix • Software is fragile. • Sometime is like spaghetti. (inter-twined) • Under the pressure to release a product under tight schedule. It may be better to leave in the know bug to avoid the risk of creating than unknown ones 7/21/2019 IT6004/ Software Testing / Axioms 18/27
  • 19. It’s just not worth it. • Bugs that would occur infrequently. • Bugs that appear in little-used features. • A user can prevent or avoid the bug. 7/21/2019 IT6004/ Software Testing / Axioms 19/27
  • 20. What happens when you make the wrong decision? The Intel Pentium test engineers found bug before the chip was released, but the product team decided that it was such small, rare bug that it wasn’t worth fixing. They were under a tight schedule and decided to meet their current deadline and fix the bug in later releases of the chip. Unfortunately, the bug was discovered and rest. 7/21/2019 IT6004/ Software Testing / Axioms 20/27
  • 21. It is difficult to say when a bug is indeed a bug • If there is a problem in the software but no one ever discovers it … is it a bug? • Parody of “if a tree falls in the forest … does it really make a noise?” • What is your opinion? Does a bug have to be observable in order for it to me a bug? • Bugs that are undiscovered are called latent bugs. 7/21/2019 IT6004/ Software Testing / Axioms 21/27
  • 22. Specifications are never final • Building a product based on a “moving target” specification is fairly unique to software development. • Competition is fierce • Very rapid release cycles • Software is “easy” to change • Not true in other engineering domains • E.g., the Brooklyn Bridge could not be adjusted to allow train traffic to cross it once its construction started. 7/21/2019 IT6004/ Software Testing / Axioms 22/27
  • 23. Software testers are not the most popular members of a project • Goal of a software tester: • Find bugs • Find bugs early • Make sure bugs get fixed • Tips to avoid becoming unpopular: • Find bugs early • Temper your enthusiasm … act in a professional manner • Don’t report just the bad news 7/21/2019 IT6004/ Software Testing / Axioms 23/27
  • 24. Software testing is a disciplined and technical profession • When software was simpler and more manageable software testers were often untrained and testing was not done methodically. – Contrary to the urban legend, if you hire a million moneys and have them test for a million years … you will not find all of the bugs in your software. • It is now too costly to build buggy software. As a result testing has matured as a discipline. – Sophisticated techniques – Tool support – Rewarding careers 7/21/2019 IT6004/ Software Testing / Axioms 24/27