Mobile
Log In Sign Up
Home > english-chinese > "软件正确性" in Chinese

Chinese translation for "软件正确性"

correctness of software
software correctness


Related Translations:
正确性:  accuracycorrectnessjustnesslegitimacytruenesstruthvalidityverecity
抽样正确性:  sampling accuracy
概率正确性:  probable correctness
验证正确性:  proving correctness
记忆正确性:  memory exactitude
正确性论据:  correctness argument
经验正确性:  empirical validity
正确性争议:  accuracy dispute
总正确性:  total correction
部分正确性:  partial correctness
Example Sentences:
1.The testing and verification of embedded software are the guarantee of the validity and reliability of embedded software
嵌入式软件的测试和验证是保证嵌入式软件正确性和提高嵌入式软件可靠性的最基本和最重要的手段。
2.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通过对复杂软件系统提供高层与抽象描述,为基于构件化技术的大型软件系统关键性质的验证提供了有效的途径。
Similar Words:
"软件站" Chinese translation, "软件站点目录" Chinese translation, "软件折衷" Chinese translation, "软件诊断指令" Chinese translation, "软件振兴院北京代表处" Chinese translation, "软件支持程序" Chinese translation, "软件支持服务" Chinese translation, "软件支持工具" Chinese translation, "软件支持环境, 软件支援环境" Chinese translation, "软件支持系统" Chinese translation