JP2023124531A - 不具合解析装置及び不具合解析方法 - Google Patents

Abstract

【課題】ループ構造を含むソフトウェアの解析において、状態爆発を起こすことなく不具合への到達パスを効率的に特定可能とする。【解決手段】不具合解析装置１００において、不具合解析対象となるプログラムの実行ログを取得し、例外事象が発生したステートメントを解析開始点として取得し、解析開始点を含む関数を呼び出す関数を解析終了点として取得し、解析開始点から解析終了点へ逆向き記号実行を行って実行パスを出力し、ループに対して記号実行を行い、予め指定されたループ回数以内で不具合が発生し得るか判定する。【選択図】図１

Description

本発明は、不具合解析装置及び不具合解析方法に関するものである。

ソフトウェアに含まれる不具合は、完全に事前排除する事が難しい。そのため、そうしたソフトウェアから如何に効率的に、また的確に不具合を特定し、これを取り除いて修正するか、様々な検討が進められている。
そうした不具合の検出手法としては、テストケースを用いるものが存在する。このテストケースは、仕様書で定めた或いは開発者が期待する入力及び出力（期待値）を記述したものである。

不具合の検出に際しては、対象となるソフトウェアにテストケースを適用し、入力に対して正しい期待値を返すか確認する。ここで、入力に対して出力が期待値と異なる、或いはソフトウェア自体が動作停止するといった場合、当該ソフトウェアに不具合が含まれると判定される。

また他にも、不具合発生時の実行ログを入手し、当該実行ログの情報をもとに不具合分析を実行することで、原因箇所を特定する手法も存在する。この場合、開発者が想定した仕様と異なる動作を行っている場所と条件を特定することになる。当該開発者は、こうした不具合の原因箇所と条件に基づき、修正方法を検討し、プログラムを修正する。

いずれにせよ、開発者は上述の不具合の存在を認識すれば、当該不具合の存在箇所を解析し、適切な入出力を行うように当該ソフトウェアのロジックを修正する。しかしながら、そうした不具合存在箇所の解析に伴う作業工数が大きくなりがちであり、解析の自動化が望まれていた。

そこで、こうした不具合修正の自動化を指向する技術として、例えば、検査対象のプログラムを２つのプログラムに変換し、変換した２つのプログラムに基づき、検査対象のプログラムの事前条件を推定する装置（特許文献１参照）が提案されている。

この技術は、与えられたプログラムに含まれるループ処理または再帰処理と同一の処理を、前記ループ処理または前記再帰処理の実行条件を満たす限り、与えられた指定数まで繰り返し実行し、前記同一の処理が前記指定数まで繰り返し実行された後も前記実行条件を満たすときは、エラーを発生させる第１変換プログラムと、前記ループ処理または前記再帰処理と同一の処理を、前記実行条件を満たす限り、前記指定数まで繰り返し実行し、前記同一の処理が前記指定数まで繰り返し実行された場合は、前記実行条件が満たされないとみなす前記第２変換プログラムとを生成するプログラム変換部と、前記プログラムの事後条件および前記第１変換プログラムに基づき、前記第１変換プログラムの事前条件に関する情報である第１事前条件情報を生成し、前記事後条件および前記第２変換プログラムに基づき、前記第２変換プログラムの事前条件に関する情報である第２事前条件情報を生成する事前条件情報生成部と、前記第１事前条件情報と前記第２事前条件情報との差分の有無について第１判定を行う差分判定部と、前記第１判定の結果が差分なしの場合は、前記第１事前条件情報または前記第２事前条件情報に基づき、前記プログラムの事前条件を推定する事前条件推定部を備えるプログラム仕様推定装置である。

特開２０１７－４１０８５号公報

組込みソフトウェアに多く含まれるループ構造において、多数の繰返しを経て初めて出現する不具合が隠れているケースがある。より具体的には、例えば、特定のセンサ入力が繰返し発生し続けることで、初めて出現する不具合が該当する。
こうした不具合は、そもそも出現頻度の低さ故に検知が難しいことに加えて、当該不具合事象を再現する記号実行等の実行時に状態爆発の状況に至り、現実的な時間内に解析を終えることが難しいケースもある。

そこで本発明の目的は、ループ構造を含むソフトウェアの解析において、状態爆発を起こすことなく不具合への到達パスを効率的に特定可能とする技術を提供することにある。

上記課題を解決する本発明の不具合解析装置は、不具合解析対象となるプログラムの実行ログを取得するログ取得部と、前記実行ログに基づき、前記プログラムにおいて例外事象が発生したステートメントを解析開始点として取得する解析開始点取得部と、前記解析開始点を含む関数を直接または間接に呼び出す関数を解析終了点として取得する解析終了点取得部と、前記プログラムにおける前記解析開始点から前記解析終了点へ逆向き記号実行を行い、実行パスを出力する記号実行エンジンと、前記プログラムに含まれるループに対して記号実行を行い、予め指定されたループ回数以内で不具合が発生し得るか判定するループ展開解析部と、を備える。
また、本発明の不具合解析方法は、情報処理装置が、プログラムの実行ログを取得し、前記実行ログに基づき、前記プログラムにおいて例外事象が発生したステートメントを解析開始点として取得し、前記解析開始点を含む関数を直接または間接に呼び出す関数を解析終了点として取得し、前記プログラムにおける前記解析開始点から前記解析終了点へ逆向き記号実行を行い、実行パスを出力し、前記プログラムに含まれるループに対して記号実行を行い、予め指定されたループ回数以内で不具合が発生し得るか判定することを特徴とする。

本発明によれば、ソフトウェアの不具合自動修正に必要なテストケースの効率的な確保及び修正支援が可能となる。

本実施形態に係る不具合解析装置の入力、出力、および全体構成を示す図である。 本実施形態におけるソースコードの例を示す図である。 本実施形態における不具合解析方法の処理フロー例を示す図である。 本実施形態におけるループ解析結果情報の例を示す図である。 本実施形態における不具合解析方法の処理フロー例を示す図である。 本実施形態におけるループ解析結果情報の例を示す図である。 本実施形態における不具合解析方法の処理フロー例を示す図である。 本実施形態における出力例を示す図である。

以下に、本発明を実施するための形態（実施形態）における不具合解析装置について説明する。図１にて例示するように、不具合解析装置１００の入力には、プログラムのソースコード２１０、プログラムの実行ログ２２０、及び関数呼出仕様２３０が含まれる。
実行ログ２２０には、実行中に呼び出された関数（メソッド）が含まれている。実行中に例外（例えば０徐算）が発生すると、実行ログ２２０は例外が発生した関数の呼び出しで終わっている（プログラム停止を記録している）。

不具合解析装置１００は、実行ログ２２０から例外が発生した関数のなかの徐算演算を含むプログラムのステートメント（ソースコードの行／ステップ）を解析開始点と設定する。また、利用者（開発者）に問い合わせて、解析開始点を含む関数を直接または間接に呼び出す関数を、解析終了点と設定する。

不具合解析装置１００は、解析開始点から解析終了点まで、通常のプログラム実行とは逆方向の逆向き記号実行を行う。逆向き記号実行の間、不具合解析装置１００は、実行パスとパス条件を記録する。実行パスは、解析終了点と解析開始点とを結ぶプログラム中のパス（ステートメント／行／ステップの並び）であり、実行パスに沿って処理が進む。

実行パスは、関数の呼び出しも含む。パス条件は、例外（例えば０徐算）が発生する変数の条件である。変数には、関数内のローカル変数や関数の入力パラメータが含まれる。

実行パスやパス条件を参照することで、利用者は、どのようにして例外（不具合）が発生するかを理解することができ、不具合の修正方法を検討する材料にすることができる。結果として、不具合解析装置１００は、利用者の不具合の解析（分析）を支援することができる。

不具合解析装置１００は、ＳＭＴソルバ１１５（Satisfiability Modulo Theories Solver）を用いてパス条件を満足する解析終了点である関数の入力パラメータ値を算出する
。この値を入力とするテストを行うことで、利用者は修正したプログラムが正しく動作するかを確認できるようになる。
≪不具合解析装置の構成≫
図１は、本実施形態に係る不具合解析装置１００の入力、出力、および全体構成を示す図である。不具合解析装置１００は、制御部１０１、記憶部１２０、および入出力部１４０を備える。

入出力部１４０は、ディスプレイやキーボード、マウスなどのユーザインターフェイスを備える。入出力部１４０は、さらに、通信インターフェイスや記録媒体の読み書きデバイスを備えてもよい。

記憶部１２０は、ＲＡＭ（Random Access Memory）やＲＯＭ（Read Only Memory）、ＳＳＤ（Solid State Drive）などから構成される。記憶部１２０には、プログラム１２１
や関数呼出仕様１２２、解析開始点情報１２３、関数呼出関係１２４、解析終了点１２５、不具合実行パス・変数値１２６、不具合関数呼出値１２７、及びループ解析結果情報１２８が記憶される。

プログラム１２１は、コンピュータを不具合解析装置１００として機能させるためのプログラムであって、本実施形態の不具合解析処理の処理手順の記述を含む。関数呼出仕様１２２には、どの関数がどの関数を呼び出すかの関係、換言すれば、呼び出し関係グラフ（関数間の呼び出し関係を表現する制御フローのグラフ）を示すデータが記憶される。この関数呼出仕様１２２は、例えば、ユーザの端末等から入力される関数呼出仕様２３０を格納したものとなる。

制御部１０１を説明する前に、不具合解析装置１００の入力と出力とを説明する。
≪不具合解析装置の入力≫
不具合解析装置１００の入力には、ソースコード２１０、実行ログ２２０、および関数呼出仕様２３０が含まれる。ソースコード２１０は、解析対象であるソフトウェアプログラムを構成する関数（メソッド）のソースコードである。関数呼出仕様２３０には、関数の名前、および、関数の入力パラメータ値と返り値（戻り値）の名前と型と範囲とが記述されている。

プログラムの実行ログ２２０は、プログラム実行中の関数呼び出しの記録を含む。実行ログ２２０には、呼び出された関数の名前（識別情報）の他に呼び出し時の入力パラメータ値や、呼び出しから戻るときの返り値を含んでもよい。

実行ログ２２０は、さらにプログラム実行中に発生した例外を含んでもよい。例外としては、０徐算や関数呼出仕様２３０に記述された入力パラメータ値または返り値の違反（仕様の範囲外の値）がある。
≪不具合解析装置の出力≫
不具合解析装置１００の出力には、実行パス２４０、および入力パラメータ値２５０が含まれる。実行パス２４０は、不具合が発生するプログラム中のパス（ソースコード２１０のなかで順次処理される一連のステートメント／行／ステップ）である。実行パス２４０の一端は、不具合に係る例外（故障）が発生するステートメント／行／ステップであり、解析開始点、または単に開始点と記す。解析開始点は、例えば０徐算が発生する徐算演算を含むステートメントである。実行パス２４０の他端は、解析開始点を含む関数を直接または間接に呼び出す関数であり、解析終了点、またはエントリポイントと記す。解析終了点は、開始点を含む関数であってもよい。

入力パラメータ値２５０は、エントリポイントとなる関数の、不具合が発生するときの入力パラメータ値である。
≪不具合解析装置の制御部の構成≫
制御部１０１は、ＣＰＵ（Central Processing Unit）から構成され、ログ取得部１１
０、関数呼出関係分析部１１１、解析開始点取得部１１２、解析終了点取得部１１３、記号実行エンジン１１４、ＳＭＴソルバ１１５、ループ展開解析部１１６、及びループ内パス選択部１１６を備える。

ログ取得部１１０は、ユーザが端末等で入力した実行ログ２２０を取得し、これを処理対象として保持するものとなる。

関数呼出関係分析部１１１は、ソースコード２１０から関数の呼び出し関係、すなわち関数呼出仕様を取得して、或いは、ユーザが端末等で入力した関数呼出仕様２３０を、記憶部１２０の関数呼出仕様１２２に格納する。

解析開始点取得部１１２は、実行ログ２２０を解析して解析開始点を取得する。解析開始点の取得手順の詳細は後記する。

解析終了点取得部１１３（エントリポイント取得部）は、解析開始点を含む関数を呼び出す関数を関数呼出仕様１２２から取得して、エントリポイントの候補として入出力部１４０に備わるディスプレイに表示する。利用者（開発者）は、候補のなかから１つまたは複数のエントリポイントを選択する。解析終了点取得部１１３は、利用者によって選択された関数を解析終了点（エントリポイント）として設定する。

記号実行エンジン１１４は、実行パス２４０およびパス条件を生成する。パス条件は、解析対象のプログラムの実行が実行パス２４０を通るための変数（ローカル変数や入力パラメータ）の条件である。実行パス２４０やパス条件の詳細は後記する。

なお、以下の文献に記号実行エンジンン１１４の詳細が記述されている: Peter Dinges
and Gul Agha, "Targeted Test Input Generation Using Symbolic Concrete Backward Execution"。

ＳＭＴソルバ１１５（ソルバ）は、パス条件を満たす入力パラメータ値２５０を生成する。以下の文献にＳＭＴソルバが記述されている: Leonardo de Moura and Nikolaj Bjorner, "Z3: An Efficient SMT Solver"。

ループ展開解析部１１６は、対象プログラムに含まれるループに対して記号実行エンジン１１４を用いて記号実行を行い、予め指定されたループ回数以内で不具合が発生し得るか判定する。

ループ内パス選択部１１７は、上述のループ内のプログラムコードを記号実行した結果を用いて、当該ループ内の一部の実行パスを通る解析のみを実行する。この場合、ループ内パス選択部１１７は、ループ内の実行パスから、解析対象とするパスを選択する際、当該ループに対する記号実行後に不具合に関連した変数の取り得る値の値域が最も広くなるパスを選択する。
≪ソースコードの例≫
図２は本実施形態におけるソースコード２１０の例を示す図である。図２にて示すソースコード２１０は、あるセンサ入力の値ａ（０≦ａ≦２５５）に応じて、変数ｓ（初期値＝０）を算定する処理に対応したものであり、ａが正の値である場合、変数ｓの値を当該ａの値だけ加算する（行８）が、ａが０以下の値である場合、変数ｓの値を０にリセットする（行１０）。ところが、センサ入力の値ａによって更新されていった変数ｓの値によっては、いわゆるゼロ割が発生する（行１２）。つまり、不具合が発生しうるソースコードである。以後は、このソースコード２１０を例に説明を行うものとする。
≪実行パスとパス条件≫
続いて、本実施形態に係る実行パスおよびパス条件に関して説明する。図２で示したソースコード２１０において、行４の関数は、センサ入力の値ａを呼び出し、行６、７の条件下で行８の関数ｓ_ｎｅｗを呼び出し、行１２の関数ｒは関数ｓ_ｎｅｗを呼び出す。この関数ｒで０徐算の例外が発生し、エントリポイントとして関数ｓ_ｎｅｗが指定された
という前提で、説明を続ける。この場合、実行ログ２２０は、関数ｓ_ｎｅｗの呼び出し
の記録、関数ｒの呼び出しの記録、関数ｆｏｏ．ｃの呼び出しの記録を含み、０徐算発生の記録で終わる。

実行ログ２２０を解析することで、解析開始点取得部１１２は、関数ｆｏｏ．ｃのなかで０徐算の例外が発生したことを検出する。関数ｆｏｏ．ｃの行１２が、徐算演算を含む唯一のステートメント／行であるから、解析開始点取得部１１２は、開始点を関数ｆｏｏ．ｃの行１２に設定する。

パス条件は、例外が発生する条件／制約である。解析開始点である関数ｆｏｏ．ｃの行１２におけるパス条件３２は「ｓ≦－１」である。

記号実行エンジン１１４は、開始点から始めて、通常の（前向き）実行とは反対の方向にプログラム（ソースコード２１０）のなかを、エントリポイントに到達するまで探索（逆向き記号実行とも記す）する。エントリポイントが複数ある場合には、記号実行エンジン１１４は、何れか１つのエントリポイントに到達するまで探索する。こうしたパス条件に関する具体的な処理は、本出願人による出願（特願２０２０－１４３５９１）にて開示したとおりである。
≪不具合解析処理：ループ展開解析部のフロー１≫
図３は、本実施形態に係る不具合解析処理のフローチャートであり、具体的には、ループ展開解析部１１６における処理フローを示すものである。この場合、ループ展開解析部１１６は、ループ部のプログラムコードに対し、記号実行エンジン１１４を用いた記号実行を行う（ｓ１０）。

また、ループ展開解析部１１６は、ループ1回分の各パスのパス制約と変数関係をルー
プ解析結果情報１２８として、記憶部１２０に格納する（ｓ１１）。そうしたループ解析結果情報１２８の例を図４にて示す。

続いて、ループ展開解析部１１６は、ループ展開数ｎを１とする（ｓ１２）。また、ループ展開解析部１１６は、ループｎ回で不具合到達制約を充足可能かを、ＳＭＴソルバ１１５により判定する（ｓ１３）。

この判定の結果、不具合到達制約を充足可能である場合（ｓ１４：Ｙｅｓ）、ループ展開解析部１１６は、不具合到達条件（不具合到達制約式）とその時のパス制約、および充足可否の各値をループ解析結果情報１２８に記録して（ｓ１５）フローを終了する。

一方、上述の判定の結果、不具合到達制約を充足可能ではない場合（ｓ１４：Ｎｏ）、ループ展開解析部１１６は、ループ回数ｎは指定されたループ展開の最大値を超えているか判定する（ｓ１６）。

この判定の結果、ループ回数が最大値を超えている場合（ｓ１６：Ｙｅｓ）、ループ展開解析部１１６は、不具合箇所到達条件を見つけられず終了と判断し（ｓ１７）、処理を終了する。

一方、判定の結果、ループ回数が最大値を超えていない場合（ｓ１６：Ｎｏ）、ループ展開解析部１１６は、不具合到達制約にループ1回分のパス制約と変数関係を追加し、ｎ
←ｎ＋１とし（ｓ１８）、処理をｓ１３に戻す。

こうした一連の処理の結果、ループ展開数をインクリメントした各レコードが格納されていき、図４で示すループ解析結果情報１２８が生成されることとなる。
≪不具合解析処理：ループ内パス選択部のフロー≫
図５は、本実施形態におけるループ内パス選択部のフローを示す図である。ここでは、上述の図３のフローのうち、ｓ１８以降の処理が異なるケースについて示す。ここで、ｓ２０～ｓ２７の各ステップは、図３のフローと共通するため説明は省略する。

この場合、ループ内パス選択部１１７は、ループ1回分の各パスに対して当該パスのパ
ス制約と変数関係を不具合到達条件に追加する（ｓ２８）。

また、ループ内パス選択部１１７は、各パスに対応する不具合到達制約に対して不具合関連変数の値域を求めて、ループ解析結果情報１２８に格納する（ｓ２９）。

また、ループ内パス選択部１１７は、値域の範囲がもっとも広いパスを当該ループ回におけるパスとして選択し、他のパスを削除し（ｓ３０）、処理をｓ２３に戻す。ここまでの一連の処理の結果、図６で示すループ解析結果情報１２８のように、「不具合関連変数（ｓ）の値域」欄および選択パス欄の各値が追加された構成となる。
≪不具合解析処理：ループ展開解析部のフロー２≫
図７は、本実施形態に係る不具合解析処理のフローチャートであり、具体的には、ループ展開解析部１１６における処理フローを示すものである。ここで、図５で示したフローにおけるｓ２０～ｓ２８までは共通するため、それ以降の処理（図７におけるｓ４９以降
）についてのみ説明することとする。

この場合、ループ内パス選択部１１７は、各パスに対応する不具合到達制約に対して不具合関連変数の値域を求め、ユーザに表示する（ｓ４９）。ここでユーザに表示した画面Ｇ１０の例を図８に示す。

図８で示す画面Ｇ１０は、各パスの選択可否を受け付けるインターフェイスＧ１０１、Ｇ１１０と、当該ループを含むソースコードＧ１０２、Ｇ１１２、及び不具合関連変数のループ回数ｎに応じた値域を示すグラフＧ１０３、Ｇ１１３から構成される。

ループ内パス選択部１１７は、ユーザが上述のインターフェイスＧ１０１、Ｇ１１０にて選択した、ひとつまたは複数のパスを当該ループ回におけるパスとして認識する一方、他のパスを削除し（ｓ５０）、処理をｓ４３に戻す。

以上、本発明を実施するための最良の形態などについて具体的に説明したが、本発明はこれに限定されるものではなく、その要旨を逸脱しない範囲で種々変更可能である。

こうした本実施形態によれば、ループ構造を含むソフトウェアの解析において、状態爆発を起こすことなく不具合への到達パスを効率的に特定可能となる。

本明細書の記載により、少なくとも次のことが明らかにされる。すなわち、本実施形態の不具合解析装置において、前記ループ展開解析部は、前記ループ内のプログラムコードを記号実行した結果を用いて、前記ループ内の一部の実行パスを通る解析のみを実行するものである、としてもよい。

これによれば、解析対象が絞り込まれることになり、全体として処理効率が向上する。ひいては、ループ構造を含むソフトウェアの解析において、状態爆発を起こすことなく不具合への到達パスをより効率的に特定可能となる。

また、本実施形態の不具合解析装置において、前記ループ展開解析部は、前記ループ内の実行パスから、解析対象とするパスを選択する際、当該ループに対する記号実行後に不具合に関連した変数の取り得る値の値域が最も広くなるパスを選択するものである、としてもよい。

これによれば、解析対象の適宜な絞り込みを精度よく行えることとなり、全体として処理効率が向上する。ひいては、ループ構造を含むソフトウェアの解析において、状態爆発を起こすことなく不具合への到達パスをより効率的に特定可能となる。

また、本実施形態の不具合解析方法において、前記情報処理装置が、前記判定に際し、前記ループ内のプログラムコードを記号実行した結果を用いて、前記ループ内の一部の実行パスを通る解析のみを実行する、としてもよい。

また、本実施形態の不具合解析方法において、前記情報処理装置が、前記判定に際し、前記ループ内の実行パスから、解析対象とするパスを選択する際、当該ループに対する記号実行後に不具合に関連した変数の取り得る値の値域が最も広くなるパスを選択する、としてもよい。

１０ テスト環境
１００ 不具合解析装置
１０１ 制御部
１１０ ログ取得部
１１１ 関数呼出関係分析部
１１２ 解析開始点取得部
１１３ 解析終了点取得部
１１４ 記号実行エンジン
１１５ 不具合箇所検出部（ＳＭＴソルバ）
１１６ ループ展開解析部
１１７ ループ内パス選択部
１２０ 記憶部
１２１ プログラム
１２２ 関数呼出仕様
１２３ 解析開始点情報
１２４ 関数呼出関係
１２５ 解析終了点情報
１２６ 不具合実行パス・変数値
１２７ 不具合関数呼出値
１２８ ループ解析結果情報
１４０ 入出力部
１５０ 内部バス
２１０ ソースコード（プログラム）
２２０ 実行ログ
２３０ 関数呼出仕様

Claims (6)

1. 不具合解析対象となるプログラムの実行ログを取得するログ取得部と、
   前記実行ログに基づき、前記プログラムにおいて例外事象が発生したステートメントを解析開始点として取得する解析開始点取得部と、
   前記解析開始点を含む関数を直接または間接に呼び出す関数を解析終了点として取得する解析終了点取得部と、
   前記プログラムにおける前記解析開始点から前記解析終了点へ逆向き記号実行を行い、実行パスを出力する記号実行エンジンと、
   前記プログラムに含まれるループに対して記号実行を行い、予め指定されたループ回数以内で不具合が発生し得るか判定するループ展開解析部と、
   を備える不具合解析装置。
2. 前記ループ展開解析部は、
   前記ループ内のプログラムコードを記号実行した結果を用いて、前記ループ内の一部の実行パスを通る解析のみを実行するものである、
   ことを特徴とする請求項１に記載の不具合解析装置。
3. 前記ループ展開解析部は、
   前記ループ内の実行パスから、解析対象とするパスを選択する際、当該ループに対する記号実行後に不具合に関連した変数の取り得る値の値域が最も広くなるパスを選択するものである、
   ことを特徴とする請求項２に記載の不具合解析装置。
4. 情報処理装置が、
   プログラムの実行ログを取得し、
   前記実行ログに基づき、前記プログラムにおいて例外事象が発生したステートメントを解析開始点として取得し、
   前記解析開始点を含む関数を直接または間接に呼び出す関数を解析終了点として取得し、
   前記プログラムにおける前記解析開始点から前記解析終了点へ逆向き記号実行を行い、実行パスを出力し、
   前記プログラムに含まれるループに対して記号実行を行い、予め指定されたループ回数以内で不具合が発生し得るか判定する、
   ことを特徴とする不具合解析方法。
5. 前記情報処理装置が、
   前記判定に際し、前記ループ内のプログラムコードを記号実行した結果を用いて、前記ループ内の一部の実行パスを通る解析のみを実行する、
   ことを特徴とする請求項４に記載の不具合解析方法。
6. 前記情報処理装置が、
   前記判定に際し、前記ループ内の実行パスから、解析対象とするパスを選択する際、当該ループに対する記号実行後に不具合に関連した変数の取り得る値の値域が最も広くなるパスを選択する、
   ことを特徴とする請求項５に記載の不具合解析方法。

Images