自定义博客皮肤VIP专享

*博客头图：

格式为PNG、JPG，宽度*高度大于1920*100像素，不超过2MB，主视觉建议放在右侧，请参照线上博客头图

请上传大于1920*100像素的图片！

博客底图：

图片格式为PNG、JPG，不超过1MB，可上下左右平铺至整个背景

栏目图：

图片格式为PNG、JPG，图片宽度*高度为300*38像素，不超过0.5MB

主标题颜色：

RGB颜色，例如：#AFAFAF

Hover：

RGB颜色，例如：#AFAFAF

副标题颜色：

RGB颜色，例如：#AFAFAF

预览 取消 提交

自定义博客皮肤

-+
上一步保存

Rain20200202的博客

  • 博客(5)
  • 资源 (19)
  • 收藏
  • 关注
排序：
按最后发布时间
按访问量
RSS订阅

原创 基于模型驱动的自动化测试设计与实现

本文通过一个简单的例子介绍了使用AutoTCG设计被测软件模型，自动生成测试脚本的方法。下一期我们会使用更复杂的模型，介绍AutoTCG在路径深度覆盖和参数组合方面强大的功能。

2020-03-24 10:00:26 352

转载 一个高度自动化汽车的安全验证架构（1）

一个高度自动化汽车的安全验证架构（1）凶凶的大熊三连发，敬请期待一个高度自动化汽车的安全验证架构（1）*本文翻译自Juan R.Pimental所著Safety of the Intended Functionality (SOTIF) Book 3 - Automated Vehicle Safety Series，中文版权归轩辕实验室所有验证高度自动化车辆(HAVs)的安全性是一项重...

2020-03-20 14:35:09 280

转载 嵌入式系统测试之王者工具

嘿嘿，我来吹个小牛。软硬件结合的嵌入式系统正越来越多地应用到民用和军用的仪器设备中，对应用的功能和性能要求也越来越高。同时，随着硬件技术发展的日趋稳定，而软件故障却日益突显。由此软件的重要性已逐渐引起人们的重视，越来越多的研究人员认识到嵌入式系统，优化其测试技术已势在必行，研究出合适的嵌入式软件系统测试方法，特别是找到一种通用的黑盒（接口）测试平台，正是此文讨论的重点所在。详细见链接哈嵌入式...

2020-03-16 10:55:17 159

原创 最重要的自动化测试概念-断言讨论

最重要的自动化测试概念-断言讨论断言测试任何一个功能，包含3个步骤：提供被测功能的输入等待被测功能执行对结果进行判断（断言）。其中步骤1和步骤3如果需要人工干预，则称其为手工测试，如果不需要，则可以称其为自动化的测试。从测试的金字塔模型来看，越是往顶层的测试越是直接代表用户需求，价值越大，但是自动化的可能性越小，越往底层，工作量越大，好处是自动化的可能性越来越大。自动化的好处在于，可...

2020-03-16 10:29:07 378

原创 基于ETest_RT如何实现实时仿真与验证？

ETest_RT是一款完全自主知识产权的半实物仿真测试平台（HIL）集成开发环境。该开发环境采用标准化的硬件模块和分层结构化的软件平台，实现了半实物仿真测试与验证环境搭建的功能，主要应用于装备嵌入式软件半实物仿真测试平台的快速开发与实施。ETest_RT深度集成Simulink，提供Simulink模型的运行及验证环境。利用各种总线接口同外围其他设备连接搭建起半实物仿真环境，运行仿真模型验证功能...

2020-03-12 16:24:46 284 1

敏捷实践之测试驱动开发.pptx
结合Etest的开发经验以一个简单的示例来机械地介绍测试驱动开发 结合前面介绍的内容讨论测试驱动开发的一些原则要点等

2020-04-01

基于bpmn的模型开发方法
bpmn模型介绍，流程介绍，要素介绍，开发方法。对象管理组织（OMG）开发了标准业务流程模型和表示法（BPMN）。BPMN的主要目标是提供一种易于被所有业务用户理解的符号，从创建流程初稿的业务分析师到负责实现执行这些流程的技术开发人员，最后，对管理和监控这些流程的业务人员。因此，BPMN为业务流程设计和流程实现之间的差距创建了一个标准化的桥梁。

2020-03-24

Jmeter -peixun.pptx
Apache JMeter 是 Apache 组织开发的基于 Java 的压力测试工具。 用于对软件做压力测试，它最初被设计用于 Web 应用测试，但后来扩展到其他测试领域。 它可以用于测试静态和动态资源，例如静态文件、Java 小服务程序、CGI 脚本、Java 对象、数据库、FTP 服务器， 等等。 JMeter 可以用于对服务器、网络或对象模拟巨大的负载，来自不同压力类别下测试它们的强度和分析整体性能。 另外，JMeter 能够对应用程序做功能/回归测试，通过创建带有断言的脚本来验证你的程序返回了你期望的结果。为了最大限度的灵活性，JMeter 允许使用正则表达式创建断言。

2020-03-24

敏捷测试学习笔记.pptx
敏捷测试是指敏捷开发模式下的一套完整的软件测试解决方案，它强调： “与开发协作”、 “自动化测试”、 “客户思维”、 “动态的测试策略调整”。

2020-03-18

ETest API.pptx
嵌入式半实物仿真测试平台的 API接口测试研究讨论稿嵌入式系统半实物仿真测试平台（简称：ETest）主要用于建立各种嵌入式 系统的半实物仿真测试环境，能够使用各种硬件设备和计算机灵活搭建起黑盒测 试与仿真环境，配合具有通用性的软件，编写测试脚本完成测试。测试软件具有 测试需求描述、测试环境配置、测试流程设计、测试运行、测试监控与数据分析 等功能，能够支持嵌入式设备常见的接口，主要包括 RS232、RS422/RS485、以 太网、A/D、D/A、DI/DO、CAN 等。嵌入式系统半实物仿真测试平台具有功能强 大、使用方便、灵活易用的特点，能够协助测试人员快速完成各种嵌入式设备的 测试任务。

2020-03-17

ETestRT user manual-v5.6.1 - 0702.pdf
便携式航电实时系统测试平台，便携式航电实时系统测试平台由测试硬件子系统和设备级应用软件组成，设 备级应用软件又划分为测试设计子系统、测试运行子系统、测试监控与分析子系 统。

2020-03-16

目标码验证工具--培训材料.pptx
它是指使用计算机来模仿真实的或者理论中的事物或过程的一种方法。模拟过程首先将这些事物或者过程以模型的方式抽象表示为数学的或逻辑的联系，然后使用计算机在一个受限的环境下来评估这些模型，从模拟所得的结果来深入观察真实的事物或者过程。从本质上来说，模拟的过程就是被模拟事物随时间变化的状态变化过程，它可以分为三种基于类型：连续型、离散型和混合型。

2020-03-12

基于ATML标准架构的通用半实物仿真测试平台.docx
半实物仿真测试平台是装备嵌入式软件闭环动态测试的主要手段，平台的通用化对于试验测试机构具有重要意义。通过对ATML标准的研究，设计和实现了一套通用化的半实物仿真测试平台，通过对其组成架构和使用模式的分析，说明了该平台与ATML的对标情况。在实际装备嵌入式软件测试中的应用表明，该平台具备了ATML所倡导的测试仪器互换性和测试程序移植性的特点，可显著提高装备嵌入式软件的测试质量和测试效率。

2020-03-11

嵌入式系统半实物仿真测试平台--使用手册-USB版.pdf
嵌入式系统半实物仿真测试平台（简称：ETest）主要用于建立各种嵌入式 系统的半实物仿真测试环境，能够使用各种硬件设备和计算机灵活搭建起黑盒测 试与仿真环境，配合具有通用性的软件，编写测试脚本完成测试。测试软件具有 测试需求描述、测试环境配置、测试流程设计、测试运行、测试监控与数据分析 等功能，能够支持嵌入式设备常见的接口，主要包括 RS232、RS422/RS485、以 太网、A/D、D/A、DI/DO、CAN 等。嵌入式系统半实物仿真测试平台具有功能强 大、使用方便、灵活易用的特点，能够协助测试人员快速完成各种嵌入式设备的 测试任务。

2020-03-10

RASL嵌入式自动化测试语言.pdf
针对面向信号的测试语言ATLAS2000和面向协议的测试语言TTCN-3的缺陷，设计一种可应用于嵌入式系统软 件测试的测试描述语言RASL。详细阐述RASL语言的运行模式、设计思想、模型和程序结构，通过实例验证了该语言在 支持嵌入式系统的自动化测试的有效性。

2020-03-10

001_C test方案.doc
通过模式匹配的手段，检索在软件编码过程中存在的软件风险代码，通过应用规则规范检查，迅速建立一个有效并易于实现的编码策略，用以降低来自各种干扰下出现的变成错误。在Parasoft C++test中，内建2100+规则要求，用户可以按照自己的现状将紧要的标准勾选出来达到相应目标

2020-02-19

VectorCAST Solution -- general.pdf
> 单独测试最小程序单元 > 集成测试多个模块的组合 > 支持多种测试模式 > 最大程度的自动化 – 无需编写测试代码

2020-02-17

产品手册-SmartUnit单元测试工具.pdf
单元测试现状 汽车电子嵌入式单元测试 SmartUnit系列产品介绍 SmartUnit Air 智能化单元测试用例设计工具 SmartUnit Rocket 智能化单元测试工具 SmartUnit DDC 动态缺陷检查工具 概述 汽车电子领域等高安全领域，对单元测试有较高的行业标准： 汽车电子行业遵从ISO26262标准。安全等级从ASIL-A到ASIL-D，对单元测试的要求依次增高。其中最高等级ASIL-D要求测试用例对 语句、分支、MC/DC准则的覆盖率均达到100%。对于需要达到MC/DC100%覆盖的工程，需要耗费大量的人力及时间来编写用例。

2020-02-17

嵌入式软件接口测试方法.pdf
测试什么：验证接口信息格式与控制的正确性，一是接口数据，二是控制逻辑，三是测试正常信息/逻辑，还有异常信息/逻辑，四是输入/输出接口，五是内部接口/外部接口； 重要性或必要性：对于外部接口，验证是否能正确提供服务，对于内部接口，是否满足要求能否与其它部件组合。 作为测试手段：通过接口对系统/软件进行测试。

2020-02-17

嵌入式软件的灰盒测试的自动化方法.pdf
本文提出了在实时嵌入式软件中引入灰盒测试的方法。 首先介绍了白盒测试，黑盒测试，灰盒测试的基础理论，以及 各自的优缺点，然后深入阐述了灰盒测试在嵌入式软件测试中 的应用，并提出了其可行的自动化方法和改进措施。最后介绍 了已有的商业工具 DT10 如何实现灰盒测试的功能，及其在实 际项目中的应用。

2020-02-14

面向安全可靠系统设计的测试验证方法讲稿(1).pdf
介绍了面向高可靠性，高安全性要求的嵌入式系统的测试方法进行了探讨，并提出了通用性的方法。 适用于嵌入式系统设计，航空，航天，汽车等高安全行业应用

2020-02-14

应用案例 通用嵌入式系统测试平台 灯光控制器演示资料.pdf
一种典型的嵌入式系统功能测试方案 对车辆灯光控制系统提供了一种通用的自动化测试解决方案 一种半实物的虚拟仿真测试方法 弥补了实物测试的短板

2020-02-13

综合实验室建设方案 高等院校软件测试专业（嵌入式方向）的副本.pdf
一种成熟的高校软件测试（嵌入式软件测试）方向的实验室解决方案 对高校软件测试方向是一个重要的补充 提供了实验室所需要的软件，硬件，课程资源等

2020-02-13

基于模型驱动的自动化测试用例生成.pdf
一种基于模型驱动的自动化测试用例开发方法 自动化测试工具范畴 基于BPWN模型 自动生成测试用例代码

2020-02-13

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章？
取消 删除