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

软件评估可分为静态评估和动态评估，其中属于动态评估技术的是
A.评审
B.走查
C.形式化证明
D.软件测试
正确答案：D