Software Testing Preliminaries Flashcards
How is correctness established?
Mathematical Proofs
What is the purpose of testing?
To find defects in the software
What is branch testing?
Execute each outcome of each decision point in a program
A review of a software work product, following defined procedures, by peers of the producers of the product for the purpose of identifying defects and improvements
Peer reviews
Selective retesting of a system or component to verify that modifications have not caused unintended effects and that the system or component still complies with its specified requirements
Regression Testing
The degree to which a system, component, or
process meets specified requirements
Quality
A set of test inputs, execution conditions, and expected results developed for a particular objective, such as to exercise a particular program path or to verify compliance with a specific requirement
Test case
All the planned and systematic activities implemented within the quality system, and demonstrated as needed, to provide adequate confidence that an entity will fulfill requirements for quality
Quality assurance
Is the purpose of testing to demonstrate that software works?
No, it is to find defects in the software.
The “normal” development process will remove about __% of defects before they are ever counted
50
A person makes a _____ which becomes a ____ resulting at execution in a ____ which is wrong with some degree of ____
Mistake, fault, failure, error
Formal proof of program correctness
Verification
____ methods allow sets of requirements to be examined for completeness, consistency, and equivalence to another requirement set
Formal
____ methods result in ____ ____
Formal, formal, specifications
Quality attributes that refer to the code and related documentation
Static
Black-Box Testing
Functional Testing. Ignores the internal mechanism
White-Box Testing
Internal mechanism is known
Statement Testing
Execute each statement of a program
A static analysis technique in which a designer or programmer leads members of the development team and other interested parties through a segment of documentation or code, and the participants ask questions and make comments about possible errors, violation of development standards, and other problems
Walkthrough
Testing conducted on a complete, integrated system to evaluate the system’s compliance with its specified requirements
System Testing
Testing in which software components, hardware components, or both are combined and tested to evaluate the interaction between them
Integration Testing
Quality attributes that refer to the behavior of the application while in use
Dynamic
What is exhaustive testing?
Testing a program on all possible inputs
What is needed for a program to be considered correct?
Behaves as expected on each element of its input domain
A static analysis technique that relies on visual examination of development products to detect errors, violations of development standards, and other problems
Inspection
Formal testing conducted to determine whether or not a system satisfies its acceptance criteria and to enable the customer to whether or not to accept the system
Acceptance Testing
Testing of individual hardware of software units or groups of related units
Unit Testing
The process of evaluating a system or component during or at the end of the development process to determine whether it satisfies specified requirements
Validation
The process of evaluating a system or component to determine whether the products of a given development phase satisfy the conditions imposed at the start of that phase
Verification
Path Testing
Execute all or selected paths through a program
What is a black-box testing measure?
percentage of requirements covered
What is a white-box testing measure?
percentage of statements, decisions, conditions covered
T/F Program testing can be used to show the presence of bugs, but never to show their absence
T
T/F Knuth said “Beware of bugs in the above code; I have only proved it correct, not tried it”
T
A systematic examination of the requirements, design, or implementation of a system, or any part of it, by qualified personnel
Structured walkthrough
A technique for expressing requirements in a manner that allows the requirements to be studied mathematically
Formal methods
T/F Formal methods allow sets of requirements to be examined for completeness, consistency, and equivalency to another requirement set
T
What do formal methods result in?
Formal specifications
A collection of test cases
Test set
