JP2015088191A5

JP2015088191A5 -

Info

Publication number: JP2015088191A5
Application number: JP2014220658A
Authority: JP
Filing date: 2014-10-29
Publication date: 2017-02-16
Anticipated expiration: 2034-10-29

Description

一つの実装では、ソフトウエアコードの検証を促進するシステムが開示される。システムはプロセッサ及びプロセッサに結合されるメモリを含む。プロセッサは、メモリ内に格納される複数のモジュールを含む。複数のモジュールは、選択モジュール、判別モジュール、及びユーザインタフェースモジュールを含む。選択モジュールは、検証されるソフトウエアコードに対して生成される警告を示す第１のプログラムポイントを選択し得る。第１のプログラムポイントは、変数のセットを含むプログラミング表現を有する。更に、警告は、変数のセットのうちの、少なくとも一つの変数値が静的に判別されないとき、生成される。更に判別モジュールは、少なくとも一つの変数に関する値が第１のプログラミングポイントを安全な条件に導くのか、安全で無い条件に導くのか、ユーザが判定するために、レビュー支援情報を判別し得る。レビュー支援情報は、少なくとも一つの変数に値を割り当てる、ソフトウエアコードからの、変更ポイントのセットを推移的に配置することにより判別され得る。レビュー支援情報は更に、変更ポイントのセットにて割り当てられる値が、第１のプログラムポイントについて安全な条件であるか安全で無い条件であるか、ユーザに提示できないときに、ソフトウエアコードからの、少なくとも一つの変数に関する第２のプログラムポイントにより示される制御条件を推移的に配置することにより判別され得る。更に、制御条件は、第１のプログラムポイントについて安全な条件であるか安全で無い条件であるかについて、ユーザが判別する助けとなり得る。レビュー支援情報は更に、変更ポイントのセット、制御条件、及び、第１のプログラムポイントの間の、パスを推移的に配置することにより判別され得る。更に、ユーザインタフェースモジュールは、一つ以上の関連する変更ポイントを特定するために、変更ポイントのセットから非有用な変更ポイントを除外することにより、ユーザにレビュー支援情報を提示し得る。ユーザインタフェースモジュールは更に、一つ以上の関連する変更ポイント若しくは制御条件をユーザに表示し得る。一つ以上の関連する変更ポイント若しくは制御条件は、生成される警告に対する根本的原因を示し、これによりソフトウエアコードの検証を促進し得る。

別の実装では、ソフトウエアコードの検証を促進する方法が開示される。方法は、検証されるソフトウエアコードに対して生成される警告を示す第１のプログラムポイントを選択するステップを含み得る。第１のプログラムポイントは、変数のセットを含むプログラミング表現を有する。更に、警告は、変数のセットのうちの、少なくとも一つの変数値が静的に判別されないとき、生成される。方法は、少なくとも一つの変数に関する値が第１のプログラミングポイントを安全な条件に導くのか、安全で無い条件に導くのか、ユーザが判定するために、レビュー支援情報を判別するステップを含み得る。レビュー支援情報は、少なくとも一つの変数に値を割り当てる、ソフトウエアコードからの、変更ポイントのセットを推移的に配置することにより判別され得る。レビュー支援情報は更に、変更ポイントのセットにて割り当てられる値が、第１のプログラムポイントについて安全な条件であるか安全で無い条件であるか、ユーザに提示できないときに、ソフトウエアコードからの、少なくとも一つの変数に関する第２のプログラムポイントにより示される制御条件を推移的に配置することにより判別され得る。更に、制御条件は、第１のプログラムポイントについて安全な条件であるか安全で無い条件であるかについて、ユーザが判別する助けとなり得る。レビュー支援情報は、変更ポイントのセット、制御条件、及び、第１のプログラムポイントの間の、パスを推移的に配置することにより判別され得る。更に方法は、ユーザにレビュー支援情報を提示するステップを含み得る。レビュー支援情報は、一つ以上の関連する変更ポイントを特定するために、変更ポイントのセットから非有用な変更ポイントを除外することにより、提示され得る。レビュー支援情報は更に、一つ以上の関連する変更ポイント若しくは制御条件をユーザに表示することにより、提示され得る。一つ以上の関連する変更ポイント若しくは制御条件は生成される警告に対する根本的原因を示し、これによりソフトウエアコードの検証を促進し得る。前記選択するステップ、前記判別するステップ、及び前記提示するステップからなる前記方法は、プロセッサにより実行される。

更に別の実装では、ソフトウエアコードの検証を促進するコンピュータ装置内で実行可能なプログラムを具体化する持続性コンピュータ読み取り可能媒体が、開示される。プログラムは、検証されるソフトウエアコードに対して生成される警告を示す第１のプログラムポイントを選択するプログラムコードを含み得る。第１のプログラムポイントは、変数のセットを含むプログラミング表現を有する。更に、警告は、変数のセットのうちの、少なくとも一つの変数値が静的に判別されないとき、生成される。更に、プログラムは、少なくとも一つの変数に関する値が第１のプログラミングポイントを安全な条件に導くのか、安全で無い条件に導くのか、ユーザが判定するために、レビュー支援情報を判別するプログラムコードを含み得る。レビュー支援情報は、少なくとも一つの変数に値を割り当てる、ソフトウエアコードからの、変更ポイントのセットを推移的に配置することにより判別される。レビュー支援情報は更に、変更ポイントのセットにて割り当てられる値が、第１のプログラムポイントについて安全な条件であるか安全で無い条件であるか、ユーザに提示できないときに、ソフトウエアコードからの、少なくとも一つの変数に関する第２のプログラムポイントにより示される制御条件を推移的に配置することにより判別され得る。制御条件は、第１のプログラムポイントについて安全な条件であるか安全で無い条件であるかについて、ユーザが判別する助けとなり得る。レビュー支援情報は更に、変更ポイントのセット、制御条件、及び、第１のプログラムポイントの間の、パスを配置することにより判別され得る。更に、プログラムは、ユーザにレビュー支援情報を提示するプログラムコードを含み得る。レビュー支援情報は、一つ以上の関連する変更ポイントを特定するために、変更ポイントのセットから非有用な変更ポイントを除外することにより、提示され得る。レビュー支援情報は更に、一つ以上の関連する変更ポイント若しくは制御条件をユーザに表示することにより、提示され得る。一つ以上の関連する変更ポイント若しくは制御条件は生成される警告に対する根本的原因を示し、これによりソフトウエアコードの検証を促進し得る。

テーブルの「パス情報」カラム下の「パスを示す」ボタンをクリックすると、変更ポイント（ライン６及び１３）から第１のプログラムポイントへのパス、即ち警告が、ユーザに表示され得る。生成されるパスは、別のウインドウで、又は、同じ若しくは独立のポップアップフォームで、示され得る。更に、「変更ポイント位置詳細」カラム下の「Ｆｉｌｅ．ｃ＃１３」をクリックすると、Ｆｉｌｅ．ｃを表示する独立のウインドウがポップアップされ、ライン１３が独立のソースコードウインドウで高輝度化され得る。更に、このソースコードウインドウでは、「パスを示す」ボタンをクリックした後に示されるパス内に含まれるステートメント／コードも、高輝度化され得る。更に、テーブル３０８の「推移性変数」カラム下のＶ１、Ｖ２をクリックすると、カラム「変更ポイント位置詳細」下で示される位置における変数「Ｖ１」及び「Ｖ２」の変更ポイントを表示する、独立のポップアップウインドウが生成され得る。このように、ユーザインタフェースモジュール２１４は、ソフトウエアコード３０２の検証のためにユーザにレビュー支援情報を表示し得る。

ところで、変更ポイント／制御条件、及び、レビュー支援情報内の推移性をオンデマンドでレポートする要求を示す図３Ｅ〜図３Ｆにて、第３の例が示される。この例で検証されるソフトウエアコードは、図３Ｅの３１８として示される。ソフトウエアコード３１８は、複数のプログラムポイント（ライン１〜２８）を含む。システム１０２の選択モジュール２１０は、ソフトウエアコード３１８のために生成される警告を示す（ライン２７における）第１のプログラムポイント３２０を選択し得る。生成される警告は、図３Ｆのテーブル３２２内で見られる。更に、選択される第１のプログラムポイントは変数「ａ」及び「ｃ」のセットを有するプログラミング表現「ｃ＝＝ａｒｒ［ａ］」を有する。このケースでは、警告は、アレイインデクスアウトオブバウンド（ＡＩＯＢ）検証のために生成される。ＡＩＯＢ検証では、インデクス値（変数「ａ」の値）が常にアレイのサイズ／境界の範囲（即ち、１０）内であるかどうかインデクス値がチェックされる。変数「ａ」の値は静的に判別され得ないので警告としてレポートされる。よって、変数「ａ」の値が０と９の間の値（両方を含む）を取るかどうかチェックすることが、要求される。

この例で実行されるプロセスは、変数「ａ」に値を割り当てる変更ポイントのセットの特定で開始する。第１のインスタンスでは、変数「ａ」に対応する、特定される変更ポイントは、ソフトウエアコード３１８のライン２６におけるものである。ライン２６は、値が変数「ｂ」から取られること、即ち、値が「ｂ」から推移的に取られることを示す。ここで、値をチェックするための、対象の変数は「ａ」の代わりに「ｂ」になる。よって、変数「ｂ」に関する変更ポイントを特定することが要求される。変数「ｂ」のために特定される変更ポイントは、ソフトウエアコード３１８のライン２１及び１５である。ライン２１における変更ポイントは、値５を変数「ｂ」に常に割り当てることを示す。更に、ライン１５における変更ポイントは、変数「ｃ」を変数「ｂ」に割り当てることを示す。

よって、推移性により、ここで変数「ｃ」が対象の変数であり、値を変数「ｃ」に割り当てる変更ポイントの全てを特定するために、手作業の解析が要求され得る。ここで変数「ｃ」のために特定される次の変更ポイントは、ソフトウエアコード３１８のライン８におけるものである。よって、変更ポイント（ライン８）に基づいて、ユーザは、変数に対して割り当てられる値は０〜９であることを特定できる。このような深い解析とコードトラバースにより、第１のプログラムポイント（即ち、ライン２７）における警告は、「安全である」とレビューされ得る。

変更ポイントのセットの特定の後、システム１０２のユーザインタフェースモジュール２１４により実行される次のステップは、ユーザにレビュー支援情報を示すことである。本開示の実施形態によると、ユーザインタフェースモジュール２１４は、変更ポイントのセット（ライン２６、ライン２１、ライン１５及びライン８）から、非有用な変更ポイントを除外し得る。この除外は、警告のタイプ、及び変更ポイントにより割り当てられる値に拠って、実行される。例えば、ユーザインタフェースモジュール２１４は、ライン２７の警告ポイントが常に安全であるので、ライン２１を除外し得る。更に、この例では、ユーザインタフェースモジュール２１４は、ライン２６及びライン１５を非有用な変更ポイントであると考えて、それらを除外し得る。これらのポイントは値割り当て内の推移性を示すからである。除外後、ユーザインタフェースモジュール２１４は、ユーザインタフェース上にて、関連する変更ポイントのみ、即ち、ライン８をユーザに表示し得る。更に、ユーザにレビュー支援情報を示す間、テーブル３２４内に示す非有用な変更ポイント（即ち、ライン２６、２１及び１５）はユーザインタフェースモジュール２１４によって表示されることはない。図３Ｆのテーブル３２４に示す、関連する変更ポイントは、生成される警告に対する根本的原因を示す。更に、テーブル３２４の「パス情報」カラム下の「パスを示す」ボタンをクリックすると、変更ポイントのセットから、生成される警告（即ち、第１のプログラムポイント）へのパスが、ユーザに表示され得る。生成されるパスは、独立のウインドウ若しくはポップアップフォーム内で、又は、同じフォーム内で、ユーザに示され得る。また、ユーザの要求に基づいて、非有用な変更ポイントがユーザインタフェース上に表示され得る。本開示の実施形態によると、非有用な変更ポイントが、ユーザに対して独立のウインドウ内で識別色により表示され得る。よって、ソフトウエアコード３１８の検証を促進するために、関連する変更ポイント（ライン８）のみがユーザに表示され得る。更に、上記の例で説明したレビュー支援情報（変更ポイントと制御条件のセット）は、レビュー支援情報データベース２２０内に格納され得る。

Claims

ソフトウエアコードの検証を促進する方法において、
選択モジュールを介して、検証されるソフトウエアコードに対して生成される警告を示す第１のプログラムポイントを選択するステップであって、第１のプログラムポイントは、変更ポイントのセットに関する変数のセットを含むプログラミング表現を有し、警告は、変数のセットのうちの、少なくとも一つの変数値が静的に判別されないとき、生成される、ステップと、
判別モジュールを介して、少なくとも一つの変数に関する値が第１のプログラミングポイントを安全な条件に導くのか、安全で無い条件に導くのか、判別するために、レビュー支援情報を判別するステップであって、レビュー支援情報を判別するステップは、
少なくとも一つの変数に値を割り当てる、ソフトウエアコードからの、変更ポイントのセット、及び、
変数のセットからの、少なくとも一つの変数に関するプログラミング表現を有する第２のプログラムポイントを含む、ソースコードの制御条件
のうちの少なくとも一つを配置するステップを含み、
レビュー支援情報を判別するステップは更に、
変更ポイントのセットから第１のプログラムポイントへのパスを表示するステップを含む、レビュー支援情報を判別するステップと、並びに、
ユーザインタフェースモジュールを介して、ユーザにレビュー支援情報を提示するステップと
を含み、
ユーザインタフェースモジュールを介して、前記ユーザにレビュー支援情報を提示するステップは、
少なくとも一つの変数に割り当てられ一つ以上の関連する変更ポイントを特定する値に基づいて、一つ以上の関連する変更ポイントを特定するために、変更ポイントのセットから非有用な変更ポイントを除外するステップと、並びに、
一つ以上の関連する変更ポイント若しくは制御条件、及び、変更ポイントのセットとソースコードのために生成される警告を示す第１のプログラムポイントとの間のパスを、表示するステップであって、一つ以上の関連する変更ポイント若しくは制御条件は生成される警告に対する根本的原因を示し、これによりソフトウエアコードの検証を促進する、ステップと
で構成され、
前記選択するステップ、前記判別するステップ、及び前記提示するステップは、プロセッサにより実行される、方法。
警告は、ソフトウエアコードに関して実行される静的解析に基づいて生成され、静的解析はソフトウエアコードに対する安全な条件及び安全で無い条件を示す、
請求項１に記載の方法。
除外された後の非有用な変更ポイントがユーザの要求に基づいて表示され、非有用な変更ポイントがユーザへ識別表現で表示される、
請求項１に記載の方法。
ソフトウエアコードの制御条件と関数コールポイントを推移的に表示するステップを、更に含む、
請求項１に記載の方法。
ソフトウエアコードの検証を促進するシステム１０２において、
前記システム１０２は、プロセッサ２０２とメモリ２０６とを含み、
前記プロセッサ２０２は前記メモリ２０６に格納された複数のモジュール２０８を実行するものであり、
前記複数のモジュール２０８は、
検証されるソフトウエアコードに対して生成される警告を示す第１のプログラムポイントを選択する選択モジュール２１０であって、第１のプログラムポイントは、変更ポイントのセットに関する変数のセットを含むプログラミング表現を有し、警告は、変数のセットのうちの、少なくとも一つの変数値が静的に判別されないとき、生成される、選択モジュール２１０と、
少なくとも一つの変数に関する値が第１のプログラミングポイントを安全な条件に導くのか、安全で無い条件に導くのか、判別するために、レビュー支援情報を判別する判別モジュール２１２であって、レビュー支援情報を判別することは、
少なくとも一つの変数に値を割り当てる、ソフトウエアコードからの、変更ポイントのセット、及び、
変数のセットからの、少なくとも一つの変数に関するプログラミング表現を有する第２のプログラムポイントを含む、ソースコードの、制御条件
のうちの少なくとも一つを配置することを含み、
レビュー支援情報を判別することは更に、
変更ポイントのセットから第１のプログラムポイントへのパスを表示することを含む、判別モジュール２１２と、並びに、
ユーザにレビュー支援情報を提示するユーザインタフェースモジュール２１４と
を含み、
前記ユーザにレビュー支援情報を提示するユーザインタフェースモジュール２１４は、
少なくとも一つの変数に割り当てられ一つ以上の関連する変更ポイントを特定する値に基づいて、変更ポイントのセットから非有用な変更ポイントを除外するステップと、並びに、
一つ以上の関連する変更ポイント若しくは制御条件、及び、変更ポイントのセットとソースコードのために生成される警告を示す第１のプログラムポイントとの間のパスを、表示するステップであって、一つ以上の関連する変更ポイント若しくは制御条件は生成される警告に対する根本的原因を示し、これによりソフトウエアコードの検証を促進する、ステップと
を行う、
システム。
警告は、ソフトウエアコードに関して実行される静的解析に基づいて生成され、静的解析はソフトウエアコードに対する安全な条件及び安全で無い条件を示す、
請求項５に記載のシステム１０２。
除外された後の非有用な変更ポイントがユーザの要求に基づいて表示され、非有用な変更ポイントがユーザへ識別色で表示される、
請求項５に記載のシステム１０２。
判別モジュール２１２は更に、ソフトウエアコードの制御条件と関数コールポイントを推移的に表示する、
請求項５に記載のシステム１０２。
ソフトウエアコードの検証を促進するコンピュータ装置内で実行可能なプログラムを具体化する持続性コンピュータ読み取り可能媒体において、
プログラムは、
検証されるソフトウエアコードに対して生成される警告を示す第１のプログラムポイントを選択するプログラムコードであって、第１のプログラムポイントは、変更ポイントのセットに関する変数のセットを含むプログラミング表現を有し、警告は、変数のセットのうちの、少なくとも一つの変数値が静的に判別されないとき、生成される、プログラムコードと、
少なくとも一つの変数に関する値が第１のプログラミングポイントを安全な条件に導くのか、安全で無い条件に導くのか、判別するために、レビュー支援情報を判別するプログラムコードであって、レビュー支援情報を判別することは、
少なくとも一つの変数に値を割り当てる、ソフトウエアコードからの、変更ポイントのセット、及び、
変数のセットからの、少なくとも一つの変数に関するプログラミング表現を有する第２のプログラムポイントにより示される制御条件
のうちの少なくとも一つを配置することを含み、
レビュー支援情報を判別することは更に、
変更ポイントのセットから第１のプログラムポイントへのパスを表示すること含む、判別するプログラムコードと、並びに、
ユーザにレビュー支援情報を提示するプログラムコードと
を含み、
前記ユーザにレビュー支援情報を提示するプログラムコードは、
少なくとも一つの変数に割り当てられ一つ以上の関連する変更ポイントを特定する値に基づいて、一つ以上の関連する変更ポイントを特定するために、変更ポイントのセットから非有用な変更ポイントを除外するステップと、並びに、
一つ以上の関連する変更ポイント若しくは制御条件、及び、変更ポイントのセットとソースコードのために生成される警告を示す第１のプログラムポイントとの間のパスを、表示するステップであって、一つ以上の関連する変更ポイント若しくは制御条件は生成される警告に対する根本的原因を示し、これによりソフトウエアコードの検証を促進する、ステップと
を行うものである、
持続性コンピュータ読み取り可能媒体。