正确性验证的英文

• verification of correctness

• "正确性"英文翻译    exactness; correctness; soun ...
• "验证"英文翻译    test and verify; checking; p ...
• "验证正确性" 英文翻译 :    proving correctness
• "正确性" 英文翻译 :    accuracy; correctness; justness; legitimacy; trueness; truth; validity; verecity
• "回顾性验证" 英文翻译 :    retrospective validation
• "可靠性验证" 英文翻译 :    reliability demonstration
• "连续性验证" 英文翻译 :    continuity verification
• "维修性验证" 英文翻译 :    maintainability demonstration
• "不正确性" 英文翻译 :    inaccuracy
• "部分正确性" 英文翻译 :    partial correctness
• "程序正确性" 英文翻译 :    program correctness
• "抽样正确性" 英文翻译 :    sampling accuracy
• "概率正确性" 英文翻译 :    probable correctness
• "估计正确性" 英文翻译 :    accuracy of estimation
• "计算正确性" 英文翻译 :    accuracy in computations
• "记忆正确性" 英文翻译 :    memory exactitude
• "经验正确性" 英文翻译 :    empirical validity
• "绝对正确性" 英文翻译 :    absolute correctness
• "可能正确性" 英文翻译 :    possible correctness
• "强正确性" 英文翻译 :    strong correctness
• "软件正确性" 英文翻译 :    correctness of software; software correctness
• "算法正确性" 英文翻译 :    correctness of algorithm
• "完全正确性" 英文翻译 :    total correctness
• "语义正确性" 英文翻译 :    semantic correctness
• "正确性保持" 英文翻译 :    truth maintenance

• After the system is finished , tests should be done to verify the system and results should be analyzed
  系统完成后，采用验证性实验进行系统正确性验证和性能分析。
• We describe the process of designing and implementing the compositive budget management system in detail . via verifying the validity , it is indicated that using j2ee and mvc model can make the system applicable and reusable
  然后详细阐述了综合预算管理系统的设计及实现过程,通过正确性验证,表明所采用的j2ee技术以及mvc设计模式使得系统具有良好的可重用性以及可适应性。
• Uml - based software developing process and modeling environments have been widely accepted in the industrial community , which includes the safety areas such as spaceflight , national defense , and automobile , etc . verifying if uml models satisfy the requirements has become a key issue
  基于uml的软件开发过程和建模环境已被工业界广泛接受，其中包括航天、国防、汽车等许多安全攸关领域。对uml模型进行正确性验证以判断设计规范是否满足目标需求成为一个关键问题。
• With the wide adoption of distributed real - time system in many areas , such as electronics , aerospace , military , automobile electronics , industry production , much attention has been focused on system schedulability analysis algorithm , which is an important verification method for system schedulability . many researchers have done a lot of research in schedulability analysis algorithm and have achieved many results
  随着分布式实时系统逐渐得到广泛的应用，分布式实时系统的可调度性分析算法作为一种重要的实时系统时间正确性验证手段，也逐渐得到了人们的重视，很多学者对此进行了广泛的研究。
• Applying model checking in software design and verification has been proved very difficult . software architectures are engineering artifacts that provide high - level and abstract descriptions of complex software systems . in this paper a direct model checking method based on kripke structure and matrix algorithm is provided
  将model checking应用到软件正确性验证方面被证明是很困难的事情，软件体系结构sa software architecture通过对复杂软件系统提供高层与抽象描述，为基于构件化技术的大型软件系统关键性质的验证提供了有效的途径。
• But majority of the productions lack for verification of correction or only check the local expressions during the modeling process , so causing the existence of the deadlock , livelock and other bugs in the model . it causes many problems directly during the dynamic execution of the workflow . so it is important that model and verify the workflow before running
  但由于大多数产品在产品建模过程中缺乏正确性验证或仅进行局部的语法检验,造成工作流模型存在死锁、活锁等缺陷,这直接引发了工作流动态执行过程中的诸多问题,如任务不能完成、超期完成等。