English translation for "正确性验证"
|
- verification of correctness
Related Translations:
正确性: accuracycorrectnessjustnesslegitimacytruenesstruthvalidityverecity 软件正确性: correctness of softwaresoftware correctness 概率正确性: probable correctness 验证正确性: proving correctness 正确性论据: correctness argument 经验正确性: empirical validity
- Example Sentences:
| 1. | After the system is finished , tests should be done to verify the system and results should be analyzed
系统完成后，采用验证性实验进行系统正确性验证和性能分析。 | | 2. | 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设计模式使得系统具有良好的可重用性以及可适应性。 | | 3. | 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模型进行正确性验证以判断设计规范是否满足目标需求成为一个关键问题。 | | 4. | 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
随着分布式实时系统逐渐得到广泛的应用，分布式实时系统的可调度性分析算法作为一种重要的实时系统时间正确性验证手段，也逐渐得到了人们的重视，很多学者对此进行了广泛的研究。 | | 5. | 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通过对复杂软件系统提供高层与抽象描述，为基于构件化技术的大型软件系统关键性质的验证提供了有效的途径。 | | 6. | 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
但由于大多数产品在产品建模过程中缺乏正确性验证或仅进行局部的语法检验,造成工作流模型存在死锁、活锁等缺陷,这直接引发了工作流动态执行过程中的诸多问题,如任务不能完成、超期完成等。 |
- Similar Words：
- "正确性定理" English translation, "正确性规范, 正确性说明" English translation, "正确性论据" English translation, "正确性确认" English translation, "正确性审计" English translation, "正确性争议" English translation, "正确性证明" English translation, "正确选定曝光时间" English translation, "正确选位" English translation, "正确选择词义" English translation
|
|
|
