JP6991415B2 - 経路決定装置及び経路決定プログラム - Google Patents

Description

この発明は、バージョンアップ前のプログラムとバージョンアップ後のプログラムとの差分箇所を含む経路を決定する、経路決定装置及び経路決定プログラムに関する。

従来技術では、性能問題を有するプログラムついて、性能の問題の存在する箇所のソースコードの変更前と、ソースコードの変更後との差分情報をユーザに提示する。
しかし、単純な差分情報だけでは性能問題の原因を絞り込むことは難しい。特許文献１では、差分情報をどのように算出するかについて詳細に記載されていない。差分情報の算出方法として、以下の（１）または（２）の方法が考えられる。しかし（１）及び（２）のそれぞれには以下のような課題がある。
（１）性能問題がある関数に関わる差分のみを抽出する。しかし、性能問題を持つ関数に影響を与える別の関数の変更が原因の場合、このような原因を提示できないという課題がある。
（２）性能問題に影響を与える関数を含めた変更の差分をすべて示す。しかし、提示する差分が多くなり、ユーザは原因を絞り切れないという課題がある。（２）では、性能問題に関係のない差分まで提示される。このため、性能問題の要因となる差分がどのように関数に影響を与えたかを把握できないという課題がある。

特開２０１８－１１２９５９号公報

この発明は、ユーザによるプログラムの性能問題の原因特定を、容易化することを目的とする。

この発明の経路決定装置は、
第１プログラムのソースコードと前記第１プログラムがバージョンアップされた第２プログラムのソースコードとの相違箇所を示す複数の差分箇所と、第１試験条件を使用して前記第２プログラムの全体を試験する第１性能試験によって実行された複数の行を示す第１カバレッジ情報とを取得し、前記第１カバレッジ情報を参照して、前記複数の差分箇所から、前記第１性能試験の実行された複数の差分箇所を示す複数の第１差分箇所を抽出する第１差分抽出部と、
前記第２プログラムの前記ソースコードを構成している複数の要素から、前記第１差分箇所によって影響を受ける複数の要素の連鎖を示す影響経路を、前記第１差分箇所ごとに抽出する経路抽出部と、
前記第２プログラムの前記ソースコードの複数の行のうち前記第１試験条件と異なる第２試験条件を使用する第２性能試験の実行された複数の行を示す第２カバレッジ情報を取得し、前記第１差分箇所ごとに抽出された複数の影響経路のうち、前記第２カバレッジ情報に含まれる前記影響経路を決定する決定部と、
を備える。

この発明の経路決定装置は、性能問題の原因となる差分箇所と、ソースコードにおける差分箇所の影響する影響経路とを絞り込んだ状態で提示する。よって本発明の経路決定装置は、ユーザによるプログラムの性能問題の原因特定を、容易化することができる。

実施の形態１の図で、経路決定装置１が使用される状態を示す図。 実施の形態１の図で、経路決定装置１のハードウェア構成を示す図。 実施の形態１の図で、経路決定装置１の準備フェーズの動作を示すフローチャート。 実施の形態１の図で、経路決定装置１の実行フェーズの動作を示すフローチャート。 実施の形態１の図で、経路決定装置１の出力フェーズの動作を示すフローチャート。 実施の形態１の図で、準備フェーズの第１カバレッジ情報３２１を示す図。 実施の形態１の図で、準備フェーズの第１カバレッジ情報３２１と差分箇所を示す図。 実施の形態１の図で、準備フェーズの影響経路リスト２２Ａを示す図。 実施の形態１の図で、実行フェーズ１の第２カバレッジ情報３２２を示す図。 実施の形態１の図で、実行フェーズ１の影響経路リスト２２Ａを示す図。 実施の形態１の図で、実行フェーズ１の出力部２４の動作を示す図。 実施の形態１の図で、実行フェーズ２の第２カバレッジ情報３２２を示す図。 実施の形態１の図で、実行フェーズ２の影響経路リスト２２Ａを示す図。 実施の形態１の図で、実行フェーズ２の出力部２４の動作を示す図。 実施の形態１の図で、経路決定装置１のハードウェア構成を補足する図。

以下、本発明の実施の形態について、図を用いて説明する。なお、各図中、同一または相当する部分には、同一符号を付している。実施の形態の説明において、同一または相当する部分については、説明を適宜省略または簡略化する。

実施の形態１．
図１から図１５を参照して、実施の形態１の経路決定装置１を説明する。

図１は、実施の形態１の経路決定装置１の使用形態を示す。経路決定装置１は、プログラム格納装置２００及び外部装置３００と共に使用される。

プログラム格納装置２００はソースコードリポジトリ２０１及び実行プログラム格納装置２０２を備えている。ソースコードリポジトリ２０１は、第１プログラム２１０のソースコード２１１及び第２プログラム２２０のソースコード２２１を格納している。実行プログラム格納装置２０２は、第１プログラム２１０の実行プログラム２１２及び第２プログラム２２０の実行プログラム２２２を格納している。ソースコードリポジトリ２０１及び実行プログラム格納装置２０２は、記憶装置である。

外部装置３００は、差分抽出装置３１０、カバレッジ測定装置３２０及び性能測定装置３３０を備えている。差分抽出装置３１０は、第１プログラム２１０のソースコード２１１と、第２プログラム２２０のソースコード２２１との差分を抽出し、経路決定装置１の第１差分抽出部２１に抽出した差分を送信する。カバレッジ測定装置３２０は、性能測定装置３３０が第２プログラム２２０の実行プログラム２２２を実行することにより第２プログラム２２０の性能を測定する際に、第２プログラム２２０のソースコード２２１のコードカバレッジを測定する。なお、以下の説明ではコードカバレッジを、カバレッジ情報と表記する。カバレッジ情報は、実行対象として実行されたソースコードのうち、実際に実行されたソースコードを示す情報である。カバレッジ測定装置３２０はカバレッジ情報を、第１差分抽出部２１及び経路抽出部２２に送信する。性能測定装置３３０は、性能測定装置３３０の実行状況を監視しながら、上記のようにプログラムのカバレッジ情報を測定する。性能測定装置３３０は性能測定の試験結果を決定部２３に送信する。

経路決定装置１は、機能要素として、第１差分抽出部２１、経路抽出部２２、決定部２３及び出力部２４の機能を備えている。これらの機能は、動作の説明で後述する。第１差分抽出部２１は、後述の第１差分箇所３１及び影響経路リスト２２Ａを記憶装置に格納する。決定部２３は後述の影響経路リスト２２Ａを記憶装置に格納する。出力部２４は結果２５を出力する。

＊＊＊構成の説明＊＊＊
図２は、経路決定装置１のハードウェア構成を示す。図２を参照して経路決定装置１のハードウェア構成を説明する。

経路決定装置１は、コンピュータである。経路決定装置１は、プロセッサ２を備える。経路決定装置１は、プロセッサ２の他に、主記憶装置３、補助記憶装置４、入力ＩＦ５、出力ＩＦ６及び通信ＩＦ７といった、他のハードウェアを備える。プロセッサ２は、信号線８を介して、他のハードウェアと接続され、他のハードウェアを制御する。

経路決定装置１は、機能要素として、第１差分抽出部２１、経路抽出部２２、決定部２３及び出力部２４を備えている。第１差分抽出部２１、経路抽出部２２、決定部２３及び出力部２４の機能は、経路決定プログラム４４により実現される。経路決定プログラム４４は補助記憶装置４に格納されている。

プロセッサ２は、経路決定プログラム４４を実行する装置である。経路決定プログラム４４は、第１差分抽出部２１、経路抽出部２２、決定部２３及び出力部２４の機能の機能を実現するプログラムである。プロセッサ２は、演算処理を行うＩＣ（Ｉｎｔｅｇｒａｔｅｄ Ｃｉｒｃｕｉｔ）である。プロセッサ２の具体例は、ＣＰＵ（Ｃｅｎｔｒａｌ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）、ＤＳＰ（Ｄｉｇｉｔａｌ Ｓｉｇｎａｌ Ｐｒｏｃｅｓｓｏｒ）、ＧＰＵ（Ｇｒａｐｈｉｃｓ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）である。

主記憶装置３の具体例は、ＳＲＡＭ（Ｓｔａｔｉｃ Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙ）、ＤＲＡＭ（Ｄｙｎａｍｉｃ Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙ）である。主記憶装置３は、プロセッサ２の演算結果を保持する。

補助記憶装置４は、データを不揮発的に保管する記憶装置である。補助記憶装置４の具体例は、ＨＤＤ（Ｈａｒｄ Ｄｉｓｋ Ｄｒｉｖｅ）である。また、補助記憶装置４は、ＳＤ（登録商標）（Ｓｅｃｕｒｅ Ｄｉｇｉｔａｌ）メモリカード、ＮＡＮＤフラッシュ、フレキシブルディスク、光ディスク、コンパクトディスク、ブルーレイ（登録商標）ディスク、ＤＶＤ（Ｄｉｇｉｔａｌ Ｖｅｒｓａｔｉｌｅ Ｄｉｓｋ）といった可搬記録媒体であってもよい。補助記憶装置４は、影響経路リスト２２Ａ及び経路決定プログラム４４を記憶している。

入力ＩＦ５は、各装置からデータが入力されるポートである。出力ＩＦ６は、各種機器が接続され、各種機器にプロセッサ２によりデータが出力されるポートである。図２では、出力ＩＦ６には、表示装置３０が接続されている。通信ＩＦ７はプロセッサが他の装置と通信するための通信ポートである。

プロセッサ２は補助記憶装置４から経路決定プログラム４４を主記憶装置３にロードし、主記憶装置３から経路決定プログラム４４を読み込み実行する。主記憶装置３には、経路決定プログラム４４だけでなく、ＯＳ（Ｏｐｅｒａｔｉｎｇ Ｓｙｓｔｅｍ）も記憶されている。プロセッサ２は、ＯＳを実行しながら、経路決定プログラム４４を実行する。経路決定装置１は、プロセッサ２を代替する複数のプロセッサを備えていてもよい。これら複数のプロセッサは、経路決定プログラム４４の実行を分担する。それぞれのプロセッサは、プロセッサ２と同じように、経路決定プログラム４４を実行する装置である。経路決定プログラム４４により利用、処理または出力されるデータ、情報、信号値及び変数値は、主記憶装置３、補助記憶装置４、または、プロセッサ２内のレジスタあるいはキャッシュメモリに記憶される。

経路決定プログラム４４は、第１差分抽出部２１、経路抽出部２２、決定部２３及び出力部２４の「部」を「処理」、「手順」あるいは「工程」に読み替えた各処理、各手順あるいは各工程をコンピュータに実行させるプログラムである。

また、経路決定方法は、コンピュータである経路決定装置１が経路決定プログラム４４を実行することにより行われる方法である。経路決定プログラム４４は、コンピュータ読み取り可能な記録媒体に格納されて提供されてもよいし、プログラムプロダクトとして提供されてもよい。

＊＊＊動作の説明＊＊＊
経路決定装置１の動作を説明する。経路決定装置１の動作手順は、経路決定方法に相当する。経路決定装置１の動作を実現するプログラムは、経路決定プログラム４４に相当する。経路決定装置１の動作は、以下の準備フェーズと、実行フェーズ、及び出力フェーズからなる。

準備フェーズでは、経路決定装置１は、差分抽出装置３１０から取得した複数の差分箇所から第１差分箇所３１を抽出する。また、経路決定装置１は、第２プログラム２２０のソースコード２２１から影響経路３２を、抽出する。第１差分箇所３１は、性能問題の原因の可能性のある差分箇所である。
実行フェーズでは、経路決定装置１は、複数の影響経路３２うち、第２プログラム２２０の性能問題の原因にならない影響経路を決定し、決定した影響経路３２を複数の影響経路３２から削除する。
出力フェーズでは、経路決定装置１は、性能問題の原因にならないと決定された影響経路の削除された結果を出力する。経路決定装置１は、準備フェーズを１度実行し、実行フェーズ及び出力フェーズを１以上の回数を実行する。

以下に、各フェーズを説明する。
図３は、準備フェーズの動作を示すフローチャートである。
図４は、実行フェーズの動作を示すフローチャートである。
図５は、出力フェーズ動作を示すフローチャートである。図３を参照して準備フェーズにおける経路決定装置１の動作を説明する。

＜準備フェーズ＞
ステップＳ１１において、第１差分抽出部２１は、第１プログラム２１０のソースコード２１１と第２プログラム２２０のソースコード２２１との相違箇所を示す複数の差分箇所を、差分抽出装置３１０から取得する。第１プログラム２１０のソースコード２１１と、第２プログラム２２０のソースコード２２１とは、図１のソースコードリポジトリ２０１に格納されている。実行プログラム格納装置２０２は、ソースコード２１１の実行プログラム２１２と、ソースコード２２１の実行プログラム２２２とを格納している。第２プログラム２２０は、第１プログラム２１０がバージョンアップされたプログラムである。

差分抽出装置３１０は、ソースコード２１１とソースコード２２１とを使用して、ソースコード２１１とソースコード２２１との、複数の差分箇所を抽出する。ステップＳ１１では、第１差分抽出部２１は、この複数の差分箇所３を差分抽出装置３１０から取得する。

また、ステップＳ１１において、図１に示すように、第１差分抽出部２１は、第１カバレッジ情報３２１を、カバレッジ測定装置３２０から取得する。第１カバレッジ情報３２１は、第１試験条件を使用して第２プログラム２２０の全体を対象に性能試験する第１性能試験によって実行された複数の行を示す情報である。図１の性能測定装置３３０が、第１試験条件２３１を使用する第１性能試験２３３を実行する。カバレッジ測定装置３２０は、ソースコードが実行される際に、実行されたソースコードを測定する装置である。カバレッジ測定装置３２０は第１カバレッジ情報３２１を測定する。

第１プログラム２１０は、プログラムの性能を測定してプログラムが性能を満たすかどうかを判定する性能測定装置３３０によって、第１プログラム２１０に要求される性能を満たすと判定されている。第２プログラム２２０は、性能測定装置３３０による第１性能試験２３３の測定結果から、性能測定装置３３０によって第２プログラム２２０に要求される性能を満たさないと判定されている。また、第２プログラム２２０は、性能測定装置３３０による第２性能試験２４４の測定結果から、性能測定装置３３０によって第２プログラム２２０に要求される性能を満たすと判定されている。後述のステップＳ２２では、決定部２３は、第２カバレッジ情報３２２として、第２プログラム２２０の要求性能を満たすと判定されたカバレッジ情報をカバレッジ測定装置３２０から取得する。

図６は、第１差分抽出部２１が取得する第２プログラム２２０の第１カバレッジ情報３２１の例である。第１カバレッジ情報３２１では、第２プログラム２２０のソースコード２２１のうち、コード４０１が実行されなかったことを示す。図６ではコード４０１以外のコードは実行されている。

ステップＳ１２において、第１差分抽出部２１は、第１カバレッジ情報３２１を参照して、複数の差分箇所から、第１性能試験２３３の実行された複数の差分箇所を示す複数の第１差分箇所３１を抽出する。なお、図面では差分箇所を差分と表記している。
図７は、第１差分箇所３１を示す図である。第１差分抽出部２１はステップＳ１１で、複数の差分箇所として、差分箇所Ａ、差分箇所Ｂ、差分箇所Ｃ及び差分箇所Ｄを取得する。第１差分抽出部２１は、第１カバレッジ情報３２１から、差分箇所Ｄが実行されていないコード４０１と知る。よって第１差分抽出部２１は、差分箇所Ａ、差分箇所Ｂ、差分箇所Ｃ及び差分箇所Ｄから、第１差分箇所３１として、差分箇所Ａ、差分箇所Ｂ及び差分箇所Ｃを抽出する。差分箇所Ｄは実行されていないため、処理の対象外になる。差分箇所Ｄは実行されていないため、第２プログラム２２０の性能問題に影響しないからである。

ステップＳ１３において、経路抽出部２２は、第２プログラム２２０のソースコード２２１を構成している複数の要素から、依存関係分析を用いて、影響経路３２を第１差分箇所３１ごとに抽出する。影響経路３２は、第１差分箇所３１によって影響を受ける複数の要素の連鎖を示す。経路抽出部２２は、影響経路３２として関数の連鎖を抽出する。
図８は、図７の第１カバレッジ情報３２１に基づき、経路抽出部２２によって抽出された影響経路３２のリストを示す影響経路リスト２２Ａである。ソースコード２２１を構成している複数の要素とは、図８に示すソースコード２２１を構成するテキスト要素である。経路抽出部２２は、依存関係分析により抽出した影響経路３２を影響経路リスト２２Ａに記録する。経路抽出部２２は、影響経路３２を、関数及び基本ブロックをまたがる単位で記録する。記録の際は、経路抽出部２２は、関数名と行番号とを記録する。以下、図７を参照して経路抽出部２２による影響経路３２の抽出を説明する。図７において、各関数のブロックＢ１からブロックＢ６には、行番号が付されているとする。ブロックＢ１，Ｂ２，Ｂ４，Ｂ５には行番号を示している。
なお、経路抽出部２２が関数名と行番号とを記録することは、一つの例である。すなわち、経路抽出部２２が関数名と行番号とを用いて影響経路３２を特定する方法は、一つの例である。

＜差分箇所Ａ＞
経路抽出部２２は、第１差分箇所３１である差分箇所Ａに依存する影響経路３２を以下のように抽出する。経路抽出部２２は、差分箇所ＡをｆｕｎｃＤの１行目と認識する。経路抽出部２２は、差分箇所ＡがｆｕｎｃＡの１行目の「ｄ＝ｆｕｎｃＤ（）；」に影響すると認識する。経路抽出部２２は、影響を受けるテキスト要素が含まれる関数のブロックにおけるテキスト要素の行番号と、関数のブロックに含まれる関数名を影響経路３２として影響経路リスト２２Ａに記録する。経路抽出部２２は「関数名：行番号」の組で記録する。影響経路３２の起点は、差分箇所Ａが含まれる関数のブロックにおける差分箇所Ａの行番号と、その関数のブロックに含まれる関数名である。経路抽出部２２は差分箇所Ａについて、「ｆｕｎｃＤ：１」、「ｆｕｎｃＡ：１」の影響経路３２を記録する。以下では「関数名：行番号」で表記する場合がある。

＜差分箇所Ｂ＞
経路抽出部２２は、第１差分箇所３１である差分箇所Ｂに依存する影響経路３２を以下のように抽出する。経路抽出部２２は、差分箇所Ｂを「ｆｕｎｃＥ：１」と認識する。経路抽出部２２は、差分箇所ＢがｆｕｎｃＥの３行目の「ｒｅｔｕｒｎ ｅ」に影響すると認識する。経路抽出部２２は影響箇所を「ｆｕｎｃＥ：３」と認識する。経路抽出部２２は、「ｆｕｎｃＥ：３」がｆｕｎｃＡの２行目の「ｅ＝ｆｕｎｃＥ（）」に影響すると認識する。経路抽出部２２は影響箇所を「ｆｕｎｃＡ：２」と認識する。よって、経路抽出部２２は、影響経路３２として、「ｆｕｎｃＥ：１」、「ｆｕｎｃＥ：３」、「ｆｕｎｃＡ：２」の経路を抽出する。

＜差分箇所Ｂ＞
経路抽出部２２は、第１差分箇所３１である差分箇所Ｂに依存するもう一つの影響経路３２を以下のように抽出する。経路抽出部２２は、差分箇所Ｂを「ｆｕｎｃＥ：１」と認識する。経路抽出部２２は、差分箇所ＢがｆｕｎｃＥの３行目の「ｒｅｔｕｒｎ ｅ」に影響すると認識する。経路抽出部２２は影響箇所を「ｆｕｎｃＥ：３」と認識する。経路抽出部２２は、「ｆｕｎｃＥ：３」がｆｕｎｃＢの１行目の「ｉｆ（）｛ｂ＋＝ｆｕｎｃＥ（）；｝」に影響すると認識する。経路抽出部２２は影響箇所を「ｆｕｎｃＢ：１」と認識する。経路抽出部２２は、「ｆｕｎｃＢ：１」がｆｕｎｃＢの３行目の「ｗｈｉｌｅ（ｂ－－）｛Ｂ＋＝ｂ；｝」に影響すると認識する。経路抽出部２２は影響箇所を「ｆｕｎｃＢ：３」と認識する。よって、経路抽出部２２は、影響経路３２として、「ｆｕｎｃＥ：１」、「ｆｕｎｃＥ：３」、「ｆｕｎｃＢ：１」、「ｆｕｎｃＢ：」の経路を抽出する。

＜差分箇所Ｃ＞
経路抽出部２２は、第１差分箇所３１である差分箇所Ｃに依存する影響経路３２を以下のように抽出する。経路抽出部２２は、差分箇所Ｃを「ｆｕｎｃＥ：２」と認識する。経路抽出部２２は、差分箇所ＣがｆｕｎｃＥの３行目の「ｒｅｔｕｒｎ ｅ」に影響すると認識する。経路抽出部２２は影響箇所を「ｆｕｎｃＥ：３」と認識する。経路抽出部２２は、「ｆｕｎｃＥ：３」がｆｕｎｃＡの２行目の「ｅ＝ｆｕｎｃＥ（）；」に影響すると認識する。経路抽出部２２は影響箇所を「ｆｕｎｃＡ：２」と認識する。よって、経路抽出部２２は、影響経路３２として、「ｆｕｎｃＥ：２」、「ｆｕｎｃＥ：３」、「ｆｕｎｃＡ：２」の経路を抽出する。

＜差分箇所Ｃ＞
経路抽出部２２は、第１差分箇所３１である差分箇所Ｃに依存するもう一つの影響経路３２を以下のように抽出する。経路抽出部２２は、差分箇所Ｃを「ｆｕｎｃＥ：２」と認識する。経路抽出部２２は、差分箇所ＣがｆｕｎｃＥの３行目の「ｒｅｔｕｒｎ ｅ」に影響すると認識する。経路抽出部２２は影響箇所を「ｆｕｎｃＥ：３」と認識する。経路抽出部２２は、「ｆｕｎｃＥ：３」がｆｕｎｃＢの１行目の「ｉｆ（）｛ｂ＋＝ｆｕｎｃＥ（）；｝」に影響すると認識する。経路抽出部２２は影響箇所を「ｆｕｎｃＢ：１」と認識する。経路抽出部２２は、「ｆｕｎｃＢ：１」がｆｕｎｃＢの３行目の「ｗｈｉｌｅ（ｂ－－）｛Ｂ＋＝ｂ；｝」に影響すると認識する。経路抽出部２２は影響箇所を「ｆｕｎｃＢ：３」と認識する。よって、経路抽出部２２は、影響経路３２として、「ｆｕｎｃＥ：２」、「ｆｕｎｃＥ：３」、「ｆｕｎｃＢ：１」、「ｆｕｎｃＢ：３」の経路を抽出する。

＜実行フェーズ１＞
実行フェーズ１では、決定部２３は、第２プログラム２２０に性能問題が検出された第１性能試験２３３とは別パラメータを用いた性能テスト、または部分的な性能テストとして実施した第２性能試験２４４のカバレッジ情報である第２カバレッジ情報３２２を使用する。「第２カバレッジ情報３２２」は、第２プログラム２２０のソースコード２２１の複数の行のうち第１試験条件２３１と異なる第２試験条件２４１を使用する第２性能試験２４４の実行された複数の行を示す。第２カバレッジ情報３２２は、第２プログラム２２０の要求性能を満たすと判定された第２性能試験２４４におけるソースコード２２１のカバレッジ情報である。決定部２３は、第２カバレッジ情報３２２に含まれる影響経路を影響経路リスト２２Ａから除外する。これは、第２カバレッジ情報３２２の範囲で実行した第２性能試験２４４が、影響経路３２を含んだ実行でも性能問題が出現しないため、第２カバレッジ情報３２２に含まれる影響経路３２は性能問題を引き起こさないと考えられるからである。

図５を参照して実行フェーズ１を説明する。ステップＳ２１において、図１に示すように、決定部２３は、第２カバレッジ情報３２２を取得する。

ステップＳ２２において、決定部２３は、第１差分箇所３１ごとに抽出された複数の影響経路３２のうち、第２カバレッジ情報３２２に含まれる影響経路３２を決定する。決定部２３は、複数の影響経路３２のうち第２カバレッジ情報３２２に含まれる決定した影響経路３２を、複数の影響経路３２から除外する。具体的には以下のようである。

図９は、第２カバレッジ情報３２２を示している。第２カバレッジ情報３２２は、ｆｕｎｃＡに対するあるパラメータの性能試験で、問題がなかったときのカバレッジ情報である。ｆｕｎｃＡに対する「あるパラメータ」は、第２試験条件２４２に相当する。決定部２３はステップＳ２１で、第２カバレッジ情報３２２を取得する。

ステップＳ２２で決定部２３は以下の処理を行う。決定部２３は、第２カバレッジ情報３２２に含まれる影響経路３２を決定する。
図１０は、実行フェーズ１の影響経路リスト２２Ａを示す。図１０に示すように、決定部２３は、第２カバレッジ情報３２２から、＜差分箇所Ａ＞について、「ｆｕｎｃＤ：１」、「ｆｕｎｃＡ：１」の影響経路３２を決定する。決定部２３は、第２カバレッジ情報３２２から、＜差分箇所Ｂ＞について、「ｆｕｎｃＥ：１」、「ｆｕｎｃＥ：３」、「ｆｕｎｃＡ：２」の影響経路３２を決定する。決定部２３は、第２カバレッジ情報３２２から、＜差分箇所Ｃ＞について、「ｆｕｎｃＥ：２」、「ｆｕｎｃＥ：３」、「ｆｕｎｃＡ：２」の影響経路３２を決定する。

決定部２３は、第２カバレッジ情報３２２に基づき決定した、複数の影響経路３２を影響経路リスト２２Ａから除外する。図１０の破線の範囲の影響経路は、決定部２３によって除外されたことを示している。図１０の影響経路リスト２２Ａでは、ＮＯ．３とＮＯ．５の影響経路３２が残る。

＜出力フェーズ１＞
図１１は、出力フェーズ１の決定部２３の動作を示す。図５及び図１１を参照して決定部２３の動作を説明する。ステップＳ３１において、出力部２４には、除外されずに残っているＮＯ．３とＮＯ．５の影響経路３２が決定部２３から入力される。ステップＳ３２において、出力部２４は、複数の影響経路３２から第２カバレッジ情報３２２に含まれる影響経路３２が除外された結果２５を出力する。具体的には、出力部２４は、入力された影響経路３２に含まれるソースコードを強調表示で表示装置３０に表示する。図１１では出力部２４は破線で囲まれているコードを強調表示する。表示装置３０への表示は出力の例であり、出力部２４は補助記憶装置４へ出力しても良いし、補助記憶装置４以外の他の記憶装置へ結果２５を出力してもよい。以上の実行フェーズ１の結果より、図１０及び図１１に示すように、ＮＯ．１、ＮＯ．２及びＮＯ．４の影響経路３２が影響経路リスト２２Ａから除外された。

＜実行フェーズ２＞
図１２は、実行フェーズ２の第２カバレッジ情報３２２を示している。第２カバレッジ情報３２２は、ｆｕｎｃＢに対するあるパラメータの性能試験で、問題がなかったときのカバレッジ情報である。ｆｕｎｃＢに対する「あるパラメータ」は、第２試験条件２４２に相当する。決定部２３はステップＳ２１で、第２カバレッジ情報３２２を取得する。

実行フェーズ２のステップＳ２２で、決定部２３は以下の処理を行う。決定部２３は、第２カバレッジ情報３２２に含まれる影響経路３２を決定する。
図１３は、実行フェーズ２における影響経路リスト２２Ａを示す。決定部２３は、第２カバレッジ情報３２２から、差分箇所Ｂについて、「ｆｕｎｃＥ：１」、「ｆｕｎｃＥ：３」、「ｆｕｎｃＢ：１」、「ｆｕｎｃＢ：３」の影響経路３２を決定する。決定部２３は、第２カバレッジ情報３２２に基づき決定した、この影響経路３２を影響経路リスト２２Ａから除外する。除外後の状態が図１３の影響経路リスト２２Ａである。なお図１３の影響経路リスト２２ＡにおけるＮＯ．５の影響経路３２は、今回の第２試験条件２４２のｆｕｎｃＢに対するパラメータでは差分箇所Ｃは通らない。よって、ＮＯ．５の差分箇所Ｃは、影響経路リスト２２Ａから削除されない。図１３の影響経路リスト２２Ａでは、ＮＯ．５の影響経路３２のみが残る。

＜出力フェーズ２＞
出力フェーズ２では、影響経路リスト２２Ａのうち、ＮＯ．５の影響経路３２のみが残る。ステップＳ３１において、出力部２４は結果を決定部２３から入力される。ステップＳ３２において、出力部２４は、ＮＯ．５の影響経路３２の元になる差分箇所Ｃを強調表示で出力する表示装置に出力する。
図１４は、出力フェーズ２における出力部２４の動作を示す。出力部２４は、図１４の破線で囲むコードを強調表示で表示装置３０に表示する。以上の実行フェーズ２の結果より、図１３の破線の範囲の影響経路３２は影響経路リスト２２Ａから除外される。

＊＊＊実施の形態１の効果の説明＊＊＊
経路決定装置１によれば、性能問題のある差分箇所と第１差分箇所３１から影響を受ける影響経路３２とについて、性能問題に影響しない影響経路を除いて絞り込んだ状態で、影響経路を、ユーザに提示できる。よって本発明の経路決定装置は、ユーザによるプログラムの性能問題の原因特定を、容易化することができる。

なお、実行フェーズにおける特定の関数に限定したコードカバレッジの扱い方を補足しておく。
（Ａ）対象関数を最上位関数とする部分的なテストを利用する場合．
決定部２３は、性能問題がなかった場合、実行した「部分的なテスト」のカバレッジ情報に含まれる影響経路３２を影響経路リスト２２Ａから除外する。
（Ｂ）全体のテストを利用する場合．
性能測定装置３３０による性能測定では、その特定の関数のみを測定する。性能問題がなかった場合、決定部２３は、ソースコード全体に対するカバレッジ情報に含まれる、特定の関数が最上位の影響先である影響経路３２のみを、影響経路リスト２２Ａ］から除外する。

なお、差分箇所の影響する影響経路の取得には、コードの依存関係分析を用いる。依存関係分析は以下のアドレスに開示されているような一般的な技術を用いることができる。
ｈｔｔｐｓ：／／ｗｗｗ．ｇｒａｍｍａｔｅｃｈ．ｃｏｍ／ｃｏｄｅｓｕｒｆｅｒ－ｂｉｎａｒｉｅｓ．
ｈｔｔｐ：／／ｕｎｄｅｒｓｔａｎｄ．ｔｅｃｈｍａｔｒｉｘ．ｊｐ／．

実施の形態１では、性能測定装置３３０によるプログラムの性能問題の判定方法には規定しない。プログラムの性能問題の判定方法として、例えば以下の判定方法が考えられる。プログラムの性能試験結果の数値と閾値とを比較することにより、性能測定装置３３０は、プログラムに性能問題があるかどうかを判断する。あるいは，性能測定装置３３０は、プログラムの性能試験を新バージョンと旧バージョンで行い、試験結果の数値の差に基づき、新バージョンに性能問題があるかどうかを判断する。

＜ハードウェア構成の補足＞
図２の経路決定装置１では、経路決定装置１の機能がソフトウェアで実現される。しかし、経路決定装置１の機能がハードウェアで実現されてもよい。
図１５は、経路決定装置１の機能がハードウェアで実現される構成を示す。図１５の電子回路９０は、経路決定装置１の第１差分抽出部２１、経路抽出部２２、決定部２３及び出力部２４の機能を実現する専用の電子回路である。電子回路９０は、信号線９１に接続している。電子回路９０は、具体的には、単一回路、複合回路、プログラム化したプロセッサ、並列プログラム化したプロセッサ、ロジックＩＣ、ＧＡ、ＡＳＩＣ、または、ＦＰＧＡである。ＧＡは、Ｇａｔｅ Ａｒｒａｙの略語である。ＡＳＩＣは、Ａｐｐｌｉｃａｔｉｏｎ Ｓｐｅｃｉｆｉｃ Ｉｎｔｅｇｒａｔｅｄ Ｃｉｒｃｕｉｔの略語である。ＦＰＧＡは、Ｆｉｅｌｄ－Ｐｒｏｇｒａｍｍａｂｌｅ Ｇａｔｅ Ａｒｒａｙの略語である。経路決定装置１の構成要素の機能は、１つの電子回路で実現されてもよいし、複数の電子回路に分散して実現されてもよい。また、経路決定装置１の構成要素の一部の機能が電子回路で実現され、残りの機能がソフトウェアで実現されてもよい。

プロセッサ２と電子回路９０の各々は、プロセッシングサーキットリとも呼ばれる。経路決定装置１において、第１差分抽出部２１、経路抽出部２２、決定部２３及び出力部２４の機能の機能がプロセッシングサーキットリにより実現されてもよい。あるいは、第１差分抽出部２１、経路抽出部２２、決定部２３、出力部２４、主記憶装置３、補助記憶装置４、入力ＩＦ５、出力ＩＦ６及び通信ＩＦ７の機能がプロセッシングサーキットリにより実現されてもよい。

以上、実施の形態１について説明したが、実施の形態１のうち、１つを部分的に実施しても構わない。あるいは、実施の形態１のうち、２つ以上を部分的に組み合わせて実施しても構わない。なお、本発明は、実施の形態１に限定されるものではなく、必要に応じて種々の変更が可能である。

１ 経路決定装置、２ プロセッサ、３ 主記憶装置、４ 補助記憶装置、５ 入力ＩＦ、６ 出力ＩＦ、７ 通信ＩＦ、８ 信号線、２１ 第１差分抽出部、２２ 経路抽出部、２２Ａ 影響経路リスト、２３ 決定部、２４ 出力部、２５ 結果、３０ 表示装置、３１ 第１差分箇所、３２ 影響経路、４４ 経路決定プログラム、９０ 電子回路、９１ 信号線、２００ プログラム格納装置、２０１ ソースコードリポジトリ、２０２ 実行プログラム格納装置、２１０ 第１プログラム、２１１ ソースコード、２１２ 実行プログラム、２２０ 第２プログラム、２２１ ソースコード、２２２ 実行プログラム、２３１ 第１試験条件、２３３ 第１性能試験、２４２ 第２試験条件、２４４ 第２性能試験、３００ 外部装置、３１０ 差分抽出装置、３２０ カバレッジ測定装置、３２１ 第１カバレッジ情報、３２２ 第２カバレッジ情報、３３０ 性能測定装置、４０１ コード。

Claims (5)

1. 第１プログラムのソースコードと前記第１プログラムがバージョンアップされた第２プログラムのソースコードとの相違箇所を示す複数の差分箇所と、第１試験条件を使用して前記第２プログラムの全体を試験する第１性能試験によって実行された複数の行を示す第１カバレッジ情報とを取得し、前記第１カバレッジ情報を参照して、前記複数の差分箇所から、前記第１性能試験の実行された複数の差分箇所を示す複数の第１差分箇所を抽出する第１差分抽出部と、
   前記第２プログラムの前記ソースコードを構成している複数の要素から、前記第１差分箇所によって影響を受ける複数の要素の連鎖を示す影響経路を、前記第１差分箇所ごとに抽出する経路抽出部と、
   前記第２プログラムの前記ソースコードの複数の行のうち前記第１試験条件と異なる第２試験条件を使用する第２性能試験の実行された複数の行を示す第２カバレッジ情報を取得し、前記第１差分箇所ごとに抽出された複数の影響経路のうち、前記第２カバレッジ情報に含まれる前記影響経路を決定する決定部と、
   を備える経路決定装置。
2. 前記第１プログラムは、
   プログラムの性能を測定して前記プログラムが性能を満たすかどうかを判定する性能測定装置によって、前記第１プログラムに要求される性能を満たすと判定されており、
   前記第２プログラムは、
   前記性能測定装置による前記第１性能試験の測定結果から、前記性能測定装置によって前記第２プログラムに要求される性能を満たさないと判定されており、前記性能測定装置による前記第２性能試験の測定結果から、前記性能測定装置によって前記第２プログラムに要求される性能を満たすと判定されている請求項１に記載の経路決定装置。
3. 前記決定部は、
   前記複数の影響経路のうち前記第２カバレッジ情報に含まれる前記影響経路を、前記複数の影響経路から除外し、
   前記経路決定装置は、さらに、
   前記複数の影響経路から前記第２カバレッジ情報に含まれる前記影響経路が除外された結果を出力する出力部を備えている請求項１または請求項２に記載の経路決定装置。
4. 前記経路抽出部は、
   前記影響経路として関数の連鎖を抽出する請求項１から請求項３のいずれか１項に記載の経路決定装置。
5. コンピュータに、
   第１プログラムのソースコードと前記第１プログラムがバージョンアップされた第２プログラムのソースコードとの相違箇所を示す複数の差分箇所と、第１試験条件を使用して前記第２プログラムの全体を試験する第１性能試験によって実行された複数の行を示す第１カバレッジ情報とを取得し、前記第１カバレッジ情報を参照して、前記複数の差分箇所から、前記第１性能試験の実行された複数の差分箇所を示す複数の第１差分箇所を抽出する第１差分抽出処理と、
   前記第２プログラムの前記ソースコードを構成している複数の要素から、前記第１差分箇所によって影響を受ける複数の要素の連鎖を示す影響経路を、前記第１差分箇所ごとに抽出する経路抽出処理と、
   前記第２プログラムの前記ソースコードの複数の行のうち前記第１試験条件と異なる第２試験条件を使用する第２性能試験の実行された複数の行を示す第２カバレッジ情報を取得し、前記第１差分箇所ごとに抽出された複数の影響経路のうち、前記第２カバレッジ情報に含まれる前記影響経路を決定する決定処理と、
   を実行させる経路決定プログラム。

Images