WO2024101091A1 - ソフトウェア生成支援システム、ソフトウェア生成支援方法およびコンピュータプログラム - Google Patents

Abstract

ソフトウェアの効率的な生成を支援すること。ソフトウェアの生成を支援するシステム１は、既存ソースコードについてのバグの修正履歴と既存ソースコードについて実行されたテストのテスト実行経路とを含むソースコード変更履歴から、バグの発生するパターンを示すバグパターンを抽出するステップＳ１と、処理対象ソースコードと処理対象ソースコードについて実行されたテストのテスト実行経路を含むテスト実行情報とに基づいて、処理対象ソースコードの命令ごとに疑惑値を計算し、計算された疑惑値を処理対象ソースコードに対応するバグパターンに基づいて修正することによりバグの原因箇所を示すバグ位置を判定するバグ位置判定ステップＳ３を実行する。

Description

ソフトウェア生成支援システム、ソフトウェア生成支援方法およびコンピュータプログラム

　本発明は、ソフトウェア生成支援システム、ソフトウェア生成支援方法およびコンピュータプログラムに関する。

　特許文献１に記載のように、ソフトウェアプログラム内のフォールト位置を特定する方法は知られている。

　特許文献１では、ソフトウェアプログラムのテスト対象コードに対して複数のテストを実行し、複数のテスト実行のうちの合格テスト及び失敗テストを特定し、各ステートメントの集約スコアを、（１）合格テスト及び失敗テスト、（２）ステートメントに含まれるステートメントトークンとエラーレポートに含まれるレポートトークンとの間の意味類似度、（３）ステートメントが変更を受けたときから経過した時間、のうちの２つ以上に基づいて決定し、複数のステートメントの集約スコアに基づいて、複数のステートメントのうちの特定のステートメントを、テスト対象コード内のフォールト位置として特定する。

特開特開２０１９－０２１３０３号公報

　特許文献１では、特徴的なエラーレポート（エラーメッセージ）が得られない場合、バグの位置を正確に判定するのが難しく、信頼性改善の余地がある。そしてバグの位置を正確に判定できなければ、バグを有するソースコードを修正することができず、ソフトウェアの生成効率が低下する。

　本発明は、上記課題に鑑みてなされたもので、ソフトウェアの効率的な生成を支援することができるようにしたソフトウェア生成支援システム、ソフトウェア生成支援方法およびコンピュータプログラムを提供することを目的とする。

　上記課題を解決するために、本発明の一つの観点にしたがうソフトウェア生成支援システムは、プロセッサとメモリを備え、ソフトウェアの生成を支援するソフトウェア生成支援システムであって、プロセッサは、既存ソースコードについてのバグの修正履歴と既存ソースコードについて実行されたテストのテスト実行経路とを含むソースコード変更履歴から、バグの発生するパターンを示すバグパターンを抽出するステップと、処理対象ソースコードと処理対象ソースコードについて実行されたテストのテスト実行経路を含むテスト実行情報とに基づいて、処理対象ソースコードの命令ごとに疑惑値を計算し、計算された疑惑値を処理対象ソースコードに対応するバグパターンに基づいて修正することによりバグの原因箇所を示すバグ位置を判定するバグ位置判定ステップを実行する。

　本発明によれば、処理対象ソースコードの命令毎に計算された疑惑値を、処理対象コードに対応するバグパターンに基づいて修正し、バグ位置を判定することができる。

図１は、ソフトウェア生成支援システムの全体構成図である。 図２は、ソフトウェア生成支援システムの論理構成図である。 図３は、ソースコード変更履歴情報の例である。 図４は、バグパターンの例を示す。 図５は、ソースコードの例を示す。 図６は、テストケースの例を示す。 図７は、テスト実行情報の例を示す。 図８は、バグ位置情報の例である。 図９は、修正されたソースコードの例を示す。 図１０は、バグパターンを抽出する処理のフローチャートである。 図１１は、バグ位置判定処理を示すフローチャートである。 図１２は、第２実施例に係り、バグ位置情報の例を示す。

　以下、図面に基づいて、本発明の実施の形態を説明する。本実施形態のソフトウェア生成支援システム１は、処理対象ソースコードに含まれるバグを検出して、検出されたバグの情報をソフトウェアエンジニアなどのユーザへ提供することにより、ソフトウェアの生成を支援する。本実施例のソフトウェア生成支援システム１では、例えばＳｐｅｃｔｒｕｍ－ｂａｓｅｄ　ｆａｕｌｔ　ｌｏｃａｌｉｚａｔｉｏｎ　（ＳＢＦＬ）を改善し、バグの検出精度を向上させる。ＳＢＦＬでは、処理対象ソースコードへテストケースを適用した際の実行経路に基づいて、プログラムの行（プログラム文、命令）がバグの原因箇所である可能性を示す疑惑値を計算する。ＳＢＦＬでは、失敗したテストケースで実行された、プログラム文はバグの原因箇所である可能性が高く、成功したテストケースで実行されたプログラム文はバグの原因箇所である可能性が低いと推定する。そこで、ＳＢＦＬでは、プログラム文ごと（命令ごと）に、失敗したテストケースでの実行回数と、成功したテストケースでの実行回数を検出し、或るプログラム文がバグの原因箇所である可能性を示す疑惑値を計算する。しかし、ＳＢＦＬだけではバグの原因箇所を精度良く判定するのは難しい。

　そこで、本実施形態のソフトウェア生成支援システム１では、過去のソフトウェア資産を活用し、どんな状況（命令にテストケースを適用したときのテストの成否）でバグが発生したか判定する。過去のソフトウェア資産は、ソースコードの変更履歴３１１（図２参照）である。ソースコードの変更履歴（既存ソースコードの変更履歴）は、既存ソースコードについてのバグの修正履歴と、既存ソースコードについて実行されたテストの実行経路を含む。ソフトウェア生成支援システム１は、ソースコード変更履歴３１１からバグパターン３１２（図２参照）を抽出し（Ｓ１）、抽出されたバグパターンと既存ソースコードのテスト実行情報３１５（図２参照、Ｓ２）との照合結果に基づいて、命令毎に計算された疑惑値を修正する（Ｓ３）。

　さらに、ソフトウェア生成支援システム１は、バグの原因箇所を判定するのに使用されたバグパターンをユーザへ提供するとともに（Ｓ３）、処理対象ソースコードのバグを解消した修正済みソースコードをユーザへ提案することもできる（Ｓ４）。

　本実施形態では、以下の構成を有するシステム、方法またはコンピュータプログラムが開示される。

　（構成１）プロセッサ２とメモリ３を備え、ソフトウェアの生成を支援するソフトウェア生成支援システム１であって、前記プロセッサは、既存ソースコードについてのバグの修正履歴と前記既存ソースコードについて実行されたテストのテスト実行経路とを含むソースコード変更履歴３１１から、バグの発生するパターンを示すバグパターン３１２を抽出するステップ３２（Ｓ１）と、処理対象ソースコード３１３と前記処理対象ソースコード３１３について実行されたテストのテスト実行経路を含むテスト実行情報３１５とに基づいて、前記処理対象ソースコードの命令ごとに疑惑値を計算し（３４１）、前記計算された疑惑値を前記処理対象ソースコードに対応する前記バグパターン３１２に基づいて修正（３４２）することによりバグの原因箇所を示すバグ位置を判定するバグ位置判定ステップ（３４，Ｓ３）を実行する。

　（構成２）前記バグ位置判定ステップ（３４，Ｓ３）は、前記処理対象ソースコード３１３と前記テスト実行情報３１５とに基づいて、前記処理対象ソースコードの命令ごとに前記疑惑値を計算する疑惑値計算ステップ（３４１，Ｓ３１）と、前記バグパターンに含まれるソースコードと前記処理対象ソースコードとの照合結果、および前記テスト実行情報と前記バグパターンとの照合結果とに基づいて、前記計算された疑惑値を修正する疑惑値修正ステップ（３４２，Ｓ３２，Ｓ３３）を実行する構成１に記載のソフトウェア生成支援システム。

　（構成３）前記バグパターン３１２は、前記既存ソースコードを抽象化した抽象化ソースコード３１２１と、前記既存ソースコードについて実行されたテストの実行経路をパターン化したテスト実行経路パターン３１２２とを含んでおり、前記疑惑値計算ステップ（３４１，Ｓ３１）は、前記処理対象ソースコードについての前記テスト実行経路３１１３と前記テスト実行経路パターンとの比較結果に基づいて、前記ソースコード３１３の命令ごとに前記疑惑値を計算する構成２に記載のソフトウェア生成支援システム。

　（構成４）前記テスト実行経路パターン３１２２は、失敗したテストと成功したテストとにおける、前記抽象化ソースコードの命令ごとの実行の有無を含む構成３に記載のソフトウェア生成支援システム。

　（構成５）前記バグパターン３１２は、バグが発生したと予測される位置を示すバグ位置３１２３を含んでおり、前記疑惑値修正ステップ（３４２，Ｓ３２，Ｓ３３）は、前記バグ位置に対応する疑惑値３１６３を、前記ソースコードおよび前記テスト実行情報と前記バグパターンとの照合結果に基づいて修正する構成３に記載のソフトウェア生成支援システム。

　（構成６）前記疑惑値修正ステップ（３４２，Ｓ３２，Ｓ３３）は、前記バグパターン３１２に設定された重み３１２４に基づいて、前記疑惑値３１６３を修正する構成５に記載のソフトウェア生成支援システム。

　（構成７）前記バグパターンの重み３１２４は、前記バグパターンの生成に関する既存ソースコードの数に応じて設定される構成６に記載のソフトウェア生成支援システム。

　（構成８）前記バグパターン３１２は、複数の前記既存ソースコードについてのバグの修正履歴と前記複数の既存ソースコードについて実行されたテストのテスト実行経路とを含むソースコード変更履歴３１１から生成される構成１に記載のソフトウェア生成支援システム。

　（構成９）前記バグ位置判定ステップ（３４，Ｓ３）は、前記処理対象ソースコード３１３に対応するバグパターン３１２を特定するバグパターン特定情報３１２３を、前記バグ位置に対応付けて出力する構成１に記載のソフトウェア生成支援システム。

　（構成１０）
　前記処理対象ソースコード３１３を、前記バグ位置判定ステップ（３４，Ｓ３）により判定された前記バグ位置に基づいて修正するソースコード修正ステップ（３５，Ｓ４）をさらに備える構成１に記載のソフトウェア生成支援システム。

　図１～図１１を用いて、第１実施例を説明する。図１は、ソフトウェア生成支援システム１の全体構成図である。本実施例では、ＪＡＶＡ（登録商標）言語でソフトウェアを作成する場合を例に挙げるが、プログラム言語の種類は問わない。

　ソフトウェア生成支援システム１は、ソフトウェアの自動生成または半自動生成を支援する。ソフトウェア生成支援システム１は、例えば、プロセッサ２、「メモリ」としての記憶装置３、ユーザインターフェース（図中、ＵＩ）装置４、通信装置５などを備えるコンピュータ上に設けることができる。

　ソフトウェア生成支援システム１の通信装置５は、通信ネットワークＣＮを介して、少なくとも一つのコンピュータ端末６と通信可能に接続される。システムエンジニアなどのユーザは、コンピュータ端末６を介して、ソフトウェア生成支援システム１の提供するソフトウェア生成支援サービスを利用し、作成中のソースコード（処理対象ソースコード）のバグの原因箇所を知り、そのバグを修正することができる。

　ソフトウェア生成支援システム１は、外部装置の一例としてのストレージシステム７に通信可能に接続されてもよい。ユーザは、作成中のソースコードをストレージシステム７に記憶させることもできる。ソフトウェア生成支援システム１の有する情報記憶部３１は、ファイルの実体を外部装置であるストレージシステム２に格納することもできる。ストレージシステム７に代えてファイルサーバなどの他の情報処理装置を用いてもよい。

　ソフトウェア生成支援システム１は、記憶媒体ＭＭと接続可能である。記憶媒体ＭＭは、例えば、メモリ装置、ハードディスク装置、光ディスク装置、光磁気ディスク装置、磁気テープ装置などのように構成され、コンピュータプログラムおよびデータを非一時的に記憶する。記憶媒体ＭＭは、ソフトウェア生成支援システム１の記憶装置３へコンピュータプログラムおよびデータを転送して記憶させることができる。記憶装置３から記憶媒体ＭＭにコンピュータプログラムおよびデータを転送して記憶させることもできる。ソフトウェア生成支援システム１の機能を実現するコンピュータプログラムを記憶媒体ＭＭに格納し、記憶媒体ＭＭを他のコンピュータに接続し、記憶媒体ＭＭに格納されたコンピュータプログラムを他のコンピュータにインストールすることにより、他のコンピュータをソフトウェア生成支援システム１として機能させることができる。

　通信ネットワークＣＮは、インターネットのような公衆通信網でもよいし、専用通信網でもよい。通信ネットワークＣＮは、無線通信網、有線通信網のいずれでもよいし、無線通信網と有線通信網とが混在してもよい。

　ソフトウェア生成支援システム１の機能構成を説明する。ソフトウェア生成支援システム１の記憶装置３は、主記憶装置および補助記憶装置を含む装置である。記憶装置３には、例えば、情報記憶部３１、バグパターン抽出部３２、テスト実行部３３、バグ位置判定部３４、ソースコード修正部３５を実現するためのコンピュータプログラムおよびデータが記憶されている。

　ソフトウェア生成支援システム１は、既存ソフトウェア資産であるソースコード変更履歴３１１からバグパターン３１２を抽出するステップ（Ｓ１）と、処理対象ソースコード３１３にテストケース３１４を用いたテストを実施するテスト実行ステップ（Ｓ２）と、処理対象ソースコードのテスト実行情報３１５とバグパターン３１２とに基づいてバグの原因箇所を判定するバグ位置判定ステップ（Ｓ３）を実行することができる。さらに、ソフトウェア生成支援システム１は、処理対象ソースコードを修正するソースコード修正ステップ（Ｓ４）を実行することもできる。各ステップの詳細は後述する。

　プロセッサ２が記憶装置３に記憶されたコンピュータプログラムを実行することにより、ソフトウェア生成支援システム１の機能が実現される。プロセッサ２は、ＣＰＵ（Ｃｅｎｔｒａｌ　Ｐｒｏｃｅｓｓｉｎｇ　Ｕｎｉｔ）に限らず、ＧＰＵ（Ｇｒａｐｈｉｃｓ　Ｐｒｏｃｅｓｓｉｎｇ　Ｕｎｉｔ）またはＡＳＩＣ（Ａｐｐｌｉｃａｔｉｏｎ　Ｓｐｅｃｉｆｉｃ　Ｉｎｔｅｇｒａｔｅｄ　Ｃｉｒｃｕｉｔ）などを含んでもよい。

　情報記憶部３１は、開発されたソフトウェア資産に関する情報が記憶される。ソフトウェア資産には、既存のソースコードについての変更履歴３１１が含まれる。ソースコード変更履歴３１１の詳細は図３で後述する。

　バグパターン抽出部３２は、ソースコード変更履歴３１１に記憶された情報の中から、バグの発生しやすいプログラム文の傾向を示すバグパターン３１２を抽出する。バグパターン３１２の詳細は図４で後述する。

　テスト実行部３３は、複数のテストケースを処理対象ソースコードに適用して実行させる機能を持つ。テストの実行結果は、テスト実行情報３１５として出力され、情報記憶部３１に記憶される。テスト実行情報３１５の詳細は図７で後述する。

　バグ位置判定部３４は、処理対象ソースコード３１３のバグの原因箇所を判定し、判定結果であるバグ位置情報３１６を出力する。バグ位置情報３１６は、ユーザに提供されてソースコードの修正に使用される。バグ位置判定部３４は、プログラム文ごとに（命令ごとに）疑惑値を計算する疑惑値計算部３４１と、計算された疑惑値を修正する疑惑値修正部３４２を備える。バグ位置判定部３４の処理内容とバグ位置情報３１６についてはさらに後述する。

　ソースコード修正部３５は、自動的にまたは半自動的にあるいは手動で生成されるパッチ案を用いて、処理対象ソースコードのバグを修正する機能を持つ。ソースコード修正部３５によりバグの修正されたソースコードの情報は、新たなソフトウェア資産としてソースコード変更履歴３１１に自動的に追加される。

　ソフトウェア生成支援システム１は、上述した各機能３１～３５の全てを備える必要はない。例えば、ソフトウェア生成支援システム１は、バグパターン抽出部３２を備えてもよい。例えば、ソフトウェア生成支援システム１は、バグパターン抽出部３２とテスト実行部３３を備えてもよい。例えば、ソフトウェア生成支援システム１は、バグパターン抽出部３２とテスト実行部３３およびバグ位置判定部３４を備えてもよい。ソフトウェア生成支援システム１は、バグパターン抽出部３２、テスト実行部３３、バグ位置判定部３４、ソースコード修正部３５を備えてもよい。

　ソフトウェア生成支援システム１は、複数のコンピュータを連携させて実現することもできる。例えば、情報記憶部３１を実現するコンピュータと、バグパターン抽出部３２を実現するコンピュータと、テスト実行部３３を実現するコンピュータと、バグ位置判定部３４を実現するコンピュータと、ソースコード修正部３５を実現するコンピュータとを通信可能に接続して、ソフトウェア生成支援システム１を構成することもできる。

　ユーザインターフェース装置４は、ソフトウェア生成支援システム１を管理するシステム管理者、またはソフトウェア生成支援システム１の提供するソフトウェア生成支援サービスを使用するユーザにより使用される装置である。ユーザインターフェース装置４は、情報をソフトウェア生成支援システム１へ入力する情報入力装置と、ソフトウェア生成支援システム１から情報を管理者またはユーザへ提供する情報出力装置（いずれも不図示）を備える。

　情報入力装置は、例えば、キーボード、ポインティングデバイス、タッチパネル、音声指示装置などである。情報出力装置は、例えば、モニタディスプレイ、プリンタ、音声合成装置などである。ユーザインターフェース装置４として、ＡＲ（Ａｕｇｍｅｎｔｅｄ　Ｒｅａｌｉｔｙ）またはＶＲ（Ｖｉｒｔｕａｌ　Ｒｅａｌｉｔｙ）などを用いることもできる。

　図２は、ソフトウェア生成支援システムの論理構成図である。図２の中央には、情報記憶部３１に記憶される情報３１１～３１７が示されている。図２の左右には、情報を処理する機能部３２～３５が示されている。

　図２の上から下に向けて説明する。バグパターン抽出部３２は、ソースコード変更履歴３１１から過去に作成されて修正されたソースコードについての情報（変更履歴）を取得し、取得した情報に基づいてバグパターン３１２を生成する。生成されたバグパターン３１２は、情報記憶部３１に記憶される。ソースコード変更履歴３１１には、複数のソースコードについての変更履歴が含まれている。バグパターン３１２も複数のバグパターンを含んでおり、バグパターン群３１２と呼ぶこともできる。

　テスト実行部３３は、情報記憶部３１から処理対象ソースコード３１３およびテストケース３１４を取得する。テスト実行部３３は、処理対象ソースコード３１３にテストケース３１４を適用してソースコード３１２を実行し、その実行結果であるテスト実行情報３１５を情報記憶部３１に記憶する。

　バグ位置判定部３４は、情報記憶部３１からバグパターン３１２およびテスト実行情報３１５を取得し、疑惑計算部３４１と疑惑値修正部３４２を用いてバグの原因箇所を判定する。その判定結果はバグ位置情報３１６として情報記憶部３１に記憶される。

　ソースコード修正部３５は、情報記憶部３１からバグ位置情報３１６と処理対象ソースコード３１３を取得し、処理対象ソースコードからバグを取り除いて修正後ソースコード３１７を生成し、情報記憶部３１に記憶する。修正後ソースコード３１７およびその変更履歴は、ソースコード変更履歴３１１の一部となる。

　図３は、ソースコード変更履歴３１１の例である。ソースコード変更履歴３１１は、複数の履歴３１１０（１），３１１０（２）．．．を持つ。各履歴３１１０は、例えば、修正前のソースコード３１１１、修正後のソースコード３１１２、テスト実行経路３１１３、テスト結果３１１４を含む。テスト実行経路３１１３は、テストケースごとに、どのプログラム文が実行されたかを示す情報である。図中の黒丸は、実行されたプログラム文を表している。

　図４は、バグパターン３１２の例を示す。バグパターン３１２は、例えば、抽象化（一般化）されたソースコード３１２１、テスト実行経路パターン３１２２、バグ位置３１２３、バグパターンＩＤ３１２３、重み３１２４を含む。

　抽象化されたソースコード３１２１は、既存ソースコードの変数などを抽象化したものである。これにより、同種のプログラム文を分類することができる。テスト実行経路パターン３１２２は、バグパターン３１２の元となった既存ソースコードのテスト実行経路３１１３の結果を成功テストと失敗テストとにグループ化（集約）したものである。テスト実行経路パターン３１２２は、プログラム文が成功テストと失敗テストのどちらで実行されることが多いか、あるいは成功テストと失敗テストの両方で実行されることが多いかといった、実行経路の傾向について各テストケースを集約して示す。

　例えばバグパターン３１２の元となる既存ソースコードにおいて失敗テストでのみ実行されるプログラム文には、テスト実行経路パターン３１２２の「失敗テスト」に黒丸が設定される。例えばバグパターン３１２の元となる既存ソースコードにおいて成功テストでのみ実行されるプログラム文には、テスト実行経路パターン３１２２の「成功テスト」に黒丸が設定される。バグパターン３１２の元となる既存ソースコードにおいて失敗テストおよび成功テストの両方で実行されるプログラム文には、テスト実行経路パターン３１２２の「失敗テスト」および「成功テスト」の両方に黒丸が設定される。失敗テストと成功テストの両方で実行されるプログラム文では、失敗テストと成功テストのうちいずれか多い方を選択して黒丸を設定することもできる。

　失敗テストまたは成功テストのいずれで実行されることが多いかを、単純な多数決で決めてもよいし、テストの実行回数が所定の閾値以上であるか否かで決めてもよい。例えば、バグパターン３１２の元となるソースコード変更履歴３１１のうち６０％以上の失敗テストで実行されるプログラム文には、テスト実行経路パターン３１２２の「失敗テスト」に分類され、黒丸が設定される。６０％というのは例示であり、６０％を越えた数値でもよいし、６０％未満の数値でもよい。

　バグ位置３１２３は、バグパターン３１２の元となったソースコード変更履歴３１１によれば、バグの原因箇所である可能性が高いプログラム文であることを示す。

　バグパターンＩＤ３１２３は、ソースコード変更履歴３１１から生成されるバグパターン３１２を識別する情報である。重み３１２４は、バグパターン３１２に設定された重みの値である。重みの値は、バグパターン３１２の元となったソースコード変更履歴３１１の数に基づいて決定されてもよい。例えば、３つの変更履歴３１１からバグパターン３１２が生成される場合、重みの値に「３」または「３」から計算できる値を設定することができる。多くのソースコード変更履歴３１１から作成されるバグパターン３１２ほど、バグ判定に使用する際の信頼性が高いと考えられるためである。

　図５は、ソースコード３１３の例を示す。

　図６は、テストケース３１４の例を示す。

　図７は、テスト実行情報３１５の例を示す。テスト実行情報３１５は、例えば、処理対象ソースコードのプログラム文３１５１、テスト実行経路３１５２、テスト結果３１５３を含む。図中では、２，３個のテストケースを用いて処理対象ソースコードをテストする場合を示すが、実際にはより多くのテストケースを用いて処理対象ソースコードはテストされる。

　図８は、バグ位置情報３１６の例である。バグ位置情報３１６は、例えば、処理対象ソースコードのプログラム文３１６１、テスト実行経路パターン３１６２、疑惑値３１６３、順位３１６４を含む。疑惑値３１６３は、バグ位置判定部３４の疑惑値計算部３４１により計算される。疑惑値計算部３４１は、プログラム文ごとに、成功テストで実行された回数、失敗テストで実行された回数などに基づいて、バグの原因箇所である可能性を疑惑値として計算する。順位３１６４は、バグの原因箇所である可能性の高い順番を示す。順位３１６４は、疑惑値３１６３の大きい順に決定される。

　図９は、修正されたソースコードの例を示す。

　図１０は、バグパターンを抽出する処理（Ｓ１）のフローチャートである。バグパターン抽出部３２は、ソースコード変更履歴３１１に含まれる修正前ソースコード３１１１と修正後ソースコード３１１２との組をクラスタリングし、クラスタごとに「抽象化されたソースコード３１２１」とバグ位置３１２３と重み３１２４を決定する（Ｓ１１）。

　バグパターン抽出部３２は、ステップＳ１１で生成されたクラスタごとに、テスト実行経路３１１３を失敗テストと成功テストとにグループ化することにより、テスト実行経路パターン３１２２を算出する（Ｓ１２）。

　そして、バグパターン抽出部３２は、抽象化されたソースコード３１２１とテスト実行経路パターン３１２２を含むバグパターン３１２を出力し、情報記憶部３１に記憶させる（Ｓ１３）。

　図１１は、バグ位置判定処理（Ｓ３）を示すフローチャートである。バグ位置判定部３４の疑惑値計算部３４１は、テスト実行情報３１５を参照し、テスト実行経路３１５２とテスト結果３１５３とに基づいて、プログラム文ごとの（命令ごとの）疑惑値を計算する（Ｓ３１）。

　バグ位置判定部３４の疑惑値修正部３４２は、テスト実行情報３１５のテスト実行経路３１５２を失敗テストと成功テストとにグループ化することにより、テスト実行経路パターンを計算する（Ｓ３２）。

　疑惑値修正部３４２は、ソースコードの内容（プログラム文）とテスト実行経路パターンとに基づいて、バグパターン３１２の中から一致するバグパターンを検出し、検出されたバグパターンに基づいて疑惑値３１６３を修正する（Ｓ３３）。つまり、抽象化されたソースコードとテストされたソースコードとが対応しており、かつテスト実行経路パターンも一致するバグパターンが検出される。

　疑惑値修正部３４２は、修正された疑惑値の高い順に順位３１６４を決定し、バグ位置情報３１６として出力する（Ｓ３４）。

　このように構成される本実施例によれば、バグの原因箇所を精度良く判定することができる。したがって、本実施例のソフトウェア生成支援システム１では、ソフトウェアの効率的な生成を支援することができる。

　本実施例に係るソフトウェア生成支援システム１では、過去のソフトウェア資産を活用して、バグの発生しやすいソースコードの傾向をバグパターン３１２として抽出し、処理対象ソースコード３１３のテスト実行情報３１５に対応するバグパターン３１２に基づいて疑惑値を修正する。したがって、本実施例のソフトウェア生成支援システム１では、より正確な疑惑値を得ることができ、本実施例のソフトウェア生成支援システム１を使用しない場合に比べて、バグの原因箇所を精度良く短時間で特定できる。

　図１２を用いて第２実施例を説明する。本実施例では、第１実施例との差異を中心に述べる。図１２は、本実施例に係るバグ位置情報３１６Ａの例を示す。

　バグ位置情報３１６Ａは、図８に示したバグ位置情報３１６に比べて、「一致するバグパターンのＩＤ」３１６５をさらに含む。一致するバグパターンのＩＤ３１６５は、処理対象ソースコードのテスト実行情報３１５に一致する（対応する）バグパターン３１２を特定する識別情報３１２３である。

　図１２では、バグの原因箇所である可能性が最も高いプログラム文に、一致するバグパターン３１２の識別情報が設定される。これにより、ユーザは、バグの原因箇所がどのバグパターン３１２に基づいて検出されたのかを確認することができる。最も順位３１６４の高いプログラム文にだけバグパターンＩＤ３１６５を表示させることにより、ユーザは、バグの原因箇所が複数ある場合でも効率的に視認して、ソースコードを修正することができる。最も高い順位のプログラム文だけでなく、バグの原因箇所である可能性が２位または３位のプログラム文にも一致するバグパターンのＩＤを表示させてもよい。

　なお、本発明は、上述した実施形態に限定されない。当業者であれば、本発明の範囲内で、種々の追加や変更等を行うことができる。上述の実施形態において、添付図面に図示した構成例に限定されない。本発明の目的を達成する範囲内で、実施形態の構成や処理方法は適宜変更することが可能である。

　また、本発明の各構成要素は、任意に取捨選択することができ、取捨選択した構成を具備する発明も本発明に含まれる。さらに特許請求の範囲に記載された構成は、特許請求の範囲で明示している組合せ以外にも組み合わせることができる。

　１：ソフトウェア生成支援システム、６：コンピュータ端末、３１：情報記憶部、３２：バグパターン抽出部、３３：テスト実行部、３４：バグ位置判定部、３５：ソースコード修正部、３４１：疑惑値計算部、３４２：疑惑値修正部
 

Claims (12)

1. 　プロセッサとメモリを備え、ソフトウェアの生成を支援するソフトウェア生成支援システムであって、
   　前記プロセッサは、既存ソースコードについてのバグの修正履歴と前記既存ソースコードについて実行されたテストのテスト実行経路とを含むソースコード変更履歴から、バグの発生するパターンを示すバグパターンを抽出するステップと、
   　処理対象ソースコードと前記処理対象ソースコードについて実行されたテストのテスト実行経路を含むテスト実行情報とに基づいて、前記処理対象ソースコードの命令ごとに疑惑値を計算し、前記計算された疑惑値を前記処理対象ソースコードに対応する前記バグパターンに基づいて修正することによりバグの原因箇所を示すバグ位置を判定するバグ位置判定ステップと
   を実行する
   ソフトウェア生成支援システム。
2. 　前記バグ位置判定ステップは、
   　　前記処理対象ソースコードと前記テスト実行情報とに基づいて、前記処理対象ソースコードの命令ごとに前記疑惑値を計算する疑惑値計算ステップと、
   　　前記バグパターンに含まれるソースコードと前記処理対象ソースコードとの照合結果、および前記テスト実行情報と前記バグパターンとの照合結果とに基づいて、前記計算された疑惑値を修正する疑惑値修正ステップと
   を実行する
   請求項１に記載のソフトウェア生成支援システム。
3. 　前記バグパターンは、前記既存ソースコードを抽象化した抽象化ソースコードと、前記既存ソースコードについて実行されたテストの実行経路をパターン化したテスト実行経路パターンとを含んでおり、
   　前記疑惑値計算ステップは、前記処理対象ソースコードについての前記テスト実行経路と前記テスト実行経路パターンとの比較結果に基づいて、前記ソースコードの命令ごとに前記疑惑値を計算する
   請求項２に記載のソフトウェア生成支援システム。
4. 　前記テスト実行経路パターンは、失敗したテストと成功したテストとにおける、前記抽象化ソースコードの命令ごとの実行の有無を含む
   請求項３に記載のソフトウェア生成支援システム。
5. 　前記バグパターンは、バグが発生したと予測される位置を示すバグ位置を含んでおり、前記疑惑値修正ステップは、前記バグ位置に対応する疑惑値を、前記ソースコードおよび前記テスト実行情報と前記バグパターンとの照合結果に基づいて修正する
   請求項３に記載のソフトウェア生成支援システム。
6. 　前記疑惑値修正ステップは、前記バグパターンに設定された重みに基づいて、前記疑惑値を修正する
   請求項５に記載のソフトウェア生成支援システム。
7. 　前記バグパターンの重みは、前記バグパターンの生成に関する既存ソースコードの数に応じて設定される
   請求項６に記載のソフトウェア生成支援システム。
8. 　前記バグパターンは、複数の前記既存ソースコードについてのバグの修正履歴と前記複数の既存ソースコードについて実行されたテストのテスト実行経路とを含むソースコード変更履歴から生成される
   請求項１に記載のソフトウェア生成支援システム。
9. 　前記バグ位置判定ステップは、前記処理対象ソースコードに対応するバグパターンを特定するバグパターン特定情報を、前記バグ位置に対応付けて出力する
   請求項１に記載のソフトウェア生成支援システム。
10. 　前記処理対象ソースコードを、前記バグ位置判定ステップにより判定された前記バグ位置に基づいて修正するソースコード修正ステップをさらに備える
    請求項１に記載のソフトウェア生成支援システム。
11. 　コンピュータによりソフトウェアの生成を支援させるソフトウェア生成支援方法であって、
    　既存ソースコードについてのバグの修正履歴と前記既存ソースコードについて実行されたテストのテスト実行経路とを含むソースコード変更履歴から、バグの発生するパターンを示すバグパターンを抽出するバグパターン抽出ステップと、
    　処理対象ソースコードについて所定のテストケースを実行することにより前記処理対象ソースコードをテストするテスト実行ステップと、
    　前記処理対象ソースコードと前記処理対象ソースコードについて実行されたテストのテスト実行経路を含むテスト実行情報とに基づいて、前記処理対象ソースコードの命令ごとに疑惑値を計算し、前記計算された疑惑値を前記処理対象ソースコードに対応する前記バグパターンに基づいて修正することによりバグの原因箇所を示すバグ位置を判定するバグ位置判定ステップと
    を前記コンピュータに実行させる
    ソフトウェア生成支援方法。
12. 　コンピュータをソフトウェアの生成を支援するソフトウェア生成支援システムとして機能させるコンピュータプログラムであって、
    　既存ソースコードについてのバグの修正履歴と前記既存ソースコードについて実行されたテストのテスト実行経路とを含むソースコード変更履歴から、バグの発生するパターンを示すバグパターンを抽出するバグパターン抽出部と、
    　処理対象ソースコードについて所定のテストケースを実行することにより前記処理対象ソースコードをテストするテスト実行部と、
    　前記処理対象ソースコードと前記処理対象ソースコードについて実行されたテストのテスト実行経路を含むテスト実行情報とに基づいて、前記処理対象ソースコードの命令ごとに疑惑値を計算し、前記計算された疑惑値を前記処理対象ソースコードに対応する前記バグパターンに基づいて修正することによりバグの原因箇所を示すバグ位置を判定するバグ位置判定部と
    を前記コンピュータ上に実現させるコンピュータプログラム。
     

Images