在测试形式化需求的主题上,我们又向前迈进了一步。
如今,已经可以使用TPT自动评估形式化需求。在TPT 19中,相应的测试数据现在可以一键生成。
这还在测试中吗?是的,但是完全自动并且不需要创建复杂的测试用例。
这适用于哪种测试对象呢?
适用于可以使用TPT测试的所有内容:用于模型(ASCET, Simulink, Targetlink),用于生成或手写的C/ C++代码,用于AUTOSAR组件,ECU等等。
需求是基础—您只需单击即可导入它们。然后用我们的语言集(针对嵌入式场景进行了优化)将需求形式化。然后再点击几下,测试报告就准备好了
此功能如何帮助提高产品质量并加快测试过程?
在以下两种情况中,您可以在测试中使用形式化需求:
- 作为所有测试的基础。
- 作为现有测试的补充。
形式化需求的测试也可以与测试用例创建过程中其他类型的测试相结合,比如手动创建测试用例和测试数据生成。
无论怎么做,您都可以通过重新分配任务来支持您的测试团队,例如:经验丰富的需求经理和开发人员(而不是测试人员)可以负责形式化。
测试人员因此可以专注于典型的测试自动化主题,例如
- 被测系统(SUT)的连接;
- 额外的自动化和补充测试,以获得更高的代码覆盖率(也是自动的);
- ECU的负载测试
心动不如行动,马上联系北汇信息获取TPT 19试用吧~
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。
举报投诉
-
测试
+关注
关注
8文章
4429浏览量
125089 -
嵌入式
+关注
关注
4976文章
18246浏览量
287943 -
嵌入式软件测试
+关注
关注
1文章
21浏览量
6043
发布评论请先 登录
相关推荐
HamronyOS自动化测试框架使用指南
概述
为支撑 HarmonyOS 操作系统的自动化测试活动开展,我们提供了支持 JS/TS 语言的单元及 UI 测试框架,支持开发者针对应用接口进行单元测试,并且可基于 UI 操作进行
发表于 12-19 10:26
一文了解导入测试数据自动化生成测试用例的方法
例的复用,比如在MiL阶段回放HiL阶段的测试数据来debug,又如需要通过Excel实现测试用例的存储等等。上述问题TPT提供了非常契合的功能——Generate
TPT19新特性之Linux中的Simulink模型测试
为什么要在云端Linux环境中测试Simulink和Targetlink?它更快,可扩展,并且可以节省高达60%的成本。
测试总是需要三个要素:
1. 测试对象,即要测试的东西
2
TPT19新特性之最坏情况执行时间的指示
在TPT 19中,首次有了最坏情况执行时间的早期预警系统——这已经在本地主机上用于测试执行。
基本原则:对每个测试步骤的执行时间进行测量。这使您可以快速轻松地确定哪些
TPT19新特性之参数集的混合执行
在我们的最新版本TPT 19中,您现在可以采用一种新的、更精简的方法:定义一次性的参数集,这些参数集包含在您的最终软件中。当然,参数集可以像往常一样保存、加载并在多个项目中重用。然后每个测试用例在不同参数设置中执行,并列在
评论