Community Profile

photo

Pat Canny

Last seen: 1日 前 2018 年からアクティブ

統計

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

バッジを表示

Content Feed

表示方法

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

4日 前 | 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?

4日 前 | 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...

18日 前 | 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)...

約1ヶ月 前 | 1

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

7ヶ月 前 | 0

| 採用済み

送信済み


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

11ヶ月 前 | ダウンロード 2 件 |

Thumbnail

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

約1年 前 | ダウンロード 16 件 |

Thumbnail

回答済み
merging testcases generated from simulink design verifier
Hi @Junhyung, I recommend trying the 'LongTestCases' Test Suite Optimization option, like so: opts = sldvoptions; opts.Auto...

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

1年以上 前 | 0

| 採用済み

送信済み


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

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

Thumbnail

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

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

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

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

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

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

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

1年以上 前 | 1

回答済み
Using .mat file as input to the test harness.
You can use a MAT file as a test case input using Test Manager. A test harness can be used as the "System Under Test" within a t...

2年弱 前 | 0

回答済み
Is it possible to set the animation speed of the test sequence editor via command line?
There is no specific function to change the Test Sequence animation speed, but you can use set_param with the Test Sequence bloc...

2年弱 前 | 1

回答済み
Add Tags to Test Case Description
This can be done using a few functions: testfile = sltest.testmanager.TestFile("test_file.mldatx"); % create new test file tes...

2年弱 前 | 0

| 採用済み

質問


Add Tags to Test Case Description
I would like to use tags (e.g., "#equivalencetests") in my test case descriptions to help me find test cases more easily in the ...

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

1

回答

回答済み
Is there is a way to convert Signal from Signal Builder Block to Test Sequence code?
Assuming you need to use a Signal Builder instead of a Signal Editor (Signal Editor is the recommended approach; look here for a...

2年弱 前 | 0

| 採用済み

回答済み
function-Call Coverage and Function Coverage matlab simulink SIL
Just recording the answer here for posterity, as @Binh Huynh Thanh was able to find a solution. Please refer to this Answer for...

2年弱 前 | 0

| 採用済み

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

2年弱 前 | 0

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

| 採用済み

質問


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年 前 | 1 件の回答 | 0

1

回答

さらに読み込む