特許 7480082 ソフトウェア開発支援装置、方法及びプログラム

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

(12)【公報種別】特許公報(B2)

(11)【特許番号】

(24)【登録日】2024-04-26

(45)【発行日】2024-05-09

(54)【発明の名称】ソフトウェア開発支援装置、方法及びプログラム

(51)【国際特許分類】

   G06F 8/77 20180101AFI20240430BHJP

   G06F 8/65 20180101ALI20240430BHJP

【ＦＩ】

G06F8/77

G06F8/65

【請求項の数】 8

(21)【出願番号】P 2021036370

(22)【出願日】2021-03-08

(65)【公開番号】P2022136658

(43)【公開日】2022-09-21

【審査請求日】2023-03-13

(73)【特許権者】

【識別番号】000003078

【氏名又は名称】株式会社東芝

(74)【代理人】

【識別番号】110001737

【氏名又は名称】弁理士法人スズエ国際特許事務所

(72)【発明者】

【氏名】松本 雄磨

(72)【発明者】

【氏名】田中 里奈

(72)【発明者】

【氏名】池田 信之

【審査官】北川 純次

(56)【参考文献】

【文献】特開２０１１－１８０８１４（ＪＰ，Ａ）

【文献】特開２０２０－０６７６９７（ＪＰ，Ａ）

【文献】国際公開第２０１６／００１９８２（ＷＯ，Ａ１）

【文献】国際公開第２０１４／１１２３１７（ＷＯ，Ａ１）

(58)【調査した分野】(Int.Cl.，ＤＢ名)

Ｇ０６Ｆ ８／００ － ８／７７

(57)【特許請求の範囲】

【請求項1】

プログラム言語を用いて記述された変数及び条件分岐を含む複数の行から構成されるソースコードを取得する取得手段と、
前記取得されたソースコードにおいて値が変更された変数及び当該変数に対する値が変更された行を示す第１行番号を入力する入力手段と、
前記取得されたソースコードを構成する複数の行のうち、前記入力された変数が読み取られる行を示す第２行番号を特定する特定手段と、
前記入力された第１行番号によって示される行から前記特定された第２行番号によって示される行までの実行経路中に記述されている条件分岐の数を計測する計測手段と、
前記計測された条件分岐の数に基づいて前記特定された第２行番号を表示する表示手段と
を具備するソフトウェア開発支援装置。

【請求項2】

前記表示手段は、前記計測された条件分岐の数を更に表示する請求項１記載のソフトウェア開発支援装置。

【請求項3】

前記計測手段は、前記入力された変数が読み取られる行を示す複数の第２行番号が特定された場合、当該第２行番号毎に前記条件分岐の数を計測し、
前記表示手段は、前記複数の第２行番号のうち、前記計測された条件分岐の数が最も大きい第２行番号を表示する
請求項１または２記載のソフトウェア開発支援装置。

【請求項4】

前記計測手段は、前記入力された変数が読み取られる行を示す複数の第２行番号が特定された場合、当該第２行番号毎に前記条件分岐の数を計測し、
前記表示手段は、前記複数の第２行番号のうち、前記計測された条件分岐の数が予め定められた値以上である第２行番号を表示する
請求項１または２記載のソフトウェア開発支援装置。

【請求項5】

前記計測手段は、前記入力された第１行番号によって示される行から前記特定された第２行番号によって示される行までの第１及び第２実行経路が存在する場合、当該第１実行経路中に記述されている条件分岐の第１数よりも小さい第２実行経路中に記述されている条件分岐の第２数を計測する請求項１～４のいずれか一項に記載のソフトウェア開発支援装置。

【請求項6】

前記入力された第１行番号によって示される行から前記特定された第２行番号によって示される行までの実行経路中に前記入力された変数が上書きされる行が存在する場合、当該第２行番号は表示されない請求項１～５のいずれか一項に記載のソフトウェア開発支援装置。

【請求項7】

ソフトウェア開発支援装置が実行する方法であって、
プログラム言語を用いて記述された変数及び条件分岐を含む複数の行から構成されるソースコードを取得することと、
前記取得されたソースコードにおいて値が変更された変数及び当該変数に対する値が変更された行を示す第１行番号を入力することと、
前記取得されたソースコードを構成する複数の行のうち、前記入力された変数が読み取られる行を示す第２行番号を特定することと、
前記入力された第１行番号によって示される行から前記特定された第２行番号によって示される行までの実行経路中に記述されている条件分岐の数を計測することと、
前記計測された条件分岐の数に基づいて前記特定された第２行番号を表示することと
を具備する方法。

【請求項8】

ソフトウェア開発支援装置のコンピュータによって実行されるプログラムであって、
前記コンピュータに、
プログラム言語を用いて記述された変数及び条件分岐を含む複数の行から構成されるソースコードを取得することと、
前記取得されたソースコードにおいて値が変更された変数及び当該変数に対する値が変更された行を示す第１行番号を入力することと、
前記取得されたソースコードを構成する複数の行のうち、前記入力された変数が読み取られる行を示す第２行番号を特定することと、
前記入力された第１行番号によって示される行から前記特定された第２行番号によって示される行までの実行経路中に記述されている条件分岐の数を計測することと、
前記計測された条件分岐の数に基づいて前記特定された第２行番号を表示することと
を実行させるためのプログラム。

【発明の詳細な説明】

【技術分野】

【0001】

本発明の実施形態は、ソフトウェア開発支援装置、方法及びプログラムに関する。

【背景技術】

【0002】

一般に、ソフトウェア製品の開発は、パーソナルコンピュータ等の情報処理装置上で提供される統合開発環境（ＩＤＥ：Integrated Development Environment）において行われることが知られている。ＩＤＥは、ソフトウェア製品の総合的な開発環境であり、様々なツールの集合から構成される。

【0003】

このようなＩＤＥを構成する様々なツールを用いることによって、効率的なソフトウェア製品の開発が可能となる。

【0004】

ところで、上記したソフトウェア製品の開発においては必要に応じてソースコードを編集（改修）することがあるが、当該ソースコードの特定の箇所に対して行われた変更は当該ソースコード中の他の箇所に影響を与える可能性がある。具体的には、ソースコードにおいて記述されている変数に対する値が変更された場合、当該変数が読み取られる箇所（リード箇所）に影響を与えることがある。ソースコードの編集時に、このような変数に対する値の変更が当該リード箇所に与える影響を見落としていると、不具合の原因となる。

【0005】

このため、上記したソースコードを編集する作業（ソースコードに対する編集作業）を支援する仕組みが望まれている。

【先行技術文献】

【特許文献】

【0006】

【文献】特開２０１３－１２５４６６号公報

【発明の概要】

【発明が解決しようとする課題】

【0007】

そこで、本発明が解決しようとする課題は、ソースコードに対する編集作業を支援することが可能なソフトウェア開発支援装置、方法及びプログラムを提供することにある。

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

【0008】

実施形態に係るソフトウェア開発支援装置は、取得手段と、入力手段と、特定手段と、計測手段と、表示手段とを具備する。前記取得手段は、プログラム言語を用いて記述された変数及び条件分岐を含む複数の行から構成されるソースコードを取得する。前記入力手段は、前記取得されたソースコードにおいて値が変更された変数及び当該変数に対する値が変更された行を示す第１行番号を入力する。前記特定手段は、前記取得されたソースコードを構成する複数の行のうち、前記入力された変数が読み取られる行を示す第２行番号を特定する。前記計測手段は、前記入力された第１行番号によって示される行から前記特定された第２行番号によって示される行までの実行経路中に記述されている条件分岐の数を計測する。前記表示手段は、前記計測された条件分岐の数に基づいて前記特定された第２行番号を表示する。

【図面の簡単な説明】

【0009】

【図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】表示されるリード箇所の一例について説明するための図。

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

【0010】

以下、図面を参照して、実施形態について説明する。
本実施形態に係るソフトウェア開発支援装置は、ソフトウェア開発におけるソースコードに対する編集作業（改修作業）を支援するために用いられる。

【0011】

なお、ソフトウェア開発支援装置１０は、ソフトウェア製品の開発作業（ソフトウェア製品を実現するためのソースコードの編集作業等）の際にユーザによって使用されるパーソナルコンピュータ等の情報処理装置であり、統合開発環境（以下、ＩＤＥと表記）を当該ユーザに提供する。ＩＤＥは様々なツールの集合から構成されており、ユーザは、当該ＩＤＥを構成する様々なツールを用いて効率的なソフトウェア製品の開発を行うことができる。

【0012】

図１は、本実施形態に係るソフトウェア開発支援装置の機能構成の一例を示すブロック図である。図１に示すように、ソフトウェア開発支援装置１０は、格納部１１、入力部１２、計測部１３及び表示部１４を含む。

【0013】

格納部１１には、ソフトウェア製品を実現するためのソースコードが格納されている。格納部１１に格納されているソースコードは例えば複数の行から構成されており、当該ソースコードを構成する複数の行の各々には、所定のプログラミング言語を用いて記述された変数や条件分岐等が記述されている。

【0014】

ここで、上記したＩＤＥを構成するツールを用いることによってユーザ（ソフトウェア製品の開発者）は上記したソースコードを編集することができるが、当該ソースコードの編集において、当該ソースコードに記述されている変数に対する値が変更された場合を想定する。このような変数に対する値の変更は、ソースコード中に記述されている当該変数（に対する値）が読み取られる箇所に影響を与え、結果として不具合の発生につながることがある。

【0015】

このため、ソースコード中の変数に対する値を変更するような場合には当該変更が及ぼす影響等を十分に検討しておく必要があるが、当該変数に対する値が変更された箇所（行）から当該変数が読み取られる箇所（行）までの実行経路が複雑である場合、ユーザは当該実行経路（シナリオ）を確認することが困難であり、上記した変数に対する値の変更が与える影響を見落とす可能性がある。なお、本実施形態における変数としてはソースコード中に記述（設定）されている様々な変数が含まれるが、グローバル変数（に対する値）が変更された場合には、当該変更による影響が大きく、不具合が発生しやすい。

【0016】

そこで、本実施形態においては、上記したように変数に対する値が変更された箇所から当該変数が読み取られる箇所までの実行経路中に条件分岐が多いほど当該変更が与える影響を見落とす可能性が高くなるという観点に基づき、当該影響の見落としを防止するための構成を有する。

【0017】

入力部１２は、格納部１１に格納されているソースコードにおいて値が変更された変数（以下、調査対象変数と表記）及び当該変数に対する値が変更された行を示す行番号（以下、調査起点箇所と表記）を入力する。

【0018】

計測部１３は、格納部１１に格納されているソースコードを取得する。計測部１３は、取得されたソースコードを構成する複数の行のうち、調査対象変数が読み取られる行を示す行番号（以下、リード箇所と表記）を特定する。なお、計測部１３によって特定されるリード箇所は、複数であっても構わない。

【0019】

計測部１３は、入力部１２によって入力された調査起点箇所から当該計測部１３によって特定されたリード箇所までの実行経路中に記述されている条件分岐の数（以下、分岐数と表記）を計測する。なお、本実施形態における分岐数とは、上記した実行経路中において条件分岐が記述されている行（を示す行番号）の数をいう。

【0020】

表示部１４は、計測部１３によって計測された分岐数に基づいてリード箇所を表示する。この場合、上記したように分岐数が多いほどリード箇所に与える影響を見落とす可能性が高くなるとの観点から、表示部１４は、例えば計測部１３によって計測された分岐数が多い（つまり、調査起点箇所からリード箇所までの条件分岐の数が大きい）リード箇所を表示する。

【0021】

なお、図１においては省略されているが、ソフトウェア開発支援装置１０は、格納部１１、入力部１２、計測部１３及び表示部１４以外に、上記したＩＤＥを構成する様々なツールによって実現される機能部を有しているものとする。

【0022】

図２は、図１に示すソフトウェア開発支援装置１０のシステム構成の一例を示す。図２に示すように、ソフトウェア開発支援装置１０は、ＣＰＵ１０１、不揮発性メモリ１０２、主メモリ１０３、ＢＩＯＳ－ＲＯＭ１０４、システムコントローラ１０５、入力デバイス１０６、表示デバイス１０７及びエンベデッドコントローラ（ＥＣ）１０８等を備える。

【0023】

ＣＰＵ１０１は、ソフトウェア開発支援装置１０内の各コンポーネントの動作を制御するプロセッサである。ＣＰＵ１０１は、ストレージデバイスである不揮発性メモリ１０２から主メモリ１０３にロードされる様々なプログラムを実行する。このプログラムには、オペレーティングシステム（ＯＳ）、ユーザに対してＩＤＥを提供するためのアプリケーションプログラム及び当該アプリケーションプログラム（ツール）に組み込まれるプラグイン等が含まれる。

【0024】

なお、ＣＰＵ１０１は、ＢＩＯＳ－ＲＯＭ１０４に格納された基本入出力システム（ＢＩＯＳ）も実行する。ＢＩＯＳは、ハードウェア制御のためのプログラムである。

【0025】

システムコントローラ１０５は、ＣＰＵ１０１のローカルバスと各種コンポーネントとの間を接続するデバイスである。

【0026】

入力デバイス１０６は、例えばキーボード及びマウス等を含む。表示デバイス１０７は、例えば液晶表示装置のようなディスプレイ等を含む。ＥＣ１０８は、電力管理のためのワンチップマイクロコンピュータである。

【0027】

図２においては、ＣＰＵ１０１、不揮発性メモリ１０２、主メモリ１０３、ＢＩＯＳ－ＲＯＭ１０４、システムコントローラ１０５、入力デバイス１０６、表示デバイス１０７及びＥＣ１０８のみが示されているが、ソフトウェア開発支援装置１０は、例えばＨＤＤ（Hard Disk Drive）及びＳＳＤ（Solid State Drive）のような他の記憶装置を備えていてもよいし、外部装置との通信を実行するように構成された通信デバイス等を備えていてもよい。

【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】

なお、図５によれば、ｓが条件分岐である場合にはｒ１及びｒ２のうちの値が小さい方に１を加算した値を返すこと示されているが、ｒ１は条件がｔｒｕｅであるときに新たなｓ、ｄ、Ａを入力として再度実行される分岐数計測処理における出力（return）を示し、ｒ２は条件がｆａｌｓｅであるときに新たなｓ、ｄ、Ａを入力として再度実行される分岐数計測処理における出力（return）を示す。よって、この時点では上記した行番号ｓ「４」、リード箇所ｄ「７」、計測終了箇所リストＡ「６，３」を入力とした分岐数計測処理の出力を得ることはできない。

【0063】

分岐数計測処理の入力が行番号ｓ「５」、リード箇所ｄ「７」及び計測終了箇所リストＡ「６，３，４」である場合、ソースコードの５行目には、ｉｆ文（つまり、条件分岐）が記述されている。上記した図６によれば、ｓが条件分岐である場合には、当該ｓを計測終了箇所リストＡに追加するとともに、当該ｓを当該条件がｔｒｕｅであるときに次に実行される行番号（ここでは、「６」）とした上で、新たなｓ、ｄ、Ａを入力とした分岐数計測処理が再度実行されることが示されている。この場合、図１０に示すように、分岐数計測（６，７，［６，３，４，５］）が実行される。

【0064】

分岐数計測処理の入力が行番号ｓ「６」、リード箇所ｄ「７」及び計測終了箇所リストＡ「６，３，４，５」である場合、ソースコードの６行目は、計測終了箇所リストＡに含まれている。上記した図６によれば、ｓがＡに含まれる場合には「∞」返すことが示されている。よって、分岐数計測（６，７，［６，３，４，５］）の出力は、図１０に示すように「∞」となる。

【0065】

ここで、上記したようにソースコードの５行目には条件分岐が記述されているが、上記した図６によれば、ｓが条件分岐である場合には、当該ｓを計測終了箇所リストＡに追加するとともに、当該ｓを当該条件がｆａｌｓｅであるときに次に実行される行番号（ここでは、「９」）とした上で、新たなｓ、ｄ、Ａを入力とした分岐数計測処理が再度実行されることが示されている。この場合、図１１に示すように、分岐数計測（９，７，［６，３，４，５］）が実行される。

【0066】

分岐数計測処理の入力が行番号ｓ「９」、リード箇所ｄ「７」及び計測終了箇所リストＡ「６，３，４，５」である場合、ソースコードの９行目には、条件分岐は記述されていない。この場合、図１２に示すように、分岐数計測（１０，７，［６，３，４，５，９］）が実行される。

【0067】

分岐数計測処理の入力が行番号ｓ「１０」、リード箇所ｄ「７」及び計測終了箇所リストＡ「６，３，４，５，９」である場合、ソースコードの１０行目には、条件分岐は記述されていない。なお、上記したソースコードの４行目に記述されているｗｈｉｌｅ文は処理を繰り返すため、行番号ｓが「１０」である場合、次に実行される行番号は「４」である。この場合、図１３に示すように、分岐数計測（４，７，［６，３，４，５，９，１０］）が実行される。

【0068】

分岐数計測処理の入力が行番号ｓ「４」、リード箇所ｄ「７」及び計測終了箇所リストＡ「６，３，４，５，９，１０」である場合、ソースコードの４行目は、計測終了箇所リストＡに含まれている。この場合、分岐数計測（４，７，［６，３，４，５，９，１０］）の出力は、図１３に示すように「∞」となる。

【0069】

更に、上記した分岐数計測（４，７，［６，３，４，５，９，１０］）は、分岐数計測（１０，７，［６，３，４，５，９］）の出力を得るために再帰呼び出しによって実行される処理である。このため、分岐数計測（４，７，［６，３，４，５，９，１０］）の出力が「∞」である場合、図１３に示すように分岐数計測（１０，７，［６，３，４，５，９］）の出力も「∞」となる。分岐数計測（１０，７，［６，３，４，５，９］）の前に実行される分岐数計測（９，７，［６，３，４，５］）の出力も同様に「∞」となる。

【0070】

上記したようにｓが条件分岐である場合にはｒ１及びｒ２のうちの値が小さい方に１を加算した値を返すが、条件分岐が記述されている５行目についての分岐数計測（５，７，［６，３，４］）に着目すると、ｒ１（つまり、分岐数計測（６，７，［６，３，４，５］の出力）及びｒ２（つまり、分岐数計測（９，７，［６，３，４，５］の出力）のうちの値が小さい方に１を加算した値は「∞＋１」である。この場合、「∞＋１」は「∞」と同値とみなすことができるため、分岐数計測（５，７，［６，３，４］）の出力は、図１４に示すように「∞」となる。

【0071】

次に、上記したようにソースコードの４行目には条件分岐が記述されているが、上記した図６によれば、ｓが条件分岐である場合には、当該ｓを計測終了箇所リストＡに追加するとともに、当該ｓを当該条件がｆａｌｓｅであるときに次に実行される行番号（ここでは、「１２」）とした上で、新たなｓ、ｄ、Ａを入力とした分岐数計測処理が再度実行されることが示されている。この場合、図１５に示すように、分岐数計測（１２，７，［６，３，４］）が実行される。

【0072】

分岐数計測処理の入力が行番号ｓ「１２」、リード箇所ｄ「７」及び計測終了箇所リストＡ「６，３，４」である場合、ソースコードの１２行目には、条件分岐は記述されていない。この場合、図１６に示すように、分岐数計測（１３，７、［６，３，４，１２］）が実行される。

【0073】

分岐数計測処理の入力が行番号ｓ「１３」、リード箇所ｄ「７」及び計測終了箇所リストＡ「６，３，４，１２」である場合、ソースコードの１３行目は、当該ソースコードの最後の行であり、次に実行される行は存在しない。上記した図６によれば、ｓの次に実行される行が存在しない場合には「∞」を返すことが示されている。よって、分岐数計測（１３，７，［６，３，４，１２］）の出力は、図１６に示すように「∞」となる。分岐数計測（１３，７，［６，３，４，１２］）の前に実行される分岐数計測（１２，７，［６，３，４］）の出力も同様に「∞」となる。

【0074】

上記したようにｓが条件分岐である場合にはｒ１及びｒ２のうちの値が小さい方に１を加算した値を返すが、条件分岐が記述されている４行目についての分岐数計測（４，７、［６，３］）に着目すると、ｒ１（つまり、分岐数計測（５，７、［６，３，４］）の出力）及びｒ２（つまり、分岐数計測（１２，７、［６，３，４］）の出力）のうちの値が小さい方に１を加算した値は「∞＋１」である。この場合、「∞＋１」は「∞」と同値とみなすことができるため、分岐数計測（４，７，［６，３］）の出力は、図１７に示すように「∞」となる。分岐数計測（４，７，［６，３］）の前に実行される分岐数計測（３，７，［６］）の出力も同様に「∞」となる。

【0075】

上記したようにリード箇所「７」について分岐数計測処理が実行された場合、図７～図１７において説明したように処理を繰り返すことにより、当該分岐数計測処理の出力として「∞」が得られる。この分岐数計測処理の出力「∞」は、調査起点箇所である３行目から計測終了箇所リストに含まれる計測終了箇所（例えば、６行目）を通らずにリード箇所である７行目に到達することができないことを示している。

【0076】

次に、リード箇所「１０」について実行される分岐数計測処理について説明する。この場合、計測部１３は、図１８に示すように、調査起点箇所ｓ「３」、リード箇所ｄ「１０」及び計測終了箇所リストＡ「６」を入力として分岐数計測処理（つまり、分岐数計測（３，１０，［６］））を実行する。

【0077】

ここで、調査起点箇所ｓは「３」であり、ソースコードの３行目には、条件分岐は記述されていない。この場合、図１９に示すように、分岐数計測（４，１０，［６，３］）が実行される。

【0078】

分岐数計測処理の入力が行番号ｓ「４」、リード箇所ｄ「１０」及び計測終了箇所リストＡ「６，３」である場合、ソースコードの４行目には、条件分岐が記述されている。この場合、図２０に示すように、分岐数計測（５，１０，［６，３，４］）が実行される。なお、この分岐数計測処理における行番号ｓ「５」は、行番号ｓ「４」に記述されている条件（分岐）がｔｒｕｅであるときに次に実行される行番号である。

【0079】

分岐数計測処理の入力が行番号ｓ「５」、リード箇所ｄ「１０」及び計測終了箇所リストＡ「６，３，４」である場合、ソースコードの５行目には、条件分岐が記述されている。この場合、図２１に示すように、分岐数計測（６，１０，［６，３，４，５］）が実行される。この分岐数計測処理における行番号ｓ「６」は、行番号ｓ「５」に記述されている条件（分岐）がｔｒｕｅであるときに次に実行される行番号である。

【0080】

分岐数計測処理の入力が行番号ｓ「６」、リード箇所ｄ「１０」及び計測終了箇所リストＡ「６，３，４，５」である場合、ソースコードの６行目は、計測終了箇所リストＡに含まれている。この場合、分岐数計測（６，１０，［６，３，４，５］）の出力は、図２１に示すように「∞」となる。

【0081】

ここで、上記したようにソースコードの５行目には条件分岐が記述されているため、図２２に示すように、分岐数計測（９，１０，［６，３，４，５］）が実行される。なお、この分岐数計測処理における行番号ｓ「９」は、行番号ｓ「５」に記述されている条件（分岐）がｆａｌｓｅであるときに次に実行される行番号である。

【0082】

分岐数計測処理の入力が行番号ｓ「９」、リード箇所ｄ「１０」及び計測終了箇所リストＡ「６，３，４，５」である場合、ソースコードの９行目には、条件分岐は記述されていない。この場合、図２３に示すように、分岐数計測（１０，１０，［６，３，４，５，９］）が実行される。

【0083】

分岐数計測処理の入力が行番号ｓ「１０」、リード箇所ｄ「１０」及び計測終了箇所リストＡ「６，３，４，５，９」である場合、ソースコードの１０行目は、リード箇所ｄ「１０」と一致する。上記した図６によれば、ｓがｄと一致する場合には「０」を返すことが示されている。よって、分岐数計測（１０，１０，［６，３，４，５，９］）の出力は、図２３に示すように「０」となる。分岐数計測（１０，１０，［６，３，４，５，９］）の前に実行される分岐数計測（９，１０，［６，３，４，５］）の出力も同様に「０」となる。

【0084】

ここで、上記したようにｓが条件分岐である場合にはｒ１及びｒ２のうちの値が小さい方に１を加算した値を返すが、条件分岐が記述されている５行目についての分岐数計測（５，１０、［６，３，４］）に着目すると、ｒ１（つまり、分岐数計測（６，１０、［６，３，４，５］）の出力）及びｒ２（つまり、分岐数計測（９，１０、［６，３，４，５］）の出力）のうちの値が小さい方は「０」であり、当該値に１を加算した値は「１」である。この場合、分岐数計測（５，１０，［６，３，４］）の出力は、図２４に示すように「１」となる。本実施形態においては、このようにｒ１及びｒ２のうちの値が小さい方に１を加算した値を返すことにより、同一のリード箇所に到達するまでに複数の実行経路が存在する場合には、当該複数の実行経路の中から最小の分岐数を選択することができる。

【0085】

次に、上記したようにソースコードの４行目には条件分岐が記述されているため、図２５に示すように、分岐数計測（１２，１０，［６，３，４］）が実行される。なお、この分岐数計測処理における行番号ｓ「１２」は、行番号ｓ「４」に記述されている条件（分岐）がｆａｌｓｅであるときに次に実行される行番号である。

【0086】

分岐数計測処理の入力が行番号ｓ「１２」、リード箇所ｄ「１０」及び計測終了箇所リストＡ「６，３，４」である場合、ソースコードの１２行目には、条件分岐は記述されていない。この場合、図２６に示すように、分岐数計測（１３，１０，［６，３，４，１２］）が実行される。

【0087】

分岐数計測処理の入力が行番号ｓ「１３」、リード箇所ｄ「１０」及び計測終了箇所リストＡ「６，３，４，１２」である場合、ソースコードの１３行目は、当該ソースコードの最後の行であり、次に実行される行は存在しない。この場合、分岐数計測（１３，１０，［６，３，４，１２］）の出力は、図２６に示すように「∞」となる。分岐数計測（１３，１０，［６，３，４，１２］）の前に実行される分岐数計測（１２，１０，［６，３，４］）の出力も同様に「∞」となる。

【0088】

ここで、上記したようにｓが条件分岐である場合にはｒ１及びｒ２のうちの値が小さい方に１を加算した値を返すが、条件分岐が記述されている４行目についての分岐数計測（４，１０，［６，３］）に着目すると、ｒ１（つまり、分岐数計測（５，１０，［６，３，４］）の出力）及びｒ２（つまり、分岐数計測（１２，１０，［６，３，４］）の出力）のうちの値が小さい方は「１」であり、当該値に１を加算した値は「２」である。この場合、分岐数計測（４，１０，［６，３］）の出力は、図２７に示すように「２」となる。分岐数計測（４，１０，［６，３］）の前に実行される分岐数計測（３，１０，［６］）の出力も同様に「２」となる。

【0089】

上記したようにリード箇所「１０」について分岐数計測処理が実行された場合、図１８～図２７において説明したように処理を繰り返すことにより、当該分岐数計測処理の出力として「２」が得られる。この分岐数計測処理の出力「２」は、調査起点箇所である３行目から計測終了箇所リストに含まれる計測終了箇所（例えば、６行目）を通らずにリード箇所である１０行目に到達するまでに条件分岐が２つ存在することを示している。

【0090】

次に、リード箇所「１３」について実行される分岐数計測処理について説明する。この場合、計測部１３は、図２８に示すように、調査起点箇所ｓ「３」、リード箇所ｄ「１３」及び計測終了箇所リストＡ「６」を入力として分岐数計測処理（つまり、分岐数計測（３，１３，［６］））を実行する。

【0091】

ここで、調査起点箇所ｓは「３」であり、ソースコードの３行目には、条件分岐は記述されていない。この場合、図２９に示すように、分岐数計測（４，１３，［６，３］）が実行される。

【0092】

分岐数計測処理の入力が行番号ｓ「４」、リード箇所ｄ「１３」及び計測終了箇所リスト「６，３」である場合、ソースコードの４行目には、条件分岐が記述されている。この場合、図３０に示すように、分岐数計測（５，１３，［６，３，４］）が実行される。なお、この分岐計測処理における行番号ｓ「５」は、行番号ｓ「４」に記述されている条件（分岐）がｔｒｕｅであるときに次に実行される行番号である。

【0093】

分岐数計測処理の入力が行番号ｓ「５」、リード箇所ｄ「１３」及び計測終了箇所リストＡ「６，３，４」である場合、ソースコードの５行目には、条件分岐が記述されている。この場合、図３１に示すように、分岐数計測（６，１３，［６，３，４，５］）が実行される。この分岐数計測処理における行番号ｓ「６」は、行番号ｓ「５」に記述されている条件（分岐）がｔｒｕｅであるときに次に実行される行番号である。

【0094】

分岐数計測処理の入力が行番号ｓ「６」、リード箇所ｄ「１３」及び計測終了箇所リストＡ「６，３，４，５」である場合、ソースコードの６行目は、計測終了箇所リストＡに含まれている。この場合、分岐数計測（６，１３，［６，３，４，５］）の出力は、図３１に示すように「∞」となる。

【0095】

ここで、上記したようにソースコードの５行目には条件分岐が記述されているため、図３２に示すように、分岐数計測（９，１３，［６，３，４，５］）が実行される。なお、この分岐数計測処理における行番号ｓ「９」は、行番号ｓ「５」に記述されている条件（分岐）がｆａｌｓｅであるときに次に実行される行番号である。

【0096】

分岐数計測処理の入力が行番号ｓ「９」、リード箇所ｄ「１３」及び計測終了箇所リストＡ「６，３，４，５」である場合、ソースコードの９行目には、条件分岐は記述されていない。この場合、図３３に示すように、分岐数計測（１０，１３，［６，３，４，５，９］）が実行される。

【0097】

分岐数計測処理の入力が行番号ｓ「１０」、リード箇所ｄ「１３」及び計測終了箇所リストＡ「６，３，４，５，９」である場合、ソースコードの１０行目には、条件分岐は記述されていない。なお、上記したソースコードの４行目に記述されているｗｈｉｌｅ文は処理を繰り返すため、行番号ｓ「１０」である場合、次に実行される行番号は「４」である。この場合、図３４に示すように、分岐数計測（４，１３，［６，３，４，５，９，１０］）が実行される。

【0098】

分岐数計測処理の入力が行番号ｓ「４」、リード箇所ｄ「１３」及び計測終了箇所リストＡ「６，３，４，５，９，１０」である場合、ソースコードの４行目は、計測終了箇所リストＡに含まれている。この場合、分岐数計測（４，１３，［６，３，４，５，９，１０］）の出力は、図３４に示すように「∞」となる。同様に、上記した分岐数計測（４，１３，［６，３，４，５，９，１０］）の前に実行される分岐数計測（１０，１３，［６，３，４，５，９］）の出力も同様に「∞」となり、当該分岐数計測（１０，１３，［６，３，４，５，９］）の前に実行される分岐数計測（９，１３，［６，３，４，５］）の出力も同様に「∞」となる。

【0099】

ここで、上記したようにｓが条件分岐である場合にはｒ１及びｒ２のうちの値が小さい方に１を加算した値を返すが、条件分岐が記述されている５行目についての分岐数計測（５，１３，［６，３，４］）に着目すると、ｒ１（つまり、分岐数計測（６，１３，［６，３，４，５］）の出力）及びｒ２（つまり、分岐数計測（９，１３，［６，３，４，５］の出力）のうちの値が小さい方に１を加算した値は「∞＋１」である。上記したように「∞＋１」は「∞」と同値とみなすことができるため、分岐数計測（５，１３，［６，３，４］）の出力は、図３５に示すように「∞」となる。

【0100】

次に、上記したようにソースコードの４行目には条件分岐が記述されているため、図３６に示すように、分岐数計測（１２，１３，［６，３，４］）が実行される。なお、この分岐数計測処理における行番号ｓ「１２」は、行番号ｓ「４」に記述されている条件（分岐）がｆａｌｓｅであるときに次に実行される行番号である。

【0101】

分岐数計測処理の入力が行番号ｓ「１２」、リード箇所ｄ「１３」及び計測終了箇所リストＡ「６，３，４」である場合、ソースコードの１２行目には、条件分岐は記述されていない。この場合、図３７に示すように、分岐数計測（１３，１３，［６，３，４，１２］）が実行される。

【0102】

分岐数計測処理の入力が行番号ｓ「１３」、リード箇所ｄ「１３」及び計測終了箇所リストＡ「６，３，４，１２」である場合、ソースコードの１３行目は、リード箇所ｄ「１３」と一致する。この場合、分岐数計測（１３，１３，［６，３，４，１２］）の出力は、図３７に示すように「０」となる。分岐数計測（１３，１３，［６，３，４，１２］）の前に実行される分岐数計測（１２，１３，［６，３，４］）の出力も同様に「０」となる。

【0103】

ここで、上記したようにｓが条件分岐である場合にはｒ１及びｒ２のうちの値が小さい方に１を加算した値を返すが、条件分岐が記述されている４行目についての分岐数計測（４，１３，［６，３］）に着目すると、ｒ１（つまり、分岐数計測（５，１３，［６，３，４］の出力）及びｒ２（つまり、分岐数計測（１２，１３，［６，３，４］）の出力）のうちの値が小さい方は「０」であり、当該値に１を加算した値は「１」である。この場合、分岐数計測（４，１３，［６，３］）の出力は、図３８に示すように「１」となる。分岐数計測（４，１３，［６，３］）の前に実行される分岐数計測（３，１３，［６］）の出力も同様に「１」となる。

【0104】

上記したようにリード箇所「１３」について分岐数計測処理が実行された場合、図２８～図３８において説明したように処理を繰り返すことにより、当該分岐数計測処理の出力として「１」が得られる。この分岐数計測処理の出力「１」は、調査起点箇所である３行目から計測終了箇所リストに含まれる計測終了箇所を通らずにリード箇所である１３行目に到達するまでに条件分岐が１つ存在することを示している。

【0105】

上記したリード箇所「７」、「１０」及び「１３」の各々について分岐数計測処理が実行された結果（つまり、分岐数計測処理の出力として得られる分岐数）は、当該リード箇所に対応づけて分岐数表に追加される。

【0106】

図３９は、上記した分岐数計測処理の概略を示している。上記したようにリード箇所「７」について実行された分岐数計測処理の出力は「∞」であるため、図３９に示す分岐数表においては、リード箇所（行番号）「７」に対応づけて分岐数「∞」が追加されている。同様に、リード箇所「１０」について実行された分岐数計測処理の出力は「２」であるため、図３９に示す分岐数表においては、リード箇所（行番号）「１０」に対応づけて分岐数「２」が追加されている。更に、リード箇所「１３」について実行された分岐数計測処理の出力は「１」であるため、図３９に示す分岐数表においては、リード箇所（行番号）「１３」に対応づけて分岐数「１」が追加されている。

【0107】

ここで、上記したように調査起点箇所からリード箇所までの実行経路中に条件分岐が多いほど当該リード箇所に与える影響を見落とす可能性が高くなるという観点によれば、図３９に示す分岐数表に追加されたリード箇所のうちのリード箇所「１０」（つまり、ソースコードの１０行目）が、調査起点箇所において調査対象変数に対する値が変更されたことによる影響を見落としやすい箇所であるといえる。この場合には、図４０に示すように、リード箇所「１０」が表示（出力）される。

【0108】

なお、本実施形態においては例えば実行経路中に分岐数が最も多いリード箇所を表示するが、分岐数「∞」は、上記したように調査起点箇所から計測終了箇所を通らずにリード箇所に到達できないことを示す。よって、本実施形態において、分岐数が「∞」であるリード箇所は表示の対象とはされない（つまり、分岐数が最も多いリード箇所としては扱われない）ものとする。この場合、分岐数表においては、分岐数「∞」の代わりに、リード箇所が表示の対象でないことを示す「－」等が追加されてもよい。

【0109】

上記したように本実施形態においては、ソースコードにおいて値が変更された調査対象変数及び当該調査対象変数に対する値が変更された行を示す調査起点箇所（第１行番号）を入力し、当該ソースコードを構成する複数の行のうち、調査対象変数が読み取られる行を示すリード箇所（第２行番号）を特定し、調査起点箇所（によって示される行）から特定されたリード箇所（によって示される行）までの実行経路中に記述されている条件分岐の数（分岐数）を計測し、当該計測された分岐数に基づいてリード箇所を表示する。

【0110】

本実施形態においては、このような構成により、調査対象変数に対する値が変更されたことによる影響を見落としやすいリード箇所をユーザに提示することができるため、ソースコードに対する編集作業を支援することが可能となる。具体的には、図４０に示すようにリード箇所「１０」が表示された場合には、ユーザは、調査対象変数に対する値の変更がソースコードの１０行目（リード箇所）に対して与える影響等に関して検討漏れがなかったか（つまり、十分に検討されているか）を確認することができる。

【0111】

なお、本実施形態においてはリード箇所（行番号）のみを表示するものとして説明したが、当該リード箇所について実行される分岐数計測処理の結果（分岐数）を更に表示してもよい。

【0112】

また、本実施形態においては分岐数が最も大きいリード箇所を表示するものとして説明したが、分岐数表に追加されたリード箇所のうち、分岐数が予め定められた値以上であるリード箇所を表示してもよい。例えば図３９に示す分岐数表の例の場合であれば、例えば分岐数が１以上であるリード箇所「１０」及び「１３」が表示されてもよい。

【0113】

更に、上記したリード箇所は、例えば格納部１１に格納されているソースコード上で表示されてもよい。上記したようにリード箇所「１０」を表示する場合であれば、１０行目に他の行と区別可能な色または加工を施したソースコードを表示するようにしてもよい。すなわち、本実施形態においては、分岐数が多いリード箇所（つまり、調査対象変数に対する値の変更による影響を見落としやすいリード箇所）をユーザが容易に把握することが可能な態様で当該リード箇所が表示（提示）されればよい。

【0114】

また、リード箇所は、分岐数表の形式で表示されてもよい。この場合、例えば分岐数でリード箇所をソートした分岐数表が表示されるようにしてもよい。

【0115】

また、本実施形態においては、調査起点箇所からリード箇所までの複数の実行経路（例えば、第１及び第２実行経路）が存在する場合、当該第１実行経路中に記述されている条件分岐の数（第１数）よりも小さい第２実行経路中に記述されている条件分岐の数（第２数）が計測される。すなわち、本実施形態においては、複数の実行経路が存在する場合には最小となる分岐数が計測（選択）される。

【0116】

更に、本実施形態においては、調査起点箇所からリード箇所までの実行経路中に調査対象変数が上書きされる行（つまり、ライト箇所）が存在する場合、当該リード箇所についての分岐数は「∞（－）」となり、当該リード箇所は表示されない。

【0117】

このような構成によれば、不当に分岐数が多いリード箇所や分岐数を計測することができないリード箇所が表示されることを抑制し、適切なリード箇所を表示することができる。

【0118】

なお、本実施形態においては、例えばコンパイルする（つまり、プログラムの実行のための環境を構築する）といった手間をかけることなく、変数に対する値の変更が影響を与える箇所（リード箇所）を静的解析により評価することが可能であるため、ユーザの利便性を向上させることができる。

【0119】

本発明のいくつかの実施形態を説明したが、これらの実施形態は、例として提示したものであり、発明の範囲を限定することは意図していない。これら実施形態は、その他の様々な形態で実施されることが可能であり、発明の要旨を逸脱しない範囲で、種々の省略、置き換え、変更を行うことができる。これら実施形態やその変形は、発明の範囲や要旨に含まれると同様に、特許請求の範囲に記載された発明とその均等の範囲に含まれるものである。

【符号の説明】

【0120】

１０…ソフトウェア開発支援装置、１１…格納部、１２…入力部、１３…計測部、１４…表示部、１０１…ＣＰＵ、１０２…不揮発性メモリ、１０３…主メモリ、１０４…ＢＩＯＳ－ＲＯＭ、１０５…システムコントローラ、１０６…入力デバイス、１０７…表示デバイス、１０８…ＥＣ。

【図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】