Theory Goodenough Gerhart Let P Program D Input Domain Let T D P D Result Executing P Inpu Q37240413

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 ofexecuting P with input d. What is
• OK(d)
• SUCCESSFUL(T)
• Ideal Test
• Reliable Criterion
• Valid Criterion

Answer

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

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

2) SUCCESSFUL(T) : T will be Successful if and

OR

 

OR