热门

最新

红包

立Flag

投票

同城

发布
weixin_51954443
北汇信息
2 年前
trueweixin_51954443

TPT19新特性之形式化需求：自动生成测试用例

在测试形式化需求的主题上，我们又向前迈进了一步。

如今，已经可以使用TPT自动评估形式化需求。在TPT 19中，相应的测试数据现在可以一键生成。

这还在测试中吗?是的，但是完全自动并且不需要创建复杂的测试用例。

这适用于哪种测试对象呢?

适用于可以使用TPT测试的所有内容:用于模型(ASCET, Simulink, Targetlink)，用于生成或手写的C/ C++代码，用于AUTOSAR组件，ECU等等。

需求是基础—您只需单击即可导入它们。然后用我们的语言集(针对嵌入式场景进行了优化)将需求形式化。然后再点击几下，测试报告就准备好了

此功能如何帮助提高产品质量并加快测试过程?

在以下两种情况中，您可以在测试中使用形式化需求:

作为所有测试的基础。
作为现有测试的补充。
形式化需求的测试也可以与测试用例创建过程中其他类型的测试相结合，比如手动创建测试用例和测试数据生成。

无论怎么做，您都可以通过重新分配任务来支持您的测试团队，例如:经验丰富的需求经理和开发人员(而不是测试人员)可以负责形式化。

测试人员因此可以专注于典型的测试自动化主题，例如
 被测系统（SUT）的连接;
 额外的自动化和补充测试，以获得更高的代码覆盖率(也是自动的)；
 ECU的负载测试
————————————————
原文链接：https://blog.csdn.net/weixin_51954443/article/details/130293283

评论
1
打赏
  • 复制链接
  • 举报
下一条：
【CSDN直播推荐】ECU一站式测试解决方案-Test House-第三方测试认证服务4月26日周三晚8点立即预约: https://live.csdn.net/room/csdnnews/aDEXTFBi随着汽车新四化的快速推进，车载以太网相关的技术在汽车电子领域快速发展与应用，各大OEM相继在汽车上应用车载以太网SOME/IP、AVB、TSN、DDS等技术，以及以太网诊断、刷写、OTA等，与此同时，作为汽车传统总线的CAN/CANFD/LIN/Flexray总线在不需要大量数据交互的下层网络中依然占据着绝对的成本和可靠性优势。测试作为产品流程中的重要一环，也越来越被主机厂和Tire1供应商所重视。北汇信息在第三方测试认证服务方面深耕多年，基本覆盖所有国内外主流OEM的传统总线测试和以太网测试，与此同时，北汇信息也是国内多家OEM新一代架构测试规范的制定者或参与者、测试系统的提供者，我们在此过程中积累了大量的相关工程经验，并与超过150+的Tire1客户一起，完成了超过400个以上的测试服务项目。