JP2021117666A - コード検査ツール、コード検査方法 - Google Patents

Abstract

【課題】モデルベース開発における最終コードの品質を容易に確保することができるコード検査ツール、コード検査方法を提供する。【解決手段】コード検査ツール１は、モデル８に含まれているブロック９のうち自動コード生成に対応していないものを対象ブロック１０として抽出するブロック抽出部１ｂと、モデル８から生成された最終コード１２のうち対象ブロック１０に対応する部分を対象コードブロック１１ａとして抽出する抽出部１ｄと、抽出した対象ブロック１０および対象コードブロック１１ａをそれぞれ単独でシミュレーションするシミュレーション部１ｆと、対象ブロック１０のモデルシミュレーション結果１５と、対象コードブロック１１ａのコードシミュレーション結果１８とを比較することにより、対象ブロック１０の動作と対象コードブロック１１ａの動作との一致性を判定する判定部１ｇとを備える。【選択図】図１

Description

本開示は、コード検査ツール、コード検査方法に関する。

従来、処理内容を表すモデルを用いてシステム開発を行うモデルベース開発が知られている。このようなモデルベース開発では、例えば特許文献１に開示されているように、モデルからコードを自動で生成する自動コード生成の手法が用いられることがある。

特開２０１６−１１５１８９号公報

ところで、モデルベース開発では、一般的に、処理単位となるブロックを複数組み合わせることによってモデルが記述される。このとき、このモデルには、自動コード生成に対応しているブロックと、例えば独自の処理が必要になるなどの理由により自動コード生成に対応していないブロックとが混在することがある。なお、自動コード生成に対応していないブロックには、手動でコーディングされたハンドコートが対応付けられる。

そして、モデルベース開発では、モデルに基づいて生成された最終コードが、仕様としてのモデルと同様に動作すること、つまりは、最終コードの品質の確保が必要になる。そのため、モデルと最終コードの双方をそれぞれシミュレーションすることにより、モデル全体での動作と最終コード全体での動作とが一致しているかの検査が行われている。

しかしながら、従来の検査では、モデル全体での動作と最終コード全体での動作とが一致しなかった場合、問題の箇所を特定することが困難であるという問題があった。これは、システムの規模にもよるものの最終コードは例えば数千行を超えることがあり、その最終コードから問題の箇所を特定することに多大な労力や時間が必要になるためである。

本開示は、上記事情に鑑みてなされたものであり、その目的は、モデルベース開発における最終コードの品質を容易に確保することができるコード検査ツール、コード検査方法を提供することにある。

上記目的を達成するために、本開示のコード検査ツール（１）は、処理内容を表すモデル（８）に含まれているブロック（９）のうち自動コード生成に対応していないブロックを、検査の対象である対象ブロック（１０）として抽出するブロック抽出部（１ｂ）と、モデルから生成された最終コード（１２）のうち対象ブロックに対応する部分を、検査の対象である対象コードブロック（１１ａ）として抽出する抽出部（１ｄ）と、抽出した対象ブロックおよび対象コードブロックをそれぞれ単独でシミュレーションするシミュレーション部（１ｆ）と、対象ブロックのシミュレーション結果（１５）と、対象コードブロックのシミュレーション結果（１８）とを比較することにより、対象ブロックの動作と対象コードブロックの動作との一致性を判定する判定部（１ｇ）と、を備える。

このように対象ブロックを単独で検査することにより、自動コード生成に比べて相対的に信頼性が低いと考えられるハンドコードの動作が担保され、その状態で最終コードを生成することが可能となることから、最終コードの品質を容易に確保することができる。

コード検査ツールの構成を示す図 モデルベース開発の工程の概略、およびその問題点を説明する図 入力および出力を追加する態様を模式的に示す図 コード検査ツールによる検査処理の流れを示す図

以下、実施形態について図面を参照しながら説明する。図１に示すように、本実施形態のコード検査ツール１は、モデルベース開発に利用されるものであり、検査装置２で実行されるプログラムによってソフトウェアで実現されている。この検査装置２は、いわゆるパーソナルコンピュータやワークステーションなどのコンピュータで構成されており、制御部３および記憶部４などを有している。

制御部３は、図示しないＣＰＵ、読出し専用のメモリであるＲＯＭ、および読み書き可能なメモリであるＲＡＭなどを備えている。そして、制御部３は、検査装置２が起動されると、記憶部４に記憶されているオペレーティングシステムやドライバソフトウェアなどの各種のプログラムを所定の順序で読み出して実行することにより検査装置２の全体を制御する。また、制御部３は、本実施形態に関連して、コード検査ツール１のプログラムおよびモデルベース開発用の開発ツール５のプログラムを記憶部４から読み出して実行する。ただし、制御部３が実行するプログラムはこれらに限定されない。

この検査装置２には、表示装置６および入力装置７が接続されている。表示装置６は、例えば液晶ディスプレイで構成されており、制御部３から受けた映像信号をユーザに対して映像として表示する。入力装置７は、例えばキーボードやマウスで構成されており、ユーザの操作に応じた信号を制御部３に出力する。本実施形態の検査装置２は、モデルベース開発用の開発ツール５をインストールしたコンピュータで兼用している。

ここで、コード検査ツール１の作用を理解しやすくするために、まずモデルベース開発の概略について説明する。モデルベース開発では、図２にモデル生成工程として示すように、対象となるシステムの処理内容を表す仕様に相当するモデル８は、処理単位となる複数のブロック９を組み合わせることによって記述されている。

このとき、モデル８には、開発ツール５よる自動的にコードを生成する自動コード生成に対応しているブロック９と、例えば独自の処理が必要になるなどの理由により自動コードに対応しておらず、本実施形態におけるコード検査ツール１の検査対象となる対象ブロック１０とが混在することがある。この図２では、対象ブロック１０をハッチングを付すことにより識別して示している。ただし、図２に示すモデル８は一例であり、例えば対象ブロック１０が複数存在するモデル８を検査対象とすることができる。

このような対象ブロック１０は、自動コード生成に対応していないことから、図２に対応付け工程として示すように、ユーザが手動でコーディングして例えば記憶部４に記憶されているハンドコード１１が対応付けられる。ハンドコード１１の対応付けが完了すると、図２にコード化工程として示すように、モデル８全体をコード化して最終コード１２が生成される。このような流れでモデルベース開発は概略として行われる。

さて、コード検査ツール１は、モデルベース開発において、自動コード生成に対応していない対象ブロック１０を検査する。このコード検査ツール１は、図１に示すように、コード生成部１ａ、ブロック抽出部１ｂ、ポート追加部１ｃ、抽出部１ｄ、追加部１ｅ、シミュレーション部１ｆ、判定部１ｇ、データ生成部１ｈ、およびデータ補完部１ｉを備えている。

コード生成部１ａは、モデル８から最終コード１２を生成する。このとき、コード生成部１ａは、自動コード生成に対応しているブロック９については自動でコードを生成し、対象ブロック１０についてはハンドコード１１を対応付けることにより最終コード１２を生成する。

ブロック抽出部１ｂは、図３に示すように、モデル８に含まれているブロック９のうち自動コード生成に対応していない対象ブロック１０を特定して抽出する。このとき、ブロック抽出部１ｂは、対象ブロック１０を単独でシミュレーションできるようにその機能ごと抽出する。なお、モデル８に含まれているブロック９は、モデル８として記述する際に、自動コード生成を利用するか否か、ならびに、自動コード生成を利用しない場合にはどのコードをそのブロック９に対応付けるかをプロパティとして設定可能になっている。そのため、ブロック抽出部１ｂは、各ブロック９のプロパティを参照することにより、自動コード生成を利用しないブロック９、すなわち、自動コード生成に対応していないブロック９を、対象ブロック１０として特定および抽出することができる。

ポート追加部１ｃは、ブロック抽出部１ｂで抽出された対象ブロック１０に対して、シミュレーション用のテストデータ１３を入力するための入力ポート１４と、対象ブロック１０のモデルシミュレーション結果１５を出力するための出力ポート１６とを追加する。これにより、対象ブロック１０を単独でシミュレーションすることが可能になる。このとき、各ポートは、モデル８を生成時に各ブロック９を接続するのと同様の処理を行うことにより対象ブロック１０に対してデータの入出力が可能な状態に接続される。

抽出部１ｄは、最終コード１２から、対象ブロック１０に対応する部分を対象コードブロック１１ａとして抽出する。なお、最終コード１２は、各ブロック９に付されている名称などを元に関数が生成される。そのため、抽出部１ｄは、各関数の名称を参照することにより、最終コード１２の中から対象コードブロック１１ａを特定および抽出することができる。

追加部１ｅは、抽出した対象コードブロック１１ａに、シミュレーション用のテストデータ１３を入力するための入力１７と、コードシミュレーション結果１８を出力するための出力１９とを追加する。これにより、対象ブロック１０に対応する対象コードブロック１１ａを単独でシミュレーションすることが可能になる。

シミュレーション部１ｆは、対象ブロック１０および対象コードブロック１１ａをシミュレーションする。このとき、シミュレーション部１ｆは、対象ブロック１０に対してはモデルシミュレーションを行い、対象コードブロック１１ａに対してはコードシミュレーションを行う。本実施形態では、モデルシミュレーションとしてＭＩＬＳ(Model In the Loop Simulation)、コードシミュレーションとしてＨＩＬＳ（Hardware In the Loop. Simulation）またはＰＩＬＳ（Processor in the loop Simulation）のように、モデルベース開発において広く利用されている手法を採用している。

判定部１ｇは、対象ブロック１０に対するモデルシミュレーション結果１５と、対象コードブロック１１ａに対するコードシミュレーション結果１８とを比較することにより、対象ブロック１０単独での動作と対象コードブロック１１ａ単独での動作とが一致するか否かを判定する。

データ生成部１ｈは、モデル８の全体に対してモデルシミュレーションを行い、そのモデルシミュレーション時に対象ブロック１０に入力されるデータを、対象ブロック１０および対象コードブロック１１ａに入力するためのテストデータ１３として生成する。

データ補完部１ｉは、シミュレーション時のカバレッジが不足している場合に、対象コードブロック１１ａに対して自動テスト処理（ＡＴＧ：Auto Test Generation）を行ってテストベクタ２０を生成することにより、シミュレーション用のテストデータ１３を補完する。

次に、上記した構成の作用について説明する。
前述のように、モデル８には、自動コード生成に対応していない対象ブロック１０が混在することがある。そして、モデルベース開発では、対象ブロック１０が含まれているか否かに関わらず、モデル８に基づいて生成された最終コード１２が、モデル８と同様に動作することが必要になる。

さて、自動コード生成されたコードは、十分な検証や実績に基づいて生成されるものであることから、ハンドコード１１と比較して相対的に信頼性が高いと考えられる。そのため、仮に最終コード１２においてモデル８の動作と異なるといった不具合が発生した場合には、ハンドコード１１に不具合がある可能性が高いと考えられる。

しかし、最終コード１２は、システムの規模にもよるものの、例えば数千行を超えることがある。そのため、最終コード１２の中から問題の箇所を特定することが困難であり、最終コード１２の品質を確保するために多大な労力が必要となっていた。

そこで、コード検査ツール１は、図４に示す検査処理を行うことにより、最終コード１２の品質を確保しつつ、そのための労力を削減している。なお、図４に示す検査処理は上記した各部によって行われるものであるが、説明の簡略化のためにコード検査ツール１を主体にして説明する。また、モデル８は、検査処理を開始する前の時点で開発ツール５によって生成されているものとする。

コード検査ツール１は、ステップＳ１において、モデル８から対象ブロック１０を抽出する。この処理は、ブロック抽出部１ｂによって行われるものであり、ブロック抽出処理に相当する。そして、コード検査ツール１は、ステップＳ２において、対象ブロック１０に対して、入力ポート１４および出力ポート１６の各ポートを追加する。この処理は、ポート追加部１ｃによって行われるものであり、ポート追加処理に相当する。

続いて、コード検査ツール１は、ステップＳ３において、モデル８から最終コード１２をまず生成し、ステップＳ４において、対象コードブロック１１ａとして、最終コード１２から対象ブロック１０に対応する対象コードブロック１１ａを抽出する。ステップＳ３の処理は、コード生成部１ａにより行われるものであり、コード生成処理に相当する。また、ステップＳ２の処理は、抽出部１ｄによって行われるものであり、コード抽出処理に相当する。

そして、コード検査ツール１は、ステップＳ５において、対象コードブロック１１ａに対して入力１７および出力１９を追加する。この処理は、追加部１ｅによって行われるものであり、追加処理に相当する。なお、ステップＳ１〜Ｓ５の処理は、最終的に各ポートおよび入力１７と出力１９とを追加できれば、その順序を入れ替えることができる。

対象ブロック１０および対象コードブロック１１ａの抽出が完了すると、コード検査ツール１は、ステップＳ６において、対象ブロック１０および対象コードブロック１１ａをシミュレーションするためのテストデータ１３を生成する。この処理は、データ生成部１ｈによって行われるものであり、テストデータ生成処理に相当する。

このステップＳ６では、コード検査ツール１は、モデル８の全体に対してまずシミュレーションを行い、そのシミュレーション時に対象ブロック１０に入力されたデータをテストデータ１３として生成している。なお、モデル８は各ブロック９を互いに接続するように記述されており、各接続箇所を流れるデータはシミュレーション時に把握でき、対象ブロック１０への接続箇所に流れるデータをテストデータ１３として取得することができる。換言すると、本実施形態では、モデル８のシミュレーションに十分であると想定されたデータを用いて、対象ブロック１０および対象コードブロック１１ａをシミュレーションする。なお、ステップＳ５の処理は、判定の前であればステップＳ１〜Ｓ５よりも前に行うこともできる。

テストデータ１３を生成すると、コード検査ツール１は、ステップＳ７において、対象ブロック１０をモデルシミュレーションする。続いて、コード検査ツール１は、ステップＳ８において、は対象コードブロック１１ａをコードシミュレーションする。これらの処理は、シミュレーション部１ｆにより行われるものであり、シミュレーション処理に相当する。なお、ステップＳ７とステップＳ８とはその順序を入れ替えることができる。

そして、コード検査ツール１は、ステップＳ９において、対象ブロック１０に対するモデルシミュレーション結果１５と、対象コードブロック１１ａに対するコードシミュレーション結果１８とを比較し、両者が一致するか否かを判定する。この処理は、判定部１ｇによって行われるものであり、判定処理に相当する。

続いて、コード検査ツール１は、シミュレーション結果が一致しないと判定した場合には、ステップＳ９においてＮＯとなることから、ステップＳ１０に移行して対象コードブロック１１ａを再コーディングする。この再コーディングはユーザによって行われる。

再コーディングが完了すると、コード検査ツール１は、ステップＳ８に移行して対象コードブロック１１ａをコードシミュレーションする。このとき、コード検査ツール１は、基本的にはシミュレーション結果が一致するまで再コーディングとシミュレーションとを繰り返す。

そして、コード検査ツール１は、シミュレーション結果が一致したと判定した場合には、ステップＳ８においてＹＥＳとなることから、ステップＳ１１に移行してカバレッジが十分であるか否かを判定する。この処理は、判定部１ｇによって行われるものであり、カバレッジ判定処理に相当する。コード検査ツール１は、シミュレーションのカバレッジが十分であると判定した場合には、ステップＳ１１においてＹＥＳとなることから処理を終了する。なお、コード検査ツール１は、対象ブロック１０が複数存在するモデル８を検査対象とする場合には、１つの対象ブロック１０の検査が終了した後、ステップＳ１に移行して他の対象ブロック１０に対する検査を行うことになる。

これらの処理により、対象ブロック１０単独での動作と対象コードブロック単独での動作が一致することが確認される。換言すると、これらの処理により、対象ブロック１０の動作と対象コードブロック１１ａの動作を担保することができる。そして、検査処理が終了した後、動作が担保された状態で最終コード１２が生成される。これにより、最終コード１２の品質が確保される。

一方、コード検査ツール１は、カバレッジが十分ではないと判定した場合には、ステップＳ１１においてＮＯとなることから、ステップＳ１２に移行し、テストベクタ２０を生成してテストデータ１３を補完する。この処理は、データ補完部１ｉによって行われるものであり、データ補完処理に相当する。テストデータ１３を生成すると、コード検査ツール１は、ステップＳ７およびＳ８において再度シミュレーションを行い、ステップＳ９においてシミュレーション結果が一致したと判定すると、カバレッジが十分であるかを再度判定する。このとき、コード検査ツール１は、カバレッジが十分であると判定するまで処理を繰り返す。

このように、コード検査ツール１およびそのコード検査ツール１を用いたコード検査方法によれば、自動コード生成に対応していない対象ブロック１０を含むモデル８に対して、対象ブロック１０と対象コードブロック１１ａとについてそれぞれ単独でシミュレーションを行う。これにより、対象ブロック１０の動作を担保した状態で最終コード１２を生成することが可能となる。

以上説明した実施形態によれば、次のような効果を得ることができる。
コード検査ツール１は、処理内容を表すモデル８に含まれているブロック９のうち自動コード生成に対応していないものを検査の対象である対象ブロック１０として抽出するブロック抽出部１ｂと、モデル８から生成された最終コード１２のうち対象ブロック１０に対応する部分を対象コードブロック１１ａとして抽出する抽出部１ｄと、抽出した対象ブロック１０および対象コードブロック１１ａをそれぞれ単独でシミュレーションするシミュレーション部１ｆと、対象ブロック１０のモデルシミュレーション結果１５と、対象コードブロック１１ａのコードシミュレーション結果１８とを比較することにより、対象ブロック１０の動作と対象コードブロック１１ａの動作との一致性を判定する判定部１ｇとを備える。

このような構成により、コード検査ツール１は、対象ブロック１０と、対象コードブロック１１ａの動作が一致しているか否かを判定でき、動作が一致していれば対象コードブロック１１ａが設計の通りに動作していること、つまりは、自動コード生成よりも相対的に信頼性が低いハンドコード１１の動作を担保することができる。これにより、ハンドコード１１部分の動作が担保された最終コード１２を生成することができ、最終コード１２の品質を確保することができる。

また、処理内容を表すモデル８に含まれているブロック９のうち自動コード生成に対応していない対象ブロック１０を抽出するブロック抽出処理（Ｓ１）と、モデル８から生成された最終コード１２のうち対象ブロック１０に対応する部分を対象コードブロック１１ａとして抽出するコード抽出処理（Ｓ４）と、抽出した対象ブロック１０および対象コードブロック１１ａをそれぞれ単独でシミュレーションするシミュレーション処理（Ｓ７）と、対象ブロック１０のモデルシミュレーション結果１５と対象コードブロック１１ａのコードシミュレーション結果１８とを比較することにより対象ブロック１０の動作と対象コードブロック１１ａの動作との一致性を判定する判定処理（Ｓ９）と、を実行するコード検査方法によっても、ハンドコード１１の動作が担保された状態で最終コード１２を生成することができ、最終コード１２の品質を容易に確保することができる。

また、コード検査ツール１は、対象ブロック１０に、シミュレーション用のテストデータ１３を入力するための入力ポート１４と、シミュレーションの結果を出力するための出力ポート１６とを追加するポート追加部１ｃを備える。これにより、モデル８に記述されている対象ブロック１０を単独でシミュレーションすることができる。

また、対象ブロック１０に、シミュレーション用のテストデータ１３を入力するための入力ポート１４と、シミュレーションの結果を出力するための出力ポート１６とを追加するポート追加処理（Ｓ２）を実行するコード検査方法によっても、対象ブロック１０と対象コードブロック１１ａとの動作の一致性を確認できるなど、コード検査ツール１と同様の効果を得ることができる。

また、コード検査ツール１は、対象コードブロック１１ａに、シミュレーション用のテストデータ１３を入力するための入力１７と、シミュレーションの結果を出力するための出力１９とを追加する追加部１ｅを備える。これにより、対象ブロック１０に対応する対象コードブロック１１ａを単独でシミュレーションすることができ、対象ブロック１０単独での動作と容易に比較することができる。

また、対象コードブロック１１ａに、シミュレーション用のテストデータ１３を入力するための入力１７と、シミュレーションの結果を出力するための出力１９とを追加する追加処理（Ｓ５）を実行するコード検査方法によっても、対象ブロック１０に対応する対象コードブロック１１ａを単独でシミュレーションすることができ、対象ブロック１０単独での動作と容易に比較することができるなど、コード検査ツール１と同様の効果を得ることができる。

また、コード検査ツール１は、モデル８の全体に対してシミュレーションを行い、当該シミュレーション時に対象ブロック１０に入力されたデータをシミュレーション用のテストデータ１３として生成するデータ生成部１ｈを備える。これにより、モデル８のシミュレーションに十分であると想定されたデータを用いて対象ブロック１０およびハンドコード１１をシミュレーションすることが可能となり、モデル８として必要とされる条件を最低限満たした状態であるか否かを判定できる。したがって、検査そのものの品質を向上させることができる。

また、モデル８の全体に対してシミュレーションを行い、当該シミュレーション時に対象ブロック１０に入力されたデータをシミュレーション用のテストデータ１３として生成するデータ生成処理（Ｓ６）を実行するコード検査方法によっても、モデル８として必要とされる条件を最低限満たした状態であるか否かを判定でき、検査そのものの品質を向上させることができるなど、コード検査ツール１と同様の効果を得ることができる。

また、コード検査ツール１は、テストベクタ２０を生成することにより、シミュレーション用のテストデータ１３を補完するデータ補完部１ｉを備える。これにより、シミュレーションをより詳細に、また、より厳密に行うことが可能となる。そして、そのテストデータ１３を用いて行ったシミュレーションの信頼性、つまりは、対象ブロック１０の動作に対する信頼性を向上させることができる。したがって、最終コード１２の品質をより一層向上させることができる。

またハンドコード１１に対するテストベクタ２０を生成することにより、シミュレーション用のテストデータ１３を補完する補完処理（Ｓ１２）を実行するコード検査方法によっても、対象ブロック１０の動作に対する信頼性を向上させることができ、最終コード１２の品質をより一層向上させることができるなど、コード検査ツール１と同様の効果を得ることができる。

実施形態ではシミュレーション結果が一致しない場合に再コーディングする処理の流れを例示したが、例えば２回目以降など複数回コーディングしてもシミュレーション結果が一致しない場合には、エラーとして処理を中断したりコードを見直すよう報知したりする処理を行う流れとすることができる。

実施形態ではカバレッジが不十分であると判定した後に再度不十分であると判定した場合にはテストデータ１３を再度生成する処理の流れを示したが、例えば２回目以降など複数回補完しても不十分である場合には、エラーが生じたとして処理を中断したりテストデータ１３を見直すよう報知したりする処理を行う流れとすることができる。

本開示は、実施例に準拠して記述されたが、本開示は当該実施例や構造に限定されるものではないと理解される。本開示は、様々な変形例や均等範囲内の変形をも包含する。加えて、様々な組み合わせや形態、さらには、それらに一要素のみ、それ以上、あるいはそれ以下、を含む他の組み合わせや形態をも、本開示の範疇や思想範囲に含まれるものである。

本開示に記載の制御部及びその手法は、コンピュータプログラムにより具体化された一つ乃至は複数の機能を実行するようにプログラムされたプロセッサ及びメモリを構成することによって提供された専用コンピュータにより、実現されてもよい。あるいは、本開示に記載の制御部及びその手法は、一つ以上の専用ハードウェア論理回路によってプロセッサを構成することによって提供された専用コンピュータにより、実現されてもよい。もしくは、本開示に記載の制御部及びその手法は、一つ乃至は複数の機能を実行するようにプログラムされたプロセッサ及びメモリと一つ以上のハードウェア論理回路によって構成されたプロセッサとの組み合わせにより構成された一つ以上の専用コンピュータにより、実現されてもよい。また、コンピュータプログラムは、コンピュータにより実行されるインストラクションとして、コンピュータ読み取り可能な非遷移有形記録媒体に記憶されていてもよい。

図面中、１はコード検査ツール、１ｂはブロック抽出部、１ｃはポート追加部、１ｄは抽出部、１ｅはコード追加部、１ｆはシミュレーション部、１ｇは判定部、１ｈは生成部、１ｉは補完部、８はモデル、９はブロック、１０は対象ブロック、１１はハンドコード、１１ａは対象コードブロック、１３はテストデータ、１４は入力ポート、１５は出力ポート、１７は入力、１９は出力、２０はテストベクタを示す。

Claims (10)

1. 処理内容を表すモデル（８）に含まれているブロック（９）のうち自動コード生成に対応していないブロックを、検査の対象である対象ブロック（１０）として抽出するブロック抽出部（１ｂ）と、
   前記モデルから生成された最終コード（１２）のうち前記対象ブロックに対応する部分を、検査の対象である対象コードブロック（１１ａ）として抽出する抽出部（１ｄ）と、
   抽出した前記対象ブロックおよび前記対象コードブロックをそれぞれ単独でシミュレーションするシミュレーション部（１ｆ）と、
   前記対象ブロックのシミュレーション結果（１５）と、前記対象コードブロックのシミュレーション結果（１８）とを比較することにより、前記対象ブロックの動作と前記対象コードブロックの動作との一致性を判定する判定部（１ｇ）と、
   を備えるコード検査ツール。
2. 前記対象ブロックに、単独でシミュレーションするためのテストデータを入力する入力ポート（１４）と、シミュレーション結果を出力する出力ポート（１６）とを追加するポート追加部（１ｃ）を備える請求項１記載のコード検査ツール。
3. 前記対象コードブロックに、単独でシミュレーションするためのテストデータを入力する入力（１７）と、シミュレーション結果を出力する出力（１９）とを追加する追加部（１ｅ）を備える請求項１または２記載のコード検査ツール。
4. 前記モデルの全体に対してシミュレーションを行い、当該シミュレーション時に前記対象ブロックに入力されたデータを、前記テストデータとして生成するデータ生成部（１ｈ）を備える請求項２または３記載のコード検査ツール。
5. 前記対象コードブロックに対するテストベクタ（２０）を生成することにより、前記テストデータを補完するデータ補完部（１ｉ）を備える請求項１から４のいずれか一項記載のコード検査ツール。
6. 処理内容を表すモデル（８）に含まれているブロック（９）のうち自動コード生成に対応していないブロックを、検査の対象である対象ブロック（１０）として抽出するブロック抽出処理（Ｓ１）と、
   前記モデルから生成された最終コード（１２）のうち前記対象ブロックに対応する部分を、検査の対象である対象コードブロック（１１ａ）として抽出するコード抽出処理（Ｓ４）と、
   抽出した前記対象ブロックおよび前記対象コードブロックをそれぞれ単独でシミュレーションするシミュレーション処理（Ｓ７）と、
   前記対象ブロックのシミュレーション結果（１５）と、前記対象コードブロックのシミュレーション結果（１８）とを比較することにより、前記対象ブロックの動作と前記対象コードブロックの動作との一致性を判定する判定処理（Ｓ９）と、
   を実行するコード検査方法。
7. 前記対象ブロックに、単独でシミュレーションするためのテストデータを入力する入力ポート（１４）と、シミュレーション結果を出力する出力ポート（１６）とを追加するポート追加処理（Ｓ２）を実行する請求項６記載のコード検査方法。
8. 前記対象コードブロックに、単独でシミュレーションするためのテストデータを入力する入力（１７）と、シミュレーション結果を出力する出力（１９）とを追加する追加処理（Ｓ５）を実行する請求項６または７記載のコード検査方法。
9. 前記モデルの全体に対してシミュレーションを行い、当該シミュレーション時に前記対象ブロックに入力されたデータを、前記テストデータとして生成するデータ生成処理（Ｓ６）を実行する請求項７または８記載のコード検査方法。
10. 前記対象コードブロックに対するテストベクタ（２０）を生成することにより、前記テストデータを補完するデータ補完処理（Ｓ１２）を実行する請求項６から９のいずれか一項記載のコード検査方法。

Images