特開 2024-155773 ＧＰＵシェーダコードのコードカバレッジを判定するためのシステム及び方法

(19)【発行国】日本国特許庁(JP)

(12)【公報種別】公開特許公報(A)

(11)【公開番号】P2024155773

(43)【公開日】2024-10-31

(54)【発明の名称】ＧＰＵシェーダコードのコードカバレッジを判定するためのシステム及び方法

(51)【国際特許分類】

   G06F 11/36 20060101AFI20241024BHJP

   G06F 11/30 20060101ALI20241024BHJP

【ＦＩ】

G06F11/36 176

G06F11/30 140D

【審査請求】未請求

【請求項の数】3

【出願形態】ＯＬ

【外国語出願】

(21)【出願番号】P 2024063415

(22)【出願日】2024-04-10

(31)【優先権主張番号】202311029082

(32)【優先日】2023-04-21

(33)【優先権主張国・地域又は機関】IN

(31)【優先権主張番号】18/334,246

(32)【優先日】2023-06-13

(33)【優先権主張国・地域又は機関】US

(71)【出願人】

【識別番号】500575824

【氏名又は名称】ハネウェル・インターナショナル・インコーポレーテッド

【氏名又は名称原語表記】Ｈｏｎｅｙｗｅｌｌ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｉｎｃ．

(74)【代理人】

【識別番号】100118902

【弁理士】

【氏名又は名称】山本 修

(74)【代理人】

【識別番号】100106208

【弁理士】

【氏名又は名称】宮前 徹

(74)【代理人】

【識別番号】100196508

【弁理士】

【氏名又は名称】松尾 淳一

(74)【代理人】

【識別番号】100138759

【弁理士】

【氏名又は名称】大房 直樹

(72)【発明者】

【氏名】プレム クマール

(72)【発明者】

【氏名】シャンカール クディミ

(72)【発明者】

【氏名】ヴェンカット ゴリパルティ

(72)【発明者】

【氏名】パヴァン クマール デサイ

(72)【発明者】

【氏名】アララクッペ ラメゴウダ ヨゲシャ

【テーマコード（参考）】

5B042

【Ｆターム（参考）】

5B042HH10

5B042HH18

5B042NN09

(57)【要約】      （修正有）

【課題】ＧＰＵシェーダコードカバレッジを判定するシステム及び方法を提供する。
【解決手段】方法は、ユーザからシステムに提供されるＧＰＵシェーダコードを受信することと、ドロップダウンメニューやリストなどから選択することでユーザから提供される必要とされる構造コードカバレッジのレベルの選択する入力を受信することと、インストルメントされたＧＰＵシェーダコードを生成することと、表示されたグラフィックオブジェクトとＧＰＵシェーダコードのラインとの間の相関を含むマッピング情報を記憶することと、実行可能なインストルメントされたＧＰＵシェーダコードを生成することと、要件ベースのテスト中にＧＰＵシェーダコードの実行を追跡するために使用する表示デバイスのグラフィックオブジェクトの属性のステータスを含むヒットファイルを受信することと、ＧＰＵシェーダコードのための構造コードカバレッジレポートを生成することと、を含む。
【選択図】図２

【特許請求の範囲】

【請求項1】

方法であって、
グラフィックス処理ユニット（ＧＰＵ）によって実行されるべきシェーダコードの各ラインについて、フラグを追加することと、
前記ＧＰＵによって実行されるべきシェーダコードの各ラインについて、表示デバイス上に表示されるべき少なくとも１つのグラフィックオブジェクトを作成することと、
要件ベースのテストの実行後に前記表示デバイス上に表示されたグラフィックオブジェクトの１つ以上の属性のステータスを含む１つ以上のヒットファイルを受信することと、
前記１つ以上のヒットファイルと、前記シェーダコードと前記表示されたグラフィックオブジェクトとの間のマッピングとに基づいて、前記シェーダコードのための構造コードカバレッジレポートを生成することと、を含む、方法。

【請求項2】

システム（１００、６００、６５０）であって、
１つ以上のプロセッサ（１０２）と、
前記１つ以上のプロセッサ（１０２）に通信可能に結合された非一時的コンピュータ可読媒体（１０４）と、を備え、前記非一時的コンピュータ可読媒体（１０４）は、１つ以上の命令（１０６、１０９）を記憶しており、前記命令は、前記１つ以上のプロセッサ（１０２）によって実行されると、１つ以上のプロセッサ（１０２）に、
グラフィックス処理ユニット（ＧＰＵ）によって実行されるべきシェーダコード（１０５）の各ラインについて、フラグを追加させ、
前記ＧＰＵによって実行されるべきシェーダコード（１０５）の各ラインについて、表示デバイス（６２０、６５６）上に表示されるべき少なくとも１つのグラフィックオブジェクトを作成させ、
要件ベースのテストの実行後に前記表示デバイス（６２０、６５６）上に表示されたグラフィックオブジェクトの１つ以上の属性のステータスを含む１つ以上のヒットファイル（１１０）を受信させ、
前記１つ以上のヒットファイル（１１０）と、前記シェーダコード（１０５）と前記表示されたグラフィックオブジェクトとの間のマッピングとに基づいて、前記シェーダコード（１０５、６０２）のための構造コードカバレッジレポート（１１１、６１０）を生成させる、システム（１００、６００、６５０）。

【請求項3】

方法であって、
グラフィックス処理ユニット（ＧＰＵ）によって実行されるべきインストルメントされたシェーダコードと、要件ベースのテストのスクリプトとを受信することであって、前記インストルメントされたシェーダコードは、前記インストルメントされたシェーダコードの各ラインについて、１つ以上のフラグを含む、受信することと、
前記要件ベースのテストの前記スクリプトを実行することと、
前記インストルメントされたシェーダコードの各ラインについて、それぞれのグラフィックオブジェクトを表示デバイス上に表示することと、
前記インストルメントされたシェーダコードの各それぞれのラインが前記要件ベースのテストの前記スクリプトの前記実行中に実行されることに応答して、前記インストルメントされたシェーダコードの前記各それぞれのラインについて、それぞれの表示されたグラフィックオブジェクトの属性を変更することと、
前記要件ベースのテストの前記スクリプトの前記実行の完了に応答して、１つ以上のヒットファイルを出力することと、を含み、前記１つ以上のヒットファイルが、前記インストルメントされたシェーダコードの各それぞれのラインについて、各それぞれの表示されたグラフィックオブジェクトの前記属性のステータスを含む、方法。

【発明の詳細な説明】

【技術分野】

【0001】

（関連出願の相互参照）
本出願は、２０２３年６月１３日に出願された米国特許出願第１８／３３４２４６号（本願と同じ名称）に対する優先権を主張し、これは、２０２３年４月２１日に出願されたインド仮出願第２０２３１１０２９０８２号（本願と同じ名称）に対する優先権を主張するものであり、その内容は、その全体が参照により本明細書に組み込まれる。

【背景技術】

【0002】

航空機搭載システムに実装されるソフトウェアの場合、ソフトウェア認証ガイドライン（例えば、ＲＴＣＡ ＤＯ－１７８Ｂ／Ｃ）は、コードが要件ベースのテストによってカバーされていることを実証する証拠を必要とする。典型的には、ソフトウェアがターゲットシステムにロードされ、ソフトウェアが全ての要件を満たしているかどうかを判定するために、要件ベースのテストが行われる。ソフトウェアが全ての要件を満たすことを示すことに加えて、意図しない機能、無関係なコード、又はデッドコードをアプリケーションが含まないことを実証するために、構造コードカバレッジデータも必要である。ＤＯ－１７８Ｃ準拠を適用するときに期待されることは、コードの１００パーセントが要件ベースのテスト中に実行されたことである。これが可能でない場合（例えば、通常の条件下で実行することができない防御的コードの場合）、コードがテストされない理由を正当化する必要がある。

【0003】

ソフトウェアの重要度が高いほど、構造コードカバレッジデータに対する要件が大きくなる。ソフトウェアの重要度は、多くの場合、航空機搭載システムの設計保証レベル（Design Assurance Level、ＤＡＬ）に対応する安全レベルに対応する。ＤＡＬ Ｃの場合、提供される構造コードカバレッジデータは、ステートメントカバレッジを示さなければならず、これは、コード内の全てのステートメントが要件ベースのテスト中に少なくとも１回呼び出されていることを必要とする。ＤＡＬ Ｂの場合、提供される構造コードカバレッジデータは、決定カバレッジを示さなければならず、これは、プログラム内の入口及び出口の全てのポイントが少なくとも１回呼び出され、プログラム内の全ての制御ステートメント（分岐点）が少なくとも１回全ての可能な結果（分岐）を取り、プログラム内の全ての非定数ブール式が真及び偽の両方の結果に評価されていることを必要とする。ＤＡＬ Ａの場合、提供される構造カバレッジデータは、修正条件／決定カバレッジ（Modified Condition/Decision Coverage、ＭＣ／ＤＣ）を示さなければならず、これは、決定カバレッジを必要とし、プログラム内のブール式における全ての非定数条件が真及び偽の両方の結果に評価され、プログラム内のブール式における全ての非定数条件がその式の結果に独立して影響を及ぼすことが示されていることも必要とする。

【0004】

典型的な自動構造コードカバレッジツールは、中央処理ユニット（Central Processing Unit、ＣＰＵ）上で実行されるソースコードの構造コードカバレッジデータを生み出すために使用される。生み出された構造コードカバレッジデータは、テストコンピュータに送り返されなければならず、これは通常、カバレッジヒットポイントがテストコンピュータにストリームバックされることを伴う。

【0005】

自動構造コードカバレッジ分析ツールは、概して、要件ベースのテスト中に構造コードカバレッジデータを生成するために使用される。構造コードカバレッジ分析ツールは、実行されるコードのラインを追跡するための命令のライン（ヒットポイント）であるプローブをソースコードに追加することによってソースコードをインストルメントする。構造コードカバレッジツールコードがソースコードに追加され、最終的な実行可能なファイルが出力され、ターゲットシステム上で要件ベースのテストが実行される。要件ベースのテストが起動されているとき、構造コードカバレッジデータに使用されるカバレッジポイントが生成される。

【0006】

構造コードカバレッジは、各タイプのテストが要件ベースのテストを表す限り、システムテスト、統合テスト、及びより低いレベル（コンポーネント）のテストから収集することができる。より高いレベルのテスト（システムテストなど）は、概して、より低いレベルのテスト（コンポーネントテストなど）よりも、テストごとにより多くの構造コードカバレッジを生み出す。したがって、まだカバーされていないコードのセクションをカバーするために、より低いレベルのテストを起動する前に、より高いレベルのテストを通じて可能な限り多くのカバレッジを生成することが一般的な慣行である。

【発明の概要】

【0007】

いくつかの態様では、方法は、グラフィックス処理ユニット（graphics processing unit、ＧＰＵ）によって実行されるべきシェーダコードの各ラインについて、フラグを追加することを含む。方法は、ＧＰＵによって実行されるべきシェーダコードの各ラインについて、表示デバイス上に表示されるべき少なくとも１つのグラフィックオブジェクトを作成することを更に含む。方法は、要件ベースのテストの実行後に表示デバイス上に表示されたグラフィックオブジェクトの１つ以上の属性のステータスを含む１つ以上のヒットファイルを受信することを更に含む。方法は、１つ以上のヒットファイルと、シェーダコードと表示されたグラフィックオブジェクトとの間のマッピングとに基づいて、シェーダコードのための構造コードカバレッジレポートを生成することを更に含む。

【0008】

いくつかの態様では、システムは、１つ以上のプロセッサと、１つ以上のプロセッサに通信可能に結合された非一時的コンピュータ可読媒体とを含む。非一時的コンピュータ可読媒体は、１つ以上の命令を記憶しており、命令は、１つ以上のプロセッサによって実行されると、１つ以上のプロセッサに、グラフィックス処理ユニット（ＧＰＵ）によって実行されるべきシェーダコードの各ラインについて、フラグを追加させ、ＧＰＵによって実行されるべきシェーダコードの各ラインについて、表示デバイス上に表示されるべき少なくとも１つのグラフィックオブジェクトを作成させ、要件ベースのテストの実行後に表示デバイス上に表示されたグラフィックオブジェクトの１つ以上の属性のステータスを含む１つ以上のヒットファイルを受信させ、１つ以上のヒットファイルと、シェーダコードと表示されたグラフィックオブジェクトとの間のマッピングとに基づいて、シェーダコードのための構造コードカバレッジレポートを生成させる。

【0009】

いくつかの態様では、方法は、グラフィックス処理ユニット（ＧＰＵ）によって実行されるべきインストルメントされたシェーダコードと、要件ベースのテストのスクリプトとを受信することを含む。インストルメントされたシェーダコードは、インストルメントされたシェーダコードの各ラインについて、１つ以上のフラグを含む。方法は、要件ベースのテストのスクリプトを実行することを更に含む。方法は、インストルメントされたシェーダコードの各ラインについて、それぞれのグラフィックオブジェクトを表示デバイス上に表示することを更に含む。方法は、インストルメントされたシェーダコードの各それぞれのラインが要件ベースのテストのスクリプトの実行中に実行されることに応答して、インストルメントされたシェーダコードの各それぞれのラインについて、それぞれの表示されたグラフィックオブジェクトの属性を変更することを更に含む。方法は、要件ベースのテストのスクリプトの実行の完了に応答して、１つ以上のヒットファイルを出力することを更に含み、１つ以上のヒットファイルは、インストルメントされたシェーダコードの各それぞれのラインについて、各それぞれの表示されたグラフィックオブジェクトの属性のステータスを含む。

【図面の簡単な説明】

【0010】

図面は例示的な実施形態のみを示し、したがって範囲を限定するものとみなされるべきではないことを理解した上で、例示的な実施形態を添付の図面を使用して更なる特殊性及び詳細とともに説明する。

【図1】例示的なシステムのブロック図である。

【図2】グラフィックス処理ユニット（ＧＰＵ）シェーダコードのための構造コードカバレッジを判定する例示的な方法のフロー図を例解する。

【図3】インストルメントされたＧＰＵシェーダコードを生成する例示的な方法のフロー図を例解する。

【図4】ＧＰＵシェーダコードのための構造コードカバレッジデータを生成する例示的な方法のフロー図を例解する。

【図5A】ＧＰＵシェーダコードのための構造コードカバレッジを示す例示的なインストルメントされたコード及びグラフィックオブジェクトを例解する。

【図5B】ＧＰＵシェーダコードのための構造コードカバレッジを示す例示的なインストルメントされたコード及びグラフィックオブジェクトを示す図である。

【図6A】要件ベースのテストを行い、ＧＰＵシェーダコードのための構造コードカバレッジを判定するための例示的なターゲット環境及びシミュレーション環境を例解する。

【図6B】要件ベースのテストを行い、ＧＰＵシェーダコードのための構造コードカバレッジを判定するための例示的なターゲット環境及びシミュレーション環境を例解する。

【0011】

一般的方法に従って、記載された様々な特徴は一定の縮尺で描かれているのではなく、例示的な実施形態に関連する特定の特徴を強調するように描かれている。

【発明を実施するための形態】

【0012】

以下の詳細な説明では、本明細書の一部を形成する添付の図面を参照し、図面には特定の例解的な実施形態を例解として示す。しかしながら、他の実施形態を利用してもよく、論理的、機械的、及び電気的な変更をしてもよいことを理解すべきである。更に、図面及び明細書に提示された方法は、個々の工程が実施され得る順序を限定するものとして解釈されるべきではない。したがって、以下の詳細な説明は、限定的な意味で解釈されるべきではない。

【0013】

ビデオゲーム及び他のグラフィックアプリケーションは、他のプログラムよりもはるかに多くの処理能力を必要とし、多数のピクセルごとの演算を行わなければならない。画面上の全ての単一ピクセルが計算される必要があり、この計算は、計算がＧＰＵなしで起動される場合、複数の並列ＣＰＵを必要とする。ＧＰＵ上で起動中のコードが、グラフィックス生成アプリケーションによって指定されたプリミティブをレンダリングするために使用され、ＧＰＵは、プリミティブ描画オブジェクト（線、点、三角形）のシーケンスを、画面又は表示デバイス上に表示するためにフレームバッファ内のレンダリングされたピクセルに変換するように構成される。ＧＰＵは、高計算コードにも同様に使用することができる。

【0014】

最新のコックピットもまた、実行されるべき多くのグラフィック集約型機能を必要とし、ＣＰＵに加えてＧＰＵがより頻繁に利用されている。次世代アビオニクスで使用される高度グラフィックスドライバ（例えば、Ｖｕｌｋａｎ）は、シェーダコードを使用する。シェーダコードは、画像が画面に描画される前に画像を操作するために、通常グラフィックスカード上に見られる、ＧＰＵ上で実行されるコードの一部分である。シェーダコードは、より従来的なプログラミング言語ではなく、ＧＰＵ固有のプログラミング言語（例えば、ハイレベルシェーダ言語（High-Level Shader Language、ＨＬＳＬ））で記述される。ＧＰＵ上で実行されるオブジェクトレンダリングコードは、上記で説明したのと同様に要件ベースのテストを受ける必要があり、構造コードカバレッジデータは、要件ベースのテスト中にオブジェクトレンダリングコードについても生成される必要がある。

【0015】

ＧＰＵシェーダコードのための構造コードカバレッジデータは、ＧＰＵのためのソースコードを手動で実行し、要件ベースのテストのある部分がパスされるときにシェーダコードの一部がカバーされると仮定することによって生み出され得る。しかしながら、このアプローチには多くの問題がある。このアプローチは、労働集約的であり、ヒューマンエラーを起こしやすく、コストを増加させ、開発のためのサイクル時間を増加させる。また、多くの認証エンティティは、手動分析手法を受け入れたがらず、要件ベースのテスト中にＧＰＵシェーダコードのための構造コードカバレッジデータを自動的に生成する適格なツールが使用されることを主張するであろう。

【0016】

いくつかのシステムでは、システムのＣＰＵ及びＧＰＵは双方向に通信し、ＧＰＵは、ＣＰＵによって処理され得る共有場所にデータを記憶するために使用されることができる。他のシステムでは、システムのＣＰＵとＧＰＵとの間の通信は単方向であり、ＣＰＵはＧＰＵによってレンダリングされるデータを送信するが、ＧＰＵからＣＰＵへの通信はない。いずれのタイプのシステムについても、ＧＰＵシェーダコードをインストルメントするための、又はＧＰＵシェーダコードのための構造コードカバレッジデータを自動的に生成するための現在利用可能なツールは存在しない。更に、ＧＰＵは通常、構造コードカバレッジデータを記憶するのに十分なメモリを有さない。

【0017】

本明細書で説明する技法は、要件ベースのテストの実行からのＧＰＵシェーダコードのための構造コードカバレッジデータの自動生成を可能にする。本システム及び方法は、要件ベースのテスト中に実行されるべきＧＰＵシェーダコードの各ラインについて、ＧＰＵシェーダコードにフラグを追加し、表示デバイス上に少なくとも１つのグラフィックオブジェクトを作成する。要件ベースのテストの実行中に、表示されたグラフィックオブジェクトの属性は、ＧＰＵシェーダコードの関連する部分が実行されるとき、異なるフラグに基づいて変更される。本システム及び方法は、表示されたグラフィックオブジェクトの属性のステータスと、ＧＰＵシェーダコードと表示されたグラフィックオブジェクトとの間の記憶された対応関係とを含む受信されたヒットファイルに基づいて、ＧＰＵシェーダコードのための構造コードカバレッジレポートを生成することを含む。

【0018】

図１に、本明細書で説明するＧＰＵシェーダコードのための構造コードカバレッジレポートを生成するための技法が実装され得る例示的なシステム１００のブロック図を例解する。システム１００は、１つ以上のプロセッサ１０２及び少なくとも１つのメモリ１０４を含む。図１に示す例では、メモリ１０４は、シェーダコード構造コードカバレッジツール命令１０６を含む。１つ以上のプロセッサ１０２は、シェーダコード構造コードカバレッジレポート１１１を生成するために、シェーダコード構造コードカバレッジツール命令１０６を実行するように構成される。

【0019】

システム１００は、シェーダコード構造コードカバレッジツール命令１０６を実行することによって評価されるべきＧＰＵシェーダコード１０５を受信するように構成される。いくつかの例では、ＧＰＵシェーダコード１０５は、ユーザによってシステム１００にロードされる。いくつかの例では、ＧＰＵシェーダコード１０５は、インターフェース（例えば、ウェブインターフェース）を介してユーザによって提供される。

【0020】

いくつかの例では、システム１００は、ＧＰＵシェーダコードのための構造コードカバレッジレポート１１１のための構造コードカバレッジの必要なレベルの指示をユーザから受信するように構成される。いくつかの例では、構造コードカバレッジのレベルは、様々な設計保証レベル（ＤＡＬ）に対応する。上記で説明したように、ＤＡＬ Ａは最高レベルであり、ＭＣ／ＤＣが示されることを必要とし、ＤＡＬ Ｂは中間レベルであり、決定カバレッジが示されることを必要とし、ＤＡＬ Ｃは最低レベルであり、ステートメントカバレッジが示されることを必要とする。いくつかの例では、１つ以上のプロセッサ１０２は、構造コードカバレッジレポートに必要とされるＤＡＬレベルを示す入力をユーザから受信するように構成される。いくつかの例では、ユーザは、ドロップダウンメニュー又はリストから構造コードカバレッジの必要なレベル（例えば、ＤＡＬレベル）を選択する。他の例では、ユーザは、ＤＡＬレベルをプロンプトに入力することによって、構造コードカバレッジの必要なレベルを示すことができる。構造コードカバレッジの必要なレベルを提供するための他の技法も使用できることを理解されたい。

【0021】

他の例では、シェーダコード構造コードカバレッジツール命令１０６の複数のバージョンがシステム１００のメモリ１０４に記憶され、シェーダコード構造コードカバレッジツール命令１０６の各それぞれのバージョンは、構造コードカバレッジレポート特定のレベルを生成するように構成される。例えば、シェーダコード構造コードカバレッジツール命令１０６の第１のバージョンは、ＤＡＬ Ａ構造コードカバレッジレポートを生成するように構成され、シェーダコード構造コードカバレッジツール命令１０６の第２のバージョンは、ＤＡＬ Ｂコードカバレッジレポートを生成するように構成される。いくつかの例では、ユーザは、所望のレベルを有する、使用すべきシェーダコード構造コードカバレッジツール命令１０６の特定のバージョンを選択する。例えば、ユーザは、構造コードカバレッジの必要なレベルに向けられた構造コードカバレッジツールのバージョンを選択する。

【0022】

シェーダコード構造コードカバレッジツール命令１０６を実行するとき、１つ以上のプロセッサ１０２は、システム１００に提供されたＧＰＵシェーダコード１０５から実行可能なインストルメントされたＧＰＵシェーダコード１０７を生成するように構成される。実行可能なインストルメントされたＧＰＵシェーダコード１０７は、段階的に生成される。いくつかの例では、インストルメントされたＧＰＵシェーダコードは、最初に、ＧＰＵシェーダコード１０５に１つ以上のフラグを追加し、ＧＰＵシェーダコード１０５の各ラインについて、表示デバイス上に表示されるべき少なくとも１つのグラフィックオブジェクトを作成することによって生成される。いくつかの例では、決定カバレッジ又はＭＣ／ＤＣが構造コードカバレッジレポート１１１に必要とされるとき、ＧＰＵシェーダコード１０５の少なくとも１つのラインについて複数のグラフィックオブジェクトが作成される。構造コードカバレッジのレベルが選択可能である例では、１つ以上のプロセッサは、ＧＰＵシェーダコード１０５にフラグを追加し、選択されたレベルと一致する様式で表示デバイス上に表示されるべきグラフィックオブジェクトを作成又は割り当てるように構成される。例えば、ＤＡＬ Ｃが選択された場合、１つ以上のプロセッサ１０２は、ステートメントカバレッジ情報を示す構造コードカバレッジレポート１１１を生み出すために必要なフラグを追加するように構成される。ＧＰＵシェーダコード１０５をインストルメントするためのプロセスは、図２～図３に関して以下で更に説明される。

【0023】

インストルメンテーション中に、ＧＰＵシェーダコード１０５のラインと表示デバイス上に表示されるべきグラフィックオブジェクトとの間の対応関係を示すマッピング情報１０８も生成される。いくつかの例では、マッピング情報１０８は、ＧＰＵシェーダコード１０５の各ラインについてのステートメント又は決定分岐と、表示デバイス上に表示されるべきグラフィックオブジェクトとの間の対応関係を示す。いくつかの例では、マッピング情報１０８の範囲は、構造コードカバレッジの必要なレベルに依存する。例えば、ＤＡＬ Ｃレベルが必要とされる場合、マッピング情報１０８は、ＧＰＵシェーダコード１０５のステートメントと、表示デバイス上に表示されるべき作成されたグラフィックオブジェクトとの間の対応関係を示す。

【0024】

インストルメントされたＧＰＵシェーダコードから、１つ以上のプロセッサ１０２は、インストルメントされたＧＰＵシェーダコードをコンパイル及びリンクすることによって、実行可能なインストルメントされたＧＰＵシェーダコード１０７を生成するように構成される。いくつかの例では、コンパイル及びリンクは別々の段階で実施される。他の例では、コンパイル及びリンクは単一の段階で実施される。

【0025】

図１に示される例では、システム１００は、実行可能なインストルメントされたＧＰＵシェーダコード１０７を出力するように構成される。いくつかの例では、実行可能なインストルメントされたＧＰＵシェーダコード１０７は、要件ベースのテストのスクリプトを用いた実行のために、別個のターゲットハードウェア（例えば、ＣＰＵ及びＧＰＵを有する別個のシステム）に出力される。他の例では、実行可能なインストルメントされたＧＰＵシェーダコード１０７は、要件ベースのテストのスクリプトを用いた実行のために、シミュレートされたハードウェアに出力される。そのような例では、ターゲットハードウェアは、ハードウェアシミュレーションツール１０９を使用してシステム１００によってシミュレートされる。

【0026】

実行可能なインストルメントされたＧＰＵシェーダコード１０７は、要件ベースのテスト中にターゲットハードウェア又はシミュレートされたターゲットハードウェアによって実行されると、ターゲットシステム又はシミュレートされたターゲットハードウェアの表示デバイスに、ＧＰＵシェーダコードの各ラインについて、グラフィックオブジェクトを表示させる。いくつかの例では、表示デバイス上に表示される各グラフィックオブジェクトは、要件ベースのテストのスクリプトの実行前にデフォルト状態にある１つ以上の属性を含む。１つ以上の属性は、色、形状、サイズ、及び／又はパターンを含むことができる。例えば、表示デバイス上に表示される各グラフィックオブジェクトは、最初に表示されるとき、赤色のデフォルト色を有することができる。

【0027】

ＧＰＵシェーダコードのそれぞれのラインが要件ベースのテスト中に実行されることに応答して、ＧＰＵのそれぞれのラインについてグラフィックオブジェクトの少なくとも１つの属性が変更される。例えば、ＧＰＵシェーダコードのそれぞれのラインが要件ベースのテスト中に実行される場合、ＧＰＵシェーダコードのそのラインについてそれぞれのグラフィックオブジェクトの色は、ターゲットハードウェア又はシミュレートされたターゲットハードウェアの表示デバイス上で赤色から緑色に変更される。

【0028】

いくつかの実施例では、グラフィックオブジェクトは、要件ベースのテストのスクリプトの全ての実行を完了する前に、表示デバイス上に表示される。例えば、グラフィックオブジェクトは、要件ベースのテストのスクリプトの全ての実行の前に、１つ以上のデフォルト属性とともに表示デバイス上に最初に表示することができる。そのような例では、グラフィックオブジェクトに対応するＧＰＵシェーダコードのラインが要件ベースのテスト中に実行されるとき、デフォルト属性のうちの少なくとも１つが、表示デバイス上に表示されたグラフィックオブジェクトについて変更される。このようにして、グラフィックオブジェクトの属性変更は、ＧＰＵシェーダコードの特定のラインについて構造コードカバレッジデータを提供するために使用され得る。

【0029】

要件ベースのテストのスクリプトの実行を完了した後、表示デバイス上の画像は、デフォルト属性又は変更された属性のいずれかを有するグラフィックオブジェクトの全てを含む。いくつかの例では、ターゲットハードウェア又はシミュレートされたターゲットハードウェアは、表示デバイス上に表示されるグラフィックオブジェクトの属性のステータスを含む１つ以上のヒットファイル１１０を出力するように構成される。いくつかの例では、ターゲットハードウェア又はシミュレートされたターゲットハードウェアによって出力される１つ以上のヒットファイル１１０は、グラフィックオブジェクトを含む表示デバイスのピクセルを示す画像ファイルを含む。

【0030】

システム１００は、１つ以上のヒットファイル１１０を受信し、１つ以上のヒットファイル１１０及びマッピング情報１０８に基づいてシェーダコード構造コードカバレッジレポート１１１を生成するように構成される。いくつかの例では、１つ以上のプロセッサ１０２は、１つ以上のヒットファイル１１０から構造コードカバレッジデータを抽出し、メモリ１０４に記憶されたマッピング情報１０８を使用して構造コードカバレッジデータをＧＰＵシェーダコードにマッピングするように構成される。

【0031】

いくつかの例では、１つ以上のプロセッサ１０２は、１つ以上のヒットファイル内の各グラフィックオブジェクトの属性のステータスを判定することによって、１つ以上のヒットファイル１１０から構造コードカバレッジデータを抽出するように構成される。それぞれのグラフィックオブジェクトの属性のステータスは、そのグラフィックオブジェクトに関連付けられたＧＰＵシェーダコードのそれぞれのラインが要件ベースのテスト中に実行されたかどうかを示す。例えば、緑色は、ＧＰＵシェーダコードのそれぞれのラインが要件ベースのテスト中に実行された（カバーされた）ことを示すことができ、黄色は、ＧＰＵシェーダコードのそれぞれのラインが要件ベースのテスト中に部分的に実行された（部分的にカバーされた）ことを示すことができ、赤色は、ＧＰＵシェーダコードのそれぞれのラインが要件ベースのテスト中に実行されなかった（カバーされなかった）ことを示すことができる。このプロセスは、カバレッジヒットマップを抽出することとも呼ばれ得、ここで、ヒットマップは、ＧＰＵシェーダコードの１つ以上のラインについて構造コードカバレッジデータを含む。

【0032】

上記で説明したように、マッピング情報１０８は、ＧＰＵシェーダコード１０５のラインと、表示デバイス上に表示されるべきグラフィックオブジェクトとの間の対応関係を含む。１つ以上のプロセッサ１０２は、各グラフィックオブジェクトの属性のステータスをＧＰＵシェーダコード１０５の対応するラインにマッピングし、シェーダコード構造コードカバレッジレポート１１１を生成するように構成される。

【0033】

シェーダコード構造コードカバレッジレポート１１１のための構造コードカバレッジのレベルは、上記で説明したように、ユーザによって選択されたレベルに依存する。シェーダコード構造コードカバレッジレポート１１１のフォーマットは、要件に応じて変わり得る。例えば、シェーダコード構造コードカバレッジレポート１１１は、ＨＴＭＬ又はＴＸＴファイルとして生成され得る。しかしながら、任意のフォーマットにおいても、シェーダコード構造コードカバレッジレポート１１１は、要件ベースのテスト実行中にＧＰＵシェーダコード（又はステートメント及び決定分岐）のラインが実行されたか否かを示す。

【0034】

図２は、ＧＰＵシェーダコードのための構造コードカバレッジデータを判定する例示的な方法２００のフロー図を例解する。図１の例示的なシステムに関して上記で説明した共通の特徴は、方法２００に関して説明した特徴と同様の特性を含むことができ逆もまた同様。いくつかの例では、方法２００のブロックは、シェーダコード構造コードカバレッジツール命令１０６を実行するとき、システム１００の１つ以上のプロセッサ１０２によって実施される。

【0035】

図２のフロー図のブロックは、説明を容易にするために概して順次的に配置されている。しかしながら、この配置は単に例示的なものであり、方法２００（及び図２に示されているブロック）に関連付けられた処理は、異なる順序で起こり得る（例えば、ブロックに関連付けられた処理のうちの少なくとも一部は、イベント駆動方式で並行に実施される）ことが理解されるべきである。

【0036】

方法２００は、ＧＰＵシェーダコードを受信すること（ブロック２０２）を含む。いくつかの例では、ＧＰＵシェーダコードは、１つ以上の入力を介してユーザによってシステム１００に提供される。いくつかの例では、１つ以上の入力は、ウェブインターフェースなどを含む。

【0037】

方法２００は、必要とされる構造コードカバレッジのレベルを選択する入力を受信すること（ブロック２０４）を更に含む。いくつかの例では、必要とされる構造コードカバレッジのレベルを選択する入力は、ユーザによって提供される。いくつかのそのような例では、ユーザは、ドロップダウンメニュー、リストなどから構造コードカバレッジの特定のレベルを選択することによって入力を提供する。他の例では、必要とされる構造コードカバレッジのレベルを選択する入力は、構造コードカバレッジの各レベルについて特に構成されるシェーダコード構造コードカバレッジツールの特定のバージョンの選択を含む。いくつかの例では、選択され得る構造コードカバレッジのレベルは、異なる設計保証レベル（ＤＡＬ）を含む。例えば、ドロップダウンメニュー又はリストは、選択のためのオプションＤＡＬ Ａ、ＤＡＬ Ｂ、及びＤＡＬ Ｃを含むことができる。いくつかの例では、選択され得る構造コードカバレッジのレベルは、ステートメントカバレッジ、決定カバレッジ、及びＭＣ／ＤＣを含む。構造コードカバレッジのレベルについての他のオプションも含まれ得る。

【0038】

方法２００は、インストルメントされたＧＰＵシェーダコードを生成すること（ブロック２０６）を更に含む。いくつかの例では、インストルメントされたＧＰＵシェーダコードを生成することは、各ラインＧＰＵシェーダコードにいついてＧＰＵシェーダコードにフラグを追加することを含む。フラグは、ＧＰＵシェーダコードの対応するラインが要件ベースのテスト中に実行されたときに実行されるコードの一部分である。いくつかの例では、インストルメントされたＧＰＵシェーダコードを生成することは、ＧＰＵシェーダコードの各ラインについて、表示デバイス上に表示されるべき少なくとも１つのグラフィックオブジェクトを作成することを更に含む。いくつかの例では、複数のグラフィックオブジェクトが、ＧＰＵシェーダコードの決定分岐のためのＧＰＵシェーダコードの特定のラインのために作成される。いくつかの例では、インストルメントされたＧＰＵシェーダコードを生成することは、ブロック２０４に関して上記で説明した構造コードカバレッジの選択されたレベルに基づく。例えば、ＤＡＬ Ｃ（ステートメントカバレッジ）が選択された場合、インストルメントされたＧＰＵシェーダコードは、ステートメントカバレッジ要件を満たす構造コードカバレッジを提供するために、フラグを追加し、グラフィックオブジェクトを作成する。インストルメントされたＧＰＵシェーダコードを生成するためのプロセスは、以下の図３に関して更に説明される。

【0039】

方法２００は、マッピング情報を記憶すること（ブロック２０８）を更に含む。いくつかの例では、マッピング情報は、表示されたグラフィックオブジェクトとＧＰＵシェーダコードのラインとの間の相関を含む。いくつかの例では、マッピング情報は、表示されたグラフィックオブジェクトと、ＧＰＵシェーダコード中のステートメント及び決定分岐との間の相関を含む。いくつかの例では、マッピング情報は、（例えば、ブロック２０６及び図３に関して説明したように）インストルメントされたＧＰＵシェーダコードを生成するプロセス中に生成される。マッピング情報は、ＧＰＵシェーダコードのための構造コードカバレッジレポートを生成するときにマッピング情報がシステムによってアクセス可能である限り、システム（例えば、ホストコンピュータ）のメモリ又は他の場所に記憶され得る。

【0040】

方法２００は、実行可能なインストルメントされたＧＰＵシェーダコードを生成すること（ブロック２１０）を更に含む。いくつかの例では、実行可能なインストルメントされたＧＰＵシェーダコードを生成することは、インストルメントされたＧＰＵシェーダコードをコンパイル及びリンクすることを含む。実行可能なインストルメントされたＧＰＵシェーダコードは、要件ベースのテストのための実行のために、ターゲットハードウェア又はシミュレートされたターゲットハードウェアに出力され得る。

【0041】

方法２００は、ヒットファイルを受信すること（ブロック２１２）を更に含む。ヒットファイルは、要件ベースのテスト中にＧＰＵシェーダコードの実行を追跡するために使用される表示デバイスのグラフィックオブジェクトの属性のステータスを含む。いくつかの例では、ヒットファイルは、表示デバイス上に表示されたグラフィックオブジェクトを示す画像ファイルであり、これは、ＧＰＵシェーダコードの各ラインについて、カバレッジヒットマップを抽出するためにホストコンピュータによって分析され得る。

【0042】

方法２００は、ＧＰＵシェーダコードのための構造コードカバレッジレポートを生成することを更に含む（ブロック２１４）。いくつかの例では、ＧＰＵシェーダコードのための構造コードカバレッジレポートは、抽出されたカバレッジヒットマップと、メモリに記憶されたマッピング情報とに基づいて生成される。上記で説明したように、いくつかの例では、グラフィックオブジェクトの各々は、ＧＰＵシェーダコードのラインに対応する。いくつかの例では、グラフィックオブジェクトの各々は、ＧＰＵシェーダコードからのステートメント又は決定分岐に対応する。抽出されたヒットマップからのグラフィックオブジェクトの属性は、特定のステートメント又は決定分岐が、要件ベースのテスト中に完全にカバーされたか、部分的にカバーされたか、又はカバーされなかったかを判定するために使用される。

【0043】

いくつかの例では、構造コードカバレッジレポートは、ＨＴＭＬ又はＴＸＴフォーマットで出力される。いくつかの例では、構造コードカバレッジレポートは、ブロック２０４において選択されたレベルへのＧＰＵシェーダコードの各ラインについて、の構造コードカバレッジデータを含む。いくつかの例では、各ステートメント及び各決定分岐は、それが完全にカバーされたか、部分的にカバーされたか、又はカバーされなかったかに応じた色で表示される。他の例では、カバレッジの指示は、色ではなくテキストで提供される。他の技法を使用して、ＧＰＵシェーダコードのライン、ステートメント、又は決定分岐が要件ベースのテスト中に実行されたかどうかを示すこともできる。いくつかの例では、構造コードカバレッジレポートは、構造コードカバレッジの必要なレベルに対する構造コードカバレッジのパーセンテージを含むことができる。例えば、構造コードカバレッジレポートは、ステートメントカバレッジ、決定カバレッジ、又はＭＣ／ＤＣに関連付けられたパーセンテージを含むことができる。

【0044】

図３は、インストルメントされたＧＰＵシェーダコードを生成する例示的な方法３００のフロー図を例解する。図１～図２の例示的なシステム及び方法に関して上述した共通の特徴は、方法３００に関して説明した特性と同様の特性を含むことができ逆もまた同様。いくつかの例では、方法３００のブロックは、シェーダコード構造コードカバレッジツール命令１０６を実行するシステム１００によって実施される。

【0045】

図３のフロー図のブロックは、説明を容易にするために概して順次的に配置されている。しかしながら、この配置は単に例示的なものであり、方法３００（及び図３に示されているブロック）に関連付けられた処理は、異なる順序で起こり得る（例えば、ブロックに関連付けられた処理のうちの少なくとも一部は、イベント駆動方式で並行に実施される）ことが理解されるべきである。

【0046】

方法３００は、要件ベースのテスト中に実行されるべきステートメント及び決定分岐の数を判定することを含む（ブロック３０２）。いくつかの例では、実行されるべきステートメント及び決定分岐の数は、必要とされる構造コードカバレッジの選択されたレベルに基づいて判定される（例えば、ブロック２０４に関して説明したように）。

【0047】

方法３００は、ＧＰＵシェーダコードにフラグを追加すること（ブロック３０４）を更に含む。いくつかの例では、ＧＰＵシェーダコードにフラグを追加することは、要件ベースのテスト中に実行されるべきステートメント及び決定分岐の判定された数に基づいて、ＧＰＵシェーダコードにフラグを追加することを含む。いくつかの例では、要件ベースのテスト中に実行されるべき各それぞれのステートメント及び各それぞれの決定分岐について、それぞれのフラグがＧＰＵシェーダコードに追加される。フラグは、ＧＰＵシェーダコード内のそれぞれのステートメント又はそれぞれの決定分岐が要件ベースのテスト中に実行されるときに実行される、インストルメントされたＧＰＵシェーダコードの部分である。

【0048】

方法３００は、表示デバイス上に表示されるグラフィックオブジェクトを作成すること（ブロック３０６）を更に含む。いくつかの例では、グラフィックオブジェクトを作成することは、要件ベースのテスト中に実行されるべきステートメント及び決定分岐の判定された数に基づく。いくつかの例では、要件ベースのテスト中に実行されるべきそれぞれのステートメント及びそれぞれの決定分岐について、それぞれのグラフィックオブジェクトが作成される。いくつかの例では、それぞれのグラフィックオブジェクトは、表示デバイスのそれぞれのピクセルを使用して表示される。グラフィックオブジェクトは、色、形状、サイズ、及び／又はパターンを含むがこれらに限定されない特定の属性を有する。

【0049】

いくつかの例では、方法３００は、グラフィックオブジェクトをＧＰＵシェーダコード内のステートメント及び決定分岐と相関させることを更に含む（ブロック３０８）。いくつかの例では、グラフィックオブジェクトと、ＧＰＵシェーダコード内のステートメント及び決定分岐との間の相関は（例えば、各それぞれのグラフィックオブジェクトがそれぞれのピクセルを使用して表示されるとき）、ピクセル情報も含む。相関は、ブロック２０８に関して上述したように、マッピング情報としてメモリに記憶することができる。

【0050】

図４は、ＧＰＵシェーダコードのための構造コードカバレッジデータを生成する例示的な方法４００のフロー図を例解する。図１～図３の例示的なシステム及び方法に関して上述した共通の特徴は、方法４００に関して説明した特性と同様の特性を含むことができ逆もまた同様。いくつかの例では、方法４００のブロックは、ホストコンピュータに通信可能に結合されたターゲットハードウェア、又はホストコンピュータ上のシミュレートされたターゲットハードウェアによって実施される。

【0051】

図４のフロー図のブロックは、説明を容易にするために概して順次的に配置されている。しかしながら、この配置は単に例示的なものであり、方法４００（及び図４に示されているブロック）に関連付けられた処理は、異なる順序で起こり得る（例えば、ブロックに関連付けられた処理のうちの少なくとも一部は、イベント駆動方式で並行に実施される）ことが理解されるべきである。

【0052】

方法４００は、実行可能なインストルメントされたＧＰＵシェーダコード及び要件ベースのテストのスクリプトを受信すること（ブロック４０２）を含む。いくつかの例では、実行可能なインストルメントされたＧＰＵシェーダコードは、シェーダコード構造コードカバレッジツールを実行するホストコンピュータから受信される。いくつかの例では、要件ベースのテストのスクリプトもホストコンピュータから受信される。他の例では、要件ベースのテストのスクリプトは、ホストコンピュータとは別個のデバイスから受信される。

【0053】

方法４００は、要件ベースのテストのスクリプトを実行すること（ブロック４０４）を更に含む。いくつかの例では、要件ベースのテストのスクリプトを実行することは、ＣＰＵ及びＧＰＵを使用して実施される。

【0054】

方法４００は、対応するステートメント又は決定分岐が要件ベースのテスト中に実行されることに応答して、グラフィックオブジェクトの属性を変更すること（ブロック４０６）を更に含む。いくつかの例では、グラフィックオブジェクトの属性は、デフォルト状態から修正された状態に変更される。図５Ａ～図５Ｂは、パターンを有するＧＰＵシェーダコードのための構造コードカバレッジを示すための例示的なインストルメントされたコード及びグラフィックオブジェクトを例解する。図５Ａに示される例では、ＧＰＵシェーダコードのステートメント又は決定分岐に関連付けられたグラフィックオブジェクトのパターンは、ＧＰＵシェーダコードのステートメント又は決定分岐が要件ベースのテスト中に実行されたことを示す第１のパターンに設定されている。図５Ｂに示される例では、ＧＰＵシェーダコードのステートメント又は決定分岐に関連付けられたグラフィックオブジェクトのパターンは、ＧＰＵシェーダコードのステートメント又は決定分岐が要件ベースのテスト中に実行されなかったことを示す代替のパターンに設定されている（又は代替のパターンのままである）。グラフィックオブジェクトの他の属性も、指示を提供するために使用することができる。例えば、ＧＰＵシェーダコードのそれぞれのステートメント又は決定分岐が実行されたことを示すために、グラフィックオブジェクトの色、グラフィックオブジェクトの形状、グラフィックオブジェクトのサイズ、及び／又はグラフィックオブジェクトのパターンをデフォルト状態から別の状態に変更することができる。

【0055】

方法４００は、ＧＰＵシェーダコードの各ステートメント及び決定分岐について、表示デバイス上にグラフィックオブジェクトを表示すること（ブロック４０８）を更に含む。いくつかの例では、各グラフィックオブジェクトは、表示デバイスのそれぞれのピクセルを使用して表示される。いくつかの例では、グラフィックオブジェクトを表示するために使用されるピクセルは、他の点では、要件ベースのテストのスクリプトの実行中に表示デバイス上で使用されない。

【0056】

方法４００は、ヒットファイルを出力すること（ブロック４１０）を更に含む。いくつかの例では、ヒットファイルは、シェーダコード構造コードカバレッジツールを実行しているホストコンピュータに出力される。いくつかの例では、ヒットファイルは、関連付けられたステートメント又は決定分岐が要件ベースのテスト中に実行されることに応答してグラフィックオブジェクトについて変更される属性のステータスを含む。ヒットファイルは、１つ以上のヒットファイルをＧＰＵのメモリに記憶することなく、要件ベースのテストのスクリプトの実行の完了に応答して出力される。いくつかの例では、ヒットファイルは、要件ベースのテストの完了後に表示デバイス上に表示されたグラフィックオブジェクトの画像である。

【0057】

図６Ａは、要件ベースのテストを行い、ＧＰＵシェーダコードのための構造コードカバレッジを判定するための例示的なターゲット環境を例解する。

【0058】

図６Ａに示す例では、ホストＰＣ６００（例えば、システム１００）は、図１に関して上記で説明したシェーダコード構造コードカバレッジツール命令を実行するように構成される。図６Ａに示される例では、アプリケーションコード６０２は、表示デバイス上に画像をレンダリングするために使用されるＧＰＵシェーダコードであり、以下ではＧＰＵシェーダコードと呼ばれる。ホストＰＣ６００は、図１～図３に関して上述したように、インストルメントされたＧＰＵシェーダコード６０４及びインストルメントされた実行可能なオブジェクティブコード６０８（「インストルメントされた実行可能なＧＰＵシェーダコード６０８」とも呼ばれる）を生成するように構成される。

【0059】

図６Ａに示す例では、実行可能なインストルメントされたＧＰＵシェーダコード６０８は、ターゲットハードウェア６１２のＣＰＵメモリ６１４上にロードされる。ターゲットハードウェア６１２のＣＰＵは、プリミティブ頂点属性６２２をターゲットハードウェア６１２のＧＰＵレンダリングエンジン６１６上にプッシュするように構成される。ターゲットハードウェア６１２のＧＰＵレンダリングエンジン６１６は、１つ以上の頂点及びピクセルシェーダステージ６２６を使用して座標を頂点及びピクセルに変換するために、ＧＰＵメモリ６１８に記憶されたシェーダコード６２４を使用するように構成される。ターゲットハードウェア６１２のＧＰＵレンダリングエンジン６１６は、フラグメントステージ６２８において頂点及びピクセルシェーダステージ６２６の出力をフラグメント化し、その出力をフレームバッファ６３０にプッシュするように更に構成され、これはターゲットハードウェア６１２の表示デバイス６２０に進む。

【0060】

図６Ａに示される例では、ターゲットハードウェア６１２の表示デバイス６２０上のピクセルは、シェーダコードのための構造コードカバレッジデータを表示するために割り振られる。いくつかの例では、ターゲットハードウェア６１２の表示デバイス６２０上に割り振られた各それぞれのピクセルは、シェーダコードのステートメント又は決定分岐に対応する。要件ベースのテストがターゲットハードウェア６１２によって実行されるとき、それぞれのピクセルの少なくとも１つの属性は、シェーダコードの対応するステートメント又は決定分岐が実行されることに応答して変更される。例えば、シェーダコードの対応するステートメント又は決定分岐が実行されるとき、ピクセルの色は赤から緑に変更される。

【0061】

要件ベースのテストのスクリプトの実行後、ターゲットハードウェア６１２は、１つ以上のヒットマップをホストＰＣ６００に出力して戻すように構成される。１つ以上のヒットマップは、インストルメントされたシェーダコードの各それぞれのラインについて各それぞれのピクセルの属性のステータスを含む。いくつかの例では、１つ以上のヒットマップは画像ファイルを含む。そのような例では、ホストＰＣ６００は、画像を処理してピクセルの各々のステータスを判定するように構成される。

【0062】

図６Ａに示される例では、ホストＰＣ６００は、各ピクセルの１つ以上の属性のステータスと、シェーダコードとピクセルとの間のマッピングとに基づいて、シェーダコードのための構造コードカバレッジレポート６１０を生成するように構成される。いくつかの例では、ＧＰＵシェーダコードは、必要とされるコードカバレッジのレベルに基づいてインストルメントされ、ホストＰＣ６００は、必要とされるコードカバレッジのレベルを示すことを含む構造コードカバレッジレポート６１０を生成するように構成される。例えば、コードカバレッジのＤＡＬ Ｃレベルの場合、ホストＰＣ６００は、ＧＰＵシェーダコード内の各ステートメントについてフラグを追加することによってＧＰＵシェーダコードをインストルメントし、ステートメントカバレッジを示す構造コードカバレッジレポート６１０を生成するように構成される。

【0063】

図６Ｂは、要件ベースのテストを行い、ＧＰＵシェーダコードのための構造コードカバレッジを判定するための例示的なシミュレーション環境を例解する。図６Ａに関して上述したように実行可能なインストルメントされたＧＰＵシェーダコードを出力するのではなく、ホストＰＣ６５０は、ターゲットハードウェア（ＣＰＵメモリ６５２、ＧＰＵメモリ６５４、及び表示デバイス６５６）をシミュレートするように構成される。ホストＰＣ６５０及びホストＰＣ６５０上でシミュレートされたターゲットハードウェアは、他の点では、図６Ａに関して上述したものと同様に動作するように構成される。

【0064】

本明細書で説明する技法を使用することによって、ＧＰＵシェーダコードをインストルメントすることができ、構造コードカバレッジデータをＧＰＵシェーダコードのために自動的に生成することができる。グラフィックオブジェクトを使用して表示デバイス上に構造コードカバレッジデータを表示することによって、本明細書で説明される技法を使用して、ＧＰＵメモリ利用率に対する影響が最小化される。本明細書で説明されるシステム及び方法は、手動分析ではなく自動ツールを使用することによって、コスト、サイクル時間、及びエラーの可能性を大幅に低減する。更に、本明細書で説明されるシステム及び方法は、単一のツールを使用して、様々なＤＡＬレベルの要件に準拠する構造コードカバレッジレポートの生成を可能にする。

【0065】

様々な態様では、本開示全体にわたって説明されるシステム要素、方法のステップ、又は例（例えば、システム又はその構成要素など）は、中央処理ユニット（ＣＰＵ）、ググラフィックス処理ユニット（ＧＰＵ）、フィールドプログラマブルゲートアレイ（Field Programmable Gate Array、ＦＰＧＡ）、特定用途向け集積回路（Application Specific Integrated Circuit、ＡＳＩＣ）、及び／又はそれらの要素、プロセス、若しくは例を実現するためのコードを実行するハードウェアを備える同様のデバイスを含む、１つ以上のコンピュータシステム上に実装されてもよく、当該コードは非一時的データ記憶デバイスに記憶される。これらのデバイスは、様々な方法、プロセスタスク、計算、及び制御機能を実行するためのソフトウェアプログラム、ファームウェア、又は他のコンピュータ可読命令を含む、又はこれらと機能する。

【0066】

これらの命令は、典型的には、コンピュータ可読命令又はデータ構造の格納に使用される任意の適切なコンピュータ可読媒体に格納される。コンピュータ可読媒体は、汎用の又は特殊なコンピュータ又はプロセッサ、又は任意のプログラマブル論理デバイスによってアクセスすることができる、任意の利用可能な媒体として実装することができる。好適なプロセッサ可読媒体としては、磁気又は光学媒体等の記憶媒体又はメモリ媒体を挙げることができる。例えば、記憶媒体又はメモリ媒体は、従来のハードディスク、コンパクトディスク読み出し専用メモリ（Compact Disk - Read Only Memory、ＣＤ－ＲＯＭ）、ランダムアクセスメモリ（Random Access Memory、ＲＡＭ）（シンクロナスダイナミックランダムアクセスメモリ（Synchronous Dynamic Random Access Memory、ＳＤＲＡＭ）、ダブルデータレート（Double Data Rate、ＤＤＲ）ＲＡＭ、ＲＡＭＢＵＳダイナミックＲＡＭ（RAMBUS Dynamic RAM、ＲＤＲＡＭ）、スタティックＲＡＭ（ＳＲＡＭ）などを含むがこれらに限定されない）、読み出し専用メモリ（Read Only Memory、ＲＯＭ）、電気的消去可能プログラマブルＲＯＭ（Electrically Erasable Programmable ROM、ＥＥＰＲＯＭ）、及びフラッシュメモリなどの揮発性又は不揮発性媒体を含んでもよい。適切なプロセッサ可読媒体は、ネットワーク及び／又は無線リンクなどの通信媒体を介して伝達される電気信号、電磁信号、又はデジタル信号などの伝送媒体も含むことができる。

【0067】

本明細書で説明される方法及び技法は、デジタル電子回路において、又はプログラマブルプロセッサ（例えば、専用プロセッサ若しくはコンピュータなどの汎用プロセッサ）、ファームウェア、ソフトウェア、若しくはそれらの組み合わせを用いて実装され得る。これらの技法を具現化する装置は、適切な入力及び出力デバイスと、プログラマブルプロセッサと、プログラマブルプロセッサによる実行のためのプログラム命令を有形に具現化する記憶媒体とを含み得る。これらの技法を具現化するプロセスは、入力データに対して動作し、適切な出力を生成することによって所望の機能を実施するための命令のプログラムを実行するプログラマブルプロセッサによって実施され得る。本技法は、データ記憶システム、少なくとも１つの入力デバイス、及び少なくとも１つの出力デバイスからデータ及び命令を受信し、それらにデータ及び命令を送信するように結合された少なくとも１つのプログラム可能プロセッサを含むプログラム可能システム上で実行可能な１つ以上のプログラムにおいて有利に実装され得る。概して、プロセッサは、読み出し専用メモリ及び／又はランダムアクセスメモリから命令及びデータを受信する。コンピュータプログラム命令及びデータを有形に実施するのに好適な記憶デバイスには、例えば半導体メモリデバイス（ＥＰＲＯＭ、ＥＥＰＲＯＭ、及びフラッシュメモリデバイス）を含む全ての形態の非揮発性メモリ、磁気ディスク（内部ハードディスク又は取り外し可能なディスク）、光磁気ディスク、及びＤＶＤディスクが含まれる。前述のいずれも、特別に設計された特定用途向け集積回路（ＡＳＩＣ）によって補完されてもよく、又はそれに組み込まれてもよい。

【0068】

例示的な実施形態
例１は方法を含み、方法は、グラフィックス処理ユニット（ＧＰＵ）によって実行されるべきシェーダコードの各ラインについて、フラグを追加することと、ＧＰＵによって実行されるべきシェーダコードの各ラインについて、表示デバイス上に表示されるべき少なくとも１つのグラフィックオブジェクトを作成することと、要件ベースのテストの実行後に表示デバイス上に表示されたグラフィックオブジェクトの１つ以上の属性のステータスを含む１つ以上のヒットファイルを受信することと、１つ以上のヒットファイルと、シェーダコードと表示されたグラフィックオブジェクトとの間のマッピングとに基づいて、シェーダコードのための構造コードカバレッジレポートを生成することと、を含む。

【0069】

例２は、例１の方法を含み、シェーダコードのための構造コードカバレッジレポートを生成することは、設計保証レベル（ＤＡＬ）Ａ、ＤＡＬ Ｂ、及び／又はＤＡＬ Ｃに関する要件に基づく。

【0070】

例３は、例１～２のいずれかの方法を含み、シェーダコードの第１のラインについて表示デバイス上に表示されるべき少なくとも１つのグラフィックオブジェクトは、第１のグラフィックオブジェクト及び第２のグラフィックオブジェクトを含み、第１のグラフィックオブジェクトは、シェーダコードの第１のラインについて第１の決定分岐に対応し、第２のグラフィックオブジェクトは、シェーダコードの第１のラインについて第２の決定分岐に対応する。

【0071】

例４は、例１～３のいずれかの方法を含み、１つ以上の属性は、色、形状、サイズ、及び／又はパターンを含む。

【0072】

例５は、例１～４のいずれかの方法を含み、表示デバイスのそれぞれのピクセルを使用して各グラフィックオブジェクトを表示することを更に含む。

【0073】

例６は、例１～５のいずれかの方法を含み、ＧＰＵによって実行されるべきシェーダコードの各ラインについてフラグを追加することは、ＧＰＵによって実行されるべきシェーダコードの各ステートメント及び決定分岐についてフラグを追加することを含む。

【0074】

例７は、例１～６のいずれかの方法を含み、シェーダコードのそれぞれのラインが要件ベースのテスト中に実行されることに応答して、シェーダコードのそれぞれのラインについて、表示デバイス上に表示されたそれぞれのグラフィックオブジェクトの属性を変更することを更に含む。

【0075】

例８は、例１～７のいずれかの方法を含み、構造コードカバレッジレポートに必要とされる構造コードカバレッジのレベルを示す入力をユーザから受信することを更に含む。

【0076】

例９は、例８の方法を含み、ＧＰＵによって実行されるべきシェーダコードの各ラインについてフラグを追加すること、及びＧＰＵによって実行されるべきシェーダコードの各ラインについて表示デバイス上に表示された少なくとも１つのグラフィックオブジェクトを作成することは、ユーザからの入力によって示される構造コードカバレッジレポートに必要とされる構造コードカバレッジのレベルに基づく。

【0077】

例１０はシステムを含み、システムは、１つ以上のプロセッサと、１つ以上のプロセッサに通信可能に結合された非一時的コンピュータ可読媒体とを含み、非一時的コンピュータ可読媒体は、１つ以上の命令を記憶し、命令は、１つ以上のプロセッサによって実行されると、１つ以上のプロセッサに、グラフィックス処理ユニット（ＧＰＵ）によって実行されるべきシェーダコードの各ラインについて、フラグを追加させ、ＧＰＵによって実行されるべきシェーダコードの各ラインについて、表示デバイス上に表示されるべき少なくとも１つのグラフィックオブジェクトを作成させ、要件ベースのテストの実行後に表示デバイス上に表示されたグラフィックオブジェクトの１つ以上の属性のステータスを含む１つ以上のヒットファイルを受信させ、１つ以上のヒットファイルと、シェーダコードと表示されたグラフィックオブジェクトとの間のマッピングとに基づいて、シェーダコードのための構造コードカバレッジレポートを生成させる。

【0078】

例１１は、例１０のシステムを含み、システムは、実行可能なインストルメントされたシェーダコードを、実行のためにターゲットシステムに出力するように構成されており、システムは、ターゲットシステムから１つ以上のヒットファイルを受信するように構成されている。

【0079】

例１２は、例１０のシステムを含み、１つ以上の命令は、１つ以上のプロセッサによって実行されると、１つ以上のプロセッサに更に、ターゲットシステムのハードウェアをシミュレートさせ、実行可能なインストルメントされたシェーダコードを、実行のためにターゲットシステムのシミュレートされたハードウェアに出力させ、システムは、ターゲットシステムのシミュレートされたハードウェアから１つ以上のヒットファイルを受信するように構成されている。

【0080】

例１３は、例１０～１２のいずれかのシステムを含み、１つ以上の命令は、１つ以上のプロセッサによって実行されると、１つ以上のプロセッサに更に、ＧＰＵによって実行されるべきシェーダコードの各ラインに関連付けられた各ステートメント及び決定分岐についてフラグを追加させ、ＧＰＵによって実行されるべきシェーダコードの各ラインについて表示デバイス上に表示されるべき少なくとも１つのグラフィックオブジェクトは、ＧＰＵによって実行されるべきシェーダコードの各ラインに関連付けられた各ステートメント及び決定分岐についてそれぞれのグラフィックオブジェクトを含む。

【0081】

例１４は、例１０～１３のいずれかのシステムを含み、システムは、構造コードカバレッジレポートに必要とされる構造コードカバレッジのレベルを示す入力をユーザから受信するように構成されている。

【0082】

例１５は、例１０～１４のいずれかのシステムを含み、１つ以上の命令は、１つ以上のプロセッサによって実行されると、１つ以上のプロセッサに、設計保証レベル（ＤＡＬ）Ａ、ＤＡＬ Ｂ、及び／又はＤＡＬ Ｃに関する要件に基づいて、シェーダコードのための構造コードカバレッジレポートを生成させる。

【0083】

例１６は方法を含み、方法は、ググラフィックス処理ユニット（ＧＰＵ）によって実行されるべきインストルメントされたシェーダコードと、要件ベースのテストのスクリプトとを受信することであって、インストルメントされたシェーダコードは、インストルメントされたシェーダコードの各ラインについて、１つ以上のフラグを含む、受信することと、要件ベースのテストのスクリプトを実行することと、インストルメントされたシェーダコードの各ラインについて、それぞれのグラフィックオブジェクトを表示デバイス上に表示することと、インストルメントされたシェーダコードの各それぞれのラインが要件ベースのテストのスクリプトの実行中に実行されることに応答して、インストルメントされたシェーダコードの各それぞれのラインについて、それぞれの表示されたグラフィックオブジェクトの属性を変更することと、要件ベースのテストのスクリプトの実行の完了に応答して、１つ以上のヒットファイルを出力することであって、１つ以上のヒットファイルが、インストルメントされたシェーダコードの各それぞれのラインについて、各それぞれの表示されたグラフィックオブジェクトの属性のステータスを含む、出力することと、を含む。

【0084】

例１７は、例１６の方法を含み、属性は、色、形状、サイズ、及び／又はパターンを含む。

【0085】

例１８は、例１６～１７のいずれかの方法を含み、インストルメントされたシェーダコードの各ラインについて、それぞれのグラフィックオブジェクトを表示デバイス上に表示することは、表示デバイスのそれぞれのピクセルを使用してそれぞれのグラフィックオブジェクトを表示することを含む。

【0086】

例１９は、例１６～１８のいずれかの方法を含み、方法は、１つ以上のヒットファイルをＧＰＵのメモリに記憶することなく、要件ベースのテストのスクリプトの実行の完了に応答して、１つ以上のヒットファイルを出力することを含む。

【0087】

例２０は、例１６～１９のいずれかの方法を含み、インストルメントされたシェーダコードの各それぞれのラインが要件ベースのテストのスクリプトの実行中に実行されることに応答して、インストルメントされたシェーダコードの各それぞれのラインについて、それぞれの表示されたグラフィックオブジェクトの属性を変更することは、属性をデフォルト状態から第２の状態に変更することを含む。

【0088】

本明細書では特定の実施形態が図示され、説明されているが、当業者には、示される特定の実施形態の代わりに、同一の目的を達成することが予測される任意の構成が用いられ得ることが理解されよう。したがって、本発明は、特許請求の範囲及びその均等物によってのみ限定されることが明らかに意図されている。

【図1】

【図2】

【図3】

【図4】

【図5A】

【図5B】

【図6A】

【図6B】

【外国語明細書】