photo

Pat Canny

Last seen: Today |  自 2018 起处于活动状态

Followers: 0   Following: 0

消息

统计学

All
  • Knowledgeable Level 4
  • 5-Star Galaxy Level 3
  • 6 Month Streak
  • GitHub Submissions Level 3
  • Personal Best Downloads Level 2
  • First Review
  • First Submission
  • Revival Level 2
  • First Answer

查看徽章

Feeds

排序方式:

已回答
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...

5 months 前 | 0

| 已接受

已回答
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...

5 months 前 | 0

| 已接受

提问


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?

5 months 前 | 1 个回答 | 0

1

个回答

已回答
Error when opening a test report related to stateflow
I recommend contacting MathWorks Technical Support. This question requires more information.

5 months 前 | 0

已回答
Unsupported data conversion when importing Excel file into Signal Editor
I recommend contacting MathWorks Technical Support. This question requires more information.

6 months 前 | 0

已回答
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...

7 months 前 | 0

| 已接受

已回答
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...

8 months 前 | 0

| 已接受

已回答
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 ...

8 months 前 | 1

| 已接受

提问


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?

8 months 前 | 1 个回答 | 0

1

个回答

已回答
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...

8 months 前 | 1

已回答
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)...

9 months 前 | 1

已回答
Coverage in Rapid Acceleration mode
Hi @Suleyman, Unfortunately, Simulink Coverage does not currently support coverage collection using Accelerator or Rapid Acce...

1 year 前 | 0

| 已接受

已提交


Formal Functional Equivalence
This project provides a set of utilities for performing "formal functional equivalence," which is a static analysis-based techni...

1 year 前 | 1 次下载 |

Thumbnail

已回答
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...

1 year 前 | 1

| 已接受

已回答
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 ...

1 year 前 | 0

已回答
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...

1 year 前 | 0

| 已接受

提问


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...

1 year 前 | 4 个回答 | 0

4

个回答

已提交


Requirements-Based Testing Workflow Example
This example workflow shows you how to get started with systematic, requirements-based testing using Simulink.

2 years 前 | 8 次下载 |

Thumbnail

已回答
merging testcases generated from simulink design verifier
Hi @Junhyung, I recommend trying the 'LongTestCases' Test Suite Optimization option, like so: opts = sldvoptions; opts.Auto...

2 years 前 | 0

| 已接受

已回答
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...

2 years 前 | 0

| 已接受

已提交


Requirements and Advanced Model Checks Getting Started
This example shows how to get started with MathWorks' Model Verification & Validation tools

2 years 前 | 2 次下载 |

Thumbnail

已回答
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...

2 years 前 | 0

| 已接受

提问


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?

2 years 前 | 1 个回答 | 0

1

个回答

已回答
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...

2 years 前 | 0

| 已接受

已回答
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...

2 years 前 | 0

| 已接受

已回答
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 ...

2 years 前 | 0

| 已接受

已回答
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.

2 years 前 | 0

已回答
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...

2 years 前 | 1

已回答
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...

2 years 前 | 0

已回答
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...

2 years 前 | 1

加载更多