Predicate Analysis

Question 1

A program contains a domain error if on an input it follows an incorrect path due to incorrect condition or incorrect computation

Answer 1

Domain testing

Question 2

Where are the requirements for domain testing extracted from?

Answer 2

Code

Question 3

Consists of a set of predicates that occur along the path in conditional or a loop statement

Answer 3

Path condition

Question 4

Consists of one or more border segments

Answer 4

Boundary

Question 5

How many borders are there corresponding to each predicate in the path condition

Answer 5

1

Question 6

An error in any of the predicates in a path condition leads to a…

Answer 6

Border shift

Question 7

Operators ≤, ≥, and = are associated with:

Answer 7

Closed border

Question 8

T/F Points that lie on the closed border are part of the path domain

Answer 8

T

Question 9

T/F Points that lie on the open border are not part of the path domain

Answer 9

T

Question 10

A domain error occurs because of an unintended shift in the border

Answer 10

Border shifts

Question 11

Must satisfy the path condition associated with the border

Answer 11

ON point

Question 12

must be as close as possible to the ON point for that border

Answer 12

OFF point

Question 13

T/F Only one ON and one OFF point are needed for inequalities

Answer 13

T

Question 14

T/F One ON and two OFF points are needed for = and ≠ constraints

Answer 14

T

Question 15

Models dependency relationships among program input conditions (causes) and output conditions (effects)

Answer 15

Cause-Effect graphing

Question 16

What is cause-effect graphing expressed as?

Answer 16

Boolean Expression

Question 17

One constraint on effects

Answer 17

Masking

Question 18

T/F With masking, both effects cannot occur for the same state of the program

Answer 18

T

Question 19

Avoid Combinatorial Explosion

Answer 19

OR/AND heuristics

Question 20

T/F Only one ON and two OFF point are needed for inequalities

Answer 20

F, one OFF point

Question 21

T/F Points that lie on the closed border are not part of the path domain

Answer 21

F, they are

Question 22

T/F With masking, both effects can occur for the same state of the program

Answer 22

F, they cannot

Question 23

T/F Points that lie on the open border are part of the path domain

Answer 23

F, are not

Question 24

Operators >, less than, and not equal to are associated with:

Answer 24

Open border

Question 25

T/F OFF points are on opposite sides of the border

Answer 25

T