正确性验证的英文
verification of correctness
例句与用法
更多例句： 下一页- 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通过对复杂软件系统提供高层与抽象描述，为基于构件化技术的大型软件系统关键性质的验证提供了有效的途径。
