软件评估可分为静态评估和动态评估,其中属于动态评估技术的是

软件评估可分为静态评估和动态评估,其中属于动态评估技术的是
A、评审
B、走查
C、形式化证明
D、软件测试
【正确答案】:D
【题目解析】:软件评估可以分为静态评估和动态评估。评审、走查和形式化证明等是静态评估技术,而软件测试是一种常用的动态评估技术,通过执行程序发现其中的错误。