Chapter 5 Flashcards
compile-time error
errors found by the compiler (syntax errors and type errors)
assertion
a statement that stats an invariant
run-time error
errors found by checks in a running program (by computer, library, user code)
container
collection of data
debugging
the activity of deliberately searching and for errors and removing them
exception
a response to an exceptional circumstance that arises while a program is running, such as an attempt to divide by zero
range error
written index is not in the range required by container
invariant
statement that describes a condition that should be always true in an object life
error
a mismatch between reasonable expectations of program behavior and what a program actually does
link-time error
errors found by linker when it’s trying to combine object files into an executable program
logic error
errors found by the programmer looking for the causes of erroneous results
post-condition
a condition that must always be true just after the execution of some section of code
pre-condition
a requirement of a function upon its argument
requirement
a description of the desired behavior of a program or part of a program
testing
systematic way to search errors