English 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：

"软件站" English translation, "软件站点目录" English translation, "软件折衷" English translation, "软件诊断指令" English translation, "软件振兴院北京代表处" English translation, "软件支持程序" English translation, "软件支持服务" English translation, "软件支持工具" English translation, "软件支持环境, 软件支援环境" English translation, "软件支持系统" English translation