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