【名词&注释】
有效性(effectiveness)、飞行员(pilots)、正确性(correctness)、可维护性(maintainability)、操作失误(fumble)、数据的完整性(data integrity)、一致性和安全性(consistency and security)
[单选题]最近5年来,共有5架W-160客机失事。面对W-160设计有误的指控,W-160的生产厂商明确加以否定,其理由是,每次W-160空难的调查都表明,失事的原因是飞行员的操作失误。为使厂商的上述反驳成立,以下哪项是必须假设的?
A. 如果飞行员不操作失误,W-160就不会失事。
B. 飞行员的操作失误,和W-160任一部分的设计都没有关系。
C. 每次对W-160空难的调查结论都可信。
D. 只有Ⅰ。
E. 只有Ⅱ。
F. 只有Ⅲ。
G. 只有Ⅱ和Ⅲ。
B. 验证程序的运行效果 C. 为了发现程序中的错误 D. 找出成功的测试,也就是没有发现错误的测试