软件检验的三种手段是(),() 和正确性证明。
软件检验的三种手段是(),() 和正确性证明。
相关考题：
以下关于软件验证的叙述中，错误的是（ ）。A.试图证明在软件生命周期各阶段，软件产品或中间产品能满足客户需求B.强调对于过程的检验，而不是对于结果的检验C.验证软件是否满足它的需求规格说明D.验证软件的手段只有软件测试和评审
计算机软件是软件开发公司所拥有的知识产权中最为重要的部分，必须运用（）进行保护。目前，可运用的方式主要有两种，即软件版权保护和软件许可协议保护。A、硬件加密手段B、软件加密手段C、经济手段D、法律手段
网络完整性：网络完整性分为硬件完整性、软件完整性。硬件完整性是要求构成网络的通信线路和硬件设备满足用户需要的特性。软件完整性是要求软件具有唯一标识，可以防止拷贝，防止静态分析，防止动态跟踪；要求软件有抗分析能力和完整性检验手段，以防止遭到非法修改；要求软件进行加密处理。
不能直接认定检验机构出具虚假检验结果的情形是（）。A、为未经检验的机动车出具检验合格证明B、用其他车辆替代检验C、利用计算机软件等手段篡改或者伪造检验数据和结果D、盗抢、报废、拼装、套牌等车辆予以通过检验
单选题软件测试，主要是对软件的逻辑性进行正确性确认，不外乎有以下几种方法，即（）A黑盒法和白盒法B人工检查和程序测试C动态测试和静态测试D正确性证明、人工分析与检查、程序测试