问题 单项选择题

适用于软件检验的手段有多种,通过人工来评审文档或程序,借以发现其中的错误,该手段是______

A.黑盒法
B.正确性证明
C.动态检查
D.静态检查

答案

参考答案:D

解析:[考点] 本题主要考查的知识点为静态测试。
静态测试指被测试程序不在机器上运行,而是采用人工检测和计算机辅助静态分析的手段对程序进行检测。

选择题
单项选择题