Community Profile

photo

Pat Canny

Last seen: Today Active since 2018

Statistics

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

View badges

Content Feed

View by

Answered
Is there a Matlab command to change the custom attributes for requirements like status from the default Unset, so that I don't always have to do this manually via the editor?
Hi @Katharina Fast, Thank you for your question! You can use the unlock method to start, along with setAttribute. % Load ...

11 dagar ago | 0

Submitted


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

2 månader ago | 3 downloads |

Thumbnail

Submitted


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

2 månader ago | 5 downloads |

Thumbnail

Answered
How do I open the Requirements Editor in Requirements Toolbox directly to a specific requirement?
You can use the navigate method in the RMI API to do this. Here is the syntax: rmi.navigate('linktype_rmi_slreq',Requirement...

2 månader ago | 0

| accepted

Question


How do I open the Requirements Editor in Requirements Toolbox directly to a specific requirement?
I want to open the Requirements Editor directly to a specific requirement in a requirement set. Is there a command I could use ...

2 månader ago | 1 answer | 0

1

answer

Answered
how can i include a header file in slcovmex
Hi, Try providing the -I<path> to each individual command, like so: slcovmex({'-c','timestwo.c', ipath},{'-c','task_demo.c'...

3 månader ago | 0

| accepted

Answered
Set design verifiers parameters programmatically
Hi Aditi, You should not use set_param to define the MaxProcess Time. The model itself has no parameter for this. You should...

5 månader ago | 1

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

9 månader ago | 0

| accepted

Question


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

9 månader ago | 1 answer | 0

1

answer

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

10 månader ago | 0

| accepted

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

10 månader ago | 0

| accepted

Question


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

10 månader ago | 1 answer | 0

1

answer

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

11 månader ago | 0

| accepted

Question


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

11 månader ago | 1 answer | 0

1

answer

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

ungefär ett år ago | 0

| accepted

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

mer än ett år ago | 0

| accepted

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

mer än ett år ago | 0

| accepted

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

mer än ett år ago | 0

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

mer än ett år 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...

mer än ett år ago | 1 answer | 0

1

answer

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

nästan 2 år ago | 0

| accepted

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

nästan 2 år 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...

nästan 2 år ago | 1 answer | 0

1

answer

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

nästan 2 år ago | 0

| accepted

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

nästan 2 år ago | 3

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

nästan 2 år ago | 1 answer | 0

1

answer

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

nästan 2 år ago | 0

| accepted

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

nästan 2 år ago | 0

| accepted

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

nästan 2 år ago | 1

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

ungefär 2 år ago | 0

Load more