下列关于软件测试的描述中，错误的是( )
A.
软件静态安全检测技术可用于对软件源代码的检测
B.
软件动态安全检测技术可用于对软件可执行代码的检测
C.
模型检验是一种软件动态安全检测技术
D.
模糊测试是一种软件动态安全检测技术
正确答案是C