社区概况

照片

帕特精明的

最后一次看到:4天前|自2018年以来活跃

统计数据

所有
  • 连续6个月
  • GitHub提交3级
  • 知识渊博的三级
  • 五星级银河2级
  • 知识渊博的2级
  • 个人最好下载2级
  • 第一次审查
  • 第一次提交
  • 复兴级别2
  • 第一个回答

视图徽章

内容提要

视图

提交


正式的功能对等
这个项目提供了一组工具来执行“正式的功能对等,”,这是一个静态分析技术……

27天前| 1 |下载

缩略图

回答
我如何生成测试覆盖率报告使用Matlab仿真软件模型的代码万博1manbetx
嗨@Mohamed,您可以使用cvhtml函数来生成报告。这是文档的一个简单的例子:modelNa……

2个月前| 1

|接受

回答
我如何编辑sldv_covoutput文件夹路径?
嗨@Junhyung,您可以定义输出文件夹的完整路径文本字段本身——它将否则假设根…

3个月前| 0

回答
我如何判断一个字符串包含多个子吗?
这是一种方法使用arrayfun: myString =“这有一些单词。”;子=(“这”,“一些”);hasAllSub……

3个月前| 0

|接受

问题


我如何判断一个字符串包含多个子吗?
我想知道如果一个字符串有多个子字符串(e。g字)。例如:myString = "这有一些单词…

3个月前| 2 | 0回答

2

答案

提交


基于需求的测试工作流程示例
这个示例工作流展示如何开始使用系统,使用仿真软件基于需求的测试。万博1manbetx

4个月前10 |下载|

缩略图

回答
合并用例生成的仿真软件设计验证器万博1manbetx
嗨@Junhyung,我建议尝试LongTestCases的测试套件优化选项,如下所示:选择= sldvoptions;opts.Auto……

5个月前| 0

|接受

回答
万博1manbetx仿真软件设计验证器不会终止。
嗨@Mirhad,我的第一个建议是参考这个项目在我们的文档:在大型模型证明属性。它看起来l…

7个月前| 0

|接受

提交


需求和先进的模型检查开始
这个例子展示了如何开始与MathWorks模型验证和验证工具

7个月前| 7下载|

缩略图

回答
我如何将一组Microsoft Word文档转换为一个PDF吗?
一个办法是利用MATLAB中的docview函数报告生成器和mergePDFs函数由本…

8个月前| 0

|接受

问题


我如何将一组Microsoft Word文档转换为一个PDF吗?
我有一组Microsoft Word文档,我需要结合成一个单一的PDF。我怎么在MATLAB完成这个吗?

8个月前| 1 | 0回答

1

回答

回答
通过编程方式打开覆盖率结果explorer
嗨@Shijil,非法使用cvresults函数的方法。你可以通过“探索”选项的功能……

8个月前| 0

|接受

回答
检查覆盖率是否开/关
嗨@Shijil,您可以使用get_param函数查询“CovEnable”参数的值。这是一个字符数组那…

8个月前| 0

|接受

回答
MATLAB 2022、自动模型覆盖模型着色和累计报告生成不发生。
嗨@Shijil,这些参数覆盖设置UI中弃用一些时间前将仿真软件覆盖模拟……万博1manbetx

8个月前| 0

|接受

回答
请我想要帮助。这段代码是如何工作的,并没有错误,突然当程序运行时,出现此消息
我建议联系MathWorks技术支持。万博1manbetx这个问题需要更多的信息。

9个月前| 0

回答
如何使用测试序列作为测试工具函数调用吗
嗨@ambre阿拉德,我的同事@Rong小姐有一个很好的建议:如表类似,测试序列还支持“发送”sc……万博1manbetx

10个月前| 1

回答
测试工具使用.mat文件作为输入。
您可以使用一个垫子文件作为测试用例的输入使用测试经理。可以使用测试工具的“系统测试”在一个t…

11个月前| 0

回答
是否可以设置动画的速度通过命令行测试序列编辑器吗?
没有特定的函数改变测试序列动画速度,但是您可以使用与测试序列set_param集团……

12个月前| 1

回答
标签添加到测试用例描述
这可以通过使用一些功能:测试文件= sltest.testmanager.TestFile (“test_file.mldatx”);%创建新的测试文件测试工程师…

12个月前| 0

|接受

问题


标签添加到测试用例描述
我想使用标签(例如,“# equivalencetests”)在我的测试用例描述更容易帮我找到测试用例的……

12个月前| 1 | 0回答

1

回答

回答
有一种方法将信号从信号生成器代码块来测试序列?
假设您需要使用一个信号的方式而非一个信号编辑器(信号编辑推荐的方法;看这里…

12个月前| 0

|接受

回答
函数调用matlab仿真软件SIL覆盖率和功能覆盖率万博1manbetx
为后代记录答案,@Binh Huynh Thanh能够找到解决的办法。请参考这个答案……

12个月前| 0

|接受

回答
有Matlab命令改变等需求自定义属性状态的默认设置,所以我并不总是这手动通过编辑器有什么关系呢?
嗨@Katharina快,谢谢你的问题!您可以使用解锁方法开始,连同setAttribute。%加载…

1年前| 0

回答
我怎么打开需求编辑需求工具箱直接到一个特定的要求吗?
您可以使用RMI API中的导航方法。这是语法:rmi.navigate (“linktype_rmi_slreq”,要求…

1年前| 0

|接受

问题


我怎么打开需求编辑需求工具箱直接到一个特定的要求吗?
我想打开要求编辑器直接到一个特定的需求在需求集。有一个命令我可以使用…

1年前| 1 | 0回答

1

回答

回答
我怎么能在slcovmex包含一个头文件吗
嗨,尝试为每个人提供- i <路径>命令,如下所示:slcovmex ({' c ', ' timestwo。c’, ipath}, {“c”,“task_demo.c”……

1年前| 0

|接受

回答
以编程方式设置设计验证参数
嗨Aditi,你不应该使用set_param定义MaxProcess时间。模型本身没有参数。你应该……

1年前| 1

回答
我怎么检查目录中的任何文件被锁定?
有一个函数在MATLAB报告生成器工具叫做“isFileLocked”。这是一种使用该函数来切……

2年前| 0

|接受

问题


我怎么检查目录中的任何文件被锁定?
我使用一个夜间自动查询生成超过100个文件,并将它们在一个特定的目录中。如果任何文件…

2年前| 1 | 0回答

1

回答

回答
错误在获得目标模型的仿真软件万博1manbetx
好问题!这是一个相当先进的工作流。我伸手到仿真软件设计验证人开发团队在数学…万博1manbetx

2年前| 0

|接受

加载更多