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
..................Content has been hidden....................
You can't read the all page of ebook, please click here login for view all page.