请注意,本文内容源自机器翻译,可能存在语法或其它翻译错误,仅供参考。如需获取准确内容,请参阅链接中的英语原文或自行翻译。
器件型号:RM48L952 主题中讨论的其他器件:SAFETI-HALCOGEN-CSP、 HALCOGEN
SafeTI-HALCoGen-CSP 工具应该能够实现以下目标吗?(?)
- 处理 HALCoGen 项目文件并根据项目设置生成适当的测试用例
- 仪器和运行测试用例(硬件上或作为单元测试)
- 生成覆盖报告
最新版本 的 SafeTI-HALCoGen-CSP 是否与 LDRA 工具兼容并能"开箱即用"正常运行?