Which term describes the overall correctness depending on the correctness of components?

Which term describes the overall correctness depending on the correctness of components?

• A. Correctness (of a program)
• B. Extensibility
• C. Modifiability
• D. Reusability

Answer: (A)

Program correctness is about whether the entire software behaves according to its specification, which hinges on the correctness of its individual components and how they interact. If each part does what it’s supposed to do and interfaces are well-defined, the whole program tends to be correct; if any component is flawed, that flaw can propagate and break overall behavior. Other terms describe different qualities—extensibility concerns adding features, modifiability is about making changes easily, and reusability is about using components in multiple contexts—but they don’t capture the idea that the overall correctness of the system depends on the correctness of its parts.

Program correctness is about whether the entire software behaves according to its specification, which hinges on the correctness of its individual components and how they interact. If each part does what it’s supposed to do and interfaces are well-defined, the whole program tends to be correct; if any component is flawed, that flaw can propagate and break overall behavior. Other terms describe different qualities—extensibility concerns adding features, modifiability is about making changes easily, and reusability is about using components in multiple contexts—but they don’t capture the idea that the overall correctness of the system depends on the correctness of its parts.