Gesendet
Requirements and Advanced Model Checks Getting Started
This example shows how to get started with MathWorks' Model Verification & Validation tools
mehr als 3 Jahre vor | 1 Download |
Beantwortet
How do I convert a set of Microsoft Word Documents into a single PDF?
One way to do to this is to leverage the docview function from MATLAB Report Generator and the mergePDFs function created by Ben...
How do I convert a set of Microsoft Word Documents into a single PDF?
One way to do to this is to leverage the docview function from MATLAB Report Generator and the mergePDFs function created by Ben...
mehr als 3 Jahre vor | 0
| akzeptiert
Frage
How do I convert a set of Microsoft Word Documents into a single PDF?
I have a set of Microsoft Word documents which I need to combine into a single PDF. How would I accomplish this in MATLAB?
mehr als 3 Jahre vor | 1 Antwort | 0
1
AntwortBeantwortet
Open coverage results explorer programmatically
Hi @Shijil, There is an undocumented means of using the cvresults function. You can pass the 'explore' option to the function...
Open coverage results explorer programmatically
Hi @Shijil, There is an undocumented means of using the cvresults function. You can pass the 'explore' option to the function...
mehr als 3 Jahre vor | 0
| akzeptiert
Beantwortet
Check if Coverage is ON/OFF
Hi @Shijil, You can use the get_param function to query the value of the 'CovEnable' parameter. This is a character array tha...
Check if Coverage is ON/OFF
Hi @Shijil, You can use the get_param function to query the value of the 'CovEnable' parameter. This is a character array tha...
mehr als 3 Jahre vor | 0
| akzeptiert
Beantwortet
MATLAB 2022a, Automatic model Coverage with model coloring and cumulative report generation is not happening.
Hi @Shijil, Those parameters in the coverage settings UI were deprecated some time ago to bring Simulink Coverage simulation ...
MATLAB 2022a, Automatic model Coverage with model coloring and cumulative report generation is not happening.
Hi @Shijil, Those parameters in the coverage settings UI were deprecated some time ago to bring Simulink Coverage simulation ...
mehr als 3 Jahre vor | 0
| akzeptiert
Beantwortet
Please I want help. This code is working and there is no error, and suddenly when the program is running, this message appears
I recommend contacting MathWorks Technical Support. This question requires more information.
Please I want help. This code is working and there is no error, and suddenly when the program is running, this message appears
I recommend contacting MathWorks Technical Support. This question requires more information.
mehr als 3 Jahre vor | 0
Beantwortet
How to use Test Sequence as a function call for a test harness
Hi @ambre allard, My colleague @Rong Mi has a great suggestion: Similar as Chart, Test Sequence also supports “send” to sc...
How to use Test Sequence as a function call for a test harness
Hi @ambre allard, My colleague @Rong Mi has a great suggestion: Similar as Chart, Test Sequence also supports “send” to sc...
mehr als 3 Jahre vor | 1
Beantwortet
Using .mat file as input to the test harness.
You can use a MAT file as a test case input using Test Manager. A test harness can be used as the "System Under Test" within a t...
Using .mat file as input to the test harness.
You can use a MAT file as a test case input using Test Manager. A test harness can be used as the "System Under Test" within a t...
mehr als 3 Jahre vor | 0
Beantwortet
Is it possible to set the animation speed of the test sequence editor via command line?
There is no specific function to change the Test Sequence animation speed, but you can use set_param with the Test Sequence bloc...
Is it possible to set the animation speed of the test sequence editor via command line?
There is no specific function to change the Test Sequence animation speed, but you can use set_param with the Test Sequence bloc...
mehr als 3 Jahre vor | 1
Beantwortet
Add Tags to Test Case Description
This can be done using a few functions: testfile = sltest.testmanager.TestFile("test_file.mldatx"); % create new test file tes...
Add Tags to Test Case Description
This can be done using a few functions: testfile = sltest.testmanager.TestFile("test_file.mldatx"); % create new test file tes...
mehr als 3 Jahre vor | 0
| akzeptiert
Frage
Add Tags to Test Case Description
I would like to use tags (e.g., "#equivalencetests") in my test case descriptions to help me find test cases more easily in the ...
mehr als 3 Jahre vor | 1 Antwort | 0
1
AntwortBeantwortet
Is there is a way to convert Signal from Signal Builder Block to Test Sequence code?
Assuming you need to use a Signal Builder instead of a Signal Editor (Signal Editor is the recommended approach; look here for a...
Is there is a way to convert Signal from Signal Builder Block to Test Sequence code?
Assuming you need to use a Signal Builder instead of a Signal Editor (Signal Editor is the recommended approach; look here for a...
mehr als 3 Jahre vor | 0
| akzeptiert
Beantwortet
function-Call Coverage and Function Coverage matlab simulink SIL
Just recording the answer here for posterity, as @Binh Huynh Thanh was able to find a solution. Please refer to this Answer for...
function-Call Coverage and Function Coverage matlab simulink SIL
Just recording the answer here for posterity, as @Binh Huynh Thanh was able to find a solution. Please refer to this Answer for...
mehr als 3 Jahre vor | 0
| akzeptiert
Beantwortet
Is there a Matlab command to change the custom attributes for requirements like status from the default Unset, so that I don't always have to do this manually via the editor?
Hi @Katharina Fast, Thank you for your question! You can use the unlock method to start, along with setAttribute. % Load ...
Is there a Matlab command to change the custom attributes for requirements like status from the default Unset, so that I don't always have to do this manually via the editor?
Hi @Katharina Fast, Thank you for your question! You can use the unlock method to start, along with setAttribute. % Load ...
mehr als 3 Jahre vor | 0
Beantwortet
How do I open the Requirements Editor in Requirements Toolbox directly to a specific requirement?
You can use the navigate method in the RMI API to do this. Here is the syntax: rmi.navigate('linktype_rmi_slreq',Requirement...
How do I open the Requirements Editor in Requirements Toolbox directly to a specific requirement?
You can use the navigate method in the RMI API to do this. Here is the syntax: rmi.navigate('linktype_rmi_slreq',Requirement...
fast 4 Jahre vor | 0
| akzeptiert
Frage
How do I open the Requirements Editor in Requirements Toolbox directly to a specific requirement?
I want to open the Requirements Editor directly to a specific requirement in a requirement set. Is there a command I could use ...
fast 4 Jahre vor | 1 Antwort | 0
1
AntwortBeantwortet
how can i include a header file in slcovmex
Hi, Try providing the -I<path> to each individual command, like so: slcovmex({'-c','timestwo.c', ipath},{'-c','task_demo.c'...
how can i include a header file in slcovmex
Hi, Try providing the -I<path> to each individual command, like so: slcovmex({'-c','timestwo.c', ipath},{'-c','task_demo.c'...
fast 4 Jahre vor | 0
| akzeptiert
Beantwortet
Set design verifiers parameters programmatically
Hi Aditi, You should not use set_param to define the MaxProcess Time. The model itself has no parameter for this. You should...
Set design verifiers parameters programmatically
Hi Aditi, You should not use set_param to define the MaxProcess Time. The model itself has no parameter for this. You should...
etwa 4 Jahre vor | 1
Beantwortet
How do I check to see if any file in a directory is locked?
There is a function in the MATLAB Report Generator utilities called "isFileLocked". Here is one way to use that function to che...
How do I check to see if any file in a directory is locked?
There is a function in the MATLAB Report Generator utilities called "isFileLocked". Here is one way to use that function to che...
mehr als 4 Jahre vor | 0
| akzeptiert
Frage
How do I check to see if any file in a directory is locked?
I consume a nightly automated query which generates over 100 files and places them in a given directory. If any of the files in...
mehr als 4 Jahre vor | 1 Antwort | 0
1
AntwortBeantwortet
Error in getting objectives of a model in simulink
Great question! This is a fairly advanced workflow. I reached out to the Simulink Design Verifier Development team here at Math...
Error in getting objectives of a model in simulink
Great question! This is a fairly advanced workflow. I reached out to the Simulink Design Verifier Development team here at Math...
mehr als 4 Jahre vor | 0
| akzeptiert
Beantwortet
Is there a way to add coverage results using external tests to the coverage obtained with tests in Simulink Test?
You can work with coverage results collected using Simulink Test and results from another testing tool (which uses Simulink Cove...
Is there a way to add coverage results using external tests to the coverage obtained with tests in Simulink Test?
You can work with coverage results collected using Simulink Test and results from another testing tool (which uses Simulink Cove...
mehr als 4 Jahre vor | 0
| akzeptiert
Frage
Is there a way to add coverage results using external tests to the coverage obtained with tests in Simulink Test?
Is there a way to add coverage results using external tests to the coverage obtained with tests in Simulink Test? Or would these...
mehr als 4 Jahre vor | 1 Antwort | 0
1
AntwortBeantwortet
How do I measure coverage of a block reset feature?
One approach is to add a Test Objective with just a “true” condition going into the reset input. Simulink Coverage measures cove...
How do I measure coverage of a block reset feature?
One approach is to add a Test Objective with just a “true” condition going into the reset input. Simulink Coverage measures cove...
mehr als 4 Jahre vor | 0
| akzeptiert
Frage
How do I measure coverage of a block reset feature?
I am using a Resettable Delay block in my design, and want to measure coverage on the reset feature (i.e., I want to know when t...
mehr als 4 Jahre vor | 1 Antwort | 0
1
AntwortBeantwortet
How can I get the error message from sldvrun when programmatically using Simulink Design Verifier?
Hi Monika, Apologies for the delay. You can use the ERRMSGS return field with sldvcompat: [STATUS, ERRMSGS] = sldvcompat(...
How can I get the error message from sldvrun when programmatically using Simulink Design Verifier?
Hi Monika, Apologies for the delay. You can use the ERRMSGS return field with sldvcompat: [STATUS, ERRMSGS] = sldvcompat(...
mehr als 4 Jahre vor | 0
| akzeptiert
Beantwortet
Why do I get dead-logic on transitions which can be excited through some test scenarios?
Hi Ilkay, Great question. We have seen similar cases to this. Here is what is happening: In each case, we have (taking ...
Why do I get dead-logic on transitions which can be excited through some test scenarios?
Hi Ilkay, Great question. We have seen similar cases to this. Here is what is happening: In each case, we have (taking ...
fast 5 Jahre vor | 0
| akzeptiert
Beantwortet
How to collect cumulative coverage for model and it's subsystem?
We added a feature in R2019b to enable "aggregated" coverage for a model and its subsystems. Does this help? https://www.mathwor...
How to collect cumulative coverage for model and it's subsystem?
We added a feature in R2019b to enable "aggregated" coverage for a model and its subsystems. Does this help? https://www.mathwor...
etwa 5 Jahre vor | 0
| akzeptiert
Beantwortet
Design Verifier: Does multiple dimensions input has great influence in test generation?
Hi Jiahao, This will likely be difficult to solve via MATLAB Answers. If you are able to share a bit more detail, could you ...
Design Verifier: Does multiple dimensions input has great influence in test generation?
Hi Jiahao, This will likely be difficult to solve via MATLAB Answers. If you are able to share a bit more detail, could you ...
mehr als 5 Jahre vor | 0