1) software verification
软件验证
1.
ODA software verification;
光学设计自动化软件验证技术概述
2.
To this end, people raise a series of concepts and theories like software reliability, software verification, software quality assurance, software testing and etc.
为此,人们提出了软件可靠性、软件验证、软件质量保证、软件测试等一系列概念和理论。
3) Software/hardware co-verification
软硬件协同验证
1.
With respect to the verification bottleneck of current digital ASICs design and for the purpose of describing and verifying design object in a higher abstract level,a software/hardware co-verification method is presented,the method is based on processor core model of SystemC and others model of Verilog.
针对当前专用数字集成电路设计中的验证瓶颈,为了在更高的抽象级别对设计时象进行描述和验证,提出一种软硬件协同验证方法。
2.
A number of vertex processing unit programs on the platform had been run using software/hardware co-verification methods.
在该平台上,采用软硬件协同验证的方法,成功地运行了多个顶点处理器程序。
4) software testing and verification
软件测试与验证
5) hardware/software co-verification
软/硬件协同验证
1.
Implementation of efficient debug in virtual prototyping based on hardware/software co-verification;
基于虚拟原型机的软/硬件协同验证中高效调试手段的实现
6) Software Simulation Verification
软件模拟验证
补充资料：控制软件的验证与确认
控制软件的验证与确认
verification and validation of control software
kongzh一ruan]旧n de yon之heng yu queren控制软件的验证与确认(verifieation andvalidation of eontrol software)要在核反应堆控制保护系统中使用计算机系统，除了硬件系统的可靠性外，必须确保其控制软件具有足够高的可靠性。通常采取的措施有:利用成功的经验，自顶向下的设计方法，模块化的结构，清晰的文件系统，可审核的文件，每个阶段的验证，整个计算机系统的确认(鉴定)等。其中验证与确认(V色V)是保证软件系统质量和可靠性的重要措施，用以确认各项设计要求已得到实施，使计算机系统开发过程中产生缺陷的可能性减至最小，因而是开发过程中的重要环节。 验证(正确地干事):验证是一种有计划的行动，旨在试验所开发的控制软件在各种不同运行工况下的正确的功能，在审评其设计和性能时考察是否满足预定的要求。 确认(干正确的事):确认也是一种有计划的行动，用以确定最终产品是否满足需求规格书所确立的有关目标，并制订测试和验收的标准，以确信上述要求已得到满足，为硬件和软件中正确体现系统要求所规定的性能提供全面保证。 V%26V是指由胜任的非原设计人员独立进行的复审、检查、分析、侧试等活动。可通过下列活动的组合实现:独立地进行这些活动，或独立见证原设计人员的活动.或独立复审、检查原设计人员活动产生的文档化的结果。对文档化工作如测试等的独立复审应满足ASME一NQA一l一1989的要求，用以确信安全系统设计基本要求在被安装的系统上是可跟踪的，并得到满足.检查包括对设计过程、代码编制、文档化试验结果等的演绎和分析，可采用(但不限于)格式化证明、Petri网(一种软件分析的方法)或其他图形分析方法和相关技术等;侧试分为对模块或系统的功能特性的功能侧试(包括黑箱试验、工厂验收试验、现场验收试脸三类)，对单元和模块的内部结构进行的结构侧试(又称为进程试验，可通过分支测试或路径侧试等实现)。 V%26V过程涉及计算机开发过程中以顺序(即汤布法)或循环(即螺旋形研制法)方式进行的各阶段.包括非计算机的硬件要求、非计算机的硬件设计与实现、计算机硬件要求、计算机硬件设计与实现、软件要求、软件设计与实现、(软硬件)集成要求、计算机系统集成及系统测试(工厂验收侧试)、现场验收侧试等，任何阶段通不过验证都将导致本阶段或整个项目的重新开发。 对软件部分的V%26V有特殊的要求。对于验证工作的结果.要形成文件，’包括软件验证计划、设计阶段验证报告、软件测试技术条件、软件侧试报告等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条