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.
工具与软件:
1.为什么 TCF 的产生会失败?
2.构建失败的可能原因是什么?
3.当测试执行挂起时,我们应该怎么做?
5.我能够使用 HalCoGen τ 来测试除 HalCoGen 生成的文件之外的源文件吗?
1.为什么 TCF 的产生会失败?
2.构建失败的可能原因是什么?
3. 当测试执行挂起时,我们应该怎么做?
要终止测试执行、请关闭弹出窗口。 切勿通过任务管理器终止进程。 要停止执行后续的测试序列、请点击"Stop"按钮、等待运行过程完成。 在此之前请勿关闭 τ 窗口。 如果测试卡在某个环路中、则可能会发生这种情况、主要是因为功能测试选择的配置错误。
4.我能够使用 HalCoGen τ 来测试除 HalCoGen 生成的文件之外的源文件吗?
否 HALCoGen TAU 是 HALCoGen-CSP 的一部分、仅被许可测试 HALCoGen 生成的文件和支持文件