正确答案: B

形式化证明的方法可有效防范黑客攻击

题目：以下关于网络安全漏洞的描述中，哪项是错误的?——

解析：解析：形式化证明方法用来证明一个协议是安全的，它是人们所希望的。但是一般的协议安全性是不可判定的，所以形式化证明的方法不能有效防范黑客攻击，故选B)。

查看原题

举一反三的答案和解析：

[单选题]在RATIONALGUI回放过程中，能够强行终止播放的快捷键为()

F11

[单选题]下列关于软件性能测试的说法中，正确的是______。

性能测试通常要对测试结果进行分析才能获得测试结论

解析：解析：性能测试通用模型(PTGM模型)的最后一步就是测试结果分析，说明性能测试通常要对测试结果进行分析才能获得测试结论，故C正确。软件的性能是软件的一种非功能特性。软件性能测试包括以下几方面的目标：①发现性能缺陷；②性能调优；③能力检验和规划。其中性能测试的首要目标应该就是发现软件性能缺陷，说明A说法不正确。压力测试与负载测试虽然都是要对软件施加业务压力，但其根本目的完全不同，负载测试的目的是为了探测软件在满足预定性能需求的情况下所能负担的最大压力．但压力测试的目的是利用压力来揭示软件中存在的潜在缺陷，故B说法不正确。在性能下降曲线上，最大建议用户数通常处于平坦区和性能轻微下降区的交界处，所以D说法错误。