Test Manager Parameter修改问题

无意穿堂风

在用Test Manager进行单元测试时，根据Design Verifier自动补充测试用例满足覆盖度要求，但模型中有部分开关标定量初始值来源于sldd中，在Test Manager中无法修改Paramner数值，这样始终会影响覆盖度测试结果，有没有什么办法可以修改标定量的数值进行测试。

hyowinner

对于需要标定的参数，为了测试覆盖度，可以将其设计在子系统之外，作为一个inport，这样的设计对于SLDV可以将其作为信号来处理，生成的测试用例中会有不同的数值。

无意穿堂风

hyowinner 发表于 2026-2-10 14:05
对于需要标定的参数，为了测试覆盖度，可以将其设计在子系统之外，作为一个inport，这样的设计对于SLDV可以 ...

无意穿堂风

无意穿堂风 发表于 2026-2-11 09:36

请问校长，针对原子子系统，test manager针对覆盖度不足可以自动补充添加测试用例，但是自动生成的测试用例数值具有随机性，信号的定义是在sldd中，怎么确保生成的测试用例的数值范围是常规的输入信号或者边界值，而不是系统随机的任意信号呢？

hyowinner

无意穿堂风 发表于 2026-2-11 09:54
请问校长，针对原子子系统，test manager针对覆盖度不足可以自动补充添加测试用例，但是自动生成的测试用 ...

SLDV这个工具就是随机性的生成测试用例，不能理解你的功能需求。

为了比较好的解决这个问题，有三种做法：
1. 使用形式化需求导入，在需求分解阶段就严格按照工具能够理解的格式写需求条目，然后追溯到设计的模型子系统，用专用的工具生成能够覆盖信号边界的测试用例，例如BTC的自动化测试工具，具体效果不确定。
2. 保持现在的开发模式不变，使用SLDV先生成随机测试用例，然后再在它的基础上手动补充缺失的边界用例；
3. 在2的基础上，自研缺失用例补全工具，或者可以委托校长公司来做，针对你的场景，开发针对性的补全工具。去年校长公司给一个客户开发了从Simulink自动生成  Tessy可以导入的测试用例，在Tessy自动生成的用例基础上，做补全。