Question

In the theory of Goodenough and Gerhart, Let P be a program, and D be its input domain. Let T ⸦ D. P(d) is the result of executing P with input d. What is

• OK(d)

• SUCCESSFUL(T)

• Ideal Test

• Reliable Criterion

• Valid Criterion

Answer 1

The theory of Goodenough and Gerhart can be explained by the diagram below , where the program is executed having input domain as subset.

1) OK(d) : The OK(d) is used to represent the acceptability of P(d). The OK(d) will be become true if only P(d) is acceptable.

2) SUCCESSFUL(T) : T will be Successful if and only if the following condition is true ∀t ∈  T, OK(t).

3) Ideal Test : The T is said to be Ideal test if and only if OK(t) for every t in T => OK(d) for every d in D , that is OK(t), ∀t ∈ T => OK(d), ∀d ∈ D.

4) Reliable Criterion : The Reliability means consistency , here the C is test selection criterion , The C is Reliable Criterion if and only if every test selected by C is successful or if all the tests selected by C are Unsuccessful.

5) Valid Criterion : The selection criterion C is said to be valid criterion if and only if when the program P is incorrect, then it can be selected through C a test set T that is Unsuccessful for Program P.