Réponse apportée
DO-331 MATLAB Tool Qualification
Hi @Gopal - sorry for the delayed response. The DO Qualification Kit is one of our product offerings. Please reach out to our Sa...
DO-331 MATLAB Tool Qualification
Hi @Gopal - sorry for the delayed response. The DO Qualification Kit is one of our product offerings. Please reach out to our Sa...
8 mois il y a | 0
A soumis
Formal Functional Equivalence
This project provides a set of utilities for performing "formal functional equivalence," which is a static analysis-based techni...
plus d'un an il y a | 15 téléchargements |
Réponse apportée
I want to access the fields for logical and temporal assessments in Simulink Test Manager.
Hi @長谷川, We added APIs for this use case in R2022a: https://www.mathworks.com/help/sltest/release-notes.html For example, th...
I want to access the fields for logical and temporal assessments in Simulink Test Manager.
Hi @長谷川, We added APIs for this use case in R2022a: https://www.mathworks.com/help/sltest/release-notes.html For example, th...
plus d'un an il y a | 0
Réponse apportée
Retrieve requirement information linked to a test assessment step programmatically
Hi @theCook - I recommend referring to this discussion here: https://www.mathworks.com/matlabcentral/answers/2143046-how-can-i-p...
Retrieve requirement information linked to a test assessment step programmatically
Hi @theCook - I recommend referring to this discussion here: https://www.mathworks.com/matlabcentral/answers/2143046-how-can-i-p...
plus d'un an il y a | 0
Réponse apportée
System Fault Analyzer error
Hi @Aayush, Thanks for reaching out. I'm sorry you're running into this error. It appears that the block was treated as a vi...
System Fault Analyzer error
Hi @Aayush, Thanks for reaching out. I'm sorry you're running into this error. It appears that the block was treated as a vi...
plus d'un an il y a | 0
Réponse apportée
Requirements in a Requirements Table
Hi @Brennan Fox, Once you load a Requirement Set, you can use methods from slreq.ReqSet or slreq.Requirement to query or modi...
Requirements in a Requirements Table
Hi @Brennan Fox, Once you load a Requirement Set, you can use methods from slreq.ReqSet or slreq.Requirement to query or modi...
plus d'un an il y a | 1
Réponse apportée
How can I divide the index of requirements by hierarchy?
Hi @JinWook Park, You have a couple of options to do this: Programmatically using the Requirements Toolbox APIs (see example...
How can I divide the index of requirements by hierarchy?
Hi @JinWook Park, You have a couple of options to do this: Programmatically using the Requirements Toolbox APIs (see example...
presque 2 ans il y a | 0
| A accepté
Réponse apportée
Inquiry about using the source of the sltest.harness.create function depending on the MATLAB version
Hi @WJKIM, Apologies for the confusion. The Signal Builder was deprecated as a harness source (for new harnesses) in R2022b. ...
Inquiry about using the source of the sltest.harness.create function depending on the MATLAB version
Hi @WJKIM, Apologies for the confusion. The Signal Builder was deprecated as a harness source (for new harnesses) in R2022b. ...
presque 2 ans il y a | 2
| A accepté
Réponse apportée
Open Embedded Objects in Requirements Editor
To import images associated with requirements, please export the requirements as a .reqifz file Here is some reference materi...
Open Embedded Objects in Requirements Editor
To import images associated with requirements, please export the requirements as a .reqifz file Here is some reference materi...
presque 2 ans il y a | 1
| A accepté
Réponse apportée
Requirements Manager: How to extract information from the Custom Attribute Registry inside the Requirement Set class
You can get an array of CustomAttributeNames as a property of a Requirement Set, then use inspectAttribute to query the Informat...
Requirements Manager: How to extract information from the Custom Attribute Registry inside the Requirement Set class
You can get an array of CustomAttributeNames as a property of a Requirement Set, then use inspectAttribute to query the Informat...
plus de 2 ans il y a | 0
| A accepté
Réponse apportée
How do I prioritize Model Advisor check failures?
One approach is to use the “Model Advisor Configuration Editor”: https://www.mathworks.com/help/slcheck/ug/organizing-checks-and...
How do I prioritize Model Advisor check failures?
One approach is to use the “Model Advisor Configuration Editor”: https://www.mathworks.com/help/slcheck/ug/organizing-checks-and...
plus de 2 ans il y a | 0
| A accepté
Question
How do I prioritize Model Advisor check failures?
I want to resolve some Model Advisor checks first if they were to fail. How would I do that?
plus de 2 ans il y a | 1 réponse | 0
1
réponseRéponse apportée
Error when opening a test report related to stateflow
I recommend contacting MathWorks Technical Support. This question requires more information.
Error when opening a test report related to stateflow
I recommend contacting MathWorks Technical Support. This question requires more information.
plus de 2 ans il y a | 0
Réponse apportée
Unsupported data conversion when importing Excel file into Signal Editor
I recommend contacting MathWorks Technical Support. This question requires more information.
Unsupported data conversion when importing Excel file into Signal Editor
I recommend contacting MathWorks Technical Support. This question requires more information.
plus de 2 ans il y a | 0
Réponse apportée
How do I change the Font of a Test Assessment block?
Hi @Dana Schwanke, I followed up with the Simulink Test team on your question. Unfortunately, as you assumed, this is not pos...
How do I change the Font of a Test Assessment block?
Hi @Dana Schwanke, I followed up with the Simulink Test team on your question. Unfortunately, as you assumed, this is not pos...
plus de 2 ans il y a | 0
| A accepté
Réponse apportée
Using internal signals for model verification
We added Observer Reference support for Simulink Design Verifier in R2021a: https://www.mathworks.com/help/sldv/release-notes.ht...
Using internal signals for model verification
We added Observer Reference support for Simulink Design Verifier in R2021a: https://www.mathworks.com/help/sldv/release-notes.ht...
plus de 2 ans il y a | 0
| A accepté
Réponse apportée
How do I import requirements from Jama into Requirements Toolbox?
You can import ReqIF formatted requirements, which you export from Jama, in two ways: First, you can use the Import workflow ...
How do I import requirements from Jama into Requirements Toolbox?
You can import ReqIF formatted requirements, which you export from Jama, in two ways: First, you can use the Import workflow ...
plus de 2 ans il y a | 1
| A accepté
Question
How do I import requirements from Jama into Requirements Toolbox?
I have a set of requirements in Jama. How do I import them into MATLAB?
plus de 2 ans il y a | 1 réponse | 0
1
réponseRéponse apportée
Tools for generating simulink model documentation and diagrams
Hi @MP, For items 1 and 2, you may want to look into the System Design Description report. For item 4, there are Sequence Di...
Tools for generating simulink model documentation and diagrams
Hi @MP, For items 1 and 2, you may want to look into the System Design Description report. For item 4, there are Sequence Di...
plus de 2 ans il y a | 1
Réponse apportée
Encountering an error during Fault Injection
Hi @RAGHUVEER RAJESH, I am not sure if you are the same user who asked this on Reddit recently (though that is my assumption)...
Encountering an error during Fault Injection
Hi @RAGHUVEER RAJESH, I am not sure if you are the same user who asked this on Reddit recently (though that is my assumption)...
plus de 2 ans il y a | 1
Réponse apportée
Coverage in Rapid Acceleration mode
Hi @Suleyman, Unfortunately, Simulink Coverage does not currently support coverage collection using Accelerator or Rapid Acce...
Coverage in Rapid Acceleration mode
Hi @Suleyman, Unfortunately, Simulink Coverage does not currently support coverage collection using Accelerator or Rapid Acce...
environ 3 ans il y a | 0
| A accepté
Réponse apportée
How can I generate test coverage report of a simulink model using Matlab code
Hi @Mohamed, You can use the cvhtml function to generate a report. Here is a simple example from the documentation: modelNa...
How can I generate test coverage report of a simulink model using Matlab code
Hi @Mohamed, You can use the cvhtml function to generate a report. Here is a simple example from the documentation: modelNa...
plus de 3 ans il y a | 1
| A accepté
Réponse apportée
How do I edit sldv_covoutput folder path?
Hi @Junhyung, You can define the full path of the Output folder in the text field itself - it will otherwise assume the root ...
How do I edit sldv_covoutput folder path?
Hi @Junhyung, You can define the full path of the Output folder in the text field itself - it will otherwise assume the root ...
plus de 3 ans il y a | 0
Réponse apportée
How I would determine if a string contains multiple substrings?
Here is one way to do this using arrayfun: myString = "This has some words in it."; subStrings = ["This","some"]; hasAllSub...
How I would determine if a string contains multiple substrings?
Here is one way to do this using arrayfun: myString = "This has some words in it."; subStrings = ["This","some"]; hasAllSub...
plus de 3 ans il y a | 1
| A accepté
Question
How I would determine if a string contains multiple substrings?
I'd like to know if a string has multiple substrings (e.g, words) in it. For example: myString = "This has some words in it...
plus de 3 ans il y a | 4 réponses | 1
4
réponsesA soumis
Requirements-Based Testing Workflow Example
This example workflow shows you how to get started with systematic, requirements-based testing using Simulink.
plus de 3 ans il y a | 642 téléchargements |
Réponse apportée
merging testcases generated from simulink design verifier
Hi @Junhyung, I recommend trying the 'LongTestCases' Test Suite Optimization option, like so: opts = sldvoptions; opts.Auto...
merging testcases generated from simulink design verifier
Hi @Junhyung, I recommend trying the 'LongTestCases' Test Suite Optimization option, like so: opts = sldvoptions; opts.Auto...
presque 4 ans il y a | 0
| A accepté
Réponse apportée
Simulink Design verifier does not terminate.
Hi @Mirhad, My first suggestion is to consult this item in our documentation: Prove Properties in Large Models. It looks l...
Simulink Design verifier does not terminate.
Hi @Mirhad, My first suggestion is to consult this item in our documentation: Prove Properties in Large Models. It looks l...
presque 4 ans il y a | 0
| A accepté
A soumis
Requirements and Advanced Model Checks Getting Started
This example shows how to get started with MathWorks' Model Verification & Validation tools
presque 4 ans il y a | 769 téléchargements |
Réponse apportée
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...
presque 4 ans il y a | 0
| A accepté