用于对软件进行业务流程建模，根据模型自动生成满足路径覆盖要求的测试用例与自动化的测试脚本框架，实现对嵌入式软件、Web应用、移动APP、桌面软件等多种类型软件的自动化测试，解决测试用例设计充分性难保证、测试脚本编写难度大、测试复用效果查等软件测试难题，提高软件测试的科学性与有效性。
2021-07-12 09:02:26
10.54MB
1
用于对软件进行业务流程建模，根据模型自动生成满足路径覆盖要求的测试用例与自动化的测试脚本框架，实现对嵌入式软件、Web应用、移动APP、桌面软件等多种类型软件的自动化测试，解决测试用例设计充分性难保证、测试脚本编写难度大、测试复用效果查等软件测试难题，提高软件测试的科学性与有效性。
2021-07-12 09:02:26
3.4MB
1
verilog数字系统设计-rtl综合、测试平台与验证（第二版）（高清版）.pdf ，课程学习好资料
2021-07-07 14:01:53
34.81MB
1
介绍了SystemVerilog验证++测试平台编写指南，IC验证工程师入门必备，搭建SV的验证平台，各种验证方法
2021-07-04 11:15:23
25.67MB
1
支持装备嵌入式软件配置项级别和系统级别的动态验证与测试，提高我所装备型号嵌入式软件测试验证的自动化程度，促进嵌入式系统装备软件的研发与生产质量，解决具有复杂交联环境装备嵌入式软件测试环境搭建和测试开发的难题。
2021-06-23 16:03:55
264KB
1
武器系统装备嵌入式软件配置项级别和系统级别的动态验证与测试，提高我所武器系统装备型号嵌入式软件测试验证的自动化程度，促进嵌入式系统装备软件的研发与生产质量，解决具有复杂交联环境装备嵌入式软件测试环境搭建和开发的难题
2021-06-23 16:03:53
871KB
1
国内凯云科技公司提供了自研的ETest Studio通用嵌入式系统软件测试平台，是一款专门针对嵌入式系统测试的通用软件和硬件平台，其技术在国际和国内都是非常领先的。它是一个黑盒的测试平台。ETest提供该各种协议和信号输入输出接口，通过ETest软件平台，搭建测试交联环境，编写DPD（通信协议描述语言）协议，编写自动测试用例脚本，监控界面设计，可实现了对被测设备的功能、接口、性能及老化等的自动测试任务。
2021-06-23 16:03:51
1.68MB
1
作为智能化武器系统的核心，嵌入式软件的比重明显加大，开展自动化的嵌入式软件测评工作，已成为提升武器装备系统研发质量与研发效率的重要工作。在武器系统火控、指控、随动、探测器等设备中，嵌入式设备占了很大的数量，这些嵌入式设备中都有嵌入式软件存在，对设备级别嵌入式软件进行测试已成为武器系统研制必不可少的重要环节。
2021-06-23 16:03:46
873KB
1