标签: 形式化需求

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