When a Software Engineer Attempts to Prove the Correctness of the Program,he/she

question 71

Multiple Choice

When a software engineer attempts to prove the correctness of the program,he/she is using ________ techniques.

• A)beta testing
• B)alpha testing
• C)prototype
• D)program verification

---

Definitions:

ANOVA Table

A statistical table used in analysis of variance that summarizes the sources of variance in a data set to help determine if there are significant differences.

Critical Value

A point on a statistical distribution that represents a threshold beyond which a given effect is considered statistically significant.

Normally Distributed

Describes a type of continuous probability distribution for a real-valued random variable where observations in a dataset are symmetrically distributed around the mean.

Equal Variances

A statistical assumption that the variance within each of a set of groups is the same across all groups.