Unit 11 - Support for Reliable Programming Flashcards
1
Q
A program is reliable if it
A
behaves in accordance with its specification.
2
Q
The most common way to check whether a program is reliable is to
A
test programs.
3
Q
Testing is a
A
dynamic method because it is necessary to execute the program in the process.
4
Q
Static checking methods give superior guarantees
A
of reliability compared to dynamic methods, such as unit testing.