北汇信息

摘要： 在测试形式化需求的主题上，我们又向前迈进了一步。 如今，已经可以使用TPT自动评估形式化需求。在TPT 19中，相应的测试数据现在可以一键生成。 这还在测试中吗?是的，但是完全自动并且不需要创建复杂的测试用例。 这适用于哪种测试对象呢? 适用于可以使用TPT测试的所有内容:用于模型(ASCET, S 阅读全文