模型动态测试工具新版本：TPT 20 - 亮点和新功能

 

 

概要：

 

• 模型动态测试工具TPT简介
• TPT20亮点总结：

                          - 通过自动生成的测试用例实现100%的功能覆盖率

                          - 形式化需求更强大

                          - 使用生成的负面测试发现需求中的盲点

                          - 简化设置和“Silver平台”的重大功能升级

                          - 目标代码的代码覆盖率测量

 

介绍：

- 4月初，Synopsys宣布发布TPT 20，引入了突破性的功能来提升汽车测试。使用TPT 20，几分钟内实现100%测试覆盖率，利用强大的连接进行高级仿真，并从形式化需求自动生成测试用例。体验无与伦比的效率和多功能性 - TPT 20是汽车测试的终极解决方案。

 

- 这个新版本还为高级用户提供了许多功能。例如：

                                                                      - 现在可以在项目之间共享需求或声明等项目元素。

                                                                      - 用于数据存储的TPTBIN文件，在某些配置中显著减小，使大型项目运行更加高效。

                                                                      - 当多个项目以批处理模式运行时，需求将在一个文档中报告。

                                                                      - 现在可以通过新的比较和合并视图轻松跟踪项目修改。

 

本期主讲人是来自Synopsys的Joergen Etter。他曾在柏林工业大学和密苏里大学罗拉分校学习电气工程。作为应用工程师，他已为多家汽车OEM和零部件公司在MiL、SiL、PiL、HiL以及实车测试等领域提供过咨询服务。根据他的经验，他可以确认，在开发周期的早期阶段高度集中测试工作是一种必然趋势，这将降低开发成本，在管理决策中扮演着重要角色。