Réponse apportée
Retrieve child coverage results from parent model
Hi Luis, Thanks for your question. You are correct in that the signal range coverage is not collected for model outputs. The...

environ 4 ans il y a | 1

Réponse apportée
How can I input expected output values for a signal to simulink design verifier and generate tests with it?
Hi Xinkun, Thank you for your question. I recommend you use a Test Objective block, which you can use to define a desired ...

plus de 4 ans il y a | 0

Réponse apportée
Don't know why SLDV checks compatibility fail
Hi galaxy, I spoke with the SLDV Development team. This may be due to an internal error within the tool. It will require re...

plus de 4 ans il y a | 0

Réponse apportée
How do I extract all rows of a struct field that is a character array?
First, try to avoid using character arrays. Convert them to string arrays. Second, you need to use the {curly brace syntax} to ...

plus de 4 ans il y a | 5

| A accepté

Question

How do I extract all rows of a struct field that is a character array?
I want to extract all rows of a field within a struct. The field is a character array. For sake of example, the struct is calle...

plus de 4 ans il y a | 1 réponse | 1

1

réponse

Réponse apportée
2019b toolbox verification
As Walter already answered, the Simulink Verification and Validation product was split into three products. The Simulink Veri...

plus de 4 ans il y a | 0

Question

How do I check for unresolved requirements links programmatically?
I would like to check for any "bad" requirements implementation links as part of a Continuous Integration (CI) workflow. For ex...

plus de 4 ans il y a | 1 réponse | 0

1

réponse

Réponse apportée
How do I check for unresolved requirements links programmatically?
This can be accomplished using the isResolved method within the slreq.Link class. You can also use the isResolvedSource and i...

plus de 4 ans il y a | 0

| A accepté

Réponse apportée
How do I create a coverage filter for all Simulink blocks with a given Tag?
One way to do this is to use find_system to build a list of all Simulink blocks with a given tag. Then, you can use BlockSelect...

plus de 4 ans il y a | 0

| A accepté

Question

How do I create a coverage filter for all Simulink blocks with a given Tag?
I would like to create a model coverage filter for all Simulink blocks with a given Tag. I didn't see a way to do this with the...

plus de 4 ans il y a | 1 réponse | 0

1

réponse

Réponse apportée
How do I import a test harness with an existing model reference?
One way to do this is through sltest.harness.import, which allows you to import a stand-alone model as a test harness model. If...

plus de 4 ans il y a | 0

| A accepté

Question

How do I import a test harness with an existing model reference?
I accidentally "disassociated" a test harness model with its parent model. What is the easiest way to re-associate the harness m...

plus de 4 ans il y a | 1 réponse | 0

1

réponse

Réponse apportée
Simulink Design Verifier Support
Hi Logan, Apologies for the delay in my response (I was away on leave and my MATLAB Answers RSS feed is somehow broken). Thi...

presque 5 ans il y a | 0

Réponse apportée
Why is a Simulink Check license checked out when I open a model?
This is likely due to Edit-Time Checking being enabled on the model. If the model has been saved with Edit-Time Checking enabled...

environ 5 ans il y a | 0

| A accepté

Question

Why is a Simulink Check license checked out when I open a model?
I noticed that when I open certain models, a Simulink Check license ('sl_verification_validation') is immediately checked out. I...

environ 5 ans il y a | 1 réponse | 0

1

réponse

Réponse apportée
How do I get a list of a Simulink block's parameters?
This can be accomplished using 'ObjectParameters'. Here is an example from the Simulink Documentation: load_system('vdp') Mo...

plus de 5 ans il y a | 0

| A accepté

Question

How do I get a list of a Simulink block's parameters?
I like to use get_param and set_param on model blocks - how do I get a list of a given block's parameters?

plus de 5 ans il y a | 1 réponse | 0

1

réponse

Réponse apportée
Simulink Design Verifier Expected Output missing
You should see the expected outputs in the sldvData.TestCases.expectedOutput field (from the .mat file). It should be an array o...

plus de 5 ans il y a | 0

Réponse apportée
Why am I getting "Error using bar (line 127) Input arguments must be numeric, datetime, duration or categorical"?
You are using parentheses where you should be using curly braces. To access the content of the table, use curly braces. Here's ...

plus de 5 ans il y a | 2

| A accepté

Question

Why am I getting "Error using bar (line 127) Input arguments must be numeric, datetime, duration or categorical"?
I am trying to create a stacked bar chart of revenue data by fiscal quarter using data from a table. The data I want to plot is ...

plus de 5 ans il y a | 1 réponse | 0

1

réponse

Réponse apportée
Simulink Design Verifier Test Generation Internal Error
Hi Davide, Thanks for following up on the error. Regarding your question about large model support, what do you mean by "doe...

plus de 5 ans il y a | 1

Réponse apportée
What is the difference between sldvruntest and slvnvruntest?`
Hi Davide, sldvruntest and slvnvruntest are functionally equivalent. I just confirmed this with MathWorks Development. sldvr...

plus de 5 ans il y a | 1

| A accepté

Réponse apportée
aggregate coverage data for multiple unit test models
Hi Han, That is correct. When trying to use the + operator on cvdata from different models, you will get an error. I rec...

plus de 5 ans il y a | 0

| A accepté

Réponse apportée
Simulink Design Verifier Test Generation Problem
Hi Davide, Thanks for your question. I recommend you contact MathWorks Support, as your issues may require an example mode...

plus de 5 ans il y a | 0

Réponse apportée
How to use Simulink Design Verifier on export-function models?
In R2018b, Simulink Design Verifier now supports analysis of export-function models in a more automated way. See this page in ou...

plus de 5 ans il y a | 0

Réponse apportée
Can I insert an animated GIF into a Live Script?
Yes, the Live Editor supports animated GIFs. Simply insert the GIF as an image via: Insert -> Image. The GIF should automaticall...

presque 6 ans il y a | 3

| A accepté

Question

Can I insert an animated GIF into a Live Script?
I'm creating a set of instructions in a Live Script for users to follow in order to navigate an example built as a Simulink Proj...

presque 6 ans il y a | 1 réponse | 2

1

réponse

Réponse apportée
Is it possible to buy MATLAB and Simulink as a Network Named User License and the Toolbox Simulink Check, Coverage and Requirements as a Concurrent License?
Hi Chris, Thanks for your question. I recommend that you contact MathWorks <https://www.mathworks.com/company/aboutus/cont...

environ 6 ans il y a | 0

Réponse apportée
Model Incompatibility with Simulink Design Verifier Due to "Machine-parented" data
This probably occurred because a new data object was mistakenly added in the *Model Explorer* by clicking on the *Add Data* butt...

plus de 6 ans il y a | 1

| A accepté

Question

Model Incompatibility with Simulink Design Verifier Due to "Machine-parented" data
When running *Check Subsystem Compatibility* on a Stateflow chart in my model called "controller", I get the following error: ...

plus de 6 ans il y a | 1 réponse | 0

1

réponse