matlab开发：数据变换器与仿真设计验证工具。该功能用于将Simulink设计验证程序测试用例转换成可导入TPT的格式。