Home Page Icon
Home Page
Table of Contents for
Index
Close
Index
by Fairouz Tchier, Ali Mili
Software Testing: Concepts and Operations
Cover
Title page
Preface
ACKNOWLEDGMENT
Part I: Introduction to Software Testing
1 Software Engineering: A Discipline Like No Other
1.1 A YOUNG, RESTLESS DISCIPLINE
1.2 AN INDUSTRY UNDER STRESS
1.3 LARGE, COMPLEX PRODUCTS
1.4 EXPENSIVE PRODUCTS
1.5 ABSENCE OF REUSE PRACTICE
1.6 FAULT-PRONE DESIGNS
1.7 PARADOXICAL ECONOMICS
1.8 CHAPTER SUMMARY
1.9 BIBLIOGRAPHIC NOTES
2 Software Quality Attributes
2.1 FUNCTIONAL ATTRIBUTES
2.2 OPERATIONAL ATTRIBUTES
2.3 USABILITY ATTRIBUTES
2.4 BUSINESS ATTRIBUTES
2.5 STRUCTURAL ATTRIBUTES
2.6 CHAPTER SUMMARY
2.7 EXERCISES
2.8 BIBLIOGRAPHIC NOTES
3 A Software Testing Lifecycle
3.1 A SOFTWARE ENGINEERING LIFECYCLE
3.2 A SOFTWARE TESTING LIFECYCLE
3.3 THE V-MODEL OF SOFTWARE TESTING
3.4 CHAPTER SUMMARY
3.5 BIBLIOGRAPHIC NOTES
Part II: Foundations of Software Testing
4 Software Specifications
4.1 PRINCIPLES OF SOUND SPECIFICATION
4.2 RELATIONAL MATHEMATICS
4.3 SIMPLE INPUT OUTPUT PROGRAMS
4.4 RELIABILITY VERSUS SAFETY
4.5 STATE-BASED SYSTEMS
4.6 CHAPTER SUMMARY
4.7 EXERCISES
4.8 PROBLEMS
4.9 BIBLIOGRAPHIC NOTES
5 Program Correctness and Verification
5.1 CORRECTNESS: A DEFINITION
5.2 CORRECTNESS: PROPOSITIONS
5.3 VERIFICATION
5.4 CHAPTER SUMMARY
5.5 EXERCISES
5.6 PROBLEMS
5.7 BIBLIOGRAPHIC NOTES
6 Failures, Errors, and Faults
6.1 FAILURE, ERROR, AND FAULT
6.2 FAULTS AND RELATIVE CORRECTNESS
6.3 CONTINGENT FAULTS AND DEFINITE FAULTS
6.4 FAULT MANAGEMENT
6.5 CHAPTER SUMMARY
6.6 EXERCISES
6.7 PROBLEMS
6.8 BIBLIOGRAPHIC NOTES
7 A Software Testing Taxonomy
7.1 THE TROUBLE WITH HYPHENATED TESTING
7.2 A CLASSIFICATION SCHEME
7.3 TESTING TAXONOMY
7.4 EXERCISES
7.5 BIBLIOGRAPHIC NOTES
Part III: Test Data Generation
8 Test Generation Concepts
8.1 TEST GENERATION AND TARGET ATTRIBUTES
8.2 TEST OUTCOMES
8.3 TEST GENERATION REQUIREMENTS
8.4 TEST GENERATION CRITERIA
8.5 EMPIRICAL ADEQUACY ASSESSMENT
8.6 CHAPTER SUMMARY
8.7 EXERCISES
8.8 BIBLIOGRAPHIC NOTES
8.9 APPENDIX: MUTATION PROGRAM
9 Functional Criteria
9.1 DOMAIN PARTITIONING
9.2 TEST DATA GENERATION FROM TABULAR EXPRESSIONS
9.3 TEST GENERATION FOR STATE BASED SYSTEMS
9.4 RANDOM TEST DATA GENERATION
9.5 TOURISM AS A METAPHOR FOR TEST DATA SELECTION
9.6 CHAPTER SUMMARY
9.7 EXERCISES
9.8 BIBLIOGRAPHIC NOTES
10 Structural Criteria
10.1 PATHS AND PATH CONDITIONS
10.2 CONTROL FLOW COVERAGE
10.3 DATA FLOW COVERAGE
10.4 FAULT-BASED TEST GENERATION
10.5 CHAPTER SUMMARY
10.6 EXERCISES
10.7 BIBLIOGRAPHIC NOTES
Part IV: Test Deployment and Analysis
11 Test Oracle Design
11.1 DILEMMAS OF ORACLE DESIGN
11.2 FROM SPECIFICATIONS TO ORACLES
11.3 ORACLES FOR STATE-BASED PRODUCTS
11.4 CHAPTER SUMMARY
11.5 EXERCISES
12 Test Driver Design
12.1 SELECTING A SPECIFICATION
12.2 SELECTING A PROCESS
12.3 SELECTING A SPECIFICATION MODEL
12.4 TESTING BY SYMBOLIC EXECUTION
12.5 CHAPTER SUMMARY
12.6 EXERCISES
12.7 BIBLIOGRAPHIC NOTES
13 Test Outcome Analysis
13.1 LOGICAL CLAIMS
13.2 STOCHASTIC CLAIMS: FAULT DENSITY
13.3 STOCHASTIC CLAIMS: FAILURE PROBABILITY
13.4 CHAPTER SUMMARY
13.5 EXERCISES
13.6 PROBLEMS
13.7 BIBLIOGRAPHIC NOTES
Part V: Management of Software Testing
14 Metrics for Software Testing
14.1 FAULT PRONENESS
14.2 FAULT DETECTABILITY
14.3 ERROR DETECTABILITY
14.4 ERROR MASKABILITY
14.5 FAILURE AVOIDANCE
14.6 FAILURE TOLERANCE
14.7 AN ILLUSTRATIVE EXAMPLE
14.8 CHAPTER SUMMARY
14.9 EXERCISES
14.10 BIBLIOGRAPHIC NOTES
15 Software Testing Tools
15.1 A CLASSIFICATION SCHEME
15.2 SCRIPTING TOOLS
15.3 RECORD-AND-REPLAY TOOLS
15.4 PERFORMANCE-TESTING TOOLS
15.5 ORACLE DESIGN TOOLS
15.6 EXCEPTION DISCOVERY
15.7 COLLABORATIVE TOOLS
15.8 CHAPTER SUMMARY
16 Testing Product Lines
16.1 PLE: A STREAMLINED REUSE MODEL
16.2 TESTING ISSUES
16.3 TESTING APPROACHES
16.4 ILLUSTRATION
16.5 CHAPTER SUMMARY
16.6 EXERCISES
16.7 PROBLEMS
16.8 BIBLIOGRAPHIC REFERENCES
Bibliography
Index
End User License Agreement
Search in book...
Toggle Font Controls
Playlists
Add To
Create new playlist
Name your new playlist
Playlist description (optional)
Cancel
Create playlist
Sign In
Email address
Password
Forgot Password?
Create account
Login
or
Continue with Facebook
Continue with Google
Sign Up
Full Name
Email address
Confirm Email Address
Password
Login
Create account
or
Continue with Facebook
Continue with Google
Prev
Previous Chapter
Bibliography
Next
Next Chapter
End User License Agreement
Index
absence of automation
absence of reuse practice
acceptance test
agile methodologies
all c-uses
all definition-clear paths
all definition-use paths
all du-paths
all p-uses
all uses
alternation rule
alternation statement
asset development
assignment statement rule
axioms
back alley tour
bad neighborhood tour
Boolean attributes
branch coverage
business attributes
business district
certification testing
certifying compliance
certifying reliability
certifying safety
certifying security
characterizing refinement by correctness
classification scheme
collector's tour
combinatorics of variabilities
commutativity rule
compatibility condition
complexity sponge
conclusion of the rule
concrete testing
conditional rule
conditional statement
condition coverage
conflicting
consequence rule
contingent fault
continuous evolution
control
control flow coverage
converse
corrective maintenance cost distribution
corrective versus adaptive
costs
cost distribution
couch potato tour
c-uses
cyclomatic complexity
data flow coverage
decentralization
deep erosion
definite faults
design
development cost
discipline of specification
dispatching policy
district
domain analysis
domain engineering
domain of correctness
domain of relation
domain partitioning
domain scoping
ease of learning
ease of use
economic rationale
E-measure
empirical adequacy assessment
empty axioms
empty rules
enhanced productivity
enhanced quality
enqueue dequeue rule
equivalence relation
era of pioneers
error detectability
error maskability
error propagation
estimating reliability
estimating safety
estimating security
estimating the frequency of failures
executable assets
execution paths
failure avoidance
failure probability
failure tolerance
fault avoidance
fault detectability
fault detection
fault management
fault removal
fault sensitization
feature interactions
finite failures category
F-measure
formulas
front axioms
functional attributes
functional criteria
functional methods
generating an oracle
generating test data
generation phase
graceful degradation
guidebook tour
hierarchy of criteria
historic district
hotel district
hybrid validation
hybrid verification
hyphenated testing
inconsistent
inductive rules
industry under stress
inference system
infrequency of failures
init dequeue rule
init pop rule
init rule
input space
insert delete rule
integration test
iteration rule
join
labor
limited quality control
logical claims
logical requirement
max axiom
maximum relative correctness
measure
measurements
min axiom
monotonic fault removal
more-correct
null delete rule
obsessive compulsive tour
operational attributes
operations and maintenance
outcome analysis
output space
paradoxical economics
partial correctness
partial ordering
path conditions
path functions
pick axioms
P-measure
position in the lifecycle
post-restriction
pre-generated test data
premises of the rule
primary attributes
probability of occurrence
process
process controls
producing a test driver
product
product architecture
product controls
product design
product line engineering
program
proving partial correctness
proving the absence of faults
push pop rule
quality standards
quantifying reliability
queuing policy
rained out tour
random test data generation
range
rational purify
reference architecture
refinement ordering
refines
reflexive
relative correctness
reliability standards
required artifacts
requirements analysis
requirements engineer
restless discipline
rule
saboteur tour
scale
search axiom
secondary attributes
seedy district
selenium
semantics of a condition
semantics of an assignment statement
sensitizing faults
sequence statement
service time
set theoretic
set theoretic characterizations
silk
simple input output programs
size
size axioms
size rule
skeptical customer tour
software quality attributes
software specifications
software testing taxonomy
sound specification
specification of a queue
specification of a set
specification of a stack
stakeholders
state
state based systems
statement coverage
static analysis
statistical attributes
stochastic requirement
streamlined reuse model
structural attributes
structural criteria
structural methods
successful execution
supermodel tour
supporting actor tour
symbolic execution
symbolic testing
system integration
system-level testing
target attributes
target language
test assumptions
test completion
test data
test data generation
test deployment
test driver design
test environment
test generation concepts
test generation criteria
test generation requirements
test oracle design
test outcomes analysis
testing and verification
testing approaches
testing lifecycle
testing product lines
testing taxonomy
time
time domain
top axioms
topology of queues
total
totality
total ordering
tour
tourist district
unbalanced maintenance costs
unitary cost of software
unit-level certification
unit-level fault removal
unit-level testing
usability attributes
usage pattern
uses
validation phase
validity
verifiable specifications
VX Rules
wear and tear
wrap up policy
Add Highlight
No Comment
..................Content has been hidden....................
You can't read the all page of ebook, please click
here
login for view all page.
Day Mode
Cloud Mode
Night Mode
Reset