特表2024-526371 | 知財ポータル「IP Force」

知財求人 - 知財ポータルサイト「IP Force」

▶ エルディーアールエイテクノロジーインコーポレイテッドの特許一覧

特表2024-526371ソフトウェアコード内の制御結合及びデータ結合解析の検証方法及びシステム

書誌要約請求の範囲詳細な説明課題実施例実施するための形態図面の説明

目に優しい文字サイズ小中大 PDF Top

< >

1
2a
2b
3
4a
4b
4c
5
6
7a
7b
7c
8a
8b
9

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

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

(11)【公表番号】

(43)【公表日】2024-07-17

(54)【発明の名称】ソフトウェアコード内の制御結合及びデータ結合解析の検証方法及びシステム

(51)【国際特許分類】

G06F 11/36 20060101AFI20240709BHJP

【ＦＩ】

G06F11/36 192

G06F11/36 176

【審査請求】有

【予備審査請求】未請求

(21)【出願番号】P 2024519488

(86)(22)【出願日】2022-05-02

(85)【翻訳文提出日】2024-01-18

(86)【国際出願番号】 US2022027216

(87)【国際公開番号】W WO2022256103

(87)【国際公開日】2022-12-08

(31)【優先権主張番号】63/196,935

(32)【優先日】2021-06-04

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

(81)【指定国・地域】

【公序良俗違反の表示】

（特許庁注：以下のものは登録商標）

１．ＨＤＭＩ

(71)【出願人】

【識別番号】523456755

【氏名又は名称】エルディーアールエイテクノロジーインコーポレイテッド

【氏名又は名称原語表記】ＬＤＲＡＴＥＣＨＮＯＬＯＧＹ，ＩＮＣ．

(74)【代理人】

【識別番号】100147485

【弁理士】

【氏名又は名称】杉村憲司

(74)【代理人】

【識別番号】230118913

【弁護士】

【氏名又は名称】杉村光嗣

(74)【代理人】

【識別番号】100169823

【弁理士】

【氏名又は名称】吉澤雄郎

(72)【発明者】

【氏名】イアンジョンヘンネル

(72)【発明者】

【氏名】ジェームスエイドリアンハンソン

(72)【発明者】

【氏名】マイケルピーターシースラー

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

5B042

【Ｆターム（参考）】

5B042HH10

5B042HH18

5B042HH30

5B042HH42

5B042HH43

5B042MA08

5B042MA10

5B042MA14

5B042MC12

(57)【要約】

ソフトウェアコードのテスト中に制御結合及びデータ結合解析を検証する方法及びシステムが、テストするソースファイルを選択するステップであってソースファイルがソースコードを有するステップと；ソースファイルのソースコードに対する静的解析を実行することによって、ソースファイル内の１つ以上の制御結合を識別するステップと；ソフトウェアコードの１つ以上のテスト実行動作を定義するステップであって、１つ以上のテスト実行動作は、識別した制御結合のうちの１つ以上を含み、１つ以上のテスト実行動作は動的解析を用いるステップと；定義した１つ以上のテスト実行動作を実行するステップと；動的解析に基づいてソースファイルの制御結合カバレッジを識別するステップと；識別したソースファイルの制御結合カバレッジに基づいて制御結合報告を生成するステップとを含む。

【特許請求の範囲】

【請求項1】

ソフトウェアコードのテスト中に制御結合解析を検証する方法であって、
テストするソースファイルを選択するステップであって、該ソースファイルがソースコードを有するステップと、
前記ソースファイルの前記ソースコードに対する静的解析を実行することによって、前記ソースファイル内の１つ以上の制御結合を識別するステップと、
前記ソースコードの１つ以上のテスト実行動作を定義するステップであって、該１つ以上のテスト実行動作は、前記識別した制御結合のうちの１つ以上を含み、該１つ以上のテスト実行動作は動的解析を用いるステップと、
前記１つ以上のテスト実行動作を実行するステップと、
前記動的解析に基づいて、前記ソースファイルの制御結合カバレッジを識別するステップと、
前記識別した前記ソースファイルの制御結合カバレッジに基づいて、制御結合報告を生成するステップと
を含む方法。

【請求項2】

前記１つ以上のテスト実行動作が、前記ソースファイル内の前記識別した制御結合の全部よりも少数の制御結合を含む、請求項１に記載の方法。

【請求項3】

前記制御結合報告が第１節を含み、該第１節は、前記ソースファイルの前記制御結合カバレッジを０％～１００％の％比率として示し、かつ前記識別した制御結合の総数を示す、請求項１に記載の方法。

【請求項4】

前記制御結合報告が第２節を含み、該第２節は、前記識別した１つ以上の制御結合、前記識別した１つ以上の制御結合の、前記ソースファイルからの結合先の位置、及び前記識別した１つ以上の制御結合の各々についての、前記動的解析に基づく前記制御結合カバレッジをリストアップする、請求項１に記載の方法。

【請求項5】

前記制御結合報告が第３節を含み、該第３節は、前記ソースファイル内の１つ以上のコンポーネントの各々についての、前記識別した１つ以上の制御結合についての前記制御結合カバレッジをリストアップし、前記制御結合カバレッジは前記動的解析に基づく、請求項１に記載の方法。

【請求項6】

前記制御結合報告が第４節を含み、該第４節は第１テーブル及び第２テーブルを有し、前記第１テーブルは、前記識別した１つ以上の制御結合のうち、前記ソースファイルの前記１つ以上のコンポーネントの各々から生じる制御結合を示し、前記第２テーブルは、前記識別した１つ以上の制御結合のうち、当該制御結合の結合先が前記ソースファイルの前記１つ以上のコンポーネントのうちの１つである制御結合を示す、請求項５に記載の方法。

【請求項7】

前記第４節が、前記ソースファイルの前記１つ以上のコンポーネントの各々について反復される、請求項６に記載の方法。

【請求項8】

前記第１テーブル及び前記第２テーブルが、前記識別した１つ以上の制御結合間の呼出し元のポイントを識別する第１列と、前記識別した１つ以上の制御結合間の呼出し先のポイントを示す第２列と、前記呼出し先または前記呼出し元が結合先とするソースファイルを示す第３列と、前記ソースファイルにおける、前記識別した１つ以上の制御結合の各々が存在するソフトウェアコードラインを示す第４列と、前記動的解析に基づく、前記識別した１つ以上の制御結合の制御結合カバレッジを示す第５列とを含む、請求項６に記載の方法。

【請求項9】

前記第４節が、前記第１テーブル及び前記第２テーブルに関連する前記ソースファイルのソースコードを含む、請求項８に記載の方法。

【請求項10】

前記ソースファイルについてのファイル呼出し関係図を生成するステップであって、該ファイル呼出し関係図は、前記ソースファイルの１つ以上のコンポーネント間のローカル呼出しを示すステップを含む、請求項１に記載の方法。

【請求項11】

前記ソースファイルが、システム内の１つ以上のノードからの複数のソースファイルを含むシステムセットであり、
前記方法が、前記複数のソースファイルについてのシステム呼出し関係図を生成するステップを含み、該システム呼出し関係図は、前記複数のソースファイル内の１つ以上のコンポーネント間のローカル呼出し、及び前記システムセットの前記複数のソースファイルのうち、前記システムセットの前記複数のソースファイルの各々が当該ソースファイルへの制御結合を有するソースファイル間のソースファイル・コンポーネント間呼出しを示す、請求項１に記載の方法。

【請求項12】

前記複数のソースファイル内の前記１つ以上のコンポーネントのうちの１つのコンポーネントを選択するステップと、
前記システムの前記１つ以上のノードのうち、前記選択したコンポーネントについての制御結合に関与するノードを表示する呼出し関係図を生成するステップと
を含む、請求項１１に記載の方法。

【請求項13】

ソフトウェアコードのテスト中にデータ結合解析を検証する方法であって、
テストするソースファイルを選択するステップであって、該ソースファイルが１つ以上のコンポーネントを有するステップと、
前記ソースファイルのソースコードに対する静的解析を実行することによって、前記ソースファイル内の１つ以上のデータ結合を識別するステップであって、前記データ結合は前記１つ以上のコンポーネントの変数及びパラメータであるステップと、
前記識別した１つ以上のデータ結合を含む前記１つ以上のコンポーネントの各々について１つ以上のテストを定義するステップであって、該１つ以上のテストは動的解析を用いるステップと、
前記１つ以上のテストを前記ソースファイルに対して実行するステップと、
前記動的解析に基づいて、前記ソースファイルのデータ結合変数使用カバレッジを識別するステップと、
前記識別したデータ結合変数使用カバレッジに基づいて、データ結合報告を生成するステップと
を含む方法。

【請求項14】

トレーサビリティ行列を生成するステップであって、該トレーサビリティ行列は、前記１つ以上のテストのどれを用いるかを、１つ以上の要件の各々について示すステップを含む、請求項１３に記載の方法。

【請求項15】

前記データ結合が、前記ソースファイルの、他のコンポーネントに呼び出されるコンポーネント及び他のコンポーネントを呼び出すコンポーネントに関連するパラメータ結合から生じるデータ結合を含む、請求項１３に記載の方法。

【請求項16】

前記１つ以上のテストの各々が個別に実行可能である、請求項１３に記載の方法。

【請求項17】

前記データ結合報告が第１節を含み、該第１節は、前記ソースファイルにおけるデータ結合変数の使用率を０％～１００％の％比率で示し、かつ前記識別したデータ結合の総数を示す、請求項１３に記載の方法。

【請求項18】

前記データ結合報告が第２節を含み、該第２節は、前記識別した１つ以上のデータ結合のうちの１つ以上によってリンクされた前記ソースファイル内のコンポーネント、及び前記リンクされたコンポーネント内のデータ結合の数をリストアップする、請求項１３に記載の方法。

【請求項19】

前記データ結合報告が第３節を含み、該第３節は、前記ソースファイル内の前記１つ以上のコンポーネントの各々についての、前記識別した１つ以上のデータ結合についてのデータ結合変数使用カバレッジ、及び前記ソースファイル内で用いられるグローバル変数の数をリストアップし、前記データ結合変数使用カバレッジは前記動的解析に基づく、請求項１３に記載の方法。

【請求項20】

前記データ結合報告が第４節を含み、該第４節は第１テーブル及び第２テーブルを有し、前記第１テーブルは、前記識別した１つ以上のデータ結合のうち、前記ソースファイルの前記１つ以上のコンポーネントの各々から生じるデータ結合を示し、前記第２テーブルは、前記識別した１つ以上のデータ結合のうち、当該データ結合の結合先が前記ソースファイルの前記１つ以上のコンポーネントのうちの１つであるデータ結合を示し、前記第１テーブル及び前記第２テーブルは、前記１つ以上のテストのうちの１つについて生じる、請求項１３に記載の方法。

【請求項21】

前記第４節が、前記ソースファイルの前記コンポーネントの各々について反復される、請求項２０に記載の方法。

【請求項22】

前記第１テーブルが、前記識別した１つ以上のデータ結合のうちの１つのデータ結合の変数を識別する第１列と、前記ソースファイルのソフトウェアコードラインのうち前記変数が存在するソフトウェアコードラインを示す第２列と、前記変数の変数型を識別する第３列と、前記１つ以上のコンポーネントのパラメータのうち前記変数に結合されたパラメータを識別する第４列と、前記識別したパラメータを含む前記コンポーネントを識別する第５列と、前記パラメータが前記変数を呼び出す場所であるソースコードラインを識別する第６列と、前記ソースファイルのコンポーネントのうち前記コンポーネントを含むコンポーネントを識別する第７列とを含む、請求項２０に記載の方法。

【請求項23】

前記第２テーブルが、前記識別した１つ以上のデータ結合のうちの１つのデータ結合の変数を識別する第１列と、前記変数の結合先のコンポーネントを識別する第２列と、前記ソースファイルのソースコードラインのうち前記変数が呼び出されるソースコードラインを識別する第３列と、前記コンポーネントを含む前記ソースファイルのコンポーネントのうち前記変数を呼び出すコンポーネントを識別する第４列と、前記変数の変数型を識別する第５列と、前記１つ以上のコンポーネントのパラメータのうち前記変数に結合されたパラメータを識別する第６列と、前記パラメータが存在するソースコードラインを識別する第７列とを含む、請求項２０に記載の方法。

【請求項24】

前記第４節が第３テーブルを含み、該第３テーブルは、前記ソースファイルの変数を識別する第１列と、前記変数を含む前記ソースファイルを識別する第２列と、前記ソースファイルのコンポーネントのうち前記変数を含むコンポーネントを識別する第３列と、前記変数の変数型を識別する第４列と、前記変数の属性を識別する第５列と、前記ソースファイルのソースコードラインのうち前記変数が用いられるソースコードラインを識別する第６列とを含む、請求項２０に記載の方法。

【請求項25】

前記データ結合報告が第５節及び第６節を含み、前記第５節は、前記ソースファイルの前記データ結合変数使用カバレッジの高レベルの概要を提供し、前記第６節は、前記ソースファイルの前記ソースコードのうち前記第１テーブル及び前記第２テーブルに関連する前記ソースコードを提供する、請求項２０に記載の方法。

【請求項26】

ソフトウェアコードのテスト中に制御結合及びデータ結合解析を検証する方法であって、
テストするソースファイルを選択するステップであって、該ソースファイルがソースコードを有し、該ソースコードが１つ以上のコンポーネントを実現するステップと、
前記ソースファイルの前記ソースコードに対する静的解析を実行することによって、前記ソースファイル内の１つ以上の制御結合を識別するステップと、
前記ソフトウェアコードの１つ以上の制御結合テスト実行動作を定義するステップであって、該１つ以上の制御結合テスト実行動作は、前記識別した制御結合のうちの１つ以上を含み、前記１つ以上の制御結合テスト実行動作は動的解析を用いるステップと、
前記定義した１つ以上の制御結合テスト実行動作を実行するステップと、
前記動的解析に基づいて、前記ソースファイルの制御結合カバレッジを識別するステップと、
前記ソースファイルの前記ソースコードに対する静的解析を実行することによって、前記ソースファイル内の１つ以上のデータ結合を識別するステップであって、前記データ結合は前記１つ以上のコンポーネントのうちの１つのコンポーネントの変数及びパラメータであるステップと、
前記識別したデータ結合のうちの１つ以上を含む前記１つ以上のコンポーネントの各々について、１つ以上のデータ結合テストを定義するステップであって、該１つ以上のデータ結合テストは動的解析を用いるステップと、
前記１つ以上のデータ結合テストを前記ソースファイルに対して実行するステップと、
前記動的解析に基づいて、前記ソースファイルのデータ結合変数使用カバレッジを識別するステップと、
前記識別した制御結合カバレッジ及び前記識別したデータ結合変数使用カバレッジに基づいて報告を生成するステップと
を含む方法。

【請求項27】

前記１つ以上の制御結合テスト実行動作が、前記ソースファイル内の前記識別した制御結合の全部よりも少数の制御結合を含む、請求項２６に記載の方法。

【請求項28】

前記データ結合が、前記ソースファイル内の呼出し先のコンポーネント及び呼出し元のコンポーネントに関連するパラメータ結合から生じるデータ結合を含む、請求項２６に記載の方法。

【請求項29】

前記１つ以上のデータ結合テストの各々を個別に実行する、請求項２６に記載の方法。

【請求項30】

前記報告が第１節及び第２節を含み、
前記第１節は、前記ソースファイルの前記制御結合カバレッジを０％～１００％の％比率として示し、かつ前記識別した制御結合の総数を示し、
前記第２節は、前記ソースファイルの前記データ結合変数使用カバレッジを０％～１００％の％比率として示し、かつ前記識別したデータ結合の総数を示す、
請求項２６に記載の方法。

【請求項31】

前記報告が第３節及び第４節を含み、
前記第３節は、前記識別した１つ以上の制御結合、前記識別した１つ以上の制御結合の、前記ソースファイルからの結合先の位置、及び前記識別した１つ以上の制御結合の各々についての前記動的解析に基づく制御結合カバレッジをリストアップし、
前記第４節は、前記ソースファイルの前記コンポーネントのうち、前記識別した１つ以上のデータ結合のうちの１つ以上によってリンクされたコンポーネント、及び前記リンクされたコンポーネント内のデータ結合の数をリストアップする、
請求項２６に記載の方法。

【請求項32】

前記報告が第４節及び第５節を含み、
前記第４節は、前記ソースファイル内の前記１つ以上のコンポーネントの各々についての、前記識別した１つ以上の制御結合についての前記制御結合カバレッジをリストアップし、前記制御結合カバレッジは前記動的解析に基づき、
前記第５節は、前記ソースファイル内の前記１つ以上のコンポーネントの各々についての、前記識別した１つ以上のデータ結合についてのデータ結合変数使用カバレッジ、及び使用されるグローバル変数の数をリストアップし、前記データ結合変数使用カバレッジは前記動的解析に基づく、
請求項２６に記載の方法。

【請求項33】

前記報告が第６節を含み、該第６節は第１テーブル及び第２テーブルを有し、前記第１テーブルは、前記識別した１つ以上の制御結合のうち、前記ソースファイルの前記１つ以上のコンポーネントの各々から生じる制御結合を示し、前記第２テーブルは、前記識別した１つ以上の制御結合のうち、当該制御結合の結合先が前記ソースファイルの前記１つ以上のコンポーネントのうちの１つである制御結合を示す、請求項２６に記載の方法。

【請求項34】

前記第６節が、前記定義した１つ以上の制御結合テスト実行動作の各々について反復される、請求項３３に記載の方法。

【請求項35】

前記第１テーブル及び前記第２テーブルが、前記識別した１つ以上の制御結合間の呼出し元のポイントを識別する第１列と、前記識別した１つ以上の制御結合間の呼出し先のポイントを識別する第２列と、前記呼出し元または前記呼出し先が結合先とするソースファイルを示す第３列と、前記ソースファイルにおける、前記識別した１つ以上の制御結合の各々が存在するソフトウェアコードラインを示す第４列と、前記動的解析に基づく、前記識別した１つ以上の制御結合の制御結合カバレッジを示す第５列とを含む、請求項３３に記載の方法。

【請求項36】

前記第４節が、前記第１テーブル及び前記第２テーブルに関連する前記ソースファイルのソースコードを含む、請求項３５に記載の方法。

【請求項37】

前記報告が第７節を含み、該第７節は第３テーブル及び第４テーブルを有し、前記第３テーブルは、前記識別した１つ以上のデータ結合のうち、前記ソースファイルの前記１つ以上のコンポーネントの各々から生じるデータ結合を示し、前記第４テーブルは、前記識別した１つ以上のデータ結合のうち、当該データ結合の結合先が前記ソースファイルの前記１つ以上のコンポーネントのうちの１つのコンポーネントであるデータ結合を示し、前記第３テーブル及び前記第４テーブルが前記１つ以上のデータ結合テストのうちの１つの結果である、請求項２６に記載の方法。

【請求項38】

前記第７節が、前記実行した１つ以上のデータ結合テストの各々について反復される、請求項３７に記載の方法。

【請求項39】

前記第３テーブルが、前記識別した１つ以上のデータ結合のうちの１つのデータ結合の変数を識別する第１列と、前記ソースファイルのソフトウェアコードラインのうち前記変数が存在するソフトウェアコードラインを示す第２列と、前記変数の変数型を識別する第３列と、前記１つ以上のコンポーネントのパラメータのうち前記変数に結合されたパラメータを識別する第４列と、前記識別したパラメータを含む前記コンポーネントを識別する第５列と、前記パラメータが前記変数を呼び出すソースコードラインを識別する第６列と、前記ソースファイルのコンポーネントのうち前記コンポーネントを含むコンポーネントを識別する第７列とを含む、請求項３７に記載の方法。

【請求項40】

前記第４テーブルが、前記識別した１つ以上のデータ結合のうちの１つのデータ結合の変数を識別する第１列と、前記変数の結合先のコンポーネントを識別する第２列と、前記ソースファイルのソースコードラインのうち前記変数が呼び出されるソースコードラインを識別する第３列と、前記ソースファイルのコンポーネントのうち前記変数を呼び出すコンポーネントを含むコンポーネントを識別する第４列と、前記変数の変数型を識別する第５列と、前記１つ以上のコンポーネントのパラメータのうち前記変数に結合されたパラメータを識別する第６列と、前記パラメータが存在するソースコードラインを識別する第７列とを含む、請求項３７に記載の方法。

【請求項41】

前記第７節が第４テーブルを含み、該第４テーブルは、前記ソースファイルの変数を識別する第１列と、前記変数を含む前記ソースファイルを識別する第２列と、前記ソースファイル内のコンポーネントのうち前記変数を含むコンポーネントを識別する第３列と、前記変数の変数型を識別する第４列と、前記変数の属性を識別する第５列と、前記ソースファイルのソースコードラインのうち当該変数を使用するソースコードラインを識別する第６列とを含む、請求項３７に記載の方法。

【請求項42】

前記報告が第８節及び第９節を含み、前記第８節は、前記ソースファイルの前記データ結合変数使用カバレッジの高レベルの概要を提供し、前記第９節は、前記ソースファイルの前記ソースコードのうち前記第１テーブル及び前記第２テーブルに関連する前記ソースコードを提供する、請求項３７に記載の方法。

【請求項43】

ソフトウェアコードのテスト中に制御結合解析を識別するシステムであって、
１つ以上のプロセッサと、１つ以上のコンピュータ可読のメモリと、１つ以上のコンピュータ可読の有形な記憶装置と、前記１つ以上の記憶装置のうちの少なくとも１つに記憶され、前記１つ以上のプロセッサのうちの少なくとも１つによって、前記１つ以上のメモリのうちの少なくとも１つを介して実行される命令とを含むシステムにおいて、
前記命令は、
テストするソースファイルを選択する命令であって、該ソースファイルはソースコードを有する命令と、
前記ソースファイルの前記ソースコードに対する静的解析を実行することによって、前記ソースファイル内の１つ以上の制御結合を識別する命令と、
前記ソフトウェアコードの１つ以上のテスト実行動作を定義する命令であって、該１つ以上のテスト実行動作は、前記識別した制御結合のうちの１つ以上を含み、前記１つ以上のテスト実行動作は動的解析を用いる命令と、
前記定義した１つ以上のテスト実行動作を実行する命令と、
前記動的解析に基づいて、前記ソースファイルの制御結合カバレッジを識別する命令と、
前記ソースファイルの前記識別した制御結合カバレッジに基づいて、制御結合報告を生成する命令と
を含むシステム。

【請求項44】

前記１つ以上のテスト実行動作が、前記ソースファイル内の前記識別した制御結合の全部よりも少数の制御結合を含む、請求項４３に記載のシステム。

【請求項45】

前記制御結合報告が第１節を含み、該第１節は、前記ソースファイルの前記制御結合カバレッジを０％～１００％の％比率として示し、かつ前記識別した制御結合の総数を示す、請求項４３に記載のシステム。

【請求項46】

前記制御結合報告が第２節を含み、該第２節は、前記識別した１つ以上の制御結合、前記識別した１つ以上の制御結合の、前記ソースファイルからの結合先、及び前記識別した１つ以上の制御結合の各々についての、前記動的解析に基づく前記制御結合カバレッジをリストアップする、請求項４３に記載のシステム。

【請求項47】

前記制御結合報告が第３節を含み、該第３節は、前記ソースファイル内の１つ以上のコンポーネントの各々についての、前記識別した１つ以上の制御結合についての前記制御結合カバレッジをリストアップし、前記制御結合カバレッジは前記動的解析に基づく、請求項４３に記載のシステム。

【請求項48】

【請求項49】

前記第４節が、前記ソースファイルの前記１つ以上のコンポーネントの各々について反復される、請求項４８に記載のシステム。

【請求項50】

【請求項51】

前記第４節が、前記第１テーブル及び前記第２テーブルに関連する前記ソースファイルのソースコードを含む、請求項４８に記載のシステム。

【請求項52】

前記ソースファイルについてのファイル呼出し関係図を生成する命令を含み、該ファイル呼出し関係図は、前記ソースファイルの１つ以上のコンポーネント間のローカル呼出しを示す、請求項４３に記載のシステム。

【請求項53】

前記ソースファイルが、システム内の１つ以上のノードからの複数のソースファイルを含むシステムセットであり、
前記命令が、前記複数のソースファイルについてのシステム呼出し関係図を生成する命令を含み、該システム呼出し関係図は、前記複数のソースファイル内の１つ以上のコンポーネント間のローカル呼出し、及び前記システムセットの前記複数のソースファイルのうち、前記システムセットの前記複数のソースファイルの各々が当該ソースファイルへの制御結合を有するソースファイル間のソースファイル・コンポーネント間呼出しを示す、請求項４３に記載のシステム。

【請求項54】

前記命令が、
前記複数のソースファイル内の前記１つ以上のコンポーネントのうちの１つのコンポーネントを選択する命令と、
前記システムの前記１つ以上のノードのうち、前記選択したコンポーネントについての制御結合に関与するノードを表示する呼出し関係図を生成する命令と
を含む、請求項５３に記載のシステム。

【請求項55】

ソフトウェアコードのテスト中にデータ結合解析を検証するシステムであって、
１つ以上のプロセッサと、１つ以上のコンピュータ可読のメモリと、１つ以上のコンピュータ可読の有形な記憶装置と、前記１つ以上の記憶装置のうちの少なくとも１つに記憶され、前記１つ以上のプロセッサのうちの少なくとも１つによって、前記１つ以上のメモリのうちの少なくとも１つを介して実行される命令とを含むシステムにおいて、
前記命令は、
テストするソースファイルを選択する命令であって、該ソースファイルが１つ以上のコンポーネントを有する命令と、
前記ソースファイルのソースコードに対する静的解析を実行することによって、前記ソースファイル内の１つ以上のデータ結合を識別する命令であって、前記データ結合は前記１つ以上のコンポーネントの変数及びパラメータである命令と、
前記識別した１つ以上のデータ結合を含む前記１つ以上のコンポーネントの各々について１つ以上のテストを定義する命令であって、該１つ以上のテストは動的解析を用いる命令と、
前記１つ以上のテストを前記ソースファイルに対して実行する命令と、
前記動的解析に基づいて、前記ソースファイルのデータ結合変数使用カバレッジを識別する命令と、
前記識別したデータ結合変数使用カバレッジに基づいて、データ結合報告を生成する命令と
を含むシステム。

【請求項56】

前記命令が、トレーサビリティ行列を生成する命令を含み、該トレーサビリティ行列は、前記１つ以上のテストのどれを用いるかを、１つ以上の要件の各々について示す、請求項５５に記載のシステム。

【請求項57】

前記データ結合が、前記ソースファイルの、他のコンポーネントに呼び出されるコンポーネント及び他のコンポーネントを呼び出すコンポーネントに関連するパラメータ結合から生じるデータ結合を含む、請求項５５に記載のシステム。

【請求項58】

前記１つ以上のテストの各々が個別に実行可能である、請求項５５に記載のシステム。

【請求項59】

前記データ結合報告が第１節を含み、該第１節は、前記ソースファイルにおける前記データ結合変数使用カバレッジを０％～１００％の％比率で示し、かつ前記識別したデータ結合の総数を示す、請求項５５に記載のシステム。

【請求項60】

前記データ結合報告が第２節を含み、該第２節は、前記識別した１つ以上のデータ結合のうちの１つ以上によってリンクされた前記ソースファイル内のコンポーネント、及び前記リンクされたコンポーネント内のデータ結合の数をリストアップする、請求項５５に記載のシステム。

【請求項61】

【請求項62】

前記データ結合報告が第４節を含み、該第４節は第１テーブル及び第２テーブルを有し、前記第１テーブルは、前記識別した１つ以上のデータ結合のうち、前記ソースファイルの前記１つ以上のコンポーネントの各々から生じるデータ結合をし、前記第２テーブルは、前記識別した１つ以上のデータ結合のうち、当該データ結合の結合先が前記ソースファイルの前記１つ以上のコンポーネントのうちの１つであるデータ結合を示し、前記第１テーブル及び前記第２テーブルは、前記１つ以上のテストのうちの１つについて生じる、請求項５５に記載のシステム。

【請求項63】

前記第４節が、前記ソースファイルの前記コンポーネントの各々について反復される、請求項６２に記載のシステム。

【請求項64】

【請求項65】

【請求項66】

【請求項67】

前記データ結合報告が第５節及び第６節を含み、前記第５節は、前記ソースファイルの前記データ結合変数使用カバレッジの高レベルの概要を提供し、前記第６節は、前記ソースファイルの前記ソースコードのうち前記第１テーブル及び前記第２テーブルに関連する前記ソースコードを提供する、請求項６２に記載のシステム。

【請求項68】

ソフトウェアコードのテスト中に制御結合及びデータ結合解析を識別するシステムであって、
１つ以上のプロセッサと、１つ以上のコンピュータ可読のメモリと、１つ以上のコンピュータ可読の有形な記憶装置と、前記１つ以上の記憶装置のうちの少なくとも１つに記憶され、前記１つ以上のプロセッサのうちの少なくとも１つによって、前記１つ以上のメモリのうちの少なくとも１つを介して実行される命令とを含むシステムにおいて、
前記命令は、
テストするソースファイルを選択する命令であって、該ソースファイルがソースコードを有し、該ソースコードが１つ以上のコンポーネントを実現する命令と、
前記ソースファイルの前記ソースコードに対する静的解析を実行することによって、前記ソースファイル内の１つ以上の制御結合を識別する命令と、
前記ソフトウェアコードの１つ以上の制御結合テスト実行動作を定義する命令であって、該１つ以上の制御結合テスト実行動作は、前記識別した制御結合のうちの１つ以上を含み、前記１つ以上の制御結合テスト実行動作は動的解析を用いる命令と、
前記定義した１つ以上の制御結合テスト実行動作を実行する命令と、
前記動的解析に基づいて、前記ソースファイルの制御結合カバレッジを識別する命令と、
前記ソースファイルの前記ソースコードに対する静的解析を実行することによって、前記ソースファイル内の１つ以上のデータ結合を識別する命令であって、前記データ結合は前記１つ以上のコンポーネントのうちの１つのコンポーネントの変数及びパラメータである命令と、
前記識別したデータ結合のうちの１つ以上を含む前記１つ以上のコンポーネントの各々について、１つ以上のデータ結合テストを定義する命令であって、該１つ以上のデータ結合テストは動的解析を用いる命令と、
前記１つ以上のデータ結合テストを前記ソースファイルに対して実行する命令と、
前記動的解析に基づいて、前記ソースファイルのデータ結合変数使用カバレッジを識別する命令と、
前記識別した制御結合カバレッジ及び前記識別したデータ結合変数使用カバレッジに基づいて報告を生成する命令と
を含むシステム。

【請求項69】

前記１つ以上の制御結合テスト実行動作が、前記ソースファイル内の前記識別した制御結合の全部よりも少数の制御結合を含む、請求項６８に記載のシステム。

【請求項70】

前記データ結合が、前記ソースファイル内の呼出し先のコンポーネント及び呼出し元のコンポーネントに関連するパラメータ結合から生じるデータ結合を含む、請求項６８に記載のシステム。

【請求項71】

前記１つ以上のデータ結合テストの各々を個別に実行する、請求項６８に記載のシステム。

【請求項72】

【請求項73】

【請求項74】

【請求項75】

【請求項76】

前記第６節が、前記定義した１つ以上の制御結合テスト実行動作の各々について反復される、請求項７５に記載のシステム。

【請求項77】

【請求項78】

前記第４節が、前記第１テーブル及び前記第２テーブルに関連する前記ソースファイルのソースコードを含む、請求項７７に記載のシステム。

【請求項79】

【請求項80】

前記第７節が、前記実行した１つ以上のデータ結合テストの各々について反復される、請求項７９に記載のシステム。

【請求項81】

【請求項82】

【請求項83】

【請求項84】

前記報告が第８節及び第９節を含み、前記第８節は、前記ソースファイルの前記データ結合変数使用カバレッジの高レベルの概要を提供し、前記第９節は、前記ソースファイルの前記ソースコードのうち前記第１テーブル及び前記第２テーブルに関連する前記ソースコードを提供する、請求項７９に記載のシステム。

【発明の詳細な説明】

【技術分野】

【0001】

分野
本発明は、ソフトウェアコード内の制御結合及びデータ結合解析の検証に関するものである。より具体的には、本発明は、ソフトウェアのテスト中に、静的解析及び動的解析を用いてソフトウェアコード内の制御結合及びデータ結合解析を検証することに関するものである。

【背景技術】

【0002】

背景
ソフトウェアを利用するか、さもなければソフトウェアに依存する産業では、これらの産業の多数が、これらの産業にとって最良の慣行に従ってソフトウェアが動作することを保証するための、当該ソフトウェアについての１つ以上の要件（要求事項）を規定する規格及び／または方針を有する。例えば、産業ソフトウェアの規格または政府の規制は、これらに限定されないが要件ベースのテスト手順または要件ベースのトレーサビリティのようなソフトウェアテストの使用を推奨することがある。上記の規格は、例えば構造カバレッジ（網羅率）の使用によるこうしたソフトウェア・テストプロセスの完全性を検証する必要性も識別する。こうしたテストの目的は、テスト中のソフトウェアのソースコード内のあらゆる構造カバレッジ不全を識別することにある。２つのこうした構造カバレッジ不全は、ソフトウェアコード内の制御結合及びデータ結合中に発生し得るし、文（Statement：ステートメント）、判定（Decision）、または改良条件判定カバレッジ（ＭＣ／ＤＣ：Modified Condition/Decision Coverage）のような既知のカバレッジ技術を用いて適切に検出することができない。従って、ソフトウェアテストがソフトウェアコード内の制御結合及びデータ結合解析を適切にチェックすることを検証する技術の必要性が存在する。

【先行技術文献】

【特許文献】

【0003】

【特許文献1】米国特許第８９４９７７０号明細書

【非特許文献】

【0004】

【非特許文献1】”LDRA Tool Qualification Packs”

【発明の概要】

【課題を解決するための手段】

【0005】

ソフトウェアコードのテスト中に制御結合解析を検証する方法を開示する。この方法は、テストするソースファイルを選択するステップであって、ソースファイルがソースコードを有するステップと；ソースファイルのソースコードに対する静的解析を実行することによって、ソースファイル内の１つ以上の制御結合を識別するステップと；ソフトウェアコードの１つ以上のテスト実行動作を定義するステップであって、１つ以上のテスト実行動作は、識別した制御結合のうちの１つ以上を含み、１つ以上のテスト実行動作は動的解析を用いるステップと；定義した１つ以上のテスト実行動作を実行するステップと；動的解析に基づいてソースファイルの制御結合カバレッジを識別するステップと；ソースファイルの識別した制御結合カバレッジに基づいて制御結合報告を生成するステップとを含む。

【0006】

ソフトウェアコードのテスト中にデータ結合解析を検証する方法を開示する。この方法は、テストするソースファイルを選択するステップであって、ソースファイルが１つ以上のコンポーネントを有するステップと；ソースファイルのソースコードに対する静的解析を実行することによって、ソースファイル内の１つ以上のデータ結合を識別するステップであって、データ結合は１つ以上のコンポーネントの変数及びパラメータであるステップと；識別したデータ結合のうちの１つ以上を含む１つ以上のコンポーネントの各々について、１つ以上のテストを定義するステップであって、１つ以上のテストは動的解析を用いるステップと；１つ以上のテストをソースファイルに対して実行するステップと；動的解析に基づいてソースファイルのデータ結合変数使用カバレッジを識別するステップと；識別したデータ結合カバレッジに基づいてデータ結合報告を生成するステップとを含む。

【0007】

ソフトウェアコードのテスト中に制御結合及びデータ結合の解析を検証する方法を開示する。この方法は、テストするソースファイルを選択するステップであって、ソースファイルがソースコードを有し、ソースコードが１つ以上のコンポーネントを実現するステップと；ソースファイルのソースコードに対する静的解析を実行することによって、ソースファイル内の１つ以上の制御結合を識別するステップと；１つ以上の制御結合テスト実行動作を定義するステップであって、１つ以上の制御結合テスト実行動作は、識別した制御結合のうちの１つ以上を含み、１つ以上の制御結合テスト実行動作は動的解析を用いるステップと；動的解析に基づいてソースファイルの制御結合カバレッジを識別するステップと；ソースファイルのソースコードに対する静的解析を実行することによって、ソースファイル内の１つ以上のデータ結合を識別するステップであって、データ結合は上記１つ以上のコンポーネントの変数及びパラメータであるステップと；識別したデータ結合のうちの１つ以上を含む１つ以上のコンポーネントの各々について、１つ以上のデータ結合テストを定義するステップであって、１つ以上のデータ結合テストは動的解析を用いるステップと；１つ以上のデータ結合テストをソースファイルに対して実行するステップと；動的解析に基づいてソースファイルのデータ結合変数使用カバレッジを識別するステップと；識別した制御結合カバレッジ及び識別したソースファイルのデータ結合変数使用カバレッジに基づいて、報告を生成するステップとを含む。

【0008】

ソフトウェアコードのテスト中に制御結合解析を検証するシステムを開示する。このシステムは、１つ以上のプロセッサと、１つ以上のコンピュータ可読のメモリと、１つ以上のコンピュータ可読の有形な記憶装置と、１つ以上の記憶装置のうちの少なくとも１つに記憶され、１つ以上のプロセッサのうちの少なくとも１つによって、１つ以上のメモリのうちの少なくとも１つを介して実行される命令とを含む。これらの命令は、テストするソースファイルを選択する命令であって、ソースファイルがソースコードを有する命令と；ソースファイルのソースコードに対する静的解析を実行することによって、ソースファイル内の１つ以上の制御結合を識別する命令と；ソフトウェアコードの１つ以上のテスト実行動作を定義する命令であって、１つ以上のテスト実行動作は、識別した制御結合のうちの１つ以上を含み、１つ以上のテスト実行動作は動的解析を用いる命令と；１つ以上のテスト実行動作を実行する命令と；動的解析に基づいてソースファイルの制御結合カバレッジを識別する命令と；ソースファイルの識別した制御結合カバレッジに基づいて制御結合報告を生成する命令とを含む。

【0009】

ソフトウェアコードのテスト中にデータ結合解析を検証するシステムを開示する。このシステムは、１つ以上のプロセッサと、１つ以上のコンピュータ可読のメモリと、１つ以上のコンピュータ可読の有形な記憶装置と、１つ以上の記憶装置のうちの少なくとも１つに記憶され、１つ以上のプロセッサのうちの少なくとも１つによって、１つ以上のメモリのうちの少なくとも１つを介して実行される命令とを含む。これらの命令は、テストするソースファイルを選択する命令であって、ソースファイルが１つ以上のコンポーネントを有する命令と；ソースファイルのソースコードに対する静的解析を実行することによって、ソースファイル内の１つ以上のデータ結合を識別する命令であって、データ結合は１つ以上のコンポーネントの変数及びパラメータである命令と；識別したデータ結合のうちの１つ以上を含む１つ以上のコンポーネントの各々について、１つ以上のテストを定義する命令であって、１つ以上のテストは動的解析を用いる命令と；１つ以上のテストをソースファイルに対して実行する命令と；動的解析に基づいてソースファイルのデータ結合変数使用カバレッジを識別する命令と；識別したデータ結合変数使用カバレッジに基づいてデータ結合報告を生成する命令とを含む。

【0010】

ソフトウェアコードのテスト中に制御結合及びデータ結合解析を検証するシステムを開示する。このシステムは、１つ以上のプロセッサと、１つ以上のコンピュータ可読のメモリと、１つ以上のコンピュータ可読の有形な記憶装置と、１つ以上の記憶装置のうちの少なくとも１つに記憶され、１つ以上のプロセッサのうちの少なくとも１つによって、１つ以上のメモリのうちの少なくとも１つを介して実行される命令とを含む。これらの命令は、テストするソースファイルを選択する命令であって、ソースファイルがソースコードを有し、ソースコードが１つ以上のコンポーネントを実現するする命令と；ソースファイルのソースコードに対する静的解析を実行することによって、ソースファイル内の１つ以上の制御結合を識別する命令と；１つ以上の制御結合テスト実行動作を定義する命令であって、１つ以上の制御結合テスト実行動作は、識別した制御結合のうちの１つ以上を含み、１つ以上の制御結合テスト実行動作は動的解析を用いる命令と；定義した１つ以上の制御結合テスト実行動作を実行する命令と；動的解析に基づいてソースファイルの制御結合カバレッジを識別する命令と；ソースファイルのソースコードに対する静的解析を実行することによって、ソースファイル内の１つ以上のデータ結合を識別する命令であって、データ結合は上記１つ以上のコンポーネントの変数及びパラメータである命令と；識別したデータ結合のうちの１つ以上を含む１つ以上のコンポーネントの各々について、１つ以上のデータ結合テストを定義する命令であって、１つ以上のデータ結合テストは動的解析を用いる命令と；１つ以上のデータ結合テストをソースファイルに対して実行する命令と；動的解析に基づいてソースファイルのデータ結合変数使用カバレッジを識別する命令と；識別した制御結合カバレッジ、及び識別したソースファイルのデータ結合変数使用カバレッジに基づいて、報告を生成する命令とを含む。

【0011】

本発明の範囲は、以下の好適な実施形態の詳細な説明を添付した図面と併せて読むと、これらの詳細な説明より最良に理解される。図面中には以下の図を含む。

【図面の簡単な説明】

【0012】

【図1】図１ａは、好適な実施形態による制御結合の一例を示すブロック図であり、図１ｂは、好適な実施形態によるデータ結合の一例を示すブロック図である。

【図2】図２ａは、好適な実施形態による、ソフトウェアコードのテスト中に制御結合及びデータ結合解析を検証するための高レベルのシステム・アーキテクチャを示すブロック図であり、図２ｂは、好適な実施形態による、図２ａのソフトウェアコード要件検証のモジュールの例を示すブロック図である。

【図3】好適な実施形態による、ソフトウェアコードのテスト中に制御結合解析を検証する好適な方法を示すフローチャートである。

【図4】図４ａ～４ｂは、好適な実施形態による制御結合報告の一例を示すブロック図であり、図４ｃは、好適な実施形態によるコールグラフを示すブロック図である。

【図5】好適な実施形態による、ソフトウェアコードのテスト中にデータ結合解析を検証する好適な方法を示すフローチャートである。

【図6】好適な実施形態による、要件トレーサビリティ行列の一例を示すブロック図である。

【図7】図７ａ～７ｃは、好適な実施形態による、データ結合報告の一例を示すブロック図である。

【図8】図８ａ～８ｂは、好適な実施形態による、ソフトウェアコードのテスト中に制御結合及びデータ結合カバレッジを検証する好適な方法を示すフローチャートである。

【図9】好適な実施形態によるコンピュータシステム・アーキテクチャを示すブロック図である。

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

【0013】

詳細な説明
用語の解説
制御結合－１つのソフトウェア・コンポーネントが他のソフトウェア・コンポーネントの実行に影響を与える様態または度合い。

【0014】

データ結合－専らあるソフトウェア・コンポーネントの制御下にあるものではないデータへの、当該ソフトウェア・コンポーネントの依存性。データ結合は、完結したシステム、その代わりにサブシステムのいずれかの、制御フローグラフの構造に依存する。

【0015】

コンポーネント－システムの区別される機能を実行する自己完結した部品、部品の組合せ、サブアセンブリ（部分組立品）、またはユニット。一般に、この用語は、手順、機能、サブルーチン、モジュール、適合性単位（ＵｏＣ：Unit of Conformance）、及び他の同様なプログラミング構成を含むことができる。

【0016】

図１ａに、好適な実施形態による制御結合の一例を示す。３つのファイル１０２、１０４、及び１０６の各々が、少なくとも１回の関数ｆｏｏの呼出し１０８を含む。ファイル１０２は関数ｆｏｏの定義１１０を含み、ファイル１０４は関数ｆｏｏの定義１１２を含む。定義１１０、１１２は同一であるか場合によっては同様（例えば、同じインスタンス）である。リンカは、ファイル１０２内の定義１１０の全ての呼出しを解決することを選定することができ（ケース１）、あるいは、リンカはファイル１０２内の定義１１０の呼出し、ファイル１０４内の定義１１２の呼出し、及びファイル１０６内の呼出しを解決することもできる（例えば、ケース２）。このことは制御結合の欠陥である、というのは、ユーザはその曖昧さ（即ちどの定義が解決すべき関数１０８の呼出しであるか）を意識していないことがあるからである。システムの設計は、これら２通りのリンクのケースのどちら（例えば、ケース１対ケース２）が要求されているかを解決することができるべきである。

【0017】

他の例として、制御結合がパラメータ型制御結合であることがある。関数ｆｏｏが手続きのパラメータを有する（即ち、ｆｏｏのパラメータリストを通して他の関数の名前を渡すことができる）。パラメータ型制御結合は次のように例示することができる：
Int var; int glob
void foo ( void (*pfunc) (void) ) {
if ( var == 1 ) {
pfunc (); /* case 1 */
}
else {
pfunc (); /* case 2 */
}
}
int main ( void ) {
loop:
get ( var ); get ( glob );
if( glob == 1 ) {
foo( &func1 );
} else {
foo( &func2 );
goto loop;
}
本例では、以下に示す２つのデータセットが、全ての文が実行され、それに加えて全ての分岐（または制御フローの判断）が実行されることを保証するであろう。

【0018】

【表1】

【0019】

しかし、上記の例では、ケース１及びケース２のラベルを付けたポイントで呼び出されている２つの関数が存在する可能性がある。上記に提供した２つのデータセットでは、各ポイントで１つの関数しか呼び出されず、ケース１のポイントで関数ｆｕｎｃ２が呼び出され、ケース２のポイントで関数ｆｕｎｃ１が呼び出される。制御結合は、可能性のある呼出しの全部を各ポイントで実行することを要求する。従って、制御フローの呼出しの全部が実行されることを保証するために、要件ベースのテストデータは２つの追加的なデータセットを含む必要がある。明らかに、この概念は、関数へのポインタの使用の全部の場合に適用することができる。関数がポインタの逆参照によって呼び出される所では、呼び出され得る可能性のある全部の関数を実行しなければならない。同様に、Ｃ＋＋（言語）では、特定のポイントで呼び出され得る全部の仮想関数を、要件ベースのテストデータによって実行しなければならない。制御結合を確立するためには、第１に、呼び出される可能性のある関数の集合が既知であることが不可欠であり、第２に、この集合中のどのメンバーが実際に呼び出されるかが既知でなければならない。こうした情報は、通常はテスト中のコードの静的解析によって判明する。

【0020】

図１ｂに、好適な実施形態によるデータ結合検出の一例を示す。図１ｂのデータ結合は、関数１２０及び関数１２２を含み、これらの関数は共に、同じメインプログラム１２４から呼び出され、同じ変数１２６を共用する。関数１２２は、変数１２６の値を計算する（即ち、設定の操作）のに対し、関数１２０は、変数１２６の値を表示装置へ出力する（即ち、使用の操作）。メインプログラム１２４は次のように例示することができる：
int main(){
int speed, order;
loop:
get( order ){
case 1: calculate_airspeed(speed); （対気速度を計算する）
case 2: display_airspeed(speed); （対気速度を表示する）
}
goto loop
}
メインプログラム１２４についての第１のテストケースを構成することができ、このテストケースは、関数１２０を実行し、次に、関数１２２を実行する他のテストケースを構成する。この場合、制御結合は必要に応じてテストし（即ち、全部の文を実行し、全部の分岐／判断を実行し、この場合ＭＣ／ＤＣ要件はない）、但し呼出しの順序には欠陥がある、というのは、関数１２２が表示するための有効な変数を有しないからである。同様に、テストケースが関数１２０を呼び出し、後続する関数１２２の呼出しが存在しない場合、他の欠陥が存在する可能性が高い。従って、図１ｂの例は、ある呼出しのポイントで所定の関数への全部の入力が有効な値を有し、グローバル変数に割り当てられた全部の値が用いられることを実証する必要性が存在する。この関係では、グローバル変数は、外部的に宣言され、当該グローバル変数を使用する関数に対して外部的に設定された変数である。他の例として、データ結合は、当該コード内で関数ｆｏｏがパラメトリック変数「ｘ」を３回使用するコードを含むことができる：
int foo ( int x ) {
if ( x == 1 ) // ｘの１回の使用
{ return x; } // ｘの１回の使用
else
( return x; )
この関数は、次のメインプログラムから呼び出すことができる：
int main() {
int i, y, z;
for ( i-1; i<=2; i++) {
y = I; // ｙを設定する。
foo ( y ); // ｙはｘに関連する。
}
scanf ( “%d”, &z); // ｚを設定する。
foo ( z ); //ｚはｘのエイリアス（別名）である。
return ();
}
上記の例では、引数ｙによる１回目のｆｏｏの呼出しが、ｆｏｏ内の全ての文を実行させ、それに加えて全部の分岐／判定を実行させる、というのは、ループがｙについての両方の可能性を生成するからである。このことはｙの３回の使用の全部の実行も生じさせる。引数ｚによる２回目のｆｏｏの呼出しは、ｆｏｏ内のあらゆる文または分岐／判定のうちまだカバーされていないものをカバーしないが、他の３回の（ｚの）使用を確かに導入し、この３回のうちの１回は実行されない。テストに基づくデータ結合は、２回のテストケースを必要とし、１回は単位値を有するｚによるものであり、２回目は異なる値によるものであり、これにより、ｆｏｏにおける（エイリアスｘを介した）全３回のｚの使用がカバーされる。

【0021】

システムの概要
図２ａに、好適な実施形態による、ソフトウェアコードのテスト中に制御結合及びデータ結合解析を検証するシステム２００を示す。

【0022】

要件情報源２０２は、デスクトップ・コンピュータ、ノート型コンピュータ、ラップトップ・コンピュータ、タブレット・コンピュータ、ハンドヘルド（手持ち型）装置、スマートホン、シンクライアント、または音声、画像、またはテキスト（文字列）データ（例えば、要件情報２１４）を記憶、編集、及び編成することができ、かつ装置２０４及びユーザ装置２３０のような他のコンピュータ装置との間でデータ（例えば、要件情報２１４）を受信及び送信することができるあらゆる電子機器またはコンピュータシステムのようなコンピュータ装置とすることができ、但しこれらに限定されない。こうした実施形態では、要件情報２１４は、ＭＳ（Microsoft：マイクロソフト）ワード文書、ＰＤＦファイル、ウェブページ、または他のあらゆる適切な電子ファイル・フォーマット、等のような電子ファイルとすることができ、但しこれらに限定されない。一実施形態では、要件情報源２０２は、本、紙、パンフレット、または他のあらゆる適切な物理的情報源、等のような物理的情報源とすることができ、但しこれらに限定されない。好適な一実施形態では、要件情報ファイル２１４は、ソフトウェア規格またはソフトウェア要件とすることができ、これらは、制御結合及びデータ結合解析の規格／要件を、ソフトウェアの運用に関する他の任意数のソフトウェア規格／要件に加えて含み、但しこれらに限定されない。要件情報ファイル２１４は、運輸業、海運業、製造業、通信業、金融業、情報サービス業、消費財産業、小売業、ヘルスケア（健康管理）産業、不動産業、公共施設、エネルギー産業、原材料産業、及び建設業、等のようなあらゆる産業におけるソフトウェア用とすることができ、但しこれらに限定されない。単一の要件情報源２０２のみを図示しているが、任意数の要件情報源２０２をシステム２００の一部とすることができることは理解することができる。

【0023】

装置２０４は、例えば、プロセッサ２０６、メモリ２０８、ディスプレイ２１０、記憶装置２１２、及びソフトウェアコード要件検証プログラム２２０を含む。装置２０４は、デスクトップ・コンピュータ、ノート型コンピュータ、ラップトップ・コンピュータ、タブレット・コンピュータ、ハンドヘルド装置、スマートホン、シンクライアント、あるいは、音声、画像、またはテキストデータを記憶、編集、及び編成することができ、かつこうしたデータを要件情報源２０２及びユーザ装置２３０のような他のコンピュータ装置との間で受信及び送信することができる他のあらゆる電子機器またはコンピュータシステムとすることができる。単一の装置２０４のみを図示しているが、任意数の装置２０４をシステム２００の一部とすることができることは理解することができる。

【0024】

プロセッサ２０６は、本明細書中に説明する機能を実行するように特別に構成された専用または汎用のプロセッサとすることができる。本明細書中に説明するプロセッサ２０６のユニットまたはデバイスは、単一のプロセッサ、複数のプロセッサ、またはその組合せとすることができる。プロセッサデバイスは、１つ以上のプロセッサ「コア」とすることができる。好適な一実施形態では、プロセッサ２０６が、以下に図３～８ｂを参照しながら説明するソフトウェアコード要件検証プログラム２２０のモジュールに関連する機能を実行するように構成されている。

【0025】

メモリ２０８は、ランダムアクセスメモリ、読出し専用メモリ、または他のあらゆる既知のメモリ構成とすることができる。更に、一部の実施形態では、メモリ２０８は、記憶装置２１２を含む１つ以上の追加的メモリを含むことができる。メモリ２０８及び１つ以上の追加的メモリは、周知の方法で読出し及び／または書込みをすることができる。１つの実施形態では、メモリ及び１つ以上の追加的メモリを、非一時的なコンピュータ可読の記録媒体とすることができる。メモリ半導体（例えば、ＤＲＡＭ（Dynamic Random Access Memory：ダイナミック・ランダムアクセスメモリ）、等）は、ソフトウェアコード要件検証プログラム２２０のようなソフトウェアをコンピュータ装置に提供する手段とすることができる。コンピュータプログラム、例えばコンピュータ制御論理をメモリ２０８に記憶することができる。

【0026】

ディスプレイ２１０は、装置２０４及び／またはユーザ装置２３０のようなコンピュータ装置から表示信号を受信して、これらの表示信号を、これらに限定されないがＬＣＤ（Liquid Crystal Display：液晶ディスプレイ）スクリーン、プラズマ・スクリーン、ＬＥＤ（Light Emitting Diode：発光ダイオード）スクリーン、ＤＬＰ（Digital Light Processing：デジタル光処理）スクリーン、ＣＲＴ（Cathode Ray Tube：陰極線管）スクリーン、等のような表示ユニットに出力することができるあらゆる装置とすることができる。ディスプレイ２１０は装置２０４の一部として図示しているが、ディスプレイ２１０は、分離されたスタンドアロン（独立）型表示装置とすることができ、あるいは、これに限定されないがユーザ装置２３０のような他のコンピュータ装置の一部とすることができることは理解することができる。

【0027】

記憶装置２１２は、要件情報ファイル２１４、ソースファイル２１６、及びテストファイル２１８を含むことができる。単一の要件情報ファイル２１４、単一のソースファイル２１６、及び単一のテストファイル２１８のみを図示しているが、任意数の要件情報ファイル２１４、ソースファイル２１６，及び／またはテストファイル２１８を記憶装置２１２に記憶することができることは理解することができる。記憶装置２１２は、１つ以上のノード、例えば記憶装置またはメモリノード、あるいは、サーバー・コンピュータ、デスクトップ・コンピュータ、ノート型コンピュータ、ラップトップ・コンピュータ、タブレット・コンピュータ、ハンドヘルド装置、スマートホン、シンクライアント、またはデータ及びコンピュータ命令、例えば要件情報２１４、ソースファイル２１６、及びテストファイル２１８を記憶、編集、及び／または処理し、ユーザ装置２３０及び／または要件情報源２０２のような他のコンピュータ装置との間でデータを受信及び送信することができる他のあらゆる電子機器またはコンピュータシステムのような、より処理が可能なノード上に展開することができる。例えば、記憶装置２１２は、１つ以上の要件情報源２０２から受信した１つ以上の要件情報ファイル２１４、１つ以上のソースファイル２１６、及びソフトウェアコード要件検証プログラム２２０がアクセスして利用することができる１つ以上のテストファイルの集合体である。記憶装置２１２は、これらに限定されないが、リレーショナル（関係）データベース、構造化問合せ言語（ＳＱＬ：Structured Query Language）データベース、分散データベース、またはオブジェクト・データベース、等のようなあらゆる適切な記憶構造とすることができる。適切な構成及び記憶装置の種類は、関連技術の当業者にとって明らかである。

【0028】

上述した要件情報ファイルは、装置２０４が受信して記憶装置２１２に記憶して、ソフトウェアコード要件検証プログラム２２０が使用することができる。ソースファイル２１６は、ソフトウェア・プログラム用のソースコードを含むあらゆるソースファイルとすることができる。好適な一実施形態では、ソースファイル２１６が、対応する要件情報ファイル２１４を有する。例えば、ソースファイル２１６は、トンネルシステム用の照明プログラムとすることができ、要件情報ファイル２１４は、こうしたトンネル照明システム用のソフトウェア規格とすることができる。更に、ソースファイル２１６は、単一のソースファイル２１６とすることができ、あるいはソースファイル２１６のシステムセットとすることができる。ソースファイル２１６は、装置２０４が直接受信することができ（例えば、装置２０４上に書き込まれ、あるいは装置２０４のドライブ（駆動装置）を通して受信し、等）、そして記憶装置２１２に記憶してソフトウェアコード要件検証プログラム２２０が使用することができ、あるいは、ソフトウェアコード要件検証プログラム２２０は、ソースファイル２１６を、グラフィカル・ユーザインタフェースを介したユーザ入力として受信することができる。テストファイル２１８は、ソースファイル２１６をテストするように設計された１つ以上のテスト実行動作とすることができる。例えば、テストファイル２１８は、制御結合テストまたはデータ結合テストとすることができる。制御結合テストファイル２１８は、ソースコード内の１つ以上の制御結合を実行するように設計されたソースファイル２１６のテスト実行中に生じる変数、整数、または判定を定義するテストとすることができる。データ結合テストファイル２１８は、ソースファイル２１６の１つ以上のコンポーネント内に含まれる１つ以上のデータ結合を実行するように設計されたソースファイル２１６のテスト実行中に生じる変数、整数、または判定を定義するテストとすることができる。ソースファイル２１６及びテストファイル２１８は、以下に図３、５、及び８ａ～８ｂを参照しながら説明する。単一の要件情報２１４、単一のソースファイル２１６、及び単一のテストファイル２１８のみを図示しているが、任意数の要件情報ファイル２１４、単一のソースファイル２１６、及び単一のテストファイル２１８を記憶装置２１２に記憶することができることは理解することができる。

【0029】

ユーザ装置２３０は、グラフィカル・ユーザインタフェース２３２及びユーザ記憶装置２３６を含む。ユーザ装置は、デスクトップ・コンピュータ、ノート型コンピュータ、ラップトップ・コンピュータ、ハンドヘルド装置、スマートホン、シンクライアント、あるいは、音声、画像、またはテキストデータ（例えば、要件情報ファイル２１４、ソースファイル２１６、及び／または報告２３４、等）を記憶、編集、及び編成し、要件情報源２０２及び装置２０４ｂのような他のコンピュータ装置との間でデータを受信し送信することができる他のあらゆる電子機器またはコンピュータシステムとすることができる。

【0030】

グラフィカル・ユーザインタフェース２３２は、ユーザ装置２３０からの入力を受信して、この入力をソフトウェアコード要件検証プログラム２２０へ送信するために、あるいは逆に、ソフトウェアコード要件検証プログラム２２０から情報を受信して、この情報をユーザ装置２３０上に表示するために用いられるコンポーネントを含むことができる。一実施形態では、グラフィカル・ユーザインタフェース２３２が、デバイスドライバのような技術と装置の組合せを用いて、ユーザ装置２３０及び／または装置２０４のユーザがソフトウェアコード要件検証プログラム２２０とやり取りすることを可能にするプラットフォームを提供することができる。一実施形態では、グラフィカル・ユーザインタフェース２３２をウェブ・インタフェースとすることができる。この実施形態では、グラフィカル・ユーザインタフェース２３２が、キーボード、マウス、タッチパッド、タッチスクリーン、カメラ、マイクロホン、等のような物理的入力装置からの入力を受信する。好適な一実施形態では、グラフィカル・ユーザインタフェース２３２が報告２３４を表示することができる。表示２３４は、制御結合報告、データ結合報告、制御結合報告とデータ結合報告の組合せ、ファイル呼出し関係図、及び／またはシステム呼出し関係図とすることができる。報告２３４は、単一のソースファイル２１６について、あるいはソースファイル２１６のシステムセットについて生成することができる。報告２３４は、ＨＴＭＬ（Hyper Text Markup Language：ハイパーテキスト・マークアップ言語）、ＡＳＣＩＩ（American National Standard Code for Information Interchange：情報交換用米国標準コード）テキスト、及びＸＬＳＸ（マイクロソフト社の表計算ソフトMicrosoft Excel（マイクロソフト・エクセル：登録商標）の標準ファイル形式の１つ）、等のようなあらゆる適切なフォーマットで生成することができる。ソフトウェアコード要件検証プログラム２２０は、要件情報２１４、ソースファイル２１６、及び／またはテストファイル２１８を、グラフィカル・ユーザインタフェース２３５を介して受信することができる。グラフィカル・ユーザインタフェース２３２はユーザ装置２３０の一部として図示しているが、グラフィカル・ユーザインタフェース２３２はソフトウェアコード要件検証プログラム２２０の一部であり、装置２０４及び／または要求情報源２０２の一部とすることができる。

【0031】

上述したように、ユーザ記憶装置２３６はソースファイル２１６を含むことができる。ユーザ記憶装置２３６は、１つ以上のノード、例えば記憶またはメモリノード、あるいは、サーバー・コンピュータ、デスクトップ・コンピュータ、ノート型コンピュータ、ラップトップ・コンピュータ、タブレット・コンピュータ、ハンドヘルド装置、スマートホン、シンクライアント、あるいは、データ及びコンピュータ命令（例えばソースファイル２１６）を記憶、編集、及び／または処理し、装置２０４のような他のコンピュータ装置との間でデータを受信及び送信することができる他のあらゆる電子機器またはコンピュータシステムのような、より処理が可能なノード上に展開することができる。例えば、ユーザ記憶装置２３６は、グラフィカル・ユーザインタフェース２３２を介してソフトウェアコード要件検証プログラム２２０がアクセスすることができ、あるいはソフトウェアコード要件検証プログラム２２０へ出力することができる１つ以上のソースプログラム２１６の集合体である。ユーザ記憶装置２３６は、これらに限定されないが、リレーショナル・データベース、構造化問合せ言語（ＳＱＬ）データベース、分散データベース、またはオブジェクト・データベース、等のようなあらゆる適切な記憶構造とすることができる。適切な構成及び記憶装置の種類は、関連技術の当業者にとって明らかである。ユーザ記憶装置２３６はソースファイル２１６のみを記憶するものとして図示しているが、ユーザ記憶装置は要件情報２１４及び／またはテストファイル２１８を記憶することもできることは理解することができる。更に、単一のユーザ装置２３０のみを図示しているが、任意数のユーザ装置２３０をシステム２００の一部とすることができること、及び／またはユーザ装置２３０と装置２０４を同じ装置とすることができることは、理解することができる。

【0032】

ネットワーク２４０は、本明細書中に開示する機能を実行するのに適したあらゆるネットワークとすることができ、ローカルエリア・ネットワーク（ＬＡＮ：Local Area Network）、ワイドエリア・ネットワーク（ＷＡＮ：Wide Area Network）、無線ネットワーク（例えば、ＷｉＦｉ（ワイファイ、登録商標））、移動（モバイル）通信ネットワーク、衛星ネットワーク、インターネット、光ファイバ、同軸ケーブル、赤外線、無線周波数（ＲＦ：Radio Frequency）、またはその任意の組合せを含むことができる。他の適切なネットワークの種類及び構成は、関連技術の当業者にとって明らかである。一般に、ネットワーク２４０は、要件情報源２０２、装置２０４、及びユーザ装置２３０相互間の通信をサポートする接続とプロトコルとの任意の組合せとすることができる。一部の実施形態では、ネットワーク２４０を、要件情報源２０２、装置２０４、及びユーザ装置２３０の構成に基づいて任意とすることができる。

【0033】

図２ｂに、好適な実施形態による、図２ａのソフトウェアコード要件検証プログラム２２０のモジュール例を示す。

【0034】

ソフトウェアコード要件検証プログラム２２０は、ソースファイル選択モジュール２５０、静的解析モジュール２５２、動的解析モジュール２５４、報告生成モジュール２５６、呼出し関係図生成モジュール２５８、及びトレーサビリティ行列（マトリクス）生成モジュール２６０を含むことができる。ソフトウェアコード要件検証プログラム２２０は、本明細書中に開示する、ソフトウェアコードのテスト中に制御結合及びデータ結合解析を検証するための方法及び機能を実現することに特化してプログラムされたコンピュータプログラムである。ソフトウェアコード要件検証プログラム２２０及びモジュール２５０～２６０は、以下に図３～８ｂを参照しながらより詳細に説明する。ソフトウェアコード要件検証プログラム２２０は、米国特許第８９４９７７０号明細書（特許文献１）、発明の名称”Automated Management of Software Requirements Verification”に説明されているもののような、ソフトウェア要件を検証するための追加的モジュールを含むこともでき、特許文献１はその全文を参照することによって本明細書中に含める。

【0035】

ソフトウェアコードのテスト中に制御結合解析を検証する好適な方法
図３は、好適な実施形態による、ソフトウェアコードのテスト中に制御結合解析を検証する好適な方法３００を示すフローチャートである。

【0036】

方法３００は、テストするソースファイル２１６を選択するブロック３０２を含むことができ、ソースファイルはソースコードを有する。ソースファイル２１６は、記憶装置２１２から選択することができ、あるいはユーザ記憶装置２３６からグラフィカル・ユーザインタフェース２３２を介して選択することができる。ソースファイル２１６は、単一のソースファイルとすることができ、あるいはシステム内の１つ以上のノードからの複数のソースファイル２１６を含むシステムセットとすることができる。例えば、ソースファイル２１６は、１つ以上の「．ｃ」ファイル、または他の何らかの適切な種類のソースコードファイルを含むコンピュータプログラムとすることができる。ソースファイル２１６は、人間が解読可能なテストケースファイル、ソフトウェア要件検証プログラム２２０によって解析される特定のファイルまたはセットに関連する情報を含むテキスト編集可能なファイルとすることもできる。ソースファイル２１６は、ソフトウェア要件検証プログラム２２０内で、１つ以上のドロップダウンメニュー及び／またはファイルフォルダの使用により選択することができる。好適な一実施形態では、ソースファイル選択モジュール２５０を、ブロック３０２の方法を実行するように構成することができる。

【0037】

方法３００は、ソースファイル２１６内の１つ以上の制御結合を識別するブロック３０４を含むことができる。制御結合は、ソースファイル２１６のソースコードに対する静的解析を実行することによって識別することができる。静的解析は、ソフトウェア開発者が書いたソースファイル２１６を解析して、ソースコード内のコンポーネントを識別し、ソースコードが要件情報ファイル２１４に準拠していることを評価するために実現することができる。本明細書中で参照するように、「コンポーネント」は、以上で提供した定義に加えて、要件情報ファイル２１４の要件を実現するように書かれたソースコードの一部分とすることができる。例えば、コンポーネントは、Ｃプログラミング言語における関数、及びＣ＋＋プログラミング言語におけるクラス及びメンバー関数を含むことができる。静的解析は、これらに限定されないがＬＤＲＡ社のＴｅｓｔｂｅｄ（登録商標）等のような既知のあらゆる静的解析テスト・ソフトウェアまたは技術を用いて実行することができる。更に、静的解析は、これらに限定されないが、メインの静的解析、複雑性解析、静的データフロー解析、クロスリファレンス（相互参照）解析、情報フロー解析、データオブジェクト解析、ＭＣ／ＤＣテストコード・プランナーを含むことができ、そして計測プログラム、及び／または他のあらゆる適切な種類の静的解析、等を含むことができる。ソフトウェア要件検証プログラム２２０は、選択したソースファイル２１６の静的解析を開始することができる。例えば、このことに限定されないが、ユーザはアイコンをクリックするか、メニューからの選択を行って、選択したソースファイル２１６の静的解析を開始することができる。好適な一実施形態では、静的解析モジュール２５２を、ブロック３０４の方法を実行するように構成することができる。

【0038】

方法３００は、ソフトウェアコードの１つ以上のテスト実行動作を定義するブロック３０６を含むことができる。ソースファイル２１６の１つ以上のテスト実行動作は、例えば、要件ベースのテスト、アクセス可能性（アクセッシビリティ）のテスト、承認テスト、ブロック・ボックステスト、エンド・ツー・エンド・テスト、機能テスト、対話式テスト、総合テスト、性能（パフォーマンス）テスト、セキュリティ（安全性）テスト、ストレステスト、負荷テスト、または他のあらゆるソフトウェアテスト、等を含むことができ、但しこれらに限定されない。１つ以上のテスト実行動作は、識別した制御結合のうちの１つ以上を含むことができる。例えば、ユーザは、ソースファイル２１６が要求した１つ以上の整数、変数、または判定ステップの応答を入力して、ソースファイル２１６をテスト実行することができる。例えば、ソースファイル２１６は、レジ（金銭登録器）のソフトウェア・プログラムとすることができ、ユーザは、これらに限定されないが、ソースファイル２１６を起動する「ｓ」、ランダムショップを実行じて複数のアイテムをバスケット（即ち、テスト実行動作）に追加する「ｒ」、及びソースファイル２１６を終了する「ｑ」のような文字を定義することができる。これら３つの選択肢は、ソースファイル２１６のソフトウェアコードの異なる部分を用いて、テスト中のソフトウェアコード内のいくつかの関数の呼出しを実現する。１つ以上のテスト実行動作は、動的解析を用いて、ソースプログラム２１６内の制御結合カバレッジをテストすることができる。本明細書中で参照するように、動的解析は、上述した静的解析とコード・カバレッジとの統合を参照する。好適な一実施形態では、動的解析モジュール２５４を、ブロック３０６の方法を実行するように構成することができる。１つ以上のテスト実行動作は、ソースファイル内で識別された制御結合の全部を含まなくてもよい。

【0039】

方法３００は、定義した１つ以上のテスト実行動作を実行するブロック３０８を含むことができる。好適な一実施形態では、動的解析モジュール２５４を、ブロック３０８の方法を実行するように構成することができる。

【0040】

方法３００は、動的解析に基づいてソースファイル２１６の制御結合カバレッジを識別するブロック３１０を含むことができる。好適な一実施形態では、動的解析モジュール２５４を、ブロック３１０の方法を実行するように構成することができる。

【0041】

方法３００は、ソースファイル２１６内で識別した制御結合カバレッジに基づいて制御結合報告（例えば、報告２３４）を生成するブロック３１２を含むことができる。制御結合報告は、ディスプレイ２１０及び／またはユーザ装置２３０に送信して、ディスプレイ２１０により、及び／またはユーザ装置２３０上のグラフィカル・ユーザインタフェース２３２により、ユーザに対して表示することができる。好適な一実施形態では、報告生成モジュール２５６を、ブロック３１２の方法を実行するように構成することができる。

【0042】

図４ａ～４ｂを参照すれば、ブロック図が、好適な実施形態による制御結合報告（例えば、報告２３４）の一例を示す。制御結合報告は、第１節４０２、第２節４０４、第３節４０６、及び第４節４０７を含む。第１節４０２は、ソースファイル２１６の制御結合情報の高レベルの要約である。第１節４０２は、制御結合カバレッジ、及びソースファイル２１６内で識別した制御結合の総数を示す。制御結合カバレッジは、例えば０％～１００％の％比率として表示することができ、但しこのことに限定されない。第２節４０４は、ソースファイル２１６から生じる制御結合の結合先の概要を提供する。第２節４０４は、ソースファイル２１６内の１つ以上の制御結合の識別子、ソースファイル２１６から識別した１つ以上の制御結合の結合先の位置（例えば、ソースファイル２１６内のコンポーネント、ソースファイル２１６のシステムセット内の他のソースファイル２１６、及び／またはシステム・サブルーチン、等）、及び識別した１つ以上の制御結合の各々についての動的解析に基づく制御結合カバレッジを含むことができる。第３節４０６は、ソースファイル２１６内の１つ以上の手続きまたはコンポーネントの各々についての、識別した１つ以上の制御結合についての制御結合カバレッジの概要を提供する。第３節の各コンポーネントラインは、クリック可能にするか、さもなければソフトウェア要件検証プログラム２２０により（例えば、グラフィカル・ユーザインタフェースを介して）選択可能にすることができる。ユーザが第３節４０６内でコンポーネントラインのうちの１つを選択すれば、ソフトウェア要件検証プログラムは第４節を表示することができる。第４節４０７は、第１テーブル（表）４０８及び第２テーブル４２０を含む。第１テーブル４０８は、識別した１つ以上の制御結合のうち、ソースファイル２１６の１つ以上のコンポーネントの各々から生じた制御結合を示す。第２テーブル４２０は、識別した１つ以上の制御結合のうち、当該制御結合の結合先がソースファイル２１６の１つ以上のコンポーネントのうちの１つである制御結合を示す。第４節４０７は、ソースファイル２１６のソースコードのうち第１テーブル４０８及び第２テーブル４２０に関連するソースコードを提供するソースコードの節４３２を含むこともできる。第１テーブル４０８及び第２テーブル４２０は、第１列４１０、４２２、第２列４１２、４２４、第３列４１４、４２６、第４列４１６、４２８、及び第５列４１８、４３０を含み、第１列は識別した１つ以上の制御結合間の呼出し元のポイントを識別し、第２列は識別した１つ以上の制御結合間の呼出し先のポイントを識別し、第３列は、呼出し先または呼出し元が結合先とするソースファイル２１６を示し、第４列は、ソースファイル２１６における、識別した１つ以上の制御結合の各々が存在するソフトウェアコードラインを示し、第５列は、動的解析に基づく、識別した１つ以上の制御結合の制御結合カバレッジを示す。制御結合報告は、定義した１つ以上のテスト実行動作の各々について、第４節４０７を含む。

【0043】

再び図３を参照すれば、方法３００は、ソースファイル２１６についてのファイル呼出し関係図４４０を生成するブロック３１４を含むことができる。図４ｃに、好適な実施形態による呼出し関係図の一例を示す。呼出し関係図４４０は、報告２３４の一部とすることもスタンドアロンの図とすることもできる。呼出し関係図４４０は、ソースファイル２１６の１つ以上のコンポーネント４４４ａ～４４４ｃ間のローカル呼出しを示す。好適な実施形態では、呼出し関係図４４０のコンポーネント４４４ａ～４４４ｃが、コンポーネント４４４ａ～４４４ｃのソースコードライン位置４４６ａ～４４６ｃ、及びテスト結果の指示４４８ａ～４４８ｃを含むことができ、但しこれらに限定されない。テスト結果の指示４４８ａ～４４８ｃは、コンポーネント４４４ａ～４４４ｃ等の静的解析テスト結果及び動的テスト結果を含むことができ、但しこれらに限定されない。呼出し関係図４４０は、ソースファイル２１６の１つのコンポーネント、例えばコンポーネント４４４ａと、ソースファイル２１６の他のコンポーネント、例えばコンポーネント４４４ｂとの間の呼出しを表すための直線及び矢印４５０ａ～４５０ｃを含むことができる。呼出し関係図４４０は、単一のソースファイル２１６内の呼出し、または複数のソースファイル２１６（例えば、ソースファイルのシステムセット）間の呼出しを含むことができる。呼出し関係図４４０は各ノード４４２ａ～４４２ｂを示すことができ、これらのノードは、コンピュータ装置２０４、ユーザ装置２３０、または特定の呼出しが当該ノードへ、または当該ノードから行われるシステム２００の他のあらゆる装置とすることができる。ソフトウェア要件検証プログラム２２０は、呼出し関係図４４０の各ノード４４２ａ～４４２ｂ上でユーザがズームイン及びズームアウトすることを可能にすることができる。例えば、ユーザは、マウスのホイールまたはラップトップ（コンピュータ）のトラックパッドをスクロールして、カーソルがその上に置かれた特定部分をズームインまたはズームアウトすること；見たいノード上のコンテキストメニューを起動して「スクリーンに合わせる」を選定すること；グラフィカル・ユーザインタフェース２３２上に表示された「ズーム」ボタンを選択すること；及び／またはカーソルを用いて呼出し関係図４４０の上記部分を選択して拡大または最小化すること、等をすることができ、但しこれらに限定されない。呼出し関係図４４０は、これらに限定されないが「静的な」種類のグラフ、または動的解析結果を重ね書きした静的な種類のグラフのような異なる種類のグラフを示すことができる。グラフの種類は、グラフィカル・ユーザインタフェース２３２により変更することができる。好適な一実施形態では、呼出し関係図生成モジュール２５８を、ブロック３１４の方法を実行するように構成することができる。

【0044】

方法３００は、複数のソースファイル（例えば、ソースファイルのシステムセット）についてのシステム呼出し関係図を生成するブロック３１６を含むことができる。システム呼出し関係図は、複数のソースファイル内の１つ以上のコンポーネント間のローカル呼出し、及びシステムセットの複数のソースファイルうち、システムセットの複数のソースファイルの各々が当該ソースファイルへの制御結合を有するソースファイル間のソースファイル・コンポーネント間呼出しを示す。更に、ユーザは、複数のソースファイル内の１つ以上のコンポーネントのうちの単一のコンポーネントを選択して、システムの１つ以上のノードのうち、選択したコンポーネントについての制御結合に関与するノードを表示する呼出し関係図を生成することができる。好適な一実施形態では、呼出し関係図生成モジュール２５８を、ブロック３１６の方法を実行するように構成することができる。

【0045】

ソフトウェアコードの検査中に制御結合解析を検証する好適な方法
図５は、好適な実施形態による、ソフトウェアコードのテスト中にデータ結合解析を検証する好適な方法を示すフローチャートである。

【0046】

方法５００は、テストするソースファイル２１６を選択するブロック５０２を含むことができる。選択したソースファイル２１６は、１つ以上のコンポーネントを含むことができる。ソースファイル２１６は、記憶装置２１２から選択することができ、あるいはユーザ記憶装置２３６からグラフィカル・ユーザインタフェース２３２を介して選択することができる。ソースファイル２１６は、単一のソースファイルとすることができ、あるいはシステム内の１つ以上のノードからの複数のソースファイル２１６を含むシステムセットとすることができる。例えば、ソースファイル２１６は、１つ以上の「．ｃ」ファイルまたは他のあらゆる適切な種類のソースコードファイルを含むコンピュータプログラムとすることができる。ソースファイル２１６は、人間が解読可能なテストケースファイル、ソフトウェア要件検証プログラム２２０によって解析される特定のファイルまたはセットに関連する情報を含むテキスト編集可能なファイルとすることもできる。ソースファイル２１６は、ソフトウェア要件検証プログラム２２０内で、１つ以上のドロップダウンメニュー及び／またはファイルフォルダの使用により選択することができる。好適な一実施形態では、ソースファイル選択モジュール２５０を、ブロック５０２の方法を実行するように構成することができる。

【0047】

方法５００は、ソースファイル２１６内の１つ以上のデータ結合を識別するブロック５０４を含むことができる。データ結合は、ソースファイル２１６のソースコードに対する静的解析を実行することによって識別することができる。静的解析は、ソフトウェア開発者が書いたソースファイル２１６を解析して、ソースコード内のコンポーネントを識別し、ソースコードが要件情報ファイル２１４に準拠していることを評価するために実現することができる。本明細書中で参照するように、「コンポーネント」は、以上で提供した定義に加えて、要件情報ファイル２１４の要件を実現するように書かれたソースコードの一部分とすることができる。例えば、コンポーネントは、Ｃプログラミング言語における関数、及びＣ＋＋プログラミング言語におけるクラス及びメンバー関数を含むことができる。静的解析は、これらに限定されないがＬＤＲＡ社のＴｅｓｔｂｅｄ（登録商標）等のような既知のあらゆる静的解析テスト・ソフトウェアまたは技術を用いて実行することができる。更に、静的解析は、これらに限定されないが、メインの静的解析、複雑性解析、静的データフロー解析、クロスリファレンス（相互参照）解析、情報フロー解析、データオブジェクト解析、ＭＣ／ＤＣテストコード・プランナーを含むことができ、そして計測プログラム、及び／または他のあらゆる適切な種類の静的解析、等を含むことができる。１つ以上のデータ結合は、ソースファイル２１６の１つ以上のコンポーネントの変数及びパラメータとすることができる。この変数は、変数の型及び／または変数の属性を有することもできる。変数の型は、定数の変数、ローカル変数、グローバル変数、パラメータ変数、及び／またはローカル－グローバル変数、等を含み、但しこれらに限定されない。変数の属性は、宣言、定義、参照、入力、出力、間接使用、未使用パラメータ、Ｃ＋＋で用いられる「this」パラメータ、等を含み、但しこれらに限定されない。１つ以上のデータ結合は、ソースファイル２１６の「他のコンポーネントに呼び出される」コンポーネント及び「他のコンポーネントを呼び出す」コンポーネントに関連するパラメータ結合から生じるデータ結合を含むこともできる。好適な一実施形態では、静的解析モジュール５０２を、ブロック５０４の方法を実行するように構成することができる。

【0048】

方法５００は、識別したデータ結合のうちの１つ以上を含む１つ以上のコンポーネントの各々について１つ以上のテストを定義するブロック５０６を含むことができる。１つ以上のテストは、動的解析を用いて、ソースファイル２１６内のデータ結合変数使用カバレッジを識別することができる。本明細書中で参照するように、動的解析は、上述した静的解析とコード・カバレッジとの統合を参照する。例えば、要件情報ファイル２１４は、ソースファイル２１６の「run speed command（ＲＳＣ：実行速度コマンド）」モジュールについて表１に示す以下の要件を含むことができる：

【0049】

【表2】

【0050】

ユーザは、ＲＳＣモジュールの要件について、以下の表２に示す３つのテストを定義することができる。

【0051】

【表3】

【0052】

好適な一実施形態では、動的解析モジュール２５４を、ブロック５０６の方法を実行するように構成することができる。定義したテストの各々の、要件情報ファイル２１４内の要件に対するトレーサビリティは、図６に示すトレーサビリティ行列を生成することによって可視化することができる。トレーサビリティ行列６００は、表１及び２の要件及びテストに基づいて生成される。トレーサビリティ行列６００は、１つ以上のテストのどれを用いるかを、１つ以上の要件の各々について示す。好適な一実施形態では、トレーサビリティ行列生成モジュール２６０を、トレーサビリティ行列６００を生成するように構成することができる。

【0053】

方法５００は、上記１つ以上のテストをソースファイル２１６に対して実行するブロック５０８を含むことができる。１つ以上のテストの各々は個別に実行可能である。好適な一実施形態では、動的解析モジュール２５４を、ブロック５０８の方法を実行するように構成することができる。

【0054】

方法５００は、ソースファイル２１６のデータ結合変数使用カバレッジを動的解析に基づいて識別するブロック５１０を含むことができる。好適な一実施形態では、動的解析モジュール２５４を、ブロック５１０の方法を実行するように構成することができる。

【0055】

方法５００は、識別したデータ結合変数使用カバレッジに基づいて、データ結合報告（例えば、報告２３４）を生成するブロック５１２を含むことができる。データ結合報告は、ディスプレイ２１０及び／またはユーザ装置２３０に送信して、ディスプレイ２１０により、及び／またはユーザ装置２３０上のグラフィカル・ユーザインタフェース２３２により、ユーザに対して表示することができる。好適な一実施形態では、報告生成モジュール２５６を、ブロック５１２の方法を実行するように構成することができる。

【0056】

図７ａ～７ｃを参照すれば、データ結合報告（例えば、報告２３４）は、第１節７０２、第２節７０４、第３節７０６、第４節７０７、第５節７５４、及び第６節７５６含む。第１節７０２は、データ結合カバレッジ、及びソースファイル２１６内で識別したデータ結合の総数を示す。データ結合カバレッジは、０％～１００％のデータ結合変数使用率として表示することができる。第２節７０４は、識別した１つ以上のデータ結合のうちの１つ以上によってリンクされたソースファイル２１６内のコンポーネント、及びリンクされたコンポーネント内のデータ結合の数をリストアップする。第３節７０６は、１つ以上のコンポーネントの各々についての、識別した１つ以上のデータ結合についてのデータ結合変数使用カバレッジ、及びソースファイル２１６内で用いられるグローバル変数の数をリストアップする。好適な一実施形態では、データ結合変数使用カバレッジが動的解析に基づく。第４節は第１テーブル７０８及び第２テーブル７２４を含み、第１テーブル７０８は、識別した１つ以上のデータ結合のうち、ソースファイル２１６の１つ以上のコンポーネントの各々から生じるデータ結合を示し、第２テーブル７２４は、識別した１つ以上のデータ結合のうち、当該データ結合の結合先がソースファイル２１６の１つ以上のコンポーネントのうちの１つであるデータ結合であるデータ結合を示す。データ結合報告は、第４節７０７を１つ以上のコンポーネントの各々について含むことができる。第１テーブル７０８は、第１列７１０、第２列７１２、第３列７１４、第４列７１６、第５列７１８、第６列７２０、及び第７列７２２を含む。第１列７１０は、識別した１つ以上のデータ結合のうちの１つのデータ結合の変数を識別する。第２列７１２は、ソースファイル２１６のソフトウェアコードラインのうち上記変数が存在するソフトウェアコードラインを示す。第３列７１４は上記変数の変数型を識別する。第４列７１６は、１つ以上のコンポーネントのパラメータのうち上記変数に結合されたパラメータを識別する。第５列７１８は、識別したパラメータを含むコンポーネントを識別する。第６列７２０は、上記変数に結合された上記パラメータの位置を含むソースコードラインを識別する。第７列７２２は、ソースファイル２１６のコンポーネントのうち上記コンポーネントを含むコンポーネントを識別する。第２テーブル７２４は、第１列７２６、第２列７２８、第３列７３０，第４列７３２、第５列７３４、第６列７３６、及び第７列７３８を含む。第１列７２６は、識別した１つ以上のデータ結合のうちの１つのデータ結合の変数を識別する。第２列７２８は、この変数の結合先のコンポーネントを識別する。第３列７３０は、ソースファイル２１６のソースコードラインのうち上記変数が呼び出されるソースコードラインを識別する。第４列７３２は、ソースファイル２１６のコンポーネントのうち上記変数を呼び出すコンポーネントを含むコンポーネントを識別する。第５列７３４は上記変数の変数型を識別する。第６列７３６は、１つ以上のコンポーネントのパラメータのうち上記変数に結合されたパラメータを識別する。第７列７３８は、上記パラメータが存在するソースコードラインを識別する。第４節７０７は、データ結合変数使用カバレッジ節７４０を含むこともでき、データ結合変数使用カバレッジ節７４０は、ソースファイル２１６のデータのうちソースファイル２１６の関心事のコンポーネント間で共有されるデータ、及びこの識別されたデータに対するカバレッジを示す。データ結合変数使用カバレッジ節７４０は、ソースファイル２１６の１つの変数を識別する第１列７４２、上記変数を含むソースファイル２１６を識別する第２列７４４、ソースファイル２１６のコンポーネントのうち上記変数を含むコンポーネントを識別する第３列７４６、上記変数の変数型を識別する第４列７４８、上記変数の属性を識別する第５列７５０、及びソースファイル２１６のソースコードラインのうち当該変数を使用するソースコードラインを識別する第６列７５２を含む。データ結合報告２３４は、ソースファイル２１６のデータ結合カバレッジの高レベルの概要を提供する第５節を含むこともできる。データ結合報告２３４は、ソースファイル２１６のソースコードのうち第１テーブル７０８及び第２テーブル７２４に関連するソースコードを提供する第６節を含むこともできる。

【0057】

ソフトウェアコードのテスト中に制御結合及びデータ結合解析を検証する好適な方法
図８ａ～８ｂに、好適な実施形態による、ソフトウェアコードのテスト中に制御結合及びデータ結合解析を検証する方法８００を示す。方法８００は報告３２４を生成し、報告３２４は、方法３００の制御結合報告と方法５００のデータ結合報告とを組み合わせたものである。従って、ブロック８０２は方法３００及び５００のそれぞれブロック３０２及び５０２に相当し；ブロック８０４～８１４は方法３００のブロック３０４～３１０に相当し、ブロック８１２～８１８は方法５００のブロック５０４～５１０に相当し；ブロック８２０は、方法３００及び５００の、それぞれブロック３１２及び５１２に相当する。

【0058】

ブロック８２０を参照すれば、方法８００が生成する報告が、図４ｂ～４ｃ及び７ａ～７ｃを参照して説明した、方法３００の制御結合報告及び方法５００のデータ結合報告の全部の節を含む。

【0059】

本明細書中に提供する方法及びシステムは、適格性のあるツール、即ちソフトウェアのテスト中に用いるためのソフトウェア要件検証プログラム２２０を提供する。特に、本明細書中に提供する方法及びシステムの好適な実施形態は、ソフトウェアコード内の制御結合及びデータ結合解析の検証において用いるための適格性のあるツールを提供する。ソフトウェア要件検証プログラム２２０が生成する報告、例えば制御結合及びデータ結合報告２３４は、検証可能で、確定的で、予測可能なソフトウェアテストの結果をユーザに提供する。従って、本明細書中に提供する方法及びシステムは、手作業での検証のようなリソースがより重く時間を要するものと少なくとも等価な、ソフトウェアテストにおける信頼性を保証する。本発明の方法及びシステムの制御結合及びデータ結合報告は、ソフトウェア要件検証プログラム２２０が、そのタスクを１回適切に実行し、これにより、その後の実行を検証する必要性を解消する能力を証明する。本明細書中に提供する方法及びシステムは、特許文献１及び”LDRA Tool Qualification Packs”（非特許文献１）に開示された方法及びシステムを用いて、資格ソフトウェア要件検証プログラム２２０を実現することができ、これらの両文献はその全文を参照することによって本明細書に含める。

【0060】

コンピュータシステム・アーキテクチャ
図９に、本発明の実施形態、またはその１つ以上の部分をコンピュータ可読のコードとして実現することができるコンピュータシステム９００を示す。例えば、図２ａの要件情報源２０２、装置２０４、ユーザ装置２３０は、ハードウェア、命令を記憶している非一時的なコンピュータ可読媒体、またはその組合せを用いたコンピュータシステム９００の形で実現することができ、１つ以上のコンピュータシステムまたは他の処理システムの形で実現することができる。ハードウェアは、図３、５、及び８ａ～８ｂの方法を実現するために用いるモジュール及びコンポーネントを具体化することができる。

【0061】

プログラマブル・ロジックを用いる場合、こうしたロジックは、実行可能なソフトウェアコードによって構成された市販の処理プラットフォーム上で実行されて、特定目的のコンピュータまたは特殊目的の装置（例えば、プログラマブル・ロジックアレイ、特定用途向け集積回路、等）となることができる。開示する主題の実施形態は、マルチコア・マルチプロセッサシステム、マイクロコンピュータ、メインフレーム（大型）コンピュータ、分散機能とリンクされるか一団となったコンピュータ、並びに実質的にあらゆる装置内に組み込むことができるパーベイシブ（pervasive：多種多様な機器に広く浸透した）コンピュータまたは小型コンピュータを含む種々のコンピュータシステム構成で実施することができることを、通常の当業者は理解することができる。例えば、少なくとも１つのプロセッサデバイス及びメモリを用いて、上述した実施形態を実現することができる。

【0062】

本明細書中に説明するプロセッサユニットまたはデバイスは、単一のプロセッサ、複数のプロセッサ、またはその組合せとすることができる。プロセッサデバイスは、１つ以上のプロセッサ「コア」を有することができる。本明細書中に説明する「コンピュータプログラム媒体」、「非一時的コンピュータ可読媒体」、及び「コンピュータで使用可能な媒体」は、一般に、リムーバブル（着脱可能な）記憶装置９１８、リムーバブル記憶装置９２２、及びハードディスクドライブ（ハードディスク駆動装置）９１２上に設置されたハードディスクのような有形の媒体を参照する。

【0063】

本発明の種々の実施形態を、本例のコンピュータシステム９００に関して説明する。この説明を読んだ後に、他のコンピュータシステム及び／またはコンピュータ・アーキテクチャを用いて本発明を実現する方法は、関連技術の当業者にとって明らかになる、動作は順次のプロセスとして説明していることがあるが、一部の動作は、実際には、並行して、同時に、及び／または分散した環境で実行することができ、そして単一のマシンまたはマルチプロセッサのマシンによるアクセス用に、ローカルに、または遠隔的に（リモートで）記憶されているプログラムコードで実行することができる。それに加えて、一部の実施形態では、開示する主題の精神から逸脱することなしに、動作の順序を再編成することができる。

【0064】

プロセッサデバイス９０４は、本明細書中に説明する機能を実行するように具体的に構成された専用または汎用プロセッサとすることができる。プロセッサデバイス９０４は、バス、メッセージキュー、ネットワーク、マルチコア・メッセージパッシング（メッセージ受け渡し）スキーム、等のような通信インフラストラクチャに接続することができる。ネットワークは、本明細書中に説明する機能を実行するのに適したあらゆるネットワークとすることができ、そしてローカルエリア・ネットワーク（ＬＡＮ）、ワイドエリア・ネットワーク（ＷＡＮ）、無線ネットワーク（例えば、ＷｉＦｉ（登録商標））、移動（モバイル）通信ネットワーク、衛星ネットワーク、インターネット、光ファイバ、同軸ケーブル、赤外線、無線周波数（ＲＦ）、またはその任意の組合せを含むことができる。他の適切なネットワークの種類及び構成は、関連技術の当業者にとって明らかである。コンピュータシステム９００は、メインメモリ（例えば、ランダムアクセスメモリ、読出し専用メモリ、等）を含むこともでき、そして二次メモリ９１０を含むこともできる。二次メモリ９１０は、ハードディスクドライブ９１２及びリムーバブル記憶装置ドライブ９１４、例えばフロッピー（登録商標）ディスク、磁気テープドライブ、光ディスクドライブ、フラッシュメモリ、等を含むことができる。

【0065】

リムーバブル記憶装置ドライブ９１４は、周知の方法で、リムーバブル記憶装置９１８から読み出し、及び／またはリムーバブル記憶装置９１８に書き込むことができる。リムーバブル記憶装置９１８はリムーバブル記憶媒体を含むことができ、リムーバブル記憶媒体はリムーバブル記憶装置ドライブ９１４によって読み出し、リムーバブル記憶装置ドライブ９１４によって書き込むことができる。例えば、リムーバブル記憶装置ドライブ９１４がフロッピー（登録商標）ディスクドライブまたはユニバーサル・シリアルバス・ポートである場合、リムーバブル記憶装置９１８は、それぞれ、フロッピー（登録商標）ディスクまたはポータブル（可搬型）フラッシュ・ドライブとすることができる。一実施形態では、リムーバブル記憶装置９１８を非一時的なコンピュータ可読記録媒体とすることができる。

【0066】

一部の実施形態では、二次メモリ９１０が、コンピュータプログラムまたは他の命令をコンピュータシステム５００内にロードすることを可能にする代替手段、例えばリムーバブル記憶装置９２２及びインタフェース９２０を含むことができる。こうした手段の例は、（例えば、ビデオゲームシステムに見られる）プログラム・カートリッジとカートリッジ・インタフェース、リムーバブル・メモリチップ（例えば、ＥＥＰＲＯＭ（Electrically Erasable Programmable Read-Only Memory：電気的消去可能プログラマブル読出し専用メモリ）、ＰＲＯＭ（Programmable ROM）、等）と関連するソケット、及び他のリムーバブル記憶装置９２２とインタフェース９２０を含むことができ、これらは関連技術の当業者にとって明らかである。

【0067】

コンピュータシステム９００（の、例えばメインメモリ９０８及び／または二次メモリ９１０）に記憶されているデータは、光記憶装置（例えば、コンパクトディスク、デジタル多用途ディスク、ブルーレイディスク、等）または磁気テープ記憶装置（例えば、ハードディスクドライブ）のような、あらゆる種類の適切なコンピュータ記憶媒体上に記憶することができる。これらのデータは、リレーショナル・データベース、構造化照会言語（ＳＱＬ：Structured Query Language）データベース、分散データベース、オブジェクト・データベースのようなあらゆる種類の適切なデータベース構成の形に構成することができる。適切な構成及び記憶装置の種類は、関連技術の当業者にとって明らかである。

【0068】

コンピュータシステム９００は、通信インタフェース９２４を含むこともできる。通信インタフェース９２４は、ソフトウェア及びデータをコンピュータシステム９００と外部装置との間で転送することを可能にするように構成することができる。好適な通信インタフェース９２４は、モデム、ネットワーク・インタフェース（例えば、イーサネット（Ethernet：登録商標）カード）、通信ポート、ＰＣＭＣＩＡ（Personal Computer Memory Card International Association：パーソナル・コンピュータ・メモリカード国際協会）スロットカード、等を含むことができる。通信インタフェースを通して転送されたソフトウェア及びデータは、信号の形式にすることができ、これらの信号は、電子信号、電磁信号、光信号、または関連技術の当業者にとって明らかな他の信号とすることができる。これらの信号は通信経路９２６を通って進むことができ、通信経路９２６は、信号を搬送するように構成することができ、ワイヤ、ケーブル、光ファイバ、電話線、セルラホン（携帯電話）リンク、無線周波数リンク、等を用いて実現することができる。

【0069】

コンピュータシステム９００は、表示インタフェース９０２を更に含むことができる。表示インタフェース９０２は、コンピュータシステム９００と外部ディスプレイ９３０との間でデータを転送することを可能にするように構成することができる。好適な表示インタフェース９０２は、高精細度（高解像度）マルチメディア・インタフェース（ＨＤＭＩ：High-Definition Multimedia Interface）、デジタル・ビジュアル・インタフェース（ＤＶＩ：Digital Visual Interface）、ビデオ・グラフィックス・アレイ（ＶＧＡ：Video Graphics Array）、等を含むことができる。ディスプレイ９３０は、コンピュータシステム９００の表示インタフェース９０２を通して伝送されたデータを表示するためのあらゆる適切な種類のディスプレイとすることができ、陰極線管（ＣＲＴ）ディスプレイ、液晶ディスプレイ（ＬＣＤ）、発光ダイオード（ＬＥＤ）ディスプレイ、静電容量式タッチ・ディスプレイ、薄膜トランジスタ（ＴＦＴ：Thin-Film Transistor）ディスプレイ、等を含む。

【0070】

コンピュータプログラム媒体及びコンピュータで使用可能な媒体は、メインメモリ９０８及び二次メモリ９１０のようなメモリを参照することができ、これらはメモリ半導体（例えば、ＤＲＡＭ、等）とすることができる。これらのコンピュータプログラム製品は、ソフトウェアをコンピュータシステム９００に提供する手段とすることができる。コンピュータプログラム（例えば、コンピュータ制御論理）は、メインメモリ９０８及び／または二次メモリ９１０に記憶することができる。コンピュータプログラムは、通信インタフェース９２４を通して受信することもできる。こうしたコンピュータプログラムは、実行されると、コンピュータシステム９００が本明細書中に説明する本発明の方法を実現することを可能にする。特に、これらのコンピュータプログラムは、実行されると、プロセッサデバイス９０４が、本明細書中に説明するように、図３、５、及び８ａ～８ｂに示す方法を実現することを可能にすることができる。従って、こうしたコンピュータプログラムは、コンピュータシステム９００のコントローラを表現することができる。ソフトウェアを用いて本発明を実現する場合、このソフトウェアをコンピュータプログラム製品に記憶して、リムーバル記憶装置９１４、インタフェース９２０、及びハードディスク９１２、あるいは通信インタフェース９２４を用いて、コンピュータシステム９００内にロードすることができる。

【0071】

プロセッサデバイス９０４は、コンピュータシステム９００の機能を実行するように構成された１つ以上のモジュールまたはエンジンを具えることができる。モジュールまたはエンジンの各々は、ハードウェアを用いて実現することができ、一部の場合には、メインメモリ９０８または二次メモリ９１０に記憶されているプログラムコード及び／またはプログラムに相当するようなソフトウェアを利用することもできる。こうした例では、プログラムコードを、コンピュータシステム９００のハードウェアによる実行の前に、プロセッサデバイス９０４によって（例えば、コンパイル・モジュールまたはエンジンによって）コンパイルすることができる。例えば、プログラムコードは、プログラミング言語で書かれたソースコードとすることができ、このソースコードは、コンピュータシステム９００のプロセッサデバイス９０４及び／またはあらゆる追加的なハードウェア構成要素による実行用に、アセンブリ言語またはマシンコード（機械語）のようなより低水準の（低級な）言語に翻訳される。コンパイルするプロセスは、字句解析、処理、構文解析、意味解析、構文主導型翻訳、コード生成、コード最適化、及びプログラムコードを、コンピュータシステム９００を制御して本明細書中に開示する機能を実行することに適したより低水準の言語に翻訳することに適し得る他のあらゆる技法を含むことができる。コンピュータシステム９００が以上に説明した機能を実行するように特異的にプログラムされた特別に構成されたコンピュータシステム９００となることを、こうしたプロセスが生じさせることは、関連技術の当業者にとって明らかである。

【0072】

本開示に一致する技術は、数ある特徴の中で特に、ソフトウェアコードのテスト中に制御結合及び／またはデータ結合解析を検証するシステム及び方法を提供する。開示するシステム及び方法の種々の好適な実施形態を上述してきたが、これらの実施形態は限定ではなく例示の目的のみで提示してきたことを理解するべきである。これらの実施形態は網羅的でなく、本発明を開示した明確な形態に限定しない。以上の教示を考慮して、本発明の全幅または範囲から逸脱することなしに、変更及び変形が可能であり、あるいは本発明の実施により変更及び変更を獲得することができる。

【図1】