JP7415593B2 - コード検査ツール、コード検査方法 - Google Patents
コード検査ツール、コード検査方法 Download PDFInfo
- Publication number
- JP7415593B2 JP7415593B2 JP2020009977A JP2020009977A JP7415593B2 JP 7415593 B2 JP7415593 B2 JP 7415593B2 JP 2020009977 A JP2020009977 A JP 2020009977A JP 2020009977 A JP2020009977 A JP 2020009977A JP 7415593 B2 JP7415593 B2 JP 7415593B2
- Authority
- JP
- Japan
- Prior art keywords
- block
- code
- target
- simulation
- model
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000007689 inspection Methods 0.000 title claims description 91
- 238000000034 method Methods 0.000 title claims description 61
- 238000004088 simulation Methods 0.000 claims description 86
- 238000012360 testing method Methods 0.000 claims description 41
- 230000008569 process Effects 0.000 claims description 39
- 238000012545 processing Methods 0.000 claims description 29
- 238000000605 extraction Methods 0.000 claims description 28
- 239000000284 extract Substances 0.000 claims description 16
- 239000013598 vector Substances 0.000 claims description 7
- 230000000295 complement effect Effects 0.000 claims description 3
- 238000011161 development Methods 0.000 description 19
- 230000018109 developmental process Effects 0.000 description 19
- 230000006399 behavior Effects 0.000 description 9
- 230000000694 effects Effects 0.000 description 5
- 230000006870 function Effects 0.000 description 5
- 238000010586 diagram Methods 0.000 description 4
- 238000004590 computer program Methods 0.000 description 2
- 230000007257 malfunction Effects 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 230000008859 change Effects 0.000 description 1
- 230000012447 hatching Effects 0.000 description 1
- 239000004973 liquid crystal related substance Substances 0.000 description 1
- 230000004044 response Effects 0.000 description 1
- 238000012552 review Methods 0.000 description 1
- 230000033772 system development Effects 0.000 description 1
- 238000012795 verification Methods 0.000 description 1
Images
Landscapes
- Debugging And Monitoring (AREA)
Description
前述のように、モデル8には、自動コード生成に対応していない対象ブロック10が混在することがある。そして、モデルベース開発では、対象ブロック10が含まれているか否かに関わらず、モデル8に基づいて生成された最終コード12が、モデル8と同様に動作することが必要になる。
コード検査ツール1は、処理内容を表すモデル8に含まれているブロック9のうち自動コード生成に対応していないものを検査の対象である対象ブロック10として抽出するブロック抽出部1bと、モデル8から生成された最終コード12のうち対象ブロック10に対応する部分を対象コードブロック11aとして抽出する抽出部1dと、抽出した対象ブロック10および対象コードブロック11aをそれぞれ単独でシミュレーションするシミュレーション部1fと、対象ブロック10のモデルシミュレーション結果15と、対象コードブロック11aのコードシミュレーション結果18とを比較することにより、対象ブロック10の動作と対象コードブロック11aの動作との一致性を判定する判定部1gとを備える。
Claims (10)
- 処理内容を表すモデル(8)に含まれているブロック(9)のうち自動コード生成に対応しておらず、ユーザが手動でコーディングしたハンドコードが対応付けられるブロックを、検査の対象である対象ブロック(10)として特定するとともに、特定した前記対象ブロックを抽出するブロック抽出部(1b)と、
前記モデルから生成された最終コード(12)のうち前記対象ブロックに対応する部分を、検査の対象である対象コードブロック(11a)として特定するとともに、特定した前記対象コードブロックを抽出する抽出部(1d)と、
抽出した前記対象ブロックおよび前記対象コードブロックをそれぞれ単独でシミュレーションするシミュレーション部(1f)と、
前記対象ブロックのシミュレーション結果(15)と、前記対象コードブロックのシミュレーション結果(18)とを比較することにより、前記対象ブロックの動作と前記対象コードブロックの動作との一致性を判定する判定部(1g)と、を備え、
前記モデルに含まれているブロックは、前記モデルとして記述される際に自動コード生成を利用するか否かをプロパティとして設定され、
前記ブロック抽出部は、各ブロックのプロパティを参照することにより前記対象ブロックを特定するコード検査ツール。 - 前記対象ブロックに、単独でシミュレーションするためのテストデータを入力する入力ポート(14)と、シミュレーション結果を出力する出力ポート(16)とを追加するポート追加部(1c)を備える請求項1記載のコード検査ツール。
- 前記対象コードブロックに、単独でシミュレーションするためのテストデータを入力する入力(17)と、シミュレーション結果を出力する出力(19)とを追加する追加部(1e)を備える請求項1または2記載のコード検査ツール。
- 前記モデルの全体に対してシミュレーションを行い、当該シミュレーション時に前記対象ブロックに入力されたデータを、前記テストデータとして生成するデータ生成部(1h)を備える請求項2または3記載のコード検査ツール。
- 前記対象コードブロックに対するテストベクタ(20)を生成することにより、前記テストデータを補完するデータ補完部(1i)を備える請求項2から4のいずれか一項記載のコード検査ツール。
- コード検査ツールによって実行されるコード検査方法であって、
処理内容を表すモデル(8)に含まれているブロック(9)のうち自動コード生成に対応しておらず、ユーザが手動でコーディングしたハンドコードが対応付けられるブロックを、検査の対象である対象ブロック(10)として特定するとともに、特定した前記対象ブロックを抽出するブロック抽出処理(S1)と、
前記モデルから生成された最終コード(12)のうち前記対象ブロックに対応する部分を、検査の対象である対象コードブロック(11a)として特定するとともに、特定した前記対象コードブロックを抽出するコード抽出処理(S4)と、
抽出した前記対象ブロックおよび前記対象コードブロックをそれぞれ単独でシミュレーションするシミュレーション処理(S7)と、
前記対象ブロックのシミュレーション結果(15)と、前記対象コードブロックのシミュレーション結果(18)とを比較することにより、前記対象ブロックの動作と前記対象コードブロックの動作との一致性を判定する判定処理(S9)と、を実行し、
前記モデルに含まれているブロックは、前記モデルとして記述される際に自動コード生成を利用するか否かをプロパティとして設定され、
前記ブロック抽出処理は、各ブロックのプロパティを参照することにより前記対象ブロックを特定するコード検査方法。 - 前記対象ブロックに、単独でシミュレーションするためのテストデータを入力する入力ポート(14)と、シミュレーション結果を出力する出力ポート(16)とを追加するポート追加処理(S2)を実行する請求項6記載のコード検査方法。
- 前記対象コードブロックに、単独でシミュレーションするためのテストデータを入力する入力(17)と、シミュレーション結果を出力する出力(19)とを追加する追加処理(S5)を実行する請求項6または7記載のコード検査方法。
- 前記モデルの全体に対してシミュレーションを行い、当該シミュレーション時に前記対象ブロックに入力されたデータを、前記テストデータとして生成するデータ生成処理(S6)を実行する請求項7または8記載のコード検査方法。
- 前記対象コードブロックに対するテストベクタ(20)を生成することにより、前記テストデータを補完するデータ補完処理(S12)を実行する請求項7から9のいずれか一項記載のコード検査方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2020009977A JP7415593B2 (ja) | 2020-01-24 | 2020-01-24 | コード検査ツール、コード検査方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2020009977A JP7415593B2 (ja) | 2020-01-24 | 2020-01-24 | コード検査ツール、コード検査方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2021117666A JP2021117666A (ja) | 2021-08-10 |
JP7415593B2 true JP7415593B2 (ja) | 2024-01-17 |
Family
ID=77174913
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2020009977A Active JP7415593B2 (ja) | 2020-01-24 | 2020-01-24 | コード検査ツール、コード検査方法 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP7415593B2 (ja) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2024004174A1 (ja) * | 2022-06-30 | 2024-01-04 | 楽天モバイル株式会社 | テストマシンでの自動的なプロファイルの生成 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2005352670A (ja) | 2004-06-09 | 2005-12-22 | Denso Corp | シミュレーション装置及び検査装置 |
JP2006024006A (ja) | 2004-07-08 | 2006-01-26 | Denso Corp | テストケース生成装置、テストケース生成プログラム、モデルベース開発プログラム、ソースコード生成妥当性診断装置、ソースコード生成妥当性診断プログラム、およびモデルベース開発方法。 |
JP2012198804A (ja) | 2011-03-22 | 2012-10-18 | Denso Corp | 設計支援装置、設計支援プログラム |
-
2020
- 2020-01-24 JP JP2020009977A patent/JP7415593B2/ja active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2005352670A (ja) | 2004-06-09 | 2005-12-22 | Denso Corp | シミュレーション装置及び検査装置 |
JP2006024006A (ja) | 2004-07-08 | 2006-01-26 | Denso Corp | テストケース生成装置、テストケース生成プログラム、モデルベース開発プログラム、ソースコード生成妥当性診断装置、ソースコード生成妥当性診断プログラム、およびモデルベース開発方法。 |
JP2012198804A (ja) | 2011-03-22 | 2012-10-18 | Denso Corp | 設計支援装置、設計支援プログラム |
Also Published As
Publication number | Publication date |
---|---|
JP2021117666A (ja) | 2021-08-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US6732338B2 (en) | Method for comprehensively verifying design rule checking runsets | |
JP6995451B2 (ja) | 回路適正化装置及び回路適正化方法 | |
JP2006244073A (ja) | 半導体設計装置 | |
US11507483B2 (en) | Method for analyzing a physical system architecture of a safety-critical system | |
US20050223295A1 (en) | Method for the creation of sequences for testing software | |
US5901073A (en) | Method for detecting errors in models through restriction | |
JP2006024006A (ja) | テストケース生成装置、テストケース生成プログラム、モデルベース開発プログラム、ソースコード生成妥当性診断装置、ソースコード生成妥当性診断プログラム、およびモデルベース開発方法。 | |
US20110185332A1 (en) | Model based simulation and optimization methodology for design checking | |
JP7415593B2 (ja) | コード検査ツール、コード検査方法 | |
US10877471B2 (en) | Method and apparatus for generating a fault tree for a failure mode of a complex system | |
JP2000066919A (ja) | 制約有効性チェック | |
JP6567212B2 (ja) | 等価性検証装置および等価性検証プログラム | |
US9239770B2 (en) | Apparatus and method for extracting restriction condition | |
US20220092476A1 (en) | Dependence relationship detection device and dependence relationship detection method | |
CN111581101A (zh) | 软件模型的测试方法、装置、设备和介质 | |
US7681156B2 (en) | Transmission circuit simulator and transmission circuit simulation program storage medium | |
CN109144806B (zh) | 一种寄存器传输级电路的功能验证方法及装置 | |
JP2008134808A (ja) | 論理回路の機能検証装置、機能カバレッジアイテムの検証方法及びプログラム | |
JP2020144509A (ja) | 自動コード生成方法、及び自動コード生成プログラム | |
JP3028589B2 (ja) | 論理回路検証装置のエラー検出制御方法 | |
CN116991706B (zh) | 车辆自动化测试方法、装置、设备及存储介质 | |
JP2009181180A (ja) | プログラム生成ツールの検査プログラムおよびプログラム生成ツールの検査方法ならびにプログラム生成ツールの検査装置 | |
JP7228374B2 (ja) | シミュレーションシステム及びシミュレート方法 | |
JP2010044694A (ja) | テストプログラム評価装置 | |
JP4971381B2 (ja) | 動作試験装置及び動作試験方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20220413 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20230220 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20230228 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20230406 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20230711 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20230821 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20231205 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20231218 |
|
R151 | Written notification of patent or utility model registration |
Ref document number: 7415593 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R151 |