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

在测试形式化需求的主题上,我们又向前迈进了一步。
如今,已经可以使用tpt自动评估形式化需求。在tpt 19中,相应的测试数据现在可以一键生成。
这还在测试中吗?是的,但是完全自动并且不需要创建复杂的测试用例。
这适用于哪种测试对象呢?
适用于可以使用tpt测试的所有内容:用于模型(ascet, simulink, targetlink),用于生成或手写的c/ c++代码,用于autosar组件,ecu等等。
需求是基础—您只需单击即可导入它们。然后用我们的语言集(针对嵌入式场景进行了优化)将需求形式化。然后再点击几下,测试报告就准备好了
此功能如何帮助提高产品质量并加快测试过程?
在以下两种情况中,您可以在测试中使用形式化需求:
作为所有测试的基础。作为现有测试的补充。 
形式化需求的测试也可以与测试用例创建过程中其他类型的测试相结合,比如手动创建测试用例和测试数据生成。
无论怎么做,您都可以通过重新分配任务来支持您的测试团队,例如:经验丰富的需求经理和开发人员(而不是测试人员)可以负责形式化。
测试人员因此可以专注于典型的测试自动化主题,例如
被测系统(sut)的连接;额外的自动化和补充测试,以获得更高的代码覆盖率(也是自动的);ecu的负载测试 
心动不如行动,马上联系北汇信息获取tpt 19试用吧~

从有到无的比特币之路
兆驰节能照明宣布更名为兆驰光元科技 将助力推动LED业务拓展
中兴通讯与浙大网新集团签署战略合作协议共同推动5G行业应用创新
概述斩波电路和降压斩波电路的工作原理及应用
NVIDIA为 AI 辅助驾驶平台部署强大的感知深度神经网络
TPT19新特性之形式化需求:自动生成测试用例
微量氧分析仪在手套箱的应用
KAIST的新技术成功突破MicroLED显示器分辨率的限制
外媒:马斯克正式丢掉全球首富头衔
一入AI深似海:中小企业向往又恐惧?
对于高智能土壤检测仪检测的方法和步骤的详解介绍
上半年海信宽带5G前传同比增长180%,产品覆盖5G前传各种应用场景
CES上耍花把式的无人机,不创新只有死路一条
福禄克艾尔麦无线网络测试仪的性能特点及应用分析
数字电视介绍
市值超800亿元的硅片巨头沪硅产业实现盈利
液氮冷凝治理VOC废气,先进成熟治理方案解决用户面临的工业有机废气污染难题
华为造芯偷吃上游:凭什么做手机芯片?
网站安全检测对于安全系统的重要性
工信部与恩智浦携手举办“车联网时代的电子前沿技术”主题培训