Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
To this end, people raise a series of concepts and theories like software reliability, software verification, software quality assurance, software testing and etc.
为此，人们提出了软件可靠性、软件验证、软件质量保证、软件测试等一系列概念和理论。
These methods, with rigorous mathematical foundation, have mostly been developed for optimizing compilers and, more recently, for hardware and software verification.
这些方法有精确的数学基础，曾经主要用于改良编译器优化，近来也用于硬件和软件验证。
In computer programming, unit testing is a software verification and validation method in which a programmer tests if individual units of source code are fit for use.
在计算机科学中，单元测试是一个有程序员测试源代码的个体单元是否适合使用的软件检测和验证方法。
In computer programming, unit testing is a software verification and validation method in which a programmer tests if individual units of source code are fit for use.
在计算机科学中，单元测试是一个有程序员测试源代码的个体单元是否适合使用的软件检测和验证方法。
应用推荐