Reusing model-based tests for software verification
再使用基于模型的测试以便软件确认
Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
The Web serving tests were executed when there was a major change in the kernel or as requested for software verification on a random basis.
出于偶然的机会，当内核中有大的改动或者需要验证软件，要进行Web服务测试。
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.
在计算机科学中，单元测试是一个有程序员测试源代码的个体单元是否适合使用的软件检测和验证方法。
It has become more and more important that the application of theorem proving on mathematic theorem proving, protocol verification, hardware verification and software verification.
机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。
For installation test, build verification test, globalization verification test, and GUI software test, you can use the operating system virtual instances.
对于安装测试、构建验证测试、全球化验证测试和GUI软件测试，您可以使用操作系统虚拟实例。
IBM's online software sales and downloads (both free and priced software) require a more automated means for a real-time verification of the deliverable and to whom it was sent.
IBM的在线软件销售和下载(免费和付费软件)需要更为自动化的方法来对交付内容及其接受人进行实时验证。
IBM globalization verification test teams use pseudo translation to examine software without even translating messages.
IBM全球化验证测试小组甚至不需要转换消息就可以使用伪翻译来对软件进行检验。
One check was verification licensing of the software we were using and had used to build StudioNow.
其中一项检查是验证我们正在使用的和曾用来构建StudioNow的软件的许可协议。
Safer software through trust and verification: Your phone will provide tools and information to empower you to decide what to download, what to see, and what to share.
通过信任和认证的安全软件：你的手机将提供工具和信息，使你可以自主决定下载什么，看到什么，分享什么。
The practical implementation of virtual image environments like CloudBurst 2.1 requires a re-verification of the software environment after significant changes in the environment.
CloudBurst 2.1 等虚拟映像环境的实际实现要求在环境发生重大变更后重新验证软件环境。
Devise a flexible BIOS structure to build "Longtuim S2" software validation platform with the help of the environment for the module level verification.
基于模块级验证的环境，设计了一种活芯BIOS结构，建立了“龙腾s2”的软件验证平台。
Developers should plan for between 30% and 70% of a projects effort to be expended on verification and validation activities, including software testing.
开发者应该计划把一个项目中的30%到70%的精力用于“验证”和“校验”，包括软件测试。
Bugs in formal verification software can miss design errors and thus give false confirmation.
形式验证软件中的缺陷会遗漏设计错误并进而给出错误的确认。
Formal verification software bugs.
形式验证软件的缺陷。
Verification is the process confirming that something software meets its specification.
“验证”是检查软件是否符合《规格说明书》的过程。
Software reviews can be used in supporting of the objectives of project management, system engineering, verification and validation, configuration management and quality assurance.
软件评审可以用于支持项目管理、系统工程、验证和确认、配置管理和质量保证的目标。
The co verification environment consists of an embedded software debugger and an embedded hardware simulator. It adopts instruction set architecture co simulation model.
该协同验证环境由嵌入式软件调试器和嵌入式硬件模拟器组成，其采用了指令集结构的协同模拟模型。
And parameters of heating sheet are determined on the basis of computation and verification employing computer software.
借助计算机软件，在验证和修正的基础上，确定模拟装置的红外加热片的参数。
Carry out verification of software to ensure validity and reliability by systematic methods.
通过系统的方法，验证软件的正确性和可靠性。
This paper presents an automatic verification method for possible software defects based on finite backtracking symbolic execution.
本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。
Secondly, some correction and enhancement are made to the theory of interface automata, and then the revised theory is applied to the compositional analysis and verification of software architectures.
然后在此基础上对接口自动机理论进行了完善，并研究了该理论在软件体系结构的组合分析与验证中的应用。
A scheme of temporal specification using function construct of classical B AMN is proposed to support specification and verification of real-time software system.
提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。
The main concepts of cleanroom software engineering are increment planning, box structure specification, correctness verification and statistical test planning.
净室软件工程中包含的主要概念有增量计划、盒构说明、正确的验证和统计测试计划。
Furthermore, we design an UML-based software testing and verification environment based on the researches of UML testing and verification, and implement the prototype.
此外，根据我们对UML测试和验证的研究成果，设计了一个基于UML的软件测试和验证环境的体系结构，并实现了原型系统。
For chip design, verification must be an important part of the design process from the beginning, along with synthesis, system software and debug strategies.
从设计开始到设计综合、系统软件和调试等阶段，验证是贯穿芯片设计全流程的重要组成部分。
These keys, called the Software Publishing State keys, control the behavior of the certificate verification process.
这些被称为“软件发布状态密钥”的公钥控制证书验证过程的行为。
Multiple input validation methods and effective(verification) approaches which can reduce data error are adopted in the software.
采用多种输入校验方法和有效性验证技术，减少输入错误；
应用推荐