Feeds
已回答
Whether to support the generation of requirements → model detailed documentation, non-model → requirements detailed documentation
Hi, Thanks for your question! You are correct that there are two ways of producing reports related to requirements. You can ...
Whether to support the generation of requirements → model detailed documentation, non-model → requirements detailed documentation
Hi, Thanks for your question! You are correct that there are two ways of producing reports related to requirements. You can ...
2 years 前 | 0
已回答
ReqIF import error: Type 'reqifxhtml:div' has not been found in the registry
Hi Gordon, I can help you with this. I just reviewed our source code and confirmed that the error you see inidicates the org...
ReqIF import error: Type 'reqifxhtml:div' has not been found in the registry
Hi Gordon, I can help you with this. I just reviewed our source code and confirmed that the error you see inidicates the org...
5 years 前 | 1
| 已接受
已回答
Simulink Project Opens Multiple Copies when Simulink Design Verifier is Run
Hi Ahmed, To better help you with this, can you answer a some questions about your environment: What is the release of MATLAB...
Simulink Project Opens Multiple Copies when Simulink Design Verifier is Run
Hi Ahmed, To better help you with this, can you answer a some questions about your environment: What is the release of MATLAB...
5 years 前 | 0
已回答
Programmatically capture baselines for iterations
Hi Christian, Thanks for your question, I can help with this. Design Verifier has a configuration option that results i...
Programmatically capture baselines for iterations
Hi Christian, Thanks for your question, I can help with this. Design Verifier has a configuration option that results i...
6 years 前 | 1
| 已接受
已回答
Coverage filter for model or code
Unfortunately, as of R2018a, it is not currently possible to filter parts of the generated code from coverage analysis. We plan...
Coverage filter for model or code
Unfortunately, as of R2018a, it is not currently possible to filter parts of the generated code from coverage analysis. We plan...
6 years 前 | 0
已回答
Simulink Design Verifier is not creating test cases.
Based on the screenshot of your status window, I see that all of the test objectives have are undecided after just 1 second of a...
Simulink Design Verifier is not creating test cases.
Based on the screenshot of your status window, I see that all of the test objectives have are undecided after just 1 second of a...
6 years 前 | 0
已回答
Simulink Design Verifier has exceeded the maximum processing time
While you can definitely adjust the analysis time to a larger value, you might also want to investigate your design and analysis...
Simulink Design Verifier has exceeded the maximum processing time
While you can definitely adjust the analysis time to a larger value, you might also want to investigate your design and analysis...
6 years 前 | 0
已回答
problem with simulink design verifier
Thanks for your question. Simulink Design Verifier does not support models with InitFcn callbacks because in some rare case...
problem with simulink design verifier
Thanks for your question. Simulink Design Verifier does not support models with InitFcn callbacks because in some rare case...
7 years 前 | 0