程序验证的英文

• program validation
• program verification
• routine verification

• "程序"英文翻译    procedure
• "验证"英文翻译    test and verify; checking; p ...
• "微程序验证" 英文翻译 :    microprogram validation
• "处理程序验证" 英文翻译 :    processor verification
• "结构程序验证" 英文翻译 :    constructive program verification
• "自动程序验证" 英文翻译 :    automatic program verification
• "自动程序验证程序" 英文翻译 :    automated program verifier
• "计算机程序验证" 英文翻译 :    computer program verification
• "用户程序验证设施" 英文翻译 :    user program verification facility
• "自动程序验证系统" 英文翻译 :    automatic program verification system
• "处理程序验证, 处理机验证" 英文翻译 :    processor verification
• "工序验证" 英文翻译 :    process validation
• "时序验证" 英文翻译 :    timing verification
• "时序验证器" 英文翻译 :    verifier timing; verifier, timing
• "用数字等效程序验证模拟结果" 英文翻译 :    proof of analogue resultsthroughnumericale-quivalent routine
• "程序验收" 英文翻译 :    program acceptance
• "验证程序；验证器" 英文翻译 :    verifier
• "可验证程序" 英文翻译 :    verifiable program
• "验证程序" 英文翻译 :    certification program; proving program; proving routine; validation procedures; validator; verifying procedure
• "安装验证程序" 英文翻译 :    installation verification program
• "测试验证程序" 英文翻译 :    test and verify program
• "程序设计验证" 英文翻译 :    program design verification
• "软件验证程序" 英文翻译 :    software verifier
• "数据验证程序" 英文翻译 :    data validation program; data verifying program
• "协议验证程序" 英文翻译 :    protocol verifier

• Occurs before the user name is validated by the membership provider
  在成员资格提供程序验证用户名之前发生。
• Option is not specified , sign tool uses the windows driver verification policy
  选项，签名工具将使用windows驱动程序验证策略。
• Asymmetric signature deformatters verify the digital signatures that are created using implementations of
  不对称签名反格式化程序验证采用
• Property gets the regular expression used to evaluate password complexity from the provider specified in the
  属性中指定的提供程序验证密码复杂性的正则表达式。
• Verification and validation of scientific and engineering computer programs for the nuclear industry , guidelines for
  核工业科研和工程用计算机程序验证和确认导则
• I then test the object creation works and verify the contents of the database using dbunit s query facilities
  然后测试对象创建工作，并用dbunit的查询程序验证数据库的内容。
• Finally the method using supervision statistics is represented in excavation construction , which predict the critical axial force of bracing in enclosure structure
  用非线性流变有限元程序验证了结论的正确性。最后提出施工时运用监测数据预估围护支撑的方法。
• Deploy exchange server 2003 easily against a checklist , with tools and utilities to verify that your organization is ready for the exchange 2003 installation
  根据检查表轻松部署exchange server 2003 ，并使用工具和实用程序验证组织已准备好进行exchange 2003安装。
• The image of the object is successfully reconstructed from hologram with the program . moreover , the author proves that the image can be reconstructed from every part of a hologram
  作者使用自己设计的程序成功地再现了物体的像，并应用该程序验证了全息图的不可撕毁性。
• 5 methods used for package process validation , which include the machine process , the effects of the sterilization process , distribution , handling , and shipping events , are beyond the scope of this guide
  包装程序验证方法，包括机器制造过程，灭菌过程，销售，处理和运输，都在此指南范围内。

• 程序验证的日语：プログラムののけんしょう プログラムの検証