Other Parts Discussed in Thread: HALCOGEN
主题中讨论的其他器件:SAFETI-HALCOGEN-CSP、 HALCOGEN
SafeTI-HALCoGen-CSP 工具应该能够实现以下目标吗?(?)
- 处理 HALCoGen 项目文件并根据项目设置生成适当的测试用例
- 仪器和运行测试用例(硬件上或作为单元测试)
- 生成覆盖报告
最新版本 的 SafeTI-HALCoGen-CSP 是否与 LDRA 工具兼容并能"开箱即用"正常运行?
This thread has been locked.
If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.
Other Parts Discussed in Thread: HALCOGEN
SafeTI-HALCoGen-CSP 工具应该能够实现以下目标吗?(?)
最新版本 的 SafeTI-HALCoGen-CSP 是否与 LDRA 工具兼容并能"开箱即用"正常运行?
您好!
当您安装 HALCoGen CSP 时、HALCoGen 测试自动化单元(HALCoGen Tau)也会安装到 CSP 文件夹中。 τ 是生成动态覆盖分析报告和回归报告。 τ 与 HALCoGen 支持的所有模块的单元测试用例和功能测试用例一同提供。 τ 编译中的文件 HALCoGen 生成的\source 文件夹和相应的测试文件夹。 测试文件夹可以是 UnitTest、FuncTest、也可以是用户在中添加的自定义文件夹 \test\ 文件夹。
请参阅 CSP 用户指南、其中显示了如何创建您自己的测试用例。
LDRA 单元不作为 CSP 下载的一部分提供。 要使用随附的测试自动化单元软件运行单元测试、客户需要从 LDRA 购买并安装 LDRA 单元软件。