Chapter 6 Definitions Flashcards
(9 cards)
What is non execution based testing?
Testing methods that do not involve running the code, such as reviews and inspections
What is execution based testing?
Testing performed by running the software with specific inputs and observing the outputs.
What are two non-execution based testing methods?
Inspections and walkthroughs
What are inspections?
A formal, non-execution based testing method that uses a five step process to find faults and take action on them
What are walkthroughs?
A non-formal, non-execution based testing method that tries to find faults by reading the documentation in a group and verbalizing the steps
What are the strengths and weaknesses of reviews?
Reviews can be effective
– Faults are detected early in the process
Reviews are less effective if the process is
inadequate
– Large-scale software should consist of smaller, largely independent pieces
– The documentation of the previous workflows has to be
complete and available online
What are things that should to be tested?
- Correctness
– Utility
– Reliability
– Robustness
– Performance
What is correctness proof?
A mathematical approach to demonstrate the correctness of a program based on its specifications and logical reasoning
When are correctness proofs vital?
– When human lives are at stake
– When indicated by cost–benefit analysis
– When the risk of not proving is too great