Pat Canny
Last seen: 2 giorni ago
MathWorks
47 total contributions since 2018I'm the Product Manager for Simulink Design Verifier and Simulink Coverage.
I have an aerospace control systems background, but decided to get an MBA. I now get to live my dream: business and controls!
Pat Canny's Badges
Have 2 submissions connected to GitHub
Awarded to Pat Canny on 21 Apr 2021
Your submissions received 3 five star ratings
Awarded to Pat Canny on 17 Nov 2020
Contribute at least one answer each month for 3 consecutive months
Awarded to Pat Canny on 02 Aug 2020
3 of your answers have been accepted
Awarded to Pat Canny on 05 Jun 2020
Your submissions were downloaded 30 or more times in a month
Awarded to Pat Canny on 01 Nov 2019
Publish your first comment or rating
Awarded to Pat Canny on 09 Oct 2019
Publish your first submission
Awarded to Pat Canny on 09 Oct 2019
Answer 3 questions that were unanswered for more than 30 days
Awarded to Pat Canny on 15 Aug 2019
Provide your first answer ever to someone else's question
Awarded to Pat Canny on 05 Feb 2018
Submitted
Requirements-Based Testing Workflow Example
This example workflow shows users how to get started with systematic, requirements-based testing using Simulink.
17 giorni ago | 10 downloads |
Submitted
Requirements and Advanced Model Checks Getting Started
This example shows how to get started with MathWorks' Model Verification & Validation tools
17 giorni ago | 10 downloads |
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 ...
3 mesi ago | 0
| accepted
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...
6 mesi ago | 0
| accepted
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 ...
6 mesi ago | 0
How do I collect coverage for a MATLAB System block in Simulink?
MATLAB System objects can receive Decision, Condition, and MCDC when they are configured to simulate using Code Generation. In ...
7 mesi ago | 0
| accepted
Question
How do I collect coverage for a MATLAB System block in Simulink?
I was running the Generate Code for Lane Marker Detector example , which has a MATLAB System block in it, and was only able to c...
7 mesi ago | 1 answer | 0
1
answerhow does the simulink design verifier creates test case
Hi Ajay, There is an option to "extend" existing test cases with Simulink Design Verifier: https://www.mathworks.com/help/sld...
9 mesi ago | 0
| accepted
How to remove top phrases from a word cloud
The removeWords function only removes specific words. It won't remove phrases like you might expect. The word clouds are sho...
10 mesi ago | 0
| accepted
Question
How to remove top phrases from a word cloud
I have created a set of word clouds, but want to remove some common two-word phrases that appear in each. I tried using removeW...
10 mesi ago | 1 answer | 0
1
answerCumulative coverage for different test cases
(To officially answer this) For cumulative coverage workflows, you can create a test harness for the system under test using ...
11 mesi ago | 0
| accepted
How do I extract the contents of an HTML table on a web page into a MATLAB table?
You can extract the <table> content, which is all stored in a set of <td> tags, as a string array and go from there. You first ...
11 mesi ago | 1
| accepted
Question
How do I extract the contents of an HTML table on a web page into a MATLAB table?
I'd like to plot and analyze the TSA traveler data from this website: https://www.tsa.gov/coronavirus/passenger-throughput The ...
11 mesi ago | 1 answer | 0
1
answerDesign verifier :run all and produce coverage for a sldvmakeharness created model
Hi Jiahao, I recommend using sldvrun to generate tests with Design Verifier, then sldvruntest to run the tests and cvhtml to ...
11 mesi ago | 0
| accepted
Simulink Block not executed
Hi Ajay, The coverage report should show the decision coverage achieved for that block. I assume the block you are referring ...
11 mesi ago | 0
| accepted
Retrieve child coverage results from parent model
Hi Luis, Thanks for your question. You are correct in that the signal range coverage is not collected for model outputs. The...
12 mesi ago | 1
How can I input expected output values for a signal to simulink design verifier and generate tests with it?
Hi Xinkun, Thank you for your question. I recommend you use a Test Objective block, which you can use to define a desired ...
circa un anno ago | 0
Don't know why SLDV checks compatibility fail
Hi galaxy, I spoke with the SLDV Development team. This may be due to an internal error within the tool. It will require re...
oltre un anno ago | 0
How do I extract all rows of a struct field that is a character array?
First, try to avoid using character arrays. Convert them to string arrays. Second, you need to use the {curly brace syntax} to ...
oltre un anno ago | 0
| accepted
Question
How do I extract all rows of a struct field that is a character array?
I want to extract all rows of a field within a struct. The field is a character array. For sake of example, the struct is calle...
oltre un anno ago | 1 answer | 1
1
answer2019b toolbox verification
As Walter already answered, the Simulink Verification and Validation product was split into three products. The Simulink Veri...
oltre un anno ago | 0
Question
How do I check for unresolved requirements links programmatically?
I would like to check for any "bad" requirements implementation links as part of a Continuous Integration (CI) workflow. For ex...
oltre un anno ago | 1 answer | 0
1
answerHow do I check for unresolved requirements links programmatically?
This can be accomplished using the isResolved method within the slreq.Link class. You can also use the isResolvedSource and i...
oltre un anno ago | 0
| accepted
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...
oltre un anno ago | 0
| accepted
Question
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...
oltre un anno ago | 1 answer | 0
1
answerHow 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...
oltre un anno ago | 0
| accepted
Question
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...
oltre un anno ago | 1 answer | 0
1
answerSimulink 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...
oltre un anno ago | 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...
circa 2 anni ago | 0
| accepted
Question
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...
circa 2 anni ago | 1 answer | 0
1
answer
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
Select web siteYou can also select a web site from the following list:
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)