Community Profile

photo

Pat Canny


MathWorks

26 2018 이후 총 참여 횟수

I'm the Product Manager for Simulink Design Verifier and Simulink Coverage.

I like to have a good time, making sure models get verified and validated efficiently. I hope you do, too!

담당자

Pat Canny's 배지

  • Personal Best Downloads Level 2
  • First Review
  • First Submission
  • Revival Level 2
  • Knowledgeable Level 1
  • First Answer

세부 정보 보기...

참여 게시물
보기 기준

제출됨


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

7일 전 | 다운로드 수: 11 |

Thumbnail

답변 있음
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...

12일 전 | 0

| 수락됨

질문


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

12일 전 | 답변 수: 1 | 0

1

답변

답변 있음
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...

13일 전 | 0

| 수락됨

질문


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

13일 전 | 답변 수: 1 | 0

1

답변

답변 있음
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...

3달 전 | 0

답변 있음
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...

4달 전 | 0

| 수락됨

질문


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

4달 전 | 답변 수: 1 | 0

1

답변

제출됨


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

7달 전 | 다운로드 수: 15 |

Thumbnail

답변 있음
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...

7달 전 | 0

| 수락됨

질문


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?

7달 전 | 답변 수: 1 | 0

1

답변

답변 있음
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...

8달 전 | 0

답변 있음
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 ...

10달 전 | 0

| 수락됨

질문


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

10달 전 | 답변 수: 1 | 0

1

답변

답변 있음
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...

10달 전 | 1

답변 있음
What is the difference between sldvruntest and slvnvruntest?`
Hi Davide, sldvruntest and slvnvruntest are functionally equivalent. I just confirmed this with MathWorks Development. sldvr...

10달 전 | 0

| 수락됨

답변 있음
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...

약 1년 전 | 0

| 수락됨

답변 있음
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...

약 1년 전 | 0

답변 있음
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 <https://www.ma...

약 1년 전 | 0

답변 있음
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...

약 1년 전 | 0

| 수락됨

질문


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

약 1년 전 | 답변 수: 1 | 0

1

답변

답변 있음
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...

1년 이상 전 | 0

답변 있음
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...

1년 이상 전 | 0

| 수락됨

질문


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

1년 이상 전 | 답변 수: 1 | 0

1

답변

답변 있음
Programming commands for Simulink design Verifier (SLDV0
Hi Arun, I like the way you think! The documentation for SLDV functions can found under "Functions" within the SLDV docume...

2년 이하 전 | 0

답변 있음
Simulink Design Error Detection shipping example "objectives are falsified - needs simulation", what to do now?
Hi Multiplexer, Great question! The purpose of running a simulation ("needs simulation") is to confirm that the objectives...

2년 이하 전 | 0