TandV Test and Verify program 测试与校验程序
Verify the program 检验程序
T&V Test and Verify program 测试与校验程序
verify program correction 验证程序正确性
An "Everyday" list might look something like this: Project X Everyday - 1. Meet with program managers, 2. Review active status reports, 3. Verify validity of open issues, etc.
一份“每日清单”看起来应该与下面这个类似:项目X每天- 1 .约见项目经理,2 .检查执行状况报告,3 .核实公开问题的有效性,等等。
It need not talk to the network, or understand the contents of the messages it writes to disk, making the program simple and easy to verify and thus hard for an attacker to break.
它无需和网络沟通,或者了解它写到磁盘上的消息的内容,使得程序简单并容易被验证,从而使得攻击者更难破坏它。
One of the chief advantages of using CSP is the ability to precisely specify and verify the behaviors of the objects involved at each stage of a program.
使用 CSP 的主要优势之一是:对程序每一阶段所包含对象的行为进行精确地指定和验证。
应用推荐