Unit 11 - Support for Reliable Programming Flashcards

1
Q

A program is reliable if it

A

behaves in accordance with its specification.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

The most common way to check whether a program is reliable is to

A

test programs.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Testing is a

A

dynamic method because it is necessary to execute the program in the process.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Static checking methods give superior guarantees

A

of reliability compared to dynamic methods, such as unit testing.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly