特許 7557431 ソースコード修正支援装置及びソースコード修正支援方法

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

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

(11)【特許番号】

(24)【登録日】2024-09-18

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

(54)【発明の名称】ソースコード修正支援装置及びソースコード修正支援方法

(51)【国際特許分類】

   G06F 11/36 20060101AFI20240919BHJP

   G06F 8/75 20180101ALI20240919BHJP

【ＦＩ】

G06F11/36 184

G06F8/75

【請求項の数】 8

(21)【出願番号】P 2021101977

(22)【出願日】2021-06-18

(65)【公開番号】P2023000907

(43)【公開日】2023-01-04

【審査請求日】2024-02-01

(73)【特許権者】

【識別番号】000005108

【氏名又は名称】株式会社日立製作所

(74)【代理人】

【識別番号】110000176

【氏名又は名称】弁理士法人一色国際特許事務所

(72)【発明者】

【氏名】佐藤 直人

(72)【発明者】

【氏名】ファン ティタン フエン

【審査官】松平 英

(56)【参考文献】

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

【文献】特開平５－２１０５３７（ＪＰ，Ａ）

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

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

【文献】米国特許第８４７９１６９（ＵＳ，Ｂ１）

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

Ｇ０６Ｆ ８／００－８／３８

８／６０－８／７７

９／４４－９／４４５

９／４５１

１１／０７

１１／２８－１１／３６

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

【請求項1】

不具合が発生する入力条件に基づき開発者によって更新された更新済みソースコードを保持する記憶装置と、
前記更新済みソースコードを評価するための評価コードのひな型として、前記入力条件の成否の各ケースに関する条件分岐文を含むひな型を生成する処理と、所定の評価者の端末に対し、前記ひな型に基づく前記評価コードの作成依頼を通知する処理と、前記作成依頼に応じた前記評価者による、前記更新済みソースコードへのアクセスを制御する処理と、前記ひな型における前記条件分岐文の本文に対して、前記評価者による編集を受け付ける処理と、前記編集を経た前記評価コードの全ての制御パスを実行する入力値のリストを生成し、当該入力値を入力に前記評価コードを自動実行する評価コードドライバを生成する処理を実行する演算装置と、
を含むことを特徴とするソースコード修正支援装置。

【請求項2】

前記演算装置は、
前記ひな型の生成に際し、前記入力条件が成立しない場合の前記条件分岐文の本文において、更新前のソースコードの出力結果と前記更新済みのソースコードの出力結果が一致するかを評価する手続きを記述するものである、
ことを特徴とする請求項１に記載のソースコード修正支援装置。

【請求項3】

前記演算装置は、
前記ひな型の生成に際し、前記入力条件の成否の各ケースについて、更新前のソースコードに対して記号実行を行うことで得られるパス制約条件を構成する節、及び当該節を構成する変数の境界値に基づく条件分岐文を記述するものである、
ことを特徴とする請求項１に記載のソースコード修正支援装置。

【請求項4】

前記演算装置は、
前記ひな型の生成に際し、前記入力条件の成否の各ケースについて、前記更新済みのソースコードに対して記号実行を行うことで得られるパス制約条件を構成する節、及び当該節を構成する変数の境界値に基づく条件分岐文を記述するものである、
ことを特徴とする請求項１に記載のソースコード修正支援装置。

【請求項5】

前記演算装置は、
前記ひな型の生成に際し、前記入力条件の成否の各ケースについて、前記入力条件を構成する任意の２変数間の関係式に基づく条件分岐文を記述するものである、
ことを特徴とする請求項１に記載のソースコード修正支援装置。

【請求項6】

前記演算装置は、
前記評価者による、更新済みのソースコードに関して得られるパス制約条件を構成する節、及び当該節を構成する変数の境界値に基づく条件分岐文を踏まえた、前記変数の境界値に基づく特定の条件分岐文が不要との判断に対応し、当該条件分岐文を結合する入力を受け付けて、当該条件分岐文を結合した結果を画面表示する処理と、
前記画面表示において、前記条件分岐文の本文に対して、前記評価者による編集を受け付け、前記編集の結果を、前記ひな型に反映する処理を実行するものである、
ことを特徴とする請求項１に記載のソースコード修正支援装置。

【請求項7】

前記演算装置は、
前記ひな型に関して作成した条件分岐文の分岐条件の充足可能性を判定し、充足不能の場合、当該分岐条件を削除するものである、
ことを特徴とする請求項１に記載のソースコード修正支援装置。

【請求項8】

情報処理装置が、
不具合が発生する入力条件に基づき開発者によって更新された更新済みソースコードを保持する記憶装置を備えて、
前記更新済みソースコードを評価するための評価コードのひな型として、前記入力条件の成否の各ケースに関する条件分岐文を含むひな型を生成する処理と、所定の評価者の端末に対し、前記ひな型に基づく前記評価コードの作成依頼を通知する処理と、前記作成依頼に応じた前記評価者による、前記更新済みソースコードへのアクセスを制御する処理と、前記ひな型における前記条件分岐文の本文に対して、前記評価者による編集を受け付ける処理と、前記編集を経た前記評価コードの全ての制御パスを実行する入力値のリストを生成し、当該入力値を入力に前記評価コードを自動実行する評価コードドライバを生成する処理と、
を実行することを特徴とするソースコード修正支援方法。

【発明の詳細な説明】

【技術分野】

【0001】

本発明は、ソースコード修正支援装置及びソースコード修正支援方法に関するものである。

【背景技術】

【0002】

ソフトウェアの不具合を検出するための手段としてテストが一般的である。しかし、入力パラメータの数が多く、各パラメータの取り得る値の範囲が広いソフトウェアの場合、あらゆる入力値の組合せを網羅的にテストすることは困難である。これは、いわゆる組合せ爆発と呼ばれる状況に該当する。

【0003】

そのため、稀な条件下で発生する不具合をソフトウェアに作り込んでしまった場合、その稼働前のテストでは検出できず、本番稼働後に不具合が発現することがある。本番稼働後に不具合が発生すると、原因分析の手がかりとなる情報を十分に取得できないケースが多い。その場合、不具合発生条件の特定に時間がかかることがある。

【0004】

その結果、不具合の修正が遅れ、長期間のシステム停止や、大規模なリコールに繋がりうるという問題がある。

【0005】

こうした問題に対応する従来技術としては、例えば、プログラムの修正前のテスト資産を利用して、プログラム修正後のテストのコストを削減する技術（特許文献１参照）などが提案されている。

【0006】

この技術は、不具合の発生をログから検知した場合に、その不具合が発生する入力条件とその際の実行パスを提示する方法を示している。これにより、ソフトウェア開発者は、不具合が発生した場所と条件を認識して、修正方針の検討が可能となる。また、そのことで、不具合の修正にかかる時間を短縮可能とされている。

【0007】

また他にも、誤判定の疑いがあるテスト結果の検出効率の向上を図る情報処理装置（特許文献２参照）なども提案されている。

【0008】

この情報処理装置は、第１のプログラムおよび前記第１のプログラムが変更された第２のプログラムから共に期待値が返される入力値を前記第１のプログラムに与えた場合の第１の実行経路に関する条件式の系列を示すパスコンディションと、前記第１の実行経路に関する返値を示す数式と、を含む第１のシンボリック実行結果を取得する第１の取得部と、前記入力値を前記第２のプログラムに与えた場合の第２の実行経路に関する条件式の系列を示すパスコンディションと、前記第２の実行経路に関する返値を示す数式と、を含む第２のシンボリック実行結果を取得する第２の取得部と、前記第１の取得部によって取得された第１のシンボリック実行結果内のパスコンディションに、前記第２の取得部によって取得された第２のシンボリック実行結果内のパスコンディションが包含されているか否か、または、前記第１および第２のシンボリック実行結果内の数式が一致するか否か、に基づいて、前記入力値による前記第２のプログラムのテスト結果に関する信頼性の高さの指標になる信頼度を決定する決定部と、前記決定部によって決定された信頼度を出力する出力部と、有するものである。

【0009】

また、Ｗｅｂアプリケーションのテスト工数を削減することのできるテストデータ生成装置、テストデータ生成方法及びプログラムを提供する技術（特許文献３参照）なども提案されている。

【0010】

この技術は、Ｗｅｂアプリケーションが提供する画面遷移に関するテストのテストデータを生成するテストデータ生成装置であって、前記画面遷移のうち、１以上の画面遷移の選択を受け付ける選択受付手段と、前記Ｗｅｂアプリケーションのフレームワークで規定又は定義されている制約の記述仕様を用いて、前記Ｗｅｂアプリケーションのソースコードを解析し、該ソースコードから制約を抽出する抽出手段と、前記選択された画面遷移の遷移元の画面に含まれる入力フォームの前記制約を用いて、同値分割及び境界値分析のテスト観点を満たす複数のテストデータを生成する生成手段と、

【0011】

を有するテストデータ生成装置に関するものである。

【先行技術文献】

【特許文献】

【0012】

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

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

【文献】特開２０２０－６７８５９号公報

【発明の概要】

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

【0013】

上記先行技術を適用することで、本番稼働中に発生した不具合の特定を効率的に行うことができるようになる。しかし、不具合の修正は人手で行うため、修正の間違いや漏れ、またはリグレッションの可能性がある。

【0014】

これらの修正誤りを防止するためには、修正後のソフトウェアをテストすることが重要である。ところが、稼働前のテストでは当該不具合を検出できなかったことを考えると、既存のテストコードは有効ではない。

【0015】

そのため、新たなテストコードを作成する必要がある。一方、ソースコードの修正を行った開発者がテストコード作成も担当する場合、ソースコードと同様の誤りをテストコードに埋め込む可能性が高い。

【0016】

そのため通常は、評価者によるソースコードレビューを行う。しかし、評価者は既に誤りが埋め込まれたソースコードをレビューするため、開発者と同じ思考に陥り、誤りを見逃す可能性がある。

【0017】

特にソフトウェアの仕様が複雑あるいは曖昧で、仕様を実装する方法が複数考えられる場合、開発者は、ソースコードの実行速度向上や可読性向上などの観点から、不具合に直接関係する箇所だけでなく、ソースコード全体の構造を修正することがある。

【0018】

その結果、修正後のソースコードが、「不具合が発生する入力条件」（特許文献１の技術により特定されうる）とは異なる条件で分岐するような制御フローで構成されるケースがある。すると評価者は、上記「不具合が発生する入力条件」に関わる処理を過不足なく修正できているか正しく確認できず、誤りを見逃す可能性がある。

【0019】

また従来は、開発者がテストコードを作成した後、評価者によるコードレビューを行うため、ソースコードの修正が完了するまで時間がかかる問題もある。

【0020】

そこで本発明の目的は、修正後のソースコードを適宜に評価し、修正の漏れや誤り等を効率良く回避可能とする技術を提供することにある。

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

【0021】

上記課題を解決する本発明のソースコード修正支援装置は、不具合が発生する入力条件に基づき開発者によって更新された更新済みソースコードを保持する記憶装置と、前記更新済みソースコードを評価するための評価コードのひな型として、前記入力条件の成否の各ケースに関する条件分岐文を含むひな型を生成する処理と、所定の評価者の端末に対し、前記ひな型に基づく前記評価コードの作成依頼を通知する処理と、前記作成依頼に応じた前記評価者による、前記更新済みソースコードへのアクセスを制御する処理と、前記ひな型における前記条件分岐文の本文に対して、前記評価者による編集を受け付ける処理と、前記編集を経た前記評価コードの全ての制御パスを実行する入力値のリストを生成し、当該入力値を入力に前記評価コードを自動実行する評価コードドライバを生成する処理を実行する演算装置と、を含むことを特徴とする。

【0022】

また、本発明のソースコード修正支援方法は、情報処理装置が、不具合が発生する入力条件に基づき開発者によって更新された更新済みソースコードを保持する記憶装置を備えて、前記更新済みソースコードを評価するための評価コードのひな型として、前記入力条件の成否の各ケースに関する条件分岐文を含むひな型を生成する処理と、所定の評価者の端末に対し、前記ひな型に基づく前記評価コードの作成依頼を通知する処理と、前記作成依頼に応じた前記評価者による、前記更新済みソースコードへのアクセスを制御する処理と、前記ひな型における前記条件分岐文の本文に対して、前記評価者による編集を受け付ける処理と、前記編集を経た前記評価コードの全ての制御パスを実行する入力値のリストを生成し、当該入力値を入力に前記評価コードを自動実行する評価コードドライバを生成する処理と、を実行することを特徴とする。

【発明の効果】

【0023】

本発明によれば、修正後のソースコードを適宜に評価し、修正の漏れや誤り等を効率良く回避可能となる。

【図面の簡単な説明】

【0024】

【図1】本実施形態のソースコード修正支援装置を含むネットワーク構成図である。

【図2】本実施形態におけるソースコード修正支援装置のハードウェア構成例を示す図である。

【図3】本実施形態におけるソースコード修正支援装置のブロック構成例を示す図である。

【図4】本実施形態におけるソースコード修正・評価の流れを示す概念図である。

【図5】本実施形態におけるソースコード修正支援方法のフロー例を示す図である。

【図6】本実施形態における評価者アドレスの構成例を示す図である。

【図7】本実施形態におけるソースコード修正支援方法のフロー例を示す図である。

【図8】本実施形態における不具合発生したソースコードの例を示す図である。

【図9】本実施形態における更新済みソースコードの例を示す図である。

【図10】本実施形態における不具合が発生する入力条件の例を示す図である。

【図11】本実施形態における更新前後のソースコードの概念例を示す図である。

【図12】本実施形態における評価コードひな型の意義を示す図である。

【図13】本実施形態における評価コードひな型の例を示す図である。

【図14】本実施形態のソースコード修正支援方法のフロー例を示す図である。

【図15】本実施形態における評価コードドライバの例を示す図である。

【図16】本実施形態のソースコード修正支援方法のフロー例を示す図である。

【図17】本実施形態における評価コードひな型への追記例を示す図である。

【図18】本実施形態における分岐条件結合レビューの例を示す図である。

【図19】本実施形態における分岐条件結合レビューの例を示す図である。

【図20】本実施形態における分岐条件結合レビューの例を示す図である。

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

【0025】

＜システム構成＞
以下に本発明の実施形態について図面を用いて詳細に説明する。図１は、本実施形態のソースコード修正支援装置１００を含むネットワーク構成例を示す図である。図１に示すソースコード修正支援装置１００は、修正後のソースコードを適宜に評価し、修正の漏れや誤り等を効率良く回避可能とするコンピュータである。

【0026】

本実施形態のソースコード修正支援装置１００は、図１で示すように、ネットワーク１を介して、開発者端末２００及び評価者端３００と通信可能に接続されている。よって、これらを総称して、ソースコード修正支援システム１０としてもよい。

【0027】

なお、開発者端末２００は、ソフトウェアの開発者が操作する端末である。具体的には、スマートフォン、タブレット端末、パーソナルコンピュータなどを想定できる。この開発者は、不具合が発生する入力条件に関して修正するとともに、当該修正箇所以外についてもソースコードを更新する者である。開発者端末２００で更新されたソースコードすなわち更新済みソースコードは、ネットワーク１を介してソースコード修正支援装置１００に提供される。

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

この不具合発生入力条件１２６を解消すべく、開発者がソースコードの修正や更新を行った結果、この更新後のソースコード上では不具合発生入力条件１２６の境界が埋没する。そのため、更新済みソースコード１２７のみをレビューすると、開発者による修正や更新の誤りを見逃す可能性が高い。そこで、評価コードひな型によって、そのような修正誤りの見逃しを低減することに意義がある。

【0063】

また、評価コードひな型生成機能１１２は、不具合発生入力条件１２６を構成する任意の２変数について、それら２変数の関係式を作成する（ｓ１２）。図１３に示す評価コードひな型の例では、変数ｘ、変数ｙの関係（ｘ＝＝ｙ）について、分岐条件に採用している。

【0064】

なお、図１３にて示す評価コードひな型の例では、こうした２変数の関係式の具体例の他、不具合発生入力条件の成否それぞれにケースに関して、不具合発生入力条件１２６での分岐を規定する分岐条件、変数ｘに関する境界条件で規定した分岐条件、変数ｙに関する境界条件で規定した分岐条件、更新前ソースコード１２８の境界条件で既定した分岐条件、などについても生成し、記述した状態を示している。

【0065】

続いて、評価コードひな型生成機能１１２は、上述のｓ１０で作成した条件分岐文のうち、上述の関係式を未作成の分岐条件があるか判定する（ｓ１３）。

【0066】

上述の判定の結果、関係式未作成の分岐条件がない場合（ｓ１３：Ｎｏ）、評価コードひな型生成機能１１２は、処理をｓ１８に遷移させる。

【0067】

一方、上述の判定の結果、関係式未作成の分岐条件がある場合（ｓ１３：Ｙｅｓ）、評価コードひな型生成機能１１２は、上述の境界条件および関係式を用いて任意の分岐条件を作成する（ｓ１４）。

【0068】

続いて、評価コードひな型生成機能１１２は、作成した分岐条件は充足可能か判定する（ｓ１５）。この判定は既知のソルバーを用いて実施すればよい。

【0069】

また、評価コードひな型生成機能１１２は、上述の判定の結果、作成した分岐条件は充足可能でない場合（ｓ１５：Ｎｏ）、充足不能な分岐条件を削除し（ｓ１６）、処理をｓ１７に遷移させる。

【0070】

一方、上述の判定の結果、作成した分岐条件は充足可能である場合（ｓ１５：Ｙｅｓ）、

【0071】

評価コードひな型生成機能１１２は、上述の不具合発生入力条件１２６の成否に基づく条件分岐文の本文に、ｓ１０で作成した分岐条件を用いた条件分岐文を作成し（ｓ１７）、処理をｓ１３に戻す。

【0072】

また、評価コードひな型生成機能１１２は、上述の不具合発生入力条件１２６が成立する条件分岐文の本文に、更新前ソースコード１２８の出力結果を返す手続きを記入し（ｓ１８）、処理を終了する。

【0073】

＜フロー例：評価コードドライバ生成機能＞
続いて、上述の評価コードドライバ生成機能１１５における処理フローについて、図１４及び図１５に基づき説明する。この場合、ソースコード修正支援装置１００の評価コードドライバ生成機能１１５は、評価コードに対して記号実行を行う（ｓ２０）。これにより、評価コードドライバ生成機能１１５は全てのパスを取得し、そのパスを通るテスト入力値を作成する（図１５）。

【0074】

また、評価コードドライバ生成機能１１５は、上述の記号実行（図１５：「symbolicExec(spec)」）によって得られたパス制約条件に対して、充足可能性チェックを行うことで充足解を求める（ｓ２１）。

【0075】

続いて、評価コードドライバ生成機能１１５は、ｓ２１の結果、充足解が得られたか判定する（ｓ２２）。

【0076】

上述の判定の結果、充足解が得られなかった場合（ｓ２２：Ｎｏ）評価コードドライバ生成機能１１５は、処理をｓ２４に遷移させる。

【0077】

一方、上述の判定の結果、充足解が得られた場合（ｓ２２：Ｙｅｓ）、評価コードドライバ生成機能１１５は、上述の充足解をテスト入力値（図１５：m）として与え、評価コ
ード（図１５：「spec」）をオラクルに、更新済みソースコード１２７（図１５：main_updated(m[x],m[y])）のテストを実行するソースコードを作成し（ｓ２３）、処理を終了
する。

【0078】

続いて、評価コードドライバ生成機能１１５は、充足解のない実行パスを、評価コードから削除し（ｓ２４）、処理を終了する。

【0079】

＜フロー例：評価コード編集支援機能＞
続いて、上述の評価コード編集支援機能１１４における処理フローについて、図１６～図２０に基づき説明する。この場合、評価コード編集支援機能１１４は、評価コードの表示画面において、評価者端末３００から、複数の分岐条件の指定を受け付ける（ｓ３０）。図１８で例示するビューでは、「ｉｆ ｙ＝＝０」、「ｅｌｓｅ」について指定を受け、また、「結合」ボタンが押下されている。

【0080】

また、評価コード編集支援機能１１４は、上述の指定および結合指示に応じて、指定された分岐条件を論理和で結合した式の充足可能性を、既知のソルバーによってチェックする（ｓ３１）。

【0081】

続いて、評価コード編集支援機能１１４は、上述の充足可能性のチェックの結果、結合した式が充足可能ではない場合（ｓ３２：Ｎｏ）、評価コード編集支援機能１１４は、処理を終了する。

【0082】

一方、上述の判定の結果、充足可能である場合（ｓ３２：Ｙｅｓ）、評価コード編集支援機能１１４は、評価コードの表示画面において、指定された分岐条件を結合した条件分岐文を表示する（ｓ３３）。図１９にて例示するビューでは、上述のｓ３０で指定された分岐条件をマージして、これを評価者端末３００にて表示させている。

【0083】

続いて、評価コード編集支援機能１１４は、上記条件分岐文の本文に対して、評価者からの、期待する出力値の入力を受け付ける（ｓ３４）。ここで受け付けた出力値は、例えば、「ｒｅｔｕｒｎ“ｘ ｉｓ ｈｉｇｈ”」であるとする。

【0084】

また、評価コード編集支援機能１１４は、評価コードにおいて、上記期待する出力値を、結合対象となった条件分岐文の本文に追記し（ｓ３５）、処理を終了する。図１９にて例示するビューでは、上述のマージされた条件分岐文に、評価者端末３００から入力された出力値（期待するもの）である、「ｒｅｔｕｒｎ“ｘ ｉｓ ｈｉｇｈ”」を追記している。なお、図２０で示すように、評価コード編集支援機能１１４は、上述のマージはあくまでビュー上でのことで、実コード上ではマージをしない運用とする。

【0085】

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

【0086】

こうした本実施形態によれば、開発者とは別のユーザが、先入観を持たずに修正後のソースコードを評価するため、修正誤りを見逃す可能性が低くなる。また、不具合が発生する入力条件に関して、その論理境界および数値境界を漏れなく評価できるため、修正漏れ、修正間違い、リグレッション（以降、まとめて修正誤りと呼ぶ）を見逃す可能性が低くなる。さらには、従来はテストコード作成とコードレビューの２ステップで行っていた評価作業を、評価コード作成の１ステップに短縮できるため、ソースコード修正にかかる時間を短縮できる。

【0087】

すなわち、修正後のソースコードを適宜に評価し、修正の漏れや誤り等を効率良く回避可能となる。

【0088】

本明細書の記載により、少なくとも次のことが明らかにされる。すなわち、本実施形態のソースコード修正支援装置において、前記演算装置は、前記ひな型の生成に際し、前記入力条件が成立しない場合の前記条件分岐文の本文において、更新前のソースコードの出力結果と前記更新済みのソースコードの出力結果が一致するかを評価する手続きを記述するものである、としてもよい。

【0089】

これによれば、更新前後でのソースコード間の整合性を出力値から効率良く検証可能となる。ひいては、修正後のソースコードを適宜に評価し、修正の漏れや誤り等をより効率良く回避可能となる。

【0090】

また、本実施形態のソースコード修正支援装置において、前記演算装置は、前記ひな型の生成に際し、前記入力条件の成否の各ケースについて、更新前のソースコードに対して記号実行を行うことで得られるパス制約条件を構成する節、及び当該節を構成する変数の境界値に基づく条件分岐文を記述するものである、としてもよい。

【0091】

これによれば、更新前の、例えば不具合発生条件が成立しない場合も、不具合発生条件の境界条件での条件分岐を記述し、リグレッションテストを不具合発生の境界値で行うことが可能となる。ひいては、修正後のソースコードを適宜に評価し、修正の漏れや誤り等をより効率良く回避可能となる。

【0092】

また、本実施形態のソースコード修正支援装置において、前記演算装置は、前記ひな型の生成に際し、前記入力条件の成否の各ケースについて、前記更新済みのソースコードに対して記号実行を行うことで得られるパス制約条件を構成する節、及び当該節を構成する変数の境界値に基づく条件分岐文を記述するものである、としてもよい。

【0093】

これによれば、不具合が発生する入力条件に関して、その論路境界及び数値境界を漏れなく評価して、修正漏れ等を的確に回避しやくなる。ひいては、修正後のソースコードを適宜に評価し、修正の漏れや誤り等をより効率良く回避可能となる。

【0094】

また、本実施形態のソースコード修正支援装置において、前記演算装置は、前記ひな型の生成に際し、前記入力条件の成否の各ケースについて、前記入力条件を構成する任意の２変数間の関係式に基づく条件分岐文を記述するものである、としてもよい。

【0095】

これによれば、変数間の関係についても踏まえた条件分岐を記述し、修正漏れ等を的確に回避しやくなる。ひいては、修正後のソースコードを適宜に評価し、修正の漏れや誤り等をより効率良く回避可能となる。

【0096】

また、本実施形態のソースコード修正支援装置において、前記演算装置は、前記評価者による、更新済みのソースコードに関して得られるパス制約条件を構成する節、及び当該節を構成する変数の境界値に基づく条件分岐文を踏まえた、前記変数の境界値に基づく特定の条件分岐文が不要との判断に対応し、当該条件分岐文を結合する入力を受け付けて、当該条件分岐文を結合した結果を画面表示する処理と、前記画面表示において、前記条件分岐文の本文に対して、前記評価者による編集を受け付け、前記編集の結果を、前記ひな型に反映する処理を実行するものである、としてもよい。

【0097】

これによれば、不要な条件分岐文の削除に関して的確かつ効率的に対処可能となる。ひいては、修正後のソースコードを適宜に評価し、修正の漏れや誤り等をより効率良く回避可能となる。

【0098】

また、本実施形態のソースコード修正支援装置において、前記演算装置は、前記ひな型
に関して作成した条件分岐文の分岐条件の充足可能性を判定し、充足不能の場合、当該分岐条件を削除するものである、としてもよい。

【0099】

これによれば、ひな型およびそれに基づく評価コードの品質を効率的に維持可能となる。ひいては、修正後のソースコードを適宜に評価し、修正の漏れや誤り等をより効率良く回避可能となる。

【符号の説明】

【0100】

１ ネットワーク
１０ ソースコード修正支援システム
１００ ソースコード修正支援装置
１０１ 外部記憶装置
１０２ プログラム
１０３ メモリ
１０４ ＣＰＵ（演算装置）
１０５ 入力装置
１０６ 表示装置
１０７ 通信装置
１０８ 外部媒体入出力装置
１１０ 評価リクエスト機能
１１１ 更新済みソースコードアクセス制御機能
１１２ 評価コードひな型生成機能
１１３ 評価コード編集機能
１１４ 評価コード編集支援機能
１１５ 評価コードドライバ生成機能
１２５ 評価者アドレス
１２６ 不具合発生入力条件
１２７ 更新済みソースコード
１２８ 更新前ソースコード
１２９ 評価コード
２００ 開発者端末
３００ 評価者端末

【図1】

【図2】

【図3】

【図4】

【図5】

【図6】

【図7】

【図8】

【図9】

【図10】

【図11】

【図12】

【図13】

【図14】

【図15】

【図16】

【図17】

【図18】

【図19】

【図20】