Ch 7 Vocab Flashcards
(17 cards)
Boundary condition
A value at which two equivalence classes meet
Arithmetic overflow
A situation that arises when the computers memory cannot represent the number resulting from an arithmetic operation
Combinatorial explosion
A multiplicative growth
Complete code coverage
A set of tests in which every line in a program is executed at least once
Equivalence class
All the sets of test data that exercise a program in the same manner
Extended if statement
Nested selection in which additional if-else statements are used in the else option (see also nested if statement)
Extreme condition
Data at the limits of validity
Input assertion
A precondition for a loop
Logical operator
Either of the logical connective operators && (and), || (or), or ! (Negation)
Loop invariant
An assertion that expresses a relationship between variables that remains constant throughout all iterations of the loop
Loop variant
An assertion whose truth changes between the first and final execution of the loop
Nested if statement
A selection statement used within another selection statement
Nested loop
A loop as one of the statements in the body of another loop
Output assertion
A post condition for a loop
Quality assurance
The ongoing process of making sure that a software product is developed to the highest standards possible subject to the ever-present constraints of time and money
Robust
The state in which a program is protected against most possible crashes from bad data and unexpected values
Truth table
A means of listing all of the possible values of a Boolean expression
