Pat Canny

MathWorks

Last seen: Today | 2018 以来アクティブ

I'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!

Statistics

All

バッジを表示

Content Feed

回答済み
How do I check to see if any file in a directory is locked?
There is a function in the MATLAB Report Generator utilities called "isFileLocked". Here is one way to use that function to che...

4ヶ月前 | 0

| 採用済み

質問

How do I check to see if any file in a directory is locked?
I consume a nightly automated query which generates over 100 files and places them in a given directory. If any of the files in...

4ヶ月前 | 1 件の回答 | 0

1

回答

回答済み
Error in getting objectives of a model in simulink
Great question! This is a fairly advanced workflow. I reached out to the Simulink Design Verifier Development team here at Math...

4ヶ月前 | 0

| 採用済み

回答済み
Is there a way to add coverage results using external tests to the coverage obtained with tests in Simulink Test?
You can work with coverage results collected using Simulink Test and results from another testing tool (which uses Simulink Cove...

5ヶ月前 | 0

| 採用済み

質問

Is there a way to add coverage results using external tests to the coverage obtained with tests in Simulink Test?
Is there a way to add coverage results using external tests to the coverage obtained with tests in Simulink Test? Or would these...

5ヶ月前 | 1 件の回答 | 0

1

回答

回答済み
How do I measure coverage of a block reset feature?
One approach is to add a Test Objective with just a “true” condition going into the reset input. Simulink Coverage measures cove...

5ヶ月前 | 0

| 採用済み

質問

How do I measure coverage of a block reset feature?
I am using a Resettable Delay block in my design, and want to measure coverage on the reset feature (i.e., I want to know when t...

5ヶ月前 | 1 件の回答 | 0

1

回答

回答済み
How can I get the error message from sldvrun when programmatically using Simulink Design Verifier?
Hi Monika, Apologies for the delay. You can use the ERRMSGS return field with sldvcompat: [STATUS, ERRMSGS] = sldvcompat(...

7ヶ月前 | 0

| 採用済み

送信済み

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

8ヶ月前 | ダウンロード 6 件 |

送信済み

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

8ヶ月前 | ダウンロード 9 件 |

回答済み
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 ...

10ヶ月前 | 0

| 採用済み

回答済み
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...

約1年前 | 0

| 採用済み

回答済み
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 ...

約1年前 | 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 ...

約1年前 | 0

| 採用済み

質問

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

約1年前 | 1 件の回答 | 0

1

回答

回答済み
how 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...

1年以上前 | 0

| 採用済み

回答済み
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...

1年以上前 | 0

| 採用済み

質問

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

1年以上前 | 1 件の回答 | 0

1

回答

回答済み
Cumulative 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 ...

1年以上前 | 0

| 採用済み

回答済み
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 ...

1年以上前 | 3

| 採用済み

質問

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

1年以上前 | 1 件の回答 | 0

1

回答

回答済み
Design 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 ...

1年以上前 | 0

| 採用済み

回答済み
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 ...

1年以上前 | 0

| 採用済み

回答済み
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...

1年以上前 | 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 ...

1年以上前 | 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...

約2年前 | 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 ...

約2年前 | 1

| 採用済み

質問

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

約2年前 | 1 件の回答 | 1

1

回答

回答済み
2019b toolbox verification
As Walter already answered, the Simulink Verification and Validation product was split into three products. The Simulink Veri...

約2年前 | 0

質問

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

約2年前 | 1 件の回答 | 0

1

回答

もっと読み込む

Pat Canny

MathWorks

Statistics

File Exchange

File Exchange

MATLAB Answers

MATLAB Answers

File Exchange

File Exchange

File Exchange

MATLAB Answers

MATLAB Answers

Content Feed

1

1

1

1

1

1

1

1