单元测试--集成测试--确认测试--系统测试--验收测试 软件验证（Verfication）：保证软件正确实现特定功能的一系列活动和过程。其目的是保证软件在其生命 周期每一个阶段的成果都满足上一阶段设定的目标。
基于44个网页-相关网页
Build Verfication tests 版本验证测试
toggle signature verfication 显示 ; 隐藏签字核查 ; 切换签名验证
Two-Step Verfication 两步验证
NC verfication NC几何验证
the Foreigh Exchange Verfication 外汇核销
speaker verfication 说话人确认
verfication failed 验证失败
verfication of additive independence 可加独立性的检验
Model Checking is one of the most successful technologies of automatic verfication,its successful application is ascribed to the support of valid verification tools.
模型检测是最成功的自动验证技术之一,其成功应用归功于有效验证工具的支持。
参考来源 - 基于SPIN/Promela的并发系统验证 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐