JP2016085636A - 検証支援装置および検証支援方法 - Google Patents

Abstract

【課題】検証項目表の検証範囲とテストパターンの検証範囲の不一致を検出する。【解決手段】検証支援装置１０１は、検証対象回路の設計仕様書１１２とユースケース１１１とに基づき作成された検証項目表（１）１２２から抽出したアクセス対象項目と当該アクセス対象項目のアクセス順とを示す検証項目表（２）１３２を作成する。また、検証支援装置１０１は、ユースケース１１１に基づき作成されたテストパターン（１）１２１から抽出したアクセス対象項目を示すテストパターン（２）１３１を作成する。検証支援装置１０１は、検証項目表（２）１３２が示すアクセス対象項目のうちの特定のアクセス順のアクセス対象項目が、テストパターン（２）１３１が示すアクセス対象項目に存在するか否かを判定する。【選択図】図１

Description

本発明は、検証支援装置および検証支援方法に関する。

従来、論理回路の検証では、論理回路が仕様通りの機能および動作が実現できているのか、検証するために計算機を用いて論理シミュレーションが行われる。このとき、設計側から提供された対象論理回路の設計仕様書とユースケースをもとに、検証項目表とテストパターンを作成し、検証項目のカバレッジ１００％を目標に論理シミュレーションが行われる。

また、従来、例えば、ＬＳＩ（Ｌａｒｇｅ Ｓｃａｌｅ Ｉｎｔｅｇｒａｔｉｏｎ）の仕様から作成される仕様信号データベースとアサーション等の検証言語記述から作成される検証信号データベースとを比較して、差分を出力する技術がある（例えば、特許文献１）。また、従来、例えば、論理回路の仕様書から抽出した論理検証項目と、ハードウェア記述言語により記述した論理システムおよび論理検証支援装置が用いる動作仕様記述を生成する装置から自動抽出した論理検証項目とを比較する技術がある（例えば、特許文献２）。

特開２００７−９４８９１号公報 特開２００７−２６３６９号公報

しかしながら、従来技術では、検証項目表の検証範囲とテストパターンの検証範囲とが一致するか否か判断することは困難である。例えば、検証項目表とテストパターンを作成する人が異なることが多く、検証項目表とテストパターンとでは検証範囲に差分があることが多い。このため、レビューにより、検証項目表の検証範囲とテストパターンの検証範囲との差分を抽出して検証範囲を一致させる作業が行われるが、レビューでは検証項目を見落とす等の漏れが発生することがあり、検証範囲が一致するか否かの判断が困難なものとなる。

一つの側面では、本発明は、検証項目表の検証範囲とテストパターンの検証範囲の不一致を検出することができる検証支援装置および検証支援方法を提供することを目的とする。

本発明の一態様によれば、検証対象回路の設計仕様書と検証対象回路の機能に関連するシナリオを示すユースケースとに基づき作成された検証項目表から抽出した検証対象回路のレジスタまたは入出力端子を含む複数の第１のアクセス対象項目と複数の第１のアクセス対象項目のアクセス順とを有する第１アクセス対象情報を作成し、ユースケースに基づき作成されたテストパターンから抽出した複数の第２のアクセス対象項目を有する第２アクセス対象情報を作成し、複数の第１のアクセス対象項目のうちの特定のアクセス順のアクセス対象項目が、第２アクセス対象情報に存在するか否かを判定する検証支援装置および検証支援方法が提案される。

本発明の一側面によれば、検証項目表の検証範囲とテストパターンの検証範囲の不一致を検出することができるという効果を奏する。

図１は、実施の形態にかかる検証支援方法の一実施例を示す説明図である。 図２は、実施の形態にかかる検証支援装置１０１のハードウェア構成例を示すブロック図である。 図３は、実施の形態にかかる設計仕様書１１２の一例を示す説明図である。 図４は、実施の形態にかかるユースケース１１１の一例を示す説明図である。 図５は、実施の形態にかかる検証項目表（１）１２２の一例を示す説明図である。 図６は、実施の形態にかかる検証項目表（２）１３２の一例を示す説明図である。 図７は、実施の形態にかかるテストパターン（１）１２１の一例を示す説明図である。 図８は、実施の形態にかかるテストパターン（２）１３１の一例を示す説明図である。 図９は、実施の形態にかかる検証支援装置１０１の機能的構成例を示すブロック図である。 図１０は、実施の形態にかかる検証支援装置１０１の項目変換処理手順の一例を示すフローチャートである。 図１１は、実施の形態にかかる検証支援装置１０１のパターン変換処理手順の一例を示すフローチャートである。 図１２は、実施の形態にかかる検証支援装置１０１の検証項目基準のアクセス対象項目比較処理手順の一例を示すフローチャートである。 図１３は、実施の形態にかかる検証支援装置１０１のテストパターン基準のアクセス対象項目比較処理手順の一例を示すフローチャートである。 図１４は、実施の形態にかかる検証支援装置１０１の項目変換処理手順の一実施例を示す説明図（その１）である。 図１５は、実施の形態にかかる検証支援装置１０１の項目変換処理手順の一実施例を示す説明図（その２）である。 図１６は、実施の形態にかかる検証支援装置１０１の項目変換処理手順の一実施例を示す説明図（その３）である。 図１７は、実施の形態にかかる検証支援装置１０１のパターン変換処理手順の一実施例を示す説明図である。 図１８は、実施の形態にかかる検証支援装置１０１の検証項目基準のアクセス対象項目比較処理手順の一実施例を示す説明図（その１）である。 図１９は、実施の形態にかかる検証支援装置１０１の検証項目基準のアクセス対象項目比較処理手順の一実施例を示す説明図（その２）である。 図２０は、実施の形態にかかる検証支援装置１０１のテストパターン基準のアクセス対象項目比較処理手順の一実施例を示す説明図（その１）である。 図２１は、実施の形態にかかる検証支援装置１０１のテストパターン基準のアクセス対象項目比較処理手順の一実施例を示す説明図（その２）である。

以下に図面を参照して、本発明にかかる検証支援装置および検証支援方法の実施の形態を詳細に説明する。

（実施の形態）
図１は、実施の形態にかかる検証支援方法の一実施例を示す説明図である。なお、以下の説明において、検証対象回路の設計仕様書１１２とユースケース１１１とに基づき作成された検証項目表を検証項目表（１）１２２と記述する。また、検証項目表（１）１２２から抽出したアクセス対象項目と当該アクセス対象項目のアクセス順とを示す第１アクセス対象情報を検証項目表（２）１３２と記述する。また、ユースケース１１１に基づき作成されたテストパターンをテストパターン（１）１２１と記述し、テストパターン（１）１２１から抽出したアクセス対象項目を示す第２アクセス対象情報をテストパターン（２）１３１と記述する。

図１において、検証支援装置１０１は、ユースケース１１１から作成されるテストパターン（１）１２１と、ユースケース１１１と検証対象回路の設計仕様書１１２とから作成される検証項目表（１）１２２を取得する。検証支援装置１０１は、テストパターン（１）１２１の検証範囲と検証項目表（１）１２２の検証範囲との比較結果を出力する。

検証支援装置１０１は、テストパターン（１）１２１と検証項目表（１）１２２を取得して、比較結果を出力するコンピュータである。ここで、ユースケース１１１は、実際に品種として適用される範囲の情報を含む。また、設計仕様書１１２は、端子情報、レジスタ情報および仕様のユースケース情報を含む。検証範囲とは、テストパターン（１）１２１と検証項目表（１）１２２が検証する機能の範囲である。アクセス対象項目は、例えば、レジスタ、入出力端子である。

従来、検証支援方法では、テストパターンと検証項目表とをレビューすることによって、検証範囲の差分を見つけて、どこにフィードバックするのか検討し、フィードバックにより、検証範囲の差分を少なくしていた。しかしながら、レビューだけでは、漏れが生じるため、検証支援方法は検証範囲の差分を完全に無くすことはできなかった。

このため、例えば、検証対象回路の論理シミュレーションを行いながら、レビュー時の漏れを見つけて、検証範囲の差分を無くしていくことが行われる。しかしながら、論理シミュレーションを行いながら、テストパターンの検証範囲と検証項目表の検証範囲とを一致させるため、時間がかかるという問題がある。

特に、論理シミュレーションにおけるカバレッジ分析では、検証項目表の「カバレッジカウント条件」に規定の特定のアクセス順のアクセス対象項目にアクセスした場合に、カバレッジカウントがカウントアップされる。このため、特定のアクセス順のアクセス対象項目がテストパターンの検証範囲に存在しない場合、論理シミュレーションを行った際にカバレッジカウントがカウントアップされず、検証項目のカバレッジ１００％が達成されない。検証項目のカバレッジ１００％を達成するため、論理シミュレーションの結果によってテストパターンや検証項目表が修正され、修正内容に応じてレビューと論理シミュレーションが再度行われることになる。そのため、検証項目のカバレッジ１００％を達成するまで、検証に時間がかかる。

そこで、実施の形態では、検証支援装置１０１は、検証項目表（１）１２２から抽出したアクセス対象項目とアクセス順を示す検証項目表（２）１３２を作成し、テストパターン（１）１２１から抽出したアクセス対象項目を示すテストパターン（２）１３１を作成する。検証支援装置１０１は、検証項目表（２）１３２の特定のアクセス順のアクセス対象項目が、テストパターン（２）１３１に存在するか否かを判定する。これにより、検証支援装置１０１は、テストパターン（１）１２１の検証範囲と検証項目表（１）１２２の検証範囲の不一致を検出できる。この後、テストパターン（１）１２１の検証範囲と検証項目表（１）１２２の検証範囲の不一致をフィードバックすることで、検証範囲を一致させることができる。このため、論理シミュレーションを行う前に、テストパターンの検証範囲と検証項目表の検証範囲を一致させることができ、検証支援装置１０１は、検証項目のカバレッジ１００％を達成するまでの時間を短縮することができる。

以下、実施の形態にかかる検証支援装置１０１の検証支援方法の一実施例について説明する。図１において、ユースケース１１１、テストパターン（１）１２１、設計仕様書１１２および検証項目表（１）１２２は事前に作成されたデータである。

（１）検証支援装置１０１は、検証対象回路の設計仕様書１１２とユースケース１１１とに基づいて作成された検証項目表（１）１２２からアクセス対象項目と当該アクセス対象項目のアクセス順とを抽出することで、検証項目表（２）１３２を作成する。

ここで、アクセス順とは、検証対象回路が機能を実現する処理を行う際に、検証対象回路のアクセス対象項目がアクセスされる順である。例えば、検証対象回路が機能を実現する処理のためアクセス対象項目に値を設定した場合、アクセス対象項目のアクセス順を１に、検証対象回路が機能を実現する処理を起動するためアクセス対象項目に値を設定した場合、アクセス対象項目のアクセス順を２にする。ここで、検証対象回路が機能を実現する処理がデータ転送処理である場合を例に挙げると、データ転送処理に関する転送条件を設定可能なレジスタのアクセス順が１になり、データ転送処理の開始を設定可能なレジスタのアクセス順が２になる。

検証支援装置１０１は、例えば、検証項目表（１）１２２の「カバレッジカウント条件」から抽出したアクセス対象項目のアクセス順を２にして、検証項目表（２）１３２を作成する。また、検証支援装置１０１は、例えば、検証項目表（１）１２２の「カバレッジ表」から抽出したアクセス対象項目のアクセス順を１にして、検証項目表（２）１３２を作成する。例えば、カバレッジ分析では、「カバレッジカウント条件」に規定のアクセス対象項目にアクセスした場合に、カバレッジカウントがカウントアップされる。そのため、例えば、「カバレッジカウント条件」に規定のアクセス対象項目へのアクセスのアクセス順は「カバレッジ表」から抽出したアクセス対象項目よりも後になる。また、「カバレッジカウント条件」に規定のアクセス対象項目としては、例えば、検証対象回路が機能を実現する処理を起動するためのアクセス対象項目が挙げられる。

（２）検証支援装置１０１は、ユースケース１１１に基づいて作成されたテストパターン（１）１２１からアクセス対象項目を抽出することで、テストパターン（２）１３１を作成する。

検証支援装置１０１は、例えば、テストパターン（１）１２１から一行ごとを取得して、各行に記載されるアクセス対象項目を抽出することで、テストパターン（２）１３１を作成する。

（３）検証支援装置１０１は、検証項目表（２）１３２に存在するアクセス対象項目のうちの特定のアクセス順のアクセス対象項目が、テストパターン（２）１３１に存在するか否かを判定する。例えば、特定のアクセス順は、検証対象回路に含まれるアクセス対象項目となる一連のレジスタのうちの最後のアクセス順である。また、例えば、特定のアクセス順は、検証対象回路が機能を実現する処理を起動するためのアクセス対象項目のアクセス順である。また、例えば、特定のアクセス順は、「カバレッジカウント条件」に規定のアクセス対象項目のアクセス順である。例えば、これにより、カバレッジ分析のカバレッジカウントをカウントアップさせるアクセス対象項目がテストパターン（２）１３１に存在するか否かを判定できる。

検証支援装置１０１は、例えば、特定のアクセス順のアクセス対象項目をアクセス順２のアクセス対象項目にすることができる。この場合、検証支援装置１０１は、検証項目表（２）１３２のアクセス順２のアクセス対象項目がテストパターン（２）１３１に存在するか否かを判定する。

以上説明したように、検証支援装置１０１は、検証対象回路の設計仕様書１１２とユースケース１１１とに基づき作成された検証項目表（１）１２２から抽出したアクセス対象項目と当該アクセス対象項目のアクセス順とを示す検証項目表（２）１３２を作成する。また、検証支援装置１０１は、ユースケース１１１に基づき作成されたテストパターン（１）１２１から抽出したアクセス対象項目を示すテストパターン（２）１３１を作成する。検証支援装置１０１は、検証項目表（２）１３２が示すアクセス対象項目のうちの特定のアクセス順のアクセス対象項目が、テストパターン（２）１３１が示すアクセス対象項目に存在するか否かを判定する。

これにより、検証支援装置１０１は、検証項目表（１）１２２の検証範囲とテストパターン（１）１２１の検証範囲の不一致を検出することができる。特に、検証支援装置１０１は、特定のアクセス順のアクセス対象項目の不一致を検出することができる。これにより、検証支援装置１０１は、論理シミュレーションの際にカバレッジカウントがカウントアップされず、検証項目のカバレッジ１００％が達成されないことを、論理シミュレーションを行う前に検出できる。また、「カバレッジカウント条件」は、検証における重要な条件である。そのため、「カバレッジカウント条件」に規定の特定のアクセス順のアクセス対象項目がテストパターン（１）１２１の検証範囲に存在しない場合、特定のアクセス順と異なるアクセス順のアクセス対象項目もテストパターン（１）１２１の検証範囲に存在しない場合がある。そのため、例えば、検証支援装置１０１が特定のアクセス順のアクセス対象項目の不一致を検出することで、特定のアクセス順のアクセス対象項目により起動される機能のために設定されるアクセス対象項目の不一致も検出できる場合がある。

この後、検証項目表（１）１２２の検証範囲とテストパターン（１）１２１の検証範囲の不一致をフィードバックすることにより、ユースケース１１１、テストパターン（１）１２１、設計仕様書１１２または検証項目表（１）１２２を修正することができる。これにより、検証項目表（１）１２２の検証範囲とテストパターン（１）１２１の検証範囲を一致させることができる。このため、検証支援装置１０１は、検証項目のカバレッジ１００％を達成するまでの時間を短縮することできる。

また、検証支援装置１０１は、特定のアクセス順と異なるアクセス順のアクセス対象項目について、テストパターン（２）１３１と検証項目表（２）１３２とのいずれかを基準にして、テストパターン（２）１３１と検証項目表（２）１３２とを比較することができる。例えば、検証支援装置１０１は、検証項目表（２）１３２に存在するアクセス対象項目のうちの特定のアクセス順と異なるアクセス順のアクセス対象項目が、テストパターン（２）１３１に存在するか否かを判定することができる。また、例えば、検証支援装置１０１は、さらに、テストパターン（２）１３１に存在するアクセス対象項目のうちの特定のアクセス順のアクセス対象項目と異なるアクセス対象項目が、検証項目表（２）１３２に存在するか否かを判定することができる。

これにより、検証支援装置１０１は、検証項目表（１）１２２の検証範囲とテストパターン（１）１２１の検証範囲の不一致をさらに検出することができる。

（検証支援装置１０１のハードウェア構成例）
図２は、実施の形態にかかる検証支援装置１０１のハードウェア構成例を示すブロック図である。図２において、検証支援装置１０１は、ＣＰＵ（Ｃｅｎｔｒａｌ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）２０１と、メモリ２０２と、Ｉ／Ｆ（Ｉｎｔｅｒｆａｃｅ）２０３と、ディスクドライブ２０４と、ディスク２０５と、グラフィック処理装置２０６と、ディスプレイ（表示装置）２０８と、を有する。また、各構成部は、バス２００によってそれぞれ接続される。

ここで、ＣＰＵ２０１は、検証支援装置１０１の全体の制御を司る。メモリ２０２は、例えば、ＲＯＭ（Ｒｅａｄ Ｏｎｌｙ Ｍｅｍｏｒｙ）、ＲＡＭ（Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙ）およびフラッシュＲＯＭなどを有する。具体的には、例えば、フラッシュＲＯＭやＲＯＭが各種プログラムを記憶し、ＲＡＭは記憶部としてＣＰＵ２０１のワークエリアとして使用される。メモリ２０２に記憶されるプログラムは、ＣＰＵ２０１にロードされることで、コーディングされている処理をＣＰＵ２０１に実行させる。

Ｉ／Ｆ２０３は、通信回線を通じてネットワーク２０７に接続され、ネットワーク２０７を介して他のコンピュータに接続される。そして、Ｉ／Ｆ２０３は、ネットワーク２０７と内部のインターフェースを司り、他のコンピュータからのデータの入出力を制御する。Ｉ／Ｆ２０３には、例えば、モデムやＬＡＮ（Ｌｏｃａｌ Ａｒｅａ Ｎｅｔｗｏｒｋ）アダプタなどを採用することができる。

ディスクドライブ２０４は、ＣＰＵ２０１の制御に従ってディスク２０５に対するデータのリード／ライトを制御する。ディスク２０５は、ディスクドライブ２０４の制御で書き込まれたデータを記憶する。ディスク２０５としては、例えば、磁気ディスク、光ディスクなどが挙げられる。

グラフィック処理装置２０６は、ＣＰＵ２０１の指示により、検証支援装置１０１の検証結果を出力するインターフェースである。グラフィック処理装置２０６は、例えば、ディスプレイ（表示装置）２０８に接続され、検証支援装置１０１の検証結果をディスプレイ（表示装置）２０８に出力する。より具体的には、グラフィック処理装置２０６が検証項目表（１）１２２の検証範囲とテストパターン（１）１２１の検証範囲の不一致をディスプレイ（表示装置）２０８に表示することにより、フィードバックを行う。

なお、検証支援装置１０１は、上述した構成部のほか、例えば、ＳＳＤ（Ｓｏｌｉｄ Ｓｔａｔｅ Ｄｒｉｖｅ）、キーボード、マウス、プリンタなどを有することにしてもよい。

（設計仕様書１１２の一例）
図３は、実施の形態にかかる設計仕様書１１２の一例を示す説明図である。図３において、設計仕様書１１２は、例えば、事前に作成され、検証支援装置１０１のディスク２０５または外部のディスクに記憶される。

設計仕様書１１２は、検証対象回路のアクセス対象項目の仕様を記載した仕様書である。例えば、設計仕様書１１２は、各レジスタについて、ビット位置（Ｂｉｔ）、名前（Ｎａｍｅ）、アクセス種類（Ｒ／Ｗ）、初期値（Ｄｅｆａｕｌｔ）、説明（Ｄｅｓｃｒｉｐｔｉｏｎ）の項目を有する。設計仕様書１１２は、各項目に情報を設定することで、設計情報（例えば、図３（Ａ）〜図３（Ｄ））をレコードとして記憶する。

ビット位置は、レジスタでの位置を示す。名前は、レジスタのビット位置で示された領域を識別する識別子である。アクセス種類は、レジスタのビット位置が書き込み可能か読み出し可能かを示す。初期値は、検証対象回路がリセットされた時、レジスタのビット位置に設定される値を示す。説明は、レジスタのビット位置に設定される値を説明する。

図３（Ａ）の例では、名前がＤｅｖｉｃｅＩＤ（Ｉｄｅｎｔｉｆｉｃａｔｉｏｎ）であるビット位置は、レジスタの０ビットから１５ビットの位置にあり、アクセス種類は書き込みおよび読み出し可能であり、初期値は０であることを示す。また、このレジスタは、Ｄｅｖｉｃｅ認識ＩＤを設定するために用いられることを示す。

（ユースケース１１１の一例）
図４は、実施の形態にかかるユースケース１１１の一例を示す説明図である。図４において、ユースケース１１１は、例えば、事前に作成され、検証支援装置１０１のディスク２０５または外部のディスクに記憶される。

ユースケース１１１は、検証対象回路の機能的要求を把握するためのものである。例えば、ユースケース１１１は検証対象回路の機能に関するシナリオである。

図４の例では、検証対象回路がリセットされ、ＲｅｇｉｓｔｅｒＡにデバイス認識のＩＤが設定され、ＲｅｇｉｓｔｅｒＤのＴｒａｎｓ Ｓｔａｒｔに０ｘ１が書き込まれることで、データが転送される機能のシナリオである。ここで、０ｘ１は、０ｘ以下の数値が１６進法の数値であることを示す。

（検証項目表（１）１２２の一例）
図５は、実施の形態にかかる検証項目表（１）１２２の一例を示す説明図である。図５において、検証項目表（１）１２２は、例えば、事前に作成され、検証支援装置１０１のディスク２０５または外部のディスクに記憶される。

検証項目表（１）１２２は、「カバレッジカウント条件」、「表の見方」および「カバレッジ表」の項目を有する。検証項目表（１）１２２は、各項目に情報を設定することで、検証項目情報を記憶する。

「カバレッジカウント条件」は、カバレッジ分析のカバレッジカウントをカウントアップさせるための条件である。ここでは、例えば、「カバレッジカウント条件」として、検証対象回路が機能を実現する処理を起動するための条件が挙げられる。「表の見方」は、検証対象回路に存在するアクセス対象項目と当該アクセス対象項目の仕様を示す。

「カバレッジ表」は、検証対象回路に存在するアクセス対象項目、ＣｏｖｅｒａｇｅＣｏｕｎｔおよび網羅率の項目を有する。アクセス対象項目は、アクセス対象項目が取り得る値の範囲を示す。アクセス対象項目は、最も左の列に、アクセス対象項目が取り得る値の範囲が示され、その右の列は、左のアクセス対象項目の値で当該アクセス対象項目が取り得る値の範囲が示される。ＣｏｖｅｒａｇｅＣｏｕｎｔ（カバレッジカウント）は、検証対象回路に存在するアクセス対象項目の値の組合せが発生したか否かを示す。ＣｏｖｅｒａｇｅＣｏｕｎｔは、検証対象回路に存在するアクセス対象項目の値の組合せが発生した場合にカウントアップ、例えば１アップされる。網羅率は、検証対象回路に存在するアクセス対象項目の値のすべての組合せに対する発生したアクセス対象項目の値の組合せの割合を示す。また、網羅率は、検証対象回路に存在するアクセス対象項目の値のすべての組合せが発生した場合に１００％となる。

図５の例では、「カバレッジカウント条件」は、ＲｅｇＤ（ＲｅｇｉｓｔｅｒＤ）に１が書き込まれた場合、処理を起動することを示す。「表の見方」は、ＲｅｇＡ（ＲｅｇｉｓｔｅｒＡ）、ＲｅｇＢ（ＲｅｇｉｓｔｅｒＢ）、ＲｅｇＣ（ＲｅｇｉｓｔｅｒＣ）、ＲｅｇＤおよびこれらのレジスタの仕様を示す。「カバレッジ表」には、各レジスタが取り得る値が記載されている。ここで、図５は一部のみが記載されている。例えば、ＲｅｇＡは０ｘ０から０ｘＦＦＦＦまで取り得るが、０ｘ２までが図５に記載される。また、図５の例は、論理シミュレーションを行う前であるため、検証対象回路に存在するレジスタの値の組合せは発生していない。このため、ＣｏｖｅｒａｇｅＣｏｕｎｔおよび網羅率の項目には０が設定されてある。

（検証項目表（２）１３２の一例）
図６は、実施の形態にかかる検証項目表（２）１３２の一例を示す説明図である。図６において、検証項目表（２）１３２は、例えば、検証支援装置１０１によって作成、更新され、検証支援装置１０１のメモリ２０２またはディスク２０５に記憶される。

検証項目表（２）１３２は、アクセス順、アクセス対象項目、Ｒ／Ｗ／Ｉ／Ｏ、ＲａｎｇｅＭｉｎ、ＲａｎｇｅＭａｘ、テストパターンとの比較結果の項目を有する。検証項目表（２）１３２は、各項目に情報を設定することで、検証項目情報（例えば、検証項目情報１３２−１〜１３２−５）をレコードとして記憶する。

ここで、アクセス順は、検証対象回路のアクセス対象項目がアクセスされる順を示す。例えば、アクセス順の項目には、検証項目表（１）１２２の「カバレッジカウント条件」に記載されたアクセス対象項目であれば２が設定され、検証項目表（１）１２２の「表の見方」に記載されたアクセス対象項目であれば１が設定される。アクセス対象項目は、検証項目表（１）１２２の「カバレッジカウント条件」および「表の見方」に記載されたアクセス対象項目を示す。

Ｒ／Ｗ／Ｉ／Ｏは、アクセス対象項目のアクセス種類を示す。アクセス対象項目のアクセス種類とは、アクセス対象項目がアクセスされる種類を示す。例えば、アクセス対象項目がレジスタである場合、Ｗ（Ｗｒｉｔｅ）、Ｒ（Ｒｅａｄ）、ＷｏｒＲが記載される。また、アクセス対象項目が入出力端子である場合、Ｉ（Ｉｎｐｕｔ）、Ｏ（Ｏｕｔｐｕｔ）、ＩｏｒＯが記載される。アクセス対象項目のアクセス種類が不明の場合は、ＷｏｒＲまたはＩｏｒＯが記載される。

ＲａｎｇｅＭｉｎは、アクセス対象項目が取り得る値の範囲の最小値を示し、ＲａｎｇｅＭａｘは、アクセス対象項目が取り得る値の範囲の最大値を示す。テストパターンとの比較結果は、テストパターン（２）１３１との比較を行った場合の結果を一致または不一致で示す。

図６の例では、レコード１３２−１は、アクセス対象項目「ＲｅｇＡ」がアクセス順１であり、０ｘ０〜０ｘＦＦＦＦまでの値を取り得て、テストパターン（２）１３１との比較が行われていないことを示す。

（テストパターン（１）１２１の一例）
図７は、実施の形態にかかるテストパターン（１）１２１の一例を示す説明図である。図７において、テストパターン（１）１２１は、例えば、事前に作成され、検証支援装置１０１のディスク２０５または外部のディスクに記憶される。

テストパターン（１）１２１は、ユースケース１１１から作成されるソースコードである。テストパターン（１）１２１は、例えば、検証対象回路の機能に関するシナリオを実現するソースコードである。

テストパターン（１）１２１の記述例を以下に示す。
（１）レジスタＲｅａｄによる条件成立待ちは、
ｒｅｇ＿ａｃｃｅｓｓ＿ｒｅａｄ＿ｗａｉｔ（レジスタ名，Ｗａｉｔ終了条件となるレジスタの値）；
と記述される。
（２）レジスタＷｒｉｔｅの設定は、
ｒｅｇ＿ａｃｃｅｓｓ＿ｗｒｉｔｅ（レジスタ名，ｍｉｎ値，ｍａｘ値）；
と記述される。
（３）出力信号による条件成立待ちは、
ｓｉｇ＿ａｃｃｅｓｓ＿ｏｕｔｐｕｔ＿ｗａｉｔ（信号名，Ｗａｉｔ終了条件となる信号値）；
と記述される。
（４）入力信号の設定は、
ｓｉｇ＿ａｃｃｅｓｓ＿ｉｎｐｕｔ（信号名，ｍｉｎ値，ｍａｘ値）；
と記述される。

図７の例では、検証対象回路がリセットされ、ＲｅｇＡに０ｘ０〜０ｘＦＦＦＦまでの値が設定され、ＲｅｇＤに０ｘ１が設定される。

（テストパターン（２）１３１の一例）
図８は、実施の形態にかかるテストパターン（２）１３１の一例を示す説明図である。図８において、テストパターン（２）１３１は、例えば、検証支援装置１０１によって作成、更新され、検証支援装置１０１のメモリ２０２またはディスク２０５に記憶される。

テストパターン（２）１３１は、アクセス順、アクセス対象項目、Ｒ／Ｗ／Ｉ／Ｏ、ＷｒｉｔｅＭｉｎ、ＷｒｉｔｅＭａｘ、Ｒｅａｄ、ＩｎｐｕｔＭｉｎ、ＩｎｐｕｔＭａｘ、Ｏｕｔｐｕｔ、検証項目との比較結果の項目を有する。テストパターン（２）１３１は、各項目に情報を設定することで、テストパターン情報（例えば、テストパターン情報１３１−１〜１３１−２）をレコードとして記憶する。

ここで、アクセス順は、テストパターン（１）１２１に示されるアクセスされる順番を示す。例えば、ソースコードは上から下に処理していくので、その順番に番号を振っていく。アクセス対象項目は、テストパターン（１）１２１の各行に記載されたアクセス対象項目を示す。

Ｒ／Ｗ／Ｉ／Ｏは、アクセス対象項目のアクセス種類を示す。例えば、アクセス対象項目がレジスタである場合、Ｗ（Ｗｒｉｔｅ）、Ｒ（Ｒｅａｄ）が記載される。また、アクセス対象項目が入出力端子である場合、Ｉ（Ｉｎｐｕｔ）、Ｏ（Ｏｕｔｐｕｔ）が記載される。

ＷｒｉｔｅＭｉｎは、レジスタＷｒｉｔｅの場合の設定値の最小値を示す。ＷｒｉｔｅＭａｘは、レジスタＷｒｉｔｅの場合の設定値の最大値を示す。Ｒｅａｄは、レジスタＲｅａｄによる終了条件成立待ちの場合の終了条件となるレジスタＲｅａｄ値を示す。ＩｎｐｕｔＭｉｎは、信号入力の場合の設定値の最小値を示す。ＩｎｐｕｔＭａｘは、信号入力の場合の設定値の最大値を示す。Ｏｕｔｐｕｔは、信号出力による終了条件成立待ちの場合の終了条件となる信号出力値を示す。検証項目との比較結果は、検証項目表（２）１３２との比較を行った場合の結果を一致または不一致で示す。

図８の例では、レコード１３１−１は、アクセス対象項目「ＲｅｇＡ」がテストパターン（１）１２１で最初にアクセスされ、０ｘ０〜０ｘＦＦＦＦまでの値が書き込まれることを示す。

（検証支援装置１０１の機能的構成例）
次に、図２に示した検証支援装置１０１の機能的構成例について説明する。図９は、実施の形態にかかる検証支援装置１０１の機能的構成例を示すブロック図である。図９において、検証支援装置１０１は、項目変換部９０１と、テストパターン変換部９０２と、テストパターン基準の比較部９０３と、検証項目基準の比較部９０４とを含む。項目変換部９０１と、テストパターン変換部９０２と、テストパターン基準の比較部９０３と、検証項目基準の比較部９０４を含む制御部は、具体的には、例えば、図２に示したメモリ２０２などの記憶装置に記憶されたプログラムをＣＰＵ２０１に実行させることにより、その機能を実現する。各制御部の処理結果は、例えば、図２に示したメモリ２０２などの記憶装置に記憶される。

項目変換部９０１は、検証項目表（１）１２２を取得して、取得した検証項目表（１）１２２から検証項目表（２）１３２を抽出する機能を有する。項目変換部９０１は、検証項目表（１）１２２の「カバレッジカウント条件」を検索し、検索した行の次の文字列を変換ルールに従って変換し、検証項目表（２）１３２に反映する。

例えば、変換ルールは、アクセス順を２にして、検証項目表（１）１２２の「カバレッジカウント条件」に記載されている文字列の先頭から“に”までの間の文字列を“アクセス対象項目”とし、“に”から次の“を”までの間の数字を「Ｒａｎｇｅ Ｍｉｎ／Ｍａｘ」に反映する。また、変換ルールは、“を”から次の“アクセス”までの間の決められ
た文字列（Ｒｅａｄ／Ｗｒｉｔｅ／Ｉｎｐｕｔ／Ｏｕｔｐｕｔ）をＲ／Ｗ／Ｉ／Ｏに反映する。例えば、変換ルールは、文字列Ｒｅａｄ、Ｗｒｉｔｅ、Ｉｎｐｕｔ、Ｏｕｔｐｕｔに対して、それぞれ「Ｒ」、「Ｗ」、「Ｉ」、「Ｏ」をＲ／Ｗ／Ｉ／Ｏに反映する。

項目変換部９０１は、検証項目表（１）１２２から「表の見方」を検索し、次の行の文字列を取得し、アクセス対象項目として記憶する。例えば、項目変換部９０１は、「表の見方」を検出した位置の同じ列の文字列を空白の行が検出されるまで取得する。項目変換部９０１は、それぞれをアクセス対象項目として、メモリ２０２などに記憶する。

項目変換部９０１は、検証項目表（１）１２２から「カバレッジ表」を検索し、次の行にあるセル単位の文字列と、記憶したアクセス対象項目が一致する場合、記憶したアクセス対象項目を、アクセス順を１にして、検証項目表（２）１３２に反映する。

項目変換部９０１は、検証項目表（１）１２２からアクセス対象項目の「Ｒａｎｇｅ Ｍｉｎ／Ｍａｘ」に該当するデータを取得し、検証項目表（２）１３２に反映する。例えば、項目変換部９０１は、取得したアクセス対象項目の位置から下の行の同じ列の文字列を取得し、取得した文字列を数字に変換し、数値の最小値と最大値を取得する。項目変換部９０１は、取得した数値の最小値を検証項目表（２）１３２の「Ｒａｎｇｅ Ｍｉｎ」に反映し、取得した数値の最大値を検証項目表（２）１３２の「Ｒａｎｇｅ Ｍａｘ」に反映する。

項目変換部９０１は、検証項目表（２）１３２に「Ｒ／Ｗ／Ｉ／Ｏ」を反映する。例えば、項目変換部９０１は、アクセス対象項目名が“Ｒｅｇ”で始まっていれば、「ＷｏｒＲ」を反映する。また、項目変換部９０１は、アクセス対象項目名が“Ｓｉｇ”で始まっ
ていれば、「ＩｏｒＯ」を反映する。

テストパターン変換部９０２は、テストパターン（１）１２１を取得して、取得したテストパターン（１）１２１からテストパターン（２）１３１を抽出する機能を有する。テストパターン変換部９０２は、テストパターン（１）１２１から１行取得し、アクセス順をテストパターン（２）１３１に反映する。例えば、テストパターン（１）１２１のソースコードは、上から下に処理していくため、テストパターン変換部９０２は、順番にアクセス順に番号を振る。

テストパターン変換部９０２は、取得した行のアクセス対象項目をテストパターン（２）１３１に反映する。例えば、アクセス対象項目がレジスタで、レジスタにＷｒｉｔｅである場合、テストパターン変換部９０２は、取得した行の設定値をテストパターン（２）１３１のＷｒｉｔｅＭｉｎ、ＷｒｉｔｅＭａｘに反映する。また、テストパターン変換部９０２は、テストパターン（２）１３１のＲ／Ｗ／Ｉ／Ｏに「Ｗ」を反映する。アクセス対象項目がレジスタで、レジスタがＲｅａｄである場合、テストパターン変換部９０２は、レジスタＲｅａｄによる終了条件成立待ちの場合の終了条件となるレジスタＲｅａｄ値をテストパターン（２）１３１のＲｅａｄに反映する。また、テストパターン変換部９０２は、テストパターン（２）１３１のＲ／Ｗ／Ｉ／Ｏに「Ｒ」を反映する。

例えば、アクセス対象項目が入出力端子で、入出力端子の信号入力である場合、テストパターン変換部９０２は、取得した行の設定値をテストパターン（２）１３１のＩｎｐｕｔＭｉｎ、ＩｎｐｕｔＭａｘに反映する。また、テストパターン変換部９０２は、テストパターン（２）１３１のＲ／Ｗ／Ｉ／Ｏに「Ｉ」を反映する。アクセス対象項目が入出力端子で、入出力端子から信号出力である場合、テストパターン変換部９０２は、信号出力による終了条件成立待ちの場合の終了条件となる信号出力値をテストパターン（２）１３１のＯｕｔｐｕｔに反映する。また、テストパターン変換部９０２は、テストパターン（２）１３１のＲ／Ｗ／Ｉ／Ｏに「Ｏ」を反映する。

テストパターン基準の比較部９０３は、テストパターン（２）１３１を基準にして、検証項目表（２）１３２と比較する機能を有する。

テストパターン基準の比較部９０３は、検証項目表（２）１３２からアクセス順２のアクセス対象項目を取得する。

テストパターン基準の比較部９０３は、取得したアクセス順２のアクセス対象項目がテストパターン（２）１３１に存在し、アクセス対象項目のＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致する場合、テストパターン（２）１３１の検証項目との比較結果に一致を反映する。

テストパターン基準の比較部９０３は、取得したアクセス順２のアクセス対象項目がテストパターン（２）１３１に存在しない場合、テストパターン（２）１３１の検証項目との比較結果に不一致を反映する。

テストパターン基準の比較部９０３は、取得したアクセス順２のアクセス対象項目がテストパターン（２）１３１に存在し、アクセス対象項目のＲ／Ｗ／Ｉ／ＯまたはＲａｎｇｅが一致しない場合、テストパターン（２）１３１の検証項目との比較結果に不一致を反映する。

ここで、検証項目表（２）１３２のＲ／Ｗ／Ｉ／Ｏが「ＲｏｒＷ」の場合、テストパターン基準の比較部９０３は、テストパターン（２）１３１のＲ／Ｗ／Ｉ／Ｏの「Ｒ」および「Ｗ」のどちらとも一致すると判断する。また、検証項目表（２）１３２のＲ／Ｗ／Ｉ／Ｏが「ＩｏｒＯ」の場合、テストパターン基準の比較部９０３は、テストパターン（２）１３１のＲ／Ｗ／Ｉ／Ｏの「Ｉ」および「Ｏ」のどちらとも一致すると判断する。

また、テストパターン基準の比較部９０３は、Ｒａｎｇｅが一致するか否かの判断の比較対象を、検証項目表（２）１３２の取得したアクセス対象項目のＲ／Ｗ／Ｉ／Ｏによって変える。検証項目表（２）１３２の取得したアクセス対象項目のＲ／Ｗ／Ｉ／Ｏが「Ｗ」の場合、テストパターン基準の比較部９０３は、テストパターン（２）１３１のアクセス対象項目の「Ｗｒｉｔｅ」と比較する。ＭｉｎとＭａｘの両方が一致する場合、テストパターン基準の比較部９０３は、Ｒａｎｇｅが一致すると判断する。検証項目表（２）１３２の取得したアクセス対象項目のＲ／Ｗ／Ｉ／Ｏが「Ｒ」の場合、テストパターン基準の比較部９０３は、テストパターン（２）１３１のアクセス対象項目の「Ｒｅａｄ」と比較する。検証項目表（２）１３２の取得したアクセス対象項目がＭｉｎ＝Ｍａｘで、かつ、テストパターン（２）１３１のアクセス対象項目の「Ｒｅａｄ」の値と一致する場合、テストパターン基準の比較部９０３は、Ｒａｎｇｅが一致すると判断する。

また、検証項目表（２）１３２の取得したアクセス対象項目のＲ／Ｗ／Ｉ／Ｏが「Ｉ」の場合、テストパターン基準の比較部９０３は、テストパターン（２）１３１のアクセス対象項目の「Ｉｎｐｕｔ」と比較する。ＭｉｎとＭａｘの両方が一致する場合、テストパターン基準の比較部９０３は、Ｒａｎｇｅが一致すると判断する。検証項目表（２）１３２の取得したアクセス対象項目のＲ／Ｗ／Ｉ／Ｏが「Ｏ」の場合、テストパターン基準の比較部９０３は、テストパターン（２）１３１のアクセス対象項目の「Ｏｕｔｐｕｔ」と比較する。検証項目表（２）１３２の取得したアクセス対象項目がＭｉｎ＝Ｍａｘで、かつ、テストパターン（２）１３１のアクセス対象項目の「Ｏｕｔｐｕｔ」の値と一致する場合、テストパターン基準の比較部９０３は、Ｒａｎｇｅが一致すると判断する。

テストパターン基準の比較部９０３は、テストパターン（２）１３１から、未比較のアクセス対象項目を取得する。ここで、未比較のアクセス対象項目とは、テストパターン（２）１３１の検証項目との比較結果に「一致」または「不一致」が反映されていないアクセス対象項目である。

テストパターン基準の比較部９０３は、取得した未比較のアクセス対象項目に対して、アクセス順２のアクセス対象項目と同様の処理を行い、テストパターン（２）１３１の検証項目との比較を行う。

検証項目基準の比較部９０４は、検証項目表（２）１３２を基準にして、テストパターン（２）１３１と比較する機能を有する。

検証項目基準の比較部９０４は、検証項目表（２）１３２からアクセス順２のアクセス対象項目を取得する。

検証項目基準の比較部９０４は、取得したアクセス順２のアクセス対象項目がテストパターン（２）１３１に存在し、アクセス対象項目のＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致する場合、検証項目表（２）１３２のテストパターンとの比較結果に一致を反映する。

検証項目基準の比較部９０４は、取得したアクセス順２のアクセス対象項目がテストパターン（２）１３１に存在しない場合、検証項目表（２）１３２のテストパターンとの比較結果に不一致を反映する。

検証項目基準の比較部９０４は、取得したアクセス順２のアクセス対象項目がテストパターン（２）１３１に存在し、アクセス対象項目のＲ／Ｗ／Ｉ／ＯまたはＲａｎｇｅが一致しない場合、検証項目表（２）１３２のテストパターンとの比較結果に不一致を反映する。

ここで、検証項目基準の比較部９０４のアクセス対象項目のＲ／Ｗ／Ｉ／ＯおよびＲａｎｇｅが一致するか否かの判断は、テストパターン基準の比較部９０３と同じようにして判断される。

検証項目基準の比較部９０４は、検証項目表（２）１３２からアクセス順１のアクセス対象項目を取得する。

検証項目基準の比較部９０４は、取得したアクセス順１のアクセス対象項目がテストパターン（２）１３１に存在し、アクセス対象項目のＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致する場合、検証項目表（２）１３２のテストパターンとの比較結果に一致を反映する。

検証項目基準の比較部９０４は、取得したアクセス順１のアクセス対象項目がテストパターン（２）１３１に存在しない場合、検証項目表（２）１３２のテストパターンとの比較結果に不一致を反映する。

検証項目基準の比較部９０４は、取得したアクセス順１のアクセス対象項目がテストパターン（２）１３１に存在し、アクセス対象項目のＲ／Ｗ／Ｉ／ＯまたはＲａｎｇｅが一致しない場合、検証項目表（２）１３２のテストパターンとの比較結果に不一致を反映する。

ここで、検証項目基準の比較部９０４のアクセス対象項目のＲ／Ｗ／Ｉ／ＯおよびＲａｎｇｅが一致するか否かの判断は、テストパターン基準の比較部９０３と同じようにして判断される。

（項目変換処理手順の一例）
図１０は、実施の形態にかかる検証支援装置１０１の項目変換処理手順の一例を示すフローチャートである。図１０において、まず、検証支援装置１０１は、検証項目表（１）１２２から「カバレッジカウント条件」を検索する（ステップＳ１００１）。検証支援装置１０１は、検索した行の次の行の文字列を変換ルールに従って変換し、アクセス対象項目のアクセス順を２にして、検証項目表（２）１３２に反映する（ステップＳ１００２）。

検証支援装置１０１は、検証項目表（１）１２２から「表の見方」を検索する（ステップＳ１００３）。検証支援装置１０１は、次の行の文字列を取得し、アクセス対象項目として記憶する（ステップＳ１００４）。検証支援装置１０１は、「表の見方」を検出した位置の同じ列の文字列を空白の行が検出されるまで取得し、アクセス対象項目として記憶する。

検証支援装置１０１は、検証項目表（１）１２２から「カバレッジ表」を検索する（ステップＳ１００５）。検証支援装置１０１は、次の行にあるセル単位の文字列が、記憶したアクセス対象項目と一致するか否かを判断する（ステップＳ１００６）。記憶したアクセス対象項目と一致しない場合（ステップＳ１００６：Ｎｏ）、検証項目表（１）１２２に誤りがあるため、検証支援装置１０１の処理は終了する。

記憶したアクセス対象項目と一致する場合（ステップＳ１００６：Ｙｅｓ）、検証支援装置１０１は、記憶したアクセス対象項目のアクセス順を１にして、検証項目表（２）１３２に反映する（ステップＳ１００７）。検証支援装置１０１は、検証項目表（１）１２２からアクセス対象項目の「Ｒａｎｇｅ Ｍｉｎ／Ｍａｘ」に該当するデータを取得し、検証項目表（２）１３２に反映する（ステップＳ１００８）。検証支援装置１０１は、検証項目表（２）１３２に「Ｒ／Ｗ／Ｉ／Ｏ」を反映する（ステップＳ１００９）。

検証支援装置１０１は、取得したアクセス対象項目のすべてに対して反映が終了したか否かを判断する（ステップＳ１０１０）。反映が終了しない場合（ステップＳ１０１０：Ｎｏ）、検証支援装置１０１の処理は、ステップＳ１００８に戻り、反映が終了していないアクセス対象項目に対して反映を行う。反映が終了した場合（ステップＳ１０１０：Ｙｅｓ）、項目変換が終了したため、検証支援装置１０１の処理は終了する。

これにより、本フローチャートにおける一連の処理は終了する。本フローチャートを実行することで、検証項目表（１）１２２のアクセス対象項目が検証項目表（２）１３２のアクセス対象項目に反映される。

（パターン変換処理手順の一例）
図１１は、実施の形態にかかる検証支援装置１０１のパターン変換処理手順の一例を示すフローチャートである。図１１において、まず、検証支援装置１０１は、テストパターン（１）１２１から１行取得する（ステップＳ１１０１）。検証支援装置１０１は、アクセス順をテストパターン（２）１３１に反映する（ステップＳ１１０２）。

検証支援装置１０１は、取得した行のアクセス対象項目をテストパターン（２）１３１に反映する（ステップＳ１１０３）。検証支援装置１０１は、アクセス対象項目として、レジスタ名、入出力端子を反映する。検証支援装置１０１は、アクセス対象項目がレジスタか否かを判断する（ステップＳ１１０４）。アクセス対象項目がレジスタである場合（ステップＳ１１０４：Ｙｅｓ）、検証支援装置１０１は、取得した行がレジスタにＷｒｉｔｅか否かを判断する（ステップＳ１１０５）。

取得した行がレジスタにＷｒｉｔｅである場合（ステップＳ１１０５：Ｙｅｓ）、検証支援装置１０１は、取得した行の設定値をテストパターン（２）１３１のＷｒｉｔｅＭｉｎ、ＷｒｉｔｅＭａｘに反映する（ステップＳ１１０６）。また、検証支援装置１０１は、Ｒ／Ｗ／Ｉ／Ｏに「Ｗ」を反映する。取得した行がレジスタにＷｒｉｔｅでない場合（ステップＳ１１０５：Ｎｏ）、検証支援装置１０１は、レジスタＲｅａｄによる終了条件成立待ちの場合の終了条件となるレジスタＲｅａｄ値をテストパターン（２）１３１のＲｅａｄに反映する（ステップＳ１１０７）。また、検証支援装置１０１は、Ｒ／Ｗ／Ｉ／Ｏに「Ｒ」を反映する。この後、検証支援装置１０１の処理は、ステップＳ１１１１に進む。

アクセス対象項目がレジスタでない場合（ステップＳ１１０４：Ｎｏ）、検証支援装置１０１は、取得した行が信号入力か否かを判断する（ステップＳ１１０８）。取得した行が信号入力である場合（ステップＳ１１０８：Ｙｅｓ）、検証支援装置１０１は、取得した行の設定値をテストパターン（２）１３１のＩｎｐｕｔＭｉｎ、ＩｎｐｕｔＭａｘに反映する（ステップＳ１１０９）。また、検証支援装置１０１は、Ｒ／Ｗ／Ｉ／Ｏに「Ｉ」を反映する。取得した行が信号入力でない場合（ステップＳ１１０８：Ｎｏ）、検証支援装置１０１は、信号出力による終了条件成立待ちの場合の終了条件となる信号出力値をテストパターン（２）１３１のＯｕｔｐｕｔに反映する（ステップＳ１１１０）。また、検証支援装置１０１は、Ｒ／Ｗ／Ｉ／Ｏに「Ｏ」を反映する。

検証支援装置１０１は、テストパターン（１）１２１のすべての行を処理したか否かを判断する（ステップＳ１１１１）。すべての行を処理しない場合（ステップＳ１１１１：Ｎｏ）、ステップＳ１１０１に戻り、処理が終了していない行に対して処理を行う。すべての行を処理した場合（ステップＳ１１１１：Ｙｅｓ）、検証支援装置１０１の処理は終了する。

これにより、本フローチャートにおける一連の処理は終了する。本フローチャートを実行することで、テストパターン（１）１２１のアクセス対象項目がテストパターン（２）１３１のアクセス対象項目に反映される。

（検証項目基準のアクセス対象項目比較処理手順の一例）
図１２は、実施の形態にかかる検証支援装置１０１の検証項目基準のアクセス対象項目比較処理手順の一例を示すフローチャートである。図１２において、まず、検証支援装置１０１は、検証項目表（２）１３２からアクセス順２のアクセス対象項目を取得する（ステップＳ１２０１）。検証支援装置１０１は、取得したアクセス順２のアクセス対象項目がテストパターン（２）１３１に含まれているか否かを判断する（ステップＳ１２０２）。

テストパターン（２）１３１に含まれている場合（ステップＳ１２０２：Ｙｅｓ）、検証支援装置１０１は、検証項目表（２）１３２とテストパターン（２）１３１でアクセス対象項目のＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致するか否かを判断する（ステップＳ１２０３）。例えば、検証支援装置１０１は、検証項目表（２）１３２の取得したアクセス順２のアクセス対象項目のＲ／Ｗ／Ｉ／Ｏとテストパターン（２）１３１のアクセス対象項目のＲ／Ｗ／Ｉ／Ｏが一致するか否かを判断する。一致した場合、検証支援装置１０１は、検証項目表（２）１３２の取得したアクセス順２のアクセス対象項目のＲａｎｇｅとテストパターン（２）１３１のアクセス対象項目のＲａｎｇｅが一致するか否かを判断する。

アクセス対象項目のＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致する場合（ステップＳ１２０３：Ｙｅｓ）、検証支援装置１０１は、検証項目表（２）１３２の取得したアクセス対象項目の項目に「一致」を設定する（ステップＳ１２０４）。この後、検証支援装置１０１は、未取得のアクセス順２のアクセス対象項目が、検証項目表（２）１３２にあるか否かを判断する（ステップＳ１２０６）。未取得のアクセス順２のアクセス対象項目が、検証項目表（２）１３２にある場合（ステップＳ１２０６：Ｙｅｓ）、検証支援装置１０１の処理は、ステップＳ１２０１に戻る。

ここで、テストパターン（２）１３１に含まれていない場合（ステップＳ１２０２：Ｎｏ）およびアクセス対象項目のＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致しない場合（ステップＳ１２０３：Ｎｏ）、検証支援装置１０１は、検証項目表（２）１３２のすべてのアクセス対象項目の項目に「不一致」を設定する（ステップＳ１２０５）。この後、検証支援装置１０１の処理は終了する。

未取得のアクセス順２のアクセス対象項目が、検証項目表（２）１３２にない場合（ステップＳ１２０６：Ｎｏ）、検証支援装置１０１は、検証項目表（２）１３２からアクセス順１のアクセス対象項目を取得する（ステップＳ１２０７）。検証支援装置１０１は、取得したアクセス順１のアクセス対象項目がテストパターン（２）１３１に含まれているか否かを判断する（ステップＳ１２０８）。

テストパターン（２）１３１に含まれている場合（ステップＳ１２０８：Ｙｅｓ）、検証支援装置１０１は、検証項目表（２）１３２とテストパターン（２）１３１でアクセス対象項目のＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致するか否かを判断する（ステップＳ１２０９）。例えば、検証支援装置１０１は、検証項目表（２）１３２の取得したアクセス順１のアクセス対象項目のＲ／Ｗ／Ｉ／Ｏとテストパターン（２）１３１のアクセス対象項目のＲ／Ｗ／Ｉ／Ｏが一致するか否かを判断する。一致した場合、検証支援装置１０１は、検証項目表（２）１３２の取得したアクセス順１のアクセス対象項目のＲａｎｇｅとテストパターン（２）１３１のアクセス対象項目のＲａｎｇｅが一致するか否かを判断する。

ここで、テストパターン（２）１３１に含まれていない場合（ステップＳ１２０８：Ｎｏ）およびアクセス対象項目のＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致しない場合（ステップＳ１２０９：Ｎｏ）、検証支援装置１０１は、検証項目表（２）１３２の取得したアクセス対象項目の項目に「不一致」を設定する（ステップＳ１２１１）。この後、検証支援装置１０１の処理は、ステップＳ１２１２に移行する。

アクセス対象項目のＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致する場合（ステップＳ１２０９：Ｙｅｓ）、検証支援装置１０１は、検証項目表（２）１３２の取得したアクセス対象項目の項目に「一致」を設定する（ステップＳ１２１０）。この後、検証支援装置１０１は、未取得のアクセス順１のアクセス対象項目が、検証項目表（２）１３２にあるか否かを判断する（ステップＳ１２１２）。未取得のアクセス順１のアクセス対象項目が、検証項目表（２）１３２にある場合（ステップＳ１２１２：Ｙｅｓ）、検証支援装置１０１の処理は、ステップＳ１２０７に戻る。未取得のアクセス順１のアクセス対象項目が、検証項目表（２）１３２にない場合（ステップＳ１２１２：Ｎｏ）、検証支援装置１０１の処理は、終了する。

これにより、本フローチャートにおける一連の処理は終了する。本フローチャートを実行することで、検証項目表（２）１３２に基づいてテストパターン（２）１３１が比較され、検証項目表（２）１３２のアクセス対象項目の項目が、テストパターン（２）１３１のアクセス対象項目の項目と一致するか否かが判定される。

（テストパターンのアクセス対象項目比較処理手順の一例）
図１３は、実施の形態にかかる検証支援装置１０１のテストパターン基準のアクセス対象項目比較処理手順の一例を示すフローチャートである。図１３において、まず、検証支援装置１０１は、検証項目表（２）１３２からアクセス順２のアクセス対象項目を取得する（ステップＳ１３０１）。検証支援装置１０１は、取得したアクセス順２のアクセス対象項目がテストパターン（２）１３１に含まれているか否かを判断する（ステップＳ１３０２）。

テストパターン（２）１３１に含まれている場合（ステップＳ１３０２：Ｙｅｓ）、検証支援装置１０１は、検証項目表（２）１３２とテストパターン（２）１３１でアクセス対象項目のＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致するか否かを判断する（ステップＳ１３０３）。例えば、検証支援装置１０１は、検証項目表（２）１３２の取得したアクセス順２のアクセス対象項目のＲ／Ｗ／Ｉ／Ｏとテストパターン（２）１３１のアクセス対象項目のＲ／Ｗ／Ｉ／Ｏが一致するか否かを判断する。一致した場合、検証支援装置１０１は、検証項目表（２）１３２の取得したアクセス順２のアクセス対象項目のＲａｎｇｅとテストパターン（２）１３１のアクセス対象項目のＲａｎｇｅが一致するか否かを判断する。

アクセス対象項目のＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致する場合（ステップＳ１３０３：Ｙｅｓ）、検証支援装置１０１は、テストパターン（２）１３１の取得したアクセス対象項目の項目に「一致」を設定する（ステップＳ１３０４）。この後、検証支援装置１０１は、未取得のアクセス順２のアクセス対象項目が、検証項目表（２）１３２にあるか否かを判断する（ステップＳ１３０６）。未取得のアクセス順２のアクセス対象項目が、検証項目表（２）１３２にある場合（ステップＳ１３０６：Ｙｅｓ）、検証支援装置１０１の処理は、ステップＳ１３０１に戻る。

ここで、テストパターン（２）１３１に含まれていない場合（ステップＳ１３０２：Ｎｏ）およびアクセス対象項目のＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致しない場合（ステップＳ１３０３：Ｎｏ）、検証支援装置１０１は、テストパターン（２）１３１のすべてのアクセス対象項目の項目に「不一致」を設定する（ステップＳ１３０５）。この後、検証支援装置１０１の処理は終了する。

未取得のアクセス順２のアクセス対象項目が、検証項目表（２）１３２にない場合（ステップＳ１３０６：Ｎｏ）、検証支援装置１０１は、テストパターン（２）１３１から、未比較のアクセス対象項目を取得する（ステップＳ１３０７）。検証支援装置１０１は、取得したアクセス対象項目が検証項目表（２）１３２に含まれているか否かを判断する（ステップＳ１３０８）。

検証項目表（２）１３２に含まれている場合（ステップＳ１３０８：Ｙｅｓ）、検証支援装置１０１は、検証項目表（２）１３２とテストパターン（２）１３１でアクセス対象項目のＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致するか否かを判断する（ステップＳ１３０９）。例えば、検証支援装置１０１は、テストパターン（２）１３１の取得したアクセス対象項目のＲ／Ｗ／Ｉ／Ｏと検証項目表（２）１３２のアクセス対象項目のＲ／Ｗ／Ｉ／Ｏが一致するか否かを判断する。一致した場合、検証支援装置１０１は、テストパターン（２）１３１の取得したアクセス対象項目のＲａｎｇｅと検証項目表（２）１３２のアクセス対象項目のＲａｎｇｅが一致するか否かを判断する。

ここで、検証項目表（２）１３２に含まれていない場合（ステップＳ１３０８：Ｎｏ）およびアクセス対象項目のＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致しない場合（ステップＳ１３０９：Ｎｏ）、検証支援装置１０１は、テストパターン（２）１３１の取得したアクセス対象項目の項目に「不一致」を設定する（ステップＳ１３１１）。この後、検証支援装置１０１の処理は、ステップＳ１３１２に移行する。

アクセス対象項目のＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致する場合（ステップＳ１３０９：Ｙｅｓ）、検証支援装置１０１は、テストパターン（２）１３１の取得したアクセス対象項目の項目に「一致」を設定する（ステップＳ１３１０）。この後、検証支援装置１０１は、未比較のアクセス対象項目が、テストパターン（２）１３１にあるか否かを判断する（ステップＳ１３１２）。未比較のアクセス対象項目が、テストパターン（２）１３１にある場合（ステップＳ１３１２：Ｙｅｓ）、検証支援装置１０１の処理は、ステップＳ１３０７に戻る。未比較のアクセス対象項目が、テストパターン（２）１３１にない場合（ステップＳ１３１２：Ｎｏ）、検証支援装置１０１の処理は、終了する。

これにより、本フローチャートにおける一連の処理は終了する。本フローチャートを実行することで、テストパターン（２）１３１に基づいて検証項目表（２）１３２が比較され、テストパターン（２）１３１のアクセス対象項目の項目が、検証項目表（２）１３２のアクセス対象項目の項目と一致するか否かが判定される。

（項目変換処理手順の一実施例）
図１４、図１５および図１６は、実施の形態にかかる検証支援装置１０１の項目変換処理手順の一実施例を示す説明図である。ここで、符号１４０１、１４０３、１５０１は、それぞれ検証項目表（１）１２２の一部であり、符号１４０２、１４０４、１５０２、１６０１は、それぞれ検証項目表（２）１３２の一部である。

図１４（Ａ）において、検証支援装置１０１は、検証項目表（１）１４０１から「カバレッジカウント条件」を検索する（ステップＳ１００１）。検証支援装置１０１は、検索した行の次の行の文字列「ＲｅｇＤに１をＷｒｉｔｅアクセスしたときにカウント」を変換ルールに従って変換し、検証項目表（２）１４０２に反映する（ステップＳ１００２）。例えば、検証支援装置１０１は、アクセス順を２にして、文字列の先頭から“に”までのＲｅｇＤを“アクセス対象項目”とし、次の“に”から“を”までの数字「１」を「Ｒａｎｇｅ Ｍｉｎ／Ｍａｘ」に反映する。また、検証支援装置１０１は、次の“を”から“アクセス”までの決められた文字列（Ｗｒｉｔｅ）を「Ｗ」とする。

図１４（Ｂ）において、検証支援装置１０１は、検証項目表（１）１４０３から「表の見方」というキーワードを検索する（ステップＳ１００３）。検証支援装置１０１は、次の行の文字列を取得し、「ＲｅｇＡ、ＲｅｇＢ、ＲｅｇＣ、ＲｅｇＤ」をアクセス対象項目として記憶する（ステップＳ１００４）。検証支援装置１０１は、検証項目表（１）１４０３から「カバレッジ表」というキーワードを検索する（ステップＳ１００５）。検証支援装置１０１は、次の行にあるセル単位の文字列「ＲｅｇＡ、ＲｅｇＢ、ＲｅｇＣ、ＲｅｇＤ」が、記憶したアクセス対象項目と一致するため、記憶したアクセス対象項目を、アクセス順を１にして、検証項目表（２）１４０４に反映する（ステップＳ１００７）。

図１５（Ｃ）において、検証支援装置１０１は、取得したＲｅｇＡの位置から下の行の同じ列の文字列「０ｘ０」〜「０ｘＦＦＦＦ」を検証項目表（１）１５０１から取得し、取得した文字列を数字に変換し、数値の最小値「０ｘ０」と最大値「０ｘＦＦＦＦ」を取得する。検証支援装置１０１は、取得した数値の最小値「０ｘ０」を検証項目表（２）１５０２の「Ｒａｎｇｅ Ｍｉｎ」に反映し、取得した数値の最大値「０ｘＦＦＦＦ」を検証項目表（２）１５０２の「Ｒａｎｇｅ Ｍａｘ」に反映する。

図１６（Ｄ）において、検証支援装置１０１は、ＲｅｇＢ、ＲｅｇＣおよびＲｅｇＤの位置から下の行の同じ列の文字列を取得し、取得した文字列を数字に変換し、数値の最小値と最大値を取得する。検証支援装置１０１は、取得した数値の最小値を検証項目表（２）１６０１の「Ｒａｎｇｅ Ｍｉｎ」に反映し、取得した数値の最大値を検証項目表（２）１６０１の「Ｒａｎｇｅ Ｍａｘ」に反映する。また、検証支援装置１０１は、アクセス対象項目がレジスタであるため、Ｒ／Ｗ／Ｉ／Ｏに「ＷｏｒＲ」を反映する（ステップＳ１００９）。

このように、検証項目表（１）１２２のアクセス対象項目が検証項目表（２）１３２のアクセス対象項目に反映される。

（パターン変換処理手順の一実施例）
図１７は、実施の形態にかかる検証支援装置１０１のパターン変換処理手順の一実施例を示す説明図である。ここで、符号１７０１は、テストパターン（１）１２１の一部であり、符号１７０２は、テストパターン（２）１３１の一部である。

図１７において、検証支援装置１０１は、テストパターン（１）１７０１から「ｒｅｇ＿ａｃｃｅｓｓ＿ｗｒｉｔｅ（ＲｅｇＡ，０ｘ０，０ｘＦＦＦＦ）；」を取得する（ステップＳ１１０１）。検証支援装置１０１は、アクセス順１で取得した行のアクセス対象項目「ＲｅｇＡ」をテストパターン（２）１７０２に反映する（ステップＳ１１０３）。アクセス対象項目がレジスタであり、Ｗｒｉｔｅであるため、検証支援装置１０１は、取得した行の設定値「０ｘ０」、「０ｘＦＦＦＦ」をテストパターン（２）１７０２のＷｒｉｔｅＭｉｎ、ＷｒｉｔｅＭａｘに反映する（ステップＳ１１０６）。また、検証支援装置１０１は、Ｒ／Ｗ／Ｉ／Ｏに「Ｗ」を反映する。検証支援装置１０１は、次の行も同様の処理を行う。

このように、テストパターン（１）１２１のアクセス対象項目がテストパターン（２）１３１のアクセス対象項目に反映される。

（検証項目基準のアクセス対象項目比較処理手順の一実施例）
図１８および図１９は、実施の形態にかかる検証支援装置１０１の検証項目基準のアクセス対象項目比較処理手順の一実施例を示す説明図である。ここで、符号１８０１、１９０１は、テストパターン（２）１３１の一部であり、符号１８０２、１８０３、１９０２、１９０３は、検証項目表（２）１３２の一部である。

図１８において、検証支援装置１０１は、検証項目表（２）１８０２からアクセス順２のアクセス対象項目を取得する（ステップＳ１２０１）。検証支援装置１０１は、取得したアクセス順２のアクセス対象項目がテストパターン（２）１８０１に含まれ、検証項目表（２）１８０２とテストパターン（２）１８０１でアクセス対象項目のＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致すると判断する。検証支援装置１０１は、検証項目表（２）１８０３の取得したアクセス対象項目の項目に「一致」を設定する（ステップＳ１２０４）。

図１９において、検証支援装置１０１は、未取得のアクセス順２のアクセス対象項目が、検証項目表（２）１９０２にないため、検証支援装置１０１は、検証項目表（２）１９０２からアクセス順１のＲｅｇＡを取得する（ステップＳ１２０７）。検証支援装置１０１は、取得したＲｅｇＡのアクセス対象項目がテストパターン（２）１９０１に含まれ、検証項目表（２）１９０２とテストパターン（２）１９０１でＲｅｇＡのＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致すると判断する。検証支援装置１０１は、検証項目表（２）１９０３の取得したＲｅｇＡの項目に「一致」を設定する（ステップＳ１２１０）。

図１９において、検証支援装置１０１は、検証項目表（２）１９０２からアクセス順１のＲｅｇＢ、ＲｅｇＣ、ＲｅｇＤを取得する（ステップＳ１２０７）。検証支援装置１０１は、取得したＲｅｇＢ、ＲｅｇＣ、ＲｅｇＤがテストパターン（２）１９０１に含まれないため、検証項目表（２）１９０３の取得したＲｅｇＢ、ＲｅｇＣ、ＲｅｇＤの項目に「不一致」を設定する（ステップＳ１２１１）。

このように、検証項目表（２）１３２に基づいてテストパターン（２）１３１が比較され、検証項目表（２）１３２のアクセス対象項目の項目が、テストパターン（２）１３１のアクセス対象項目の項目と一致するか否かが判定される。

（テストパターン基準のアクセス対象項目比較処理手順の一実施例）
図２０および図２１は、実施の形態にかかる検証支援装置１０１のテストパターン基準のアクセス対象項目比較処理手順の一実施例を示す説明図である。ここで、符号２００１、２００３、２１０１、２１０３は、テストパターン（２）１３１の一部であり、符号２００２、２１０２は、検証項目表（２）１３２の一部である。

図２０において、検証支援装置１０１は、検証項目表（２）２００２からアクセス順２のＲｅｇＤを取得する（ステップＳ１３０１）。検証支援装置１０１は、取得したアクセス順２のＲｅｇＤがテストパターン（２）２００１に含まれ、検証項目表（２）２００２とテストパターン（２）２００１でアクセス対象項目のＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致すると判断する。検証支援装置１０１は、テストパターン（２）２００３の取得したアクセス対象項目の項目に「一致」を設定する（ステップＳ１３０４）。

図２１において、未取得のアクセス順２のアクセス対象項目が、検証項目表（２）２１０２にないため、検証支援装置１０１は、テストパターン（２）２１０１から未比較のＲｅｇＡを取得する（ステップＳ１３０７）。検証支援装置１０１は、取得したＲｅｇＡのアクセス対象項目が検証項目表（２）２１０２に含まれ、検証項目表（２）２１０２とテストパターン（２）２１０１でＲｅｇＡのＲ／Ｗ／Ｉ／Ｏ、Ｒａｎｇｅが一致すると判断する。検証支援装置１０１は、テストパターン（２）２１０３の取得したＲｅｇＡの項目に「一致」を設定する（ステップＳ１３１０）。

図２１において、検証支援装置１０１は、同様にして、ＲｅｇＣ、ＲｅｇＢの項目に「一致」を設定する（ステップＳ１３１０）。

図２１において、検証支援装置１０１は、テストパターン（２）２１０１から未比較のＲｅｇＺを取得する（ステップＳ１３０７）。検証支援装置１０１は、取得したＲｅｇＺが検証項目表（２）２１０２に含まれないため、テストパターン（２）２１０３の取得したＲｅｇＺの項目に「不一致」を設定する（ステップＳ１３１１）。

このように、テストパターン（２）１３１に基づいて検証項目表（２）１３２が比較され、テストパターン（２）１３１のアクセス対象項目の項目が、検証項目表（２）１３２のアクセス対象項目の項目と一致するか否かが判定される。

以上説明したように、検証支援装置１０１は、検証対象回路の設計仕様書１１２とユースケース１１１とに基づき作成された検証項目表（１）１２２から抽出したアクセス対象項目と当該アクセス対象項目のアクセス順とを示す検証項目表（２）１３２を作成する。また、検証支援装置１０１は、ユースケース１１１に基づき作成されたテストパターン（１）１２１から抽出したアクセス対象項目を示すテストパターン（２）１３１を作成する。検証支援装置１０１は、検証項目表（２）１３２が示すアクセス対象項目のうちの特定のアクセス順のアクセス対象項目が、テストパターン（２）１３１が示すアクセス対象項目に存在するか否かを判定する。

これにより、検証支援装置１０１は、検証項目表（１）１２２の検証範囲とテストパターン（１）１２１の検証範囲の不一致を検出することができる。特に、検証支援装置１０１は、特定のアクセス順のアクセス対象項目の不一致を検出することができる。これにより、検証支援装置１０１は、論理シミュレーションの際にカバレッジカウントがカウントアップされず、検証項目のカバレッジ１００％が達成されないことを、論理シミュレーションを行う前に検出できる。また、「カバレッジカウント条件」は、検証における重要な条件である。そのため、「カバレッジカウント条件」に規定の特定のアクセス順のアクセス対象項目がテストパターン（１）１２１の検証範囲に存在しない場合、特定のアクセス順と異なるアクセス順のアクセス対象項目もテストパターン（１）１２１の検証範囲に存在しない場合がある。そのため、例えば、検証支援装置１０１が特定のアクセス順のアクセス対象項目の不一致を検出することで、特定のアクセス順のアクセス対象項目により起動される機能のために設定されるアクセス対象項目の不一致も検出できる場合がある。

この後、検証項目表（１）１２２の検証範囲とテストパターン（１）１２１の検証範囲の一致／不一致をディスプレイ（表示装置）２０８に表示し、一致／不一致をフィードバックすることにより、ユースケース１１１、テストパターン（１）１２１、設計仕様書１１２または検証項目表（１）１２２を修正することができる。これにより、検証項目表（１）１２２の検証範囲とテストパターン（１）１２１の検証範囲を一致させることができる。このため、検証支援装置１０１は、検証項目のカバレッジ１００％を達成するまでの時間を短縮することできる。

また、特定のアクセス順のアクセス対象項目がテストパターン（２）１３１に存在することに応じて、検証支援装置１０１は、さらに判定を行うことができる。例えば、検証支援装置１０１は、検証項目表（２）１３２に存在するアクセス対象項目のうちの特定のアクセス順と異なるアクセス順のアクセス対象項目が、テストパターン（２）１３１に存在するか否かを判定することができる。

検証支援装置１０１は、例えば、特定のアクセス順と異なるアクセス順のアクセス対象項目をアクセス順１のアクセス対象項目にすることができる。この場合、検証支援装置１０１は、検証項目表（２）１３２のアクセス順１のアクセス対象項目がテストパターン（２）１３１に存在するか否かを判定する。

これにより、検証支援装置１０１は、検証項目表（１）１２２に存在するが、テストパターン（１）１２１に存在しないアクセス対象項目を判定することができる。この後、検証項目表（１）１２２の検証範囲からテストパターン（１）１２１の検証範囲の差分を取ることで、テストパターン（１）１２１の検証範囲の不足を明確にすることができる。

また、検証支援装置１０１は、特定のアクセス順のアクセス対象項目がテストパターン（２）１３１に存在することに応じて、検証支援装置１０１はさらに判定を行うことができる。例えば、検証支援装置１０１は、テストパターン（２）１３１に存在するアクセス対象項目のうちの特定のアクセス順のアクセス対象項目と異なるアクセス対象項目が、検証項目表（２）１３２に存在するか否かを判定することができる。

検証支援装置１０１は、例えば、特定のアクセス順のアクセス対象項目と異なるアクセス対象項目をアクセス順２のアクセス対象項目と異なるアクセス対象項目にすることができる。この場合、検証支援装置１０１は、テストパターン（２）１３１に存在するアクセス対象項目のうちのアクセス順２のアクセス対象項目と異なるアクセス対象項目が、検証項目表（２）１３２に存在するか否かを判定する。

これにより、検証支援装置１０１は、テストパターン（１）１２１に存在するが、検証項目表（１）１２２に存在しないアクセス対象項目を判定することができる。この後、テストパターン（１）１２１の検証範囲から検証項目表（１）１２２の検証範囲の差分を取ることで、検証項目表（１）１２２の検証範囲の不足を明確にすることができる。

ここで、フィードバックを行うことにより、検証項目表（１）１２２の検証範囲とテストパターン（１）１２１の検証範囲との差分を少なくすることができる。検証支援装置１０１による判定と、フィードバックを続けていくことで、検証項目表（１）１２２の検証範囲とテストパターン（１）１２１の検証範囲を一致させることが可能になる。このため、検証支援装置１０１は、検証項目のカバレッジ１００％を達成するまでの時間を短縮することできる。

また、特定のアクセス順のアクセス対象項目がテストパターン（２）１３１に存在することに応じて、検証支援装置１０１は、さらに判定を行うことができる。例えば、検証支援装置１０１は、検証項目表（２）１３２に存在する特定のアクセス順のアクセス対象項目のアクセス種類とアクセス範囲とが、テストパターン（２）１３１に存在するアクセス対象項目のアクセス種類とアクセス範囲と一致するか否かを判定することができる。

また、検証項目表（２）１３２に存在するアクセス対象項目のうちの特定のアクセス順と異なるアクセス順のアクセス対象項目が、テストパターン（２）１３１に存在することに応じて、検証支援装置１０１は、さらに判定を行うことができる。例えば、検証支援装置１０１は、検証項目表（２）１３２の特定のアクセス順と異なるアクセス順のアクセス対象項目のアクセス種類とアクセス範囲とが、テストパターン（２）１３１のアクセス対象項目のアクセス種類とアクセス範囲と一致するか否かを判定できる。

また、テストパターン（２）１３１に存在するアクセス対象項目のうちの特定のアクセス順のアクセス対象項目と異なるアクセス対象項目が、検証項目表（２）１３２に存在することに応じて、検証支援装置１０１は、さらに判定を行うことができる。例えば、検証支援装置１０１は、テストパターン（２）１３１のアクセス順のアクセス対象項目と異なるアクセス対象項目のアクセス種類とアクセス範囲とが、検証項目表（２）１３２のアクセス対象項目のアクセス種類とアクセス範囲と一致するか否かを判定できる。

これにより、検証支援装置１０１は、アクセス対象項目のアクセス種類とアクセス範囲を考慮して、検証項目表（１）１２２の検証範囲とテストパターン（１）１２１の検証範囲の不一致を検出することができる。

上述した実施の形態に関し、さらに以下の付記を開示する。

（付記１）検証対象回路の設計仕様書と前記検証対象回路の機能に関連するシナリオを示すユースケースとに基づき作成された検証項目表から抽出した前記検証対象回路のレジスタまたは入出力端子を含む複数の第１のアクセス対象項目と前記複数の第１のアクセス対象項目のアクセス順とを有する第１アクセス対象情報を作成し、
前記ユースケースに基づき作成されたテストパターンから抽出した複数の第２のアクセス対象項目を有する第２アクセス対象情報を作成し、
前記複数の第１のアクセス対象項目のうちの特定のアクセス順のアクセス対象項目が、前記第２アクセス対象情報に存在するか否かを判定する、
制御部を有することを特徴とする検証支援装置。

（付記２）前記制御部は、
前記特定のアクセス順のアクセス対象項目が前記第２アクセス対象情報に存在すると判定したことに応じて、前記複数の第１のアクセス対象項目のうちの前記特定のアクセス順と異なるアクセス順のアクセス対象項目が、前記第２アクセス対象情報に存在するか否かを判定することを特徴とする付記１に記載の検証支援装置。

（付記３）前記制御部は、
前記特定のアクセス順のアクセス対象項目が前記第２アクセス対象情報に存在すると判定したことに応じて、前記複数の第２のアクセス対象項目のうちの前記特定のアクセス順のアクセス対象項目と異なるアクセス対象項目が、前記第１アクセス対象情報に存在するか否かを判定することを特徴とする付記１に記載の検証支援装置。

（付記４）前記制御部は、
前記複数の第１のアクセス対象項目と、前記複数の第１のアクセス対象項目のアクセス順、アクセス種類およびアクセス範囲と、を有する前記第１アクセス対象情報を作成し、
前記複数の第２のアクセス対象項目と、前記複数の第２のアクセス対象項目のアクセス種類およびアクセス範囲と、を有する前記第２アクセス対象情報を作成し、
前記特定のアクセス順のアクセス対象項目が前記第２アクセス対象情報に存在すると判定したことに応じて、前記第１アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目のアクセス種類とアクセス範囲とが、前記第２アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目のアクセス種類とアクセス範囲と一致するか否かを判定する、
ことを特徴とする付記１に記載の検証支援装置。

（付記５）前記制御部は、
前記特定のアクセス順のアクセス対象項目が前記第２アクセス対象情報に存在すると判定し、前記第１アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目のアクセス種類とアクセス範囲とが、前記第２アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目のアクセス種類とアクセス範囲と一致すると判定し、かつ、前記第１アクセス対象情報に存在するアクセス対象項目のうちの前記特定のアクセス順と異なるアクセス順のアクセス対象項目が、前記第２アクセス対象情報に存在すると判定したことに応じて、前記第１アクセス対象情報に存在する前記特定のアクセス順と異なるアクセス順のアクセス対象項目のアクセス種類とアクセス範囲とが、前記第２アクセス対象情報に存在する前記特定のアクセス順と異なるアクセス順のアクセス対象項目のアクセス種類とアクセス範囲と一致するか否かを判定する、
ことを特徴とする付記４に記載の検証支援装置。

（付記６）前記制御部は、
前記特定のアクセス順のアクセス対象項目が前記第２アクセス対象情報に存在すると判定し、前記第１アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目のアクセス種類とアクセス範囲とが、前記第２アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目のアクセス種類とアクセス範囲と一致すると判定し、かつ、前記第２アクセス対象情報に存在するアクセス対象項目のうちの前記特定のアクセス順のアクセス対象項目と異なるアクセス対象項目が、前記第１アクセス対象情報に存在すると判定したことに応じて、前記第２アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目と異なるアクセス対象項目のアクセス種類とアクセス範囲とが、前記第１アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目と異なるアクセス対象項目のアクセス種類とアクセス範囲と一致するか否かを判定する、
ことを特徴とする付記４に記載の検証支援装置。

（付記７）前記検証対象回路の処理を起動する条件に基づいて、前記アクセス対象項目のアクセス順を決定することを特徴とする付記１〜６のいずれか一つに記載の検証支援装置。

（付記８）前記制御部により、前記第１アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目のアクセス種類とアクセス範囲と、前記第２アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目のアクセス種類とアクセス範囲との一致／不一致を表示装置に表示する表示制御部を有することを特徴とする付記４に記載の検証支援装置。

（付記９）コンピュータが、
検証対象回路の設計仕様書と前記検証対象回路の機能に関連するシナリオを示すユースケースとに基づき作成された検証項目表から抽出した前記検証対象回路のレジスタまたは入出力端子を含む複数の第１のアクセス対象項目と前記複数の第１のアクセス対象項目のアクセス順とを有する第１アクセス対象情報を作成し、
前記ユースケースに基づき作成されたテストパターンから抽出した複数の第２のアクセス対象項目を有する第２アクセス対象情報を作成し、
前記複数の第１のアクセス対象項目のうちの特定のアクセス順のアクセス対象項目が、前記第２アクセス対象情報に存在するか否かを判定する、
処理を実行することを特徴とする検証支援方法。

（付記１０）コンピュータに、
検証対象回路の設計仕様書と前記検証対象回路の機能に関連するシナリオを示すユースケースとに基づき作成された検証項目表から抽出した前記検証対象回路のレジスタまたは入出力端子を含む複数の第１のアクセス対象項目と前記複数の第１のアクセス対象項目のアクセス順とを有する第１アクセス対象情報を作成し、
前記ユースケースに基づき作成されたテストパターンから抽出した複数の第２のアクセス対象項目を有する第２アクセス対象情報を作成し、
前記複数の第１のアクセス対象項目のうちの特定のアクセス順のアクセス対象項目が、前記第２アクセス対象情報に存在するか否かを判定する、
処理を実行させることを特徴とする検証支援プログラム。

（付記１１）コンピュータに、
検証対象回路の設計仕様書と前記検証対象回路の機能に関連するシナリオを示すユースケースとに基づき作成された検証項目表から抽出した前記検証対象回路のレジスタまたは入出力端子を含む複数の第１のアクセス対象項目と前記複数の第１のアクセス対象項目のアクセス順とを有する第１アクセス対象情報を作成し、
前記ユースケースに基づき作成されたテストパターンから抽出した複数の第２のアクセス対象項目を有する第２アクセス対象情報を作成し、
前記複数の第１のアクセス対象項目のうちの特定のアクセス順のアクセス対象項目が、前記第２アクセス対象情報に存在するか否かを判定する、
処理を実行させる検証支援プログラムを記録したことを特徴とする前記コンピュータに読み取り可能な記録媒体。

１０１ 検証支援装置
９０１ 項目変換部
９０２ テストパターン変換部
９０３ テストパターン基準の比較部
９０４ 検証項目基準の比較部

Claims (9)

1. 検証対象回路の設計仕様書と前記検証対象回路の機能に関連するシナリオを示すユースケースとに基づき作成された検証項目表から抽出した前記検証対象回路のレジスタまたは入出力端子を含む複数の第１のアクセス対象項目と前記複数の第１のアクセス対象項目のアクセス順とを有する第１アクセス対象情報を作成し、
   前記ユースケースに基づき作成されたテストパターンから抽出した複数の第２のアクセス対象項目を有する第２アクセス対象情報を作成し、
   前記複数の第１のアクセス対象項目のうちの特定のアクセス順のアクセス対象項目が、前記第２アクセス対象情報に存在するか否かを判定する、
   制御部を有することを特徴とする検証支援装置。
2. 前記制御部は、
   前記特定のアクセス順のアクセス対象項目が前記第２アクセス対象情報に存在すると判定したことに応じて、前記複数の第１のアクセス対象項目のうちの前記特定のアクセス順と異なるアクセス順のアクセス対象項目が、前記第２アクセス対象情報に存在するか否かを判定することを特徴とする請求項１に記載の検証支援装置。
3. 前記制御部は、
   前記特定のアクセス順のアクセス対象項目が前記第２アクセス対象情報に存在すると判定したことに応じて、前記複数の第２のアクセス対象項目のうちの前記特定のアクセス順のアクセス対象項目と異なるアクセス対象項目が、前記第１アクセス対象情報に存在するか否かを判定することを特徴とする請求項１に記載の検証支援装置。
4. 前記制御部は、
   前記複数の第１のアクセス対象項目と、前記複数の第１のアクセス対象項目のアクセス順、アクセス種類およびアクセス範囲と、を有する前記第１アクセス対象情報を作成し、
   前記複数の第２のアクセス対象項目と、前記複数の第２のアクセス対象項目のアクセス種類およびアクセス範囲と、を有する前記第２アクセス対象情報を作成し、
   前記特定のアクセス順のアクセス対象項目が前記第２アクセス対象情報に存在すると判定したことに応じて、前記第１アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目のアクセス種類とアクセス範囲とが、前記第２アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目のアクセス種類とアクセス範囲と一致するか否かを判定する、
   ことを特徴とする請求項１に記載の検証支援装置。
5. 前記制御部は、
   前記特定のアクセス順のアクセス対象項目が前記第２アクセス対象情報に存在すると判定し、前記第１アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目のアクセス種類とアクセス範囲とが、前記第２アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目のアクセス種類とアクセス範囲と一致すると判定し、かつ、前記第１アクセス対象情報に存在するアクセス対象項目のうちの前記特定のアクセス順と異なるアクセス順のアクセス対象項目が、前記第２アクセス対象情報に存在すると判定したことに応じて、前記第１アクセス対象情報に存在する前記特定のアクセス順と異なるアクセス順のアクセス対象項目のアクセス種類とアクセス範囲とが、前記第２アクセス対象情報に存在する前記特定のアクセス順と異なるアクセス順のアクセス対象項目のアクセス種類とアクセス範囲と一致するか否かを判定する、
   ことを特徴とする請求項４に記載の検証支援装置。
6. 前記制御部は、
   前記特定のアクセス順のアクセス対象項目が前記第２アクセス対象情報に存在すると判定し、前記第１アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目のアクセス種類とアクセス範囲とが、前記第２アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目のアクセス種類とアクセス範囲と一致すると判定し、かつ、前記第２アクセス対象情報に存在するアクセス対象項目のうちの前記特定のアクセス順のアクセス対象項目と異なるアクセス対象項目が、前記第１アクセス対象情報に存在すると判定したことに応じて、前記第２アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目と異なるアクセス対象項目のアクセス種類とアクセス範囲とが、前記第１アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目と異なるアクセス対象項目のアクセス種類とアクセス範囲と一致するか否かを判定する、
   ことを特徴とする請求項４に記載の検証支援装置。
7. 前記検証対象回路の処理を起動する条件に基づいて、前記アクセス対象項目のアクセス順を決定することを特徴とする請求項１〜６のいずれか一つに記載の検証支援装置。
8. 前記制御部により、前記第１アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目のアクセス種類とアクセス範囲と、前記第２アクセス対象情報に存在する前記特定のアクセス順のアクセス対象項目のアクセス種類とアクセス範囲との一致／不一致を表示装置に表示する表示制御部を有することを特徴とする請求項４に記載の検証支援装置。
9. コンピュータが、
   検証対象回路の設計仕様書と前記検証対象回路の機能に関連するシナリオを示すユースケースとに基づき作成された検証項目表から抽出した前記検証対象回路のレジスタまたは入出力端子を含む複数の第１のアクセス対象項目と前記複数の第１のアクセス対象項目のアクセス順とを有する第１アクセス対象情報を作成し、
   前記ユースケースに基づき作成されたテストパターンから抽出した複数の第２のアクセス対象項目を有する第２アクセス対象情報を作成し、
   前記複数の第１のアクセス対象項目のうちの特定のアクセス順のアクセス対象項目が、前記第２アクセス対象情報に存在するか否かを判定する、
   処理を実行することを特徴とする検証支援方法。

Images