Pat Canny

Last seen: Today | 2018 年からアクティブ

Followers: 0 Following: 0

メッセージ

統計

All

Feeds

回答済み
Inquiry about using the source of the sltest.harness.create function depending on the MATLAB version
Hi @WJKIM, Apologies for the confusion. The Signal Builder was deprecated as a harness source (for new harnesses) in R2022b. ...

1日前 | 1

回答済み
Open Embedded Objects in Requirements Editor
To import images associated with requirements, please export the requirements as a .reqifz file Here is some reference materi...

1日前 | 1

| 採用済み

回答済み
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ヶ月前 | 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ヶ月前 | 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ヶ月前 | 1 件の回答 | 0

1

回答

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

5ヶ月前 | 0

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

6ヶ月前 | 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ヶ月前 | 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ヶ月前 | 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ヶ月前 | 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ヶ月前 | 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...

9ヶ月前 | 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ヶ月前 | 1

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

1年以上前 | 0

| 採用済み

送信済み

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

1年以上前 | ダウンロード 1 件 |

回答済み
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年以上前 | 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年以上前 | 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年以上前 | 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年以上前 | 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年弱前 | ダウンロード 8 件 |

回答済み
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年弱前 | 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年前 | 0

| 採用済み

送信済み

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

約2年前 | ダウンロード 2 件 |

回答済み
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年前 | 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年前 | 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年前 | 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年前 | 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年前 | 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年以上前 | 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年以上前 | 1

さらに読み込む

Pat Canny

統計

MATLAB Answers

File Exchange

MATLAB Answers

File Exchange

File Exchange

File Exchange

File Exchange

MATLAB Answers

MATLAB Answers

Feeds

1

1

4

1