• Reusing model-based tests for software verification

    再使用基于模型的测试以便软件确认

    youdao

  • Temporal logics are widely used in software verification and model checking.

    时态逻辑软件确认模型检查中广泛的应用。

    youdao

  • 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服务测试

    youdao

  • To this end, people raise a series of concepts and theories like software reliability, software verification, software quality assurance, software testing and etc.

    为此人们提出软件可靠性、软件验证、软件质量保证、软件测试一系列概念理论

    youdao

  • These methods, with rigorous mathematical foundation, have mostly been developed for optimizing compilers and, more recently, for hardware and software verification.

    这些方法精确数学基础曾经主要用于改良编译优化近来也用于硬件软件验证

    youdao

  • These successes lead led to the anticipated benefits of improved full software verification team (SVT) ramp-up time and improved product quality at full system test entry.

    这些成功导致(led)了完整系统测试开始时改进了的完整的软件验证团队(SVT)的加速的时间以及改进了的产品质量预期好处

    youdao

  • 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.

    计算机科学中,单元测试一个有程序员测试源代码个体单元是否适合使用软件检测验证方法

    youdao

  • It has become more and more important that the application of theorem proving on mathematic theorem proving, protocol verification, hardware verification and software verification.

    机器定理证明数学定理证明、协议验证软件硬件形式化验证等方面发挥出越来越重要的作用。

    youdao

  • For installation test, build verification test, globalization verification test, and GUI software test, you can use the operating system virtual instances.

    对于安装测试构建验证测试、全球化验证测试GUI软件测试,可以使用操作系统虚拟实例

    youdao

  • 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在线软件销售下载(免费付费软件)需要更为自动化方法来对交付内容及其接受人进行实时验证

    youdao

  • IBM globalization verification test teams use pseudo translation to examine software without even translating messages.

    IBM全球化验证测试小组甚至需要转换消息就可以使用翻译软件进行检验

    youdao

  • One check was verification licensing of the software we were using and had used to build StudioNow.

    其中一项检查验证我们正在使用用来构建StudioNow的软件许可协议。

    youdao

  • 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.

    通过信任认证安全软件手机提供工具信息使可以自主决定下载什么看到什么,分享什么。

    youdao

  • 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 等虚拟映像环境实际实现要求环境发生重大变更重新验证软件环境。

    youdao

  • 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软件验证平台

    youdao

  • 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%的精力用于“验证校验”,包括软件测试

    youdao

  • Bugs in formal verification software can miss design errors and thus give false confirmation.

    形式验证软件中的缺陷遗漏设计错误进而给出错误的确认。

    youdao

  • Formal verification software bugs.

    形式验证软件缺陷

    youdao

  • Verification is the process confirming that something software meets its specification.

    验证检查软件是否符合规格说明书》过程

    youdao

  • Software reviews can be used in supporting of the objectives of project management, system engineering, verification and validation, configuration management and quality assurance.

    软件评审可以用于支持项目管理系统工程验证确认配置管理和质量保证目标

    youdao

  • The co verification environment consists of an embedded software debugger and an embedded hardware simulator. It adopts instruction set architecture co simulation model.

    协同验证环境嵌入式软件调试器嵌入式硬件模拟器组成采用了指令结构的协同模拟模型

    youdao

  • And parameters of heating sheet are determined on the basis of computation and verification employing computer software.

    借助计算机软件验证修正基础上确定模拟装置红外加热参数

    youdao

  • Carry out verification of software to ensure validity and reliability by systematic methods.

    通过系统方法验证软件正确性可靠性

    youdao

  • This paper presents an automatic verification method for possible software defects based on finite backtracking symbolic execution.

    本文提出一种基于有限回溯符号执行软件疑似缺陷自动验证方法

    youdao

  • 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.

    然后基础上对接口自动机理论进行了完善,研究了理论软件体系结构组合分析验证中的应用

    youdao

  • 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记号表达时态规约函数结构方案支持实时软件系统的规约验证

    youdao

  • The main concepts of cleanroom software engineering are increment planning, box structure specification, correctness verification and statistical test planning.

    净室软件工程包含的主要概念增量计划说明正确验证统计测试计划。

    youdao

  • The experimental result shows that the strategy could significantly improves the efficiency of development and verification of high-confidence embedded software.

    实验结果表明方法在软件工程有效提高可信嵌入式软件开发验证效率

    youdao

  • 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软件测试和验证环境的体系结构,实现原型系统

    youdao

  • For chip design, verification must be an important part of the design process from the beginning, along with synthesis, system software and debug strategies.

    设计开始到设计综合系统软件调试等阶段,验证贯穿芯片设计全流程重要组成部分

    youdao

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定