JP7487135B2 - 工数算出支援装置及び工数算出支援方法 - Google Patents

Description

本発明は、工数算出支援装置及び工数算出支援方法に関するものである。

既存のプログラムをテストする際、まず検証したい関数毎にテストの事前設定値及び期待値を含む検証データを作成する。この検証データを効率的に作成するには、作成作業の管理を行うべく、検証関数毎の検証データ作成工数を見積もる必要がある。

こうした検証データ作成工数を見積もる方法として、例えば、全ての関数に対して同じ条件を設定する方法が存在する。ところが、関数毎に複雑さや規模といった品質情報が違う場合、見積もり結果である工数は大きく変化しうる。その場合、作成作業を適宜に管理することはできず、テストデータの作成効率は低下する可能性がある。

そこで、例えば、ソフトウェアシステムのテストにどれだけのリソースをどのように割り当てるべきかを、テスト計画として決定することを支援する、テスト計画作成支援方法（特許文献１参照）などが提案されている。

この技術は、ソフトウェアシステムのプログラムモジュールごとの品質情報を設定するモジュール品質情報設定工程と、前記品質情報から前記プログラムモジュールの不具合検出工数を予測するモジュール不具合検出工数予測工程と、前記モジュールと前記ソフトウェアシステムの仕様書から抽出される仕様項目との対応関係を表すモジュール・仕様項目対応関係情報を設定するモジュール・仕様項目対応関係設定工程と、前記不具合検出工数と前記モジュール・仕様項目対応関係情報とから仕様項目不具合検出工数を予測する仕様項目不具合検出工数予測工程と、前記仕様項目不具合検出工数に基づいて、前記ソフトウェアシステムのテストに利用可能なテストリソースを配分するテスト計画を作成するテスト計画作成工程を備えるものである。

特開２００３－２５６２０６号公報

従来手法において、手動での検証データ作成を前提とした工数算出は可能である。しかしながら、検証データの自動生成を前提とする場合、自動生成実行前に、当該自動生成の成否は不明である。よって、検証データの作成工数を適宜に見積もることが困難であった。

そこで本発明の目的は、検証データの自動生成に先立ち当該自動生成の成否を判定し、検証データの作成工数を推定可能とすることにある。

上記課題を解決する本発明の工数算出支援装置は、検証対象となる関数を規定した検証対象表と、プログラムの検証データ自動生成における阻害要因を規定した自動生成阻害要因表と、検証データ自動生成の成功確率に関する基準値規定した自動生成対象判断閾値と、検証データの生成方法毎の工数を規定した工数設定表と、を格納する記憶装置と、所定プログラムにおける検証対象関数を前記検証対象表に基づき特定し、前記自動生成阻害要
因表が規定する自動生成阻害要因について、前記特定した検証対象関数それぞれにおける該当数を算出する処理と、前記検証対象関数それぞれの該当数に基づき、前記所定プログラムに関する検証データ自動生成の成功確率を算出する処理と、前記検証対象関数それぞれについて、前記成功確率に基づいて検証データの自動生成対象か判定する処理と、前記検証対象関数それぞれについて、前記判定の結果に基づいて検証データ作成工数を算出する処理を実行する演算装置と、を含むことを特徴とする。

また、本発明の工数算出支援方法は、情報処理装置が、検証対象となる関数を規定した検証対象表と、プログラムの検証データ自動生成における阻害要因を規定した自動生成阻害要因表と、検証データ自動生成の成功確率に関する基準値規定した自動生成対象判断閾値と、検証データの生成方法毎の工数を規定した工数設定表と、を格納する記憶装置を保持し、所定プログラムにおける検証対象関数を前記検証対象表に基づき特定し、前記自動生成阻害要因表が規定する自動生成阻害要因について、前記特定した検証対象関数それぞれにおける該当数を算出する処理と、前記検証対象関数それぞれの該当数に基づき、前記所定プログラムに関する検証データ自動生成の成功確率を算出する処理と、前記検証対象関数それぞれについて、前記成功確率に基づいて検証データの自動生成対象か判定する処理と、前記検証対象関数それぞれについて、前記判定の結果に基づいて検証データ作成工数を算出する処理と、を実行することを特徴とする。

本発明によれば、検証データの自動生成に先立ち当該自動生成の成否を判定し、検証データの作成工数を推定可能となる。

本実施形態における工数算出支援装置を備える情報処理システムのハードウェア構成例を示す図である。 本実施形態における工数算出支援装置のソフトウェア構成例を示す図である。 本実施形態における検証対象表の一例を示す図である。 本実施形態における自動生成阻害要因表の一例を示す図である。 本実施形態における自動生成対象判断閾値の一例を示す図である。 本実施形態における工数設定表の一例を示す図である。 本実施形態における検証関数毎自動生成阻害要因該当数表の一例を示す図である。 本実施形態における検証関数毎検証データ自動生成成功確率表の一例を示す図である。 本実施形態における検証関数毎自動生成対象表の一例を示す図である。 本実施形態における検証関数毎検証データ作成工数表の一例を示す図である。 本実施形態における非機能関連生成失敗非該当確率算出式の一例を示す図である。 本実施形態における自動生成阻害要因算出処理フローチャートの一例を示す図である。 本実施形態における自動生成成功確率算出処理フローチャートの一例を示す図である。 本実施形態における検証データ自動生成対象判断処理フローチャートの一例を示す図である。 本実施形態における工数算出処理フローチャートの一例を示す図である。 本実施形態における検証関数プログラムの一例を示す図である。 本実施形態における表示装置の一例を示す図である。

＜＜システム構成＞＞
以下に本発明の実施形態について図面を用いて詳細に説明する。図１は、本実施形態の工数算出支援装置１００を含むシステム構成例を示す図である。なお、本実施形態では、ユーザが指定した検証関数に対して検証データ作成工数を算出する方法の一例を説明する。

本実施形態における工数算出支援装置１００は、中央演算装置１０１、主記憶装置１０２、二次記憶装置１０３、入力装置１０４、表示装置１０５、及び通信装置１０７を備える。また、これらの各装置はバス１０６で接続され、互いに通信可能である。

このうち中央演算装置１０１は、ＣＰＵ（Ｃｅｎｔｒａｌ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）やＭＰＵ（Ｍｉｃｒｏ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）で構成される。この中央演算装置１０１は、二次記憶装置１０３に保持されるプログラムを主記憶装置１０２に読み出すなどして実行し装置自体の統括制御を行なうとともに各種判定、演算及び制御処理を行なう。

また、主記憶装置１０２は、ＲＡＭ（Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙ）やＲＯＭ（Ｒｅａｄ Ｏｎｌｙ Ｍｅｍｏｒｙ）など揮発性記憶素子で構成される。

また、二次記憶装置１０３は、ＳＳＤ（Ｓｏｌｉｄ Ｓｔａｔｅ Ｄｒｉｖｅ）やＨＤＤ（Ｈａｒｄ Ｄｉｓｋ Ｄｒｉｖｅ：ハードディスクドライブ）など適宜な不揮発性記憶素子で構成される。この二次記憶装置１０２には、本実施形態の工数算出支援装置１００として必要な機能を実装する為のプログラムに加えて、当該プログラムが利用する各種データ類が記憶されている。

また、入力装置１０４は、キーボードやマウス等のデータ入力デバイスから構成される。

また、表示装置１０５は、ディスプレイ等の出力装置で構成される。

また、通信装置１０７は、中央演算装置１０１が通信ネットワーク１３０と通信するための機能が実装されたネットワークインタフェースカード（ＮＩＣ：Ｎｅｔｗｏｒｋ Ｉｎｔｅｒｆａｃｅ Ｃａｒｄ）等で構成される。

なお、工数算出支援装置１００は、検証関数を含むプログラムファイル（テスト対象のプログラム）を格納するプログラムファイル格納装置１１０と、インターネット等の通信ネットワーク１３０を介して接続している。

＜＜ソフトウェア構成＞＞
次に、工数算出支援装置１００とプログラムファイル格納装置１１０の構成について説明する。図２は、本実施形態に係る工数算出支援装置１００とプログラムファイル格納装置１１０の構成からなる機能ブロックの一例を示す図である。

なお、本実施形態においては、工数算出支援装置１００の機能ブロックの全てが中央演算装置１０１によって実行または操作されるソフトウェアプログラムとデータであるものとして説明する。ただし、上述の機能ブロックの一部または全ては、ハードウェアとして実現されてもよい。

また、本来は、図２に例示している機能ブロックに加え、各機能ブロックの起動と管理等を行うオペレーティングシステム（ＯＳ）と制御プログラム等が存在する。しかし本実施形態では、これらの機能ブロックの連携動作を適宜説明することとし、ＯＳと制御プログラムについては説明及び記載を省略する。ＯＳと制御プログラムが、ここで適宜説明する連携動作に必要となる機能ブロックの起動と動作管理を行うことは自明であるためである。

図２に示すように、本実施形態に係る工数算出支援装置１００は、機能ブロックとして、自動生成阻害要因該当数算出部２０１と、生成成功確率算出部２０２と、検証データ自動生成対象判断部２０３と、工数算出部２０４を有する。

このうち自動生成阻害要因該当数算出部２０１は、検証関数毎の自動生成阻害要因の該当数を算出する。

また、生成成功確率算出部２０２は、検証関数毎の自動生成成功確率を算出する

また、検証データ自動生成対象判断部２０３は、検証関数毎に検証データの自動生成対象か否かを判断する

また、工数算出部２０４は、検証関数毎に検証データの作成工数を算出する。

また、工数算出支援装置１００は、データ群として、検証対象表２１０と、自動生成阻害要因表２１１と、自動生成対象判断閾値２１２と、工数設定表２１３と、検証関数毎自動生成阻害要因該当数表２１４と、検証関数毎検証データ自動生成成功確率表２１５と、検証関数毎自動生成対象表２１６と、非機能関連自動生成成功確率算出式２２０と、検証関数毎検証データ作成工数表２１７を有する。

このうち、検証対象表２１０は検証対象の関数を含む。

また、自動生成阻害要因表２１１は、自動生成の複数の阻害要因の情報を含む。

また、自動生成対象判断閾値２１２は、検証関数を自動生成するか否か判断するための自動生成成功確率の基準値を含む。

また、工数設定表２１３は、自動生成する場合としない場合の関数毎の工数を規定する。

また、検証関数毎自動生成阻害要因該当数表２１４は、検証関数毎に自動生成の複数の阻害要因の該当数の情報を含む。

また、検証関数毎検証データ自動生成成功確率表２１５は、検証関数毎に検証データの自動生成成功確率の情報を含む。

また、検証関数毎自動生成対象表２１６は、検証関数毎に自動生成対象か否かの情報を含む。

また、非機能関連自動生成成功確率算出式２２０は、自動生成が所定時間内に完了しないといった非機能要件に関連した失敗が発生しない確率を算出する式である。

また、検証関数毎検証データ作成工数表２１７は、検証関数毎に検証データ作成工数の
情報を含む。

なお、上記の各機能ブロック及びデータ群については、工数算出支援装置１００等のデータ処理内容に関連して以下に順次説明する。

＜＜データ定義＞＞
ここで、本実施形態の工数算出支援装置１００での検証データ作成工数算出処理に使用されるデータ類について説明する。

＜＜事前準備データ定義＞＞
まず、検証対象表２１０、自動生成阻害要因表２１１、自動生成対象判断閾値２１２、工数設定表２１３について説明する。これらの表は、工数算出支援装置１００の運用開始前に、システム管理者等が予め適宜の記憶領域内に設定し、格納しておくものとする。

検証対象表２１０の一構成例を図３に示す。検証対象表２１０には、検証データを作成すべき関数名が格納されている。例えば、図３では、検証関数項番１に、関数名として、「和暦西暦変換」を格納している。

続いて、自動生成阻害要因表２１１の一構成例を図４に示す。自動生成阻害要因表２１１には、検証データ自動生成の阻害要因の情報として、阻害要因の名称と、生成失敗が決定的か否かをYesまたはNoで表す情報を格納している。

例えば、図４では、阻害要因項番１の「阻害要因」として、「命令毎付随更新変数数の合計数」を格納し、「決定的か？」欄に、「No」を格納している。

次に、自動生成対象判断閾値２１２の一構成例を図５に示す。自動生成対象判断閾値２１２には、検証データの自動生成対象か判断するための、自動生成成功確率の基準値が格納されている。例えば、図５では、自動生成成功判断閾値として、0.5を格納している。

続いて、工数設定表２１３の一構成例を図６に示す。工数設定表２１３には、工数設定毎に、検証データの自動生成対象か否かをYesまたはNoで表す情報と工数を格納している
。例えば、図６では、工数設定項番「１」の、「自動生成対象か？」欄に「Yes」、「工
数」に「１」を格納している。

＜＜処理過程使用データ定義＞＞
続いて、検証関数毎自動生成阻害要因該当数表２１４、検証関数毎検証データ自動生成成功確率表２１５、検証関数毎自動生成対象表２１６、及び検証関数毎検証データ作成工数表２１７について説明する。

これらの表は、工数算出支援装置１００が検証データ作成工数を算出する過程で使用する。生成過程については、各表説明後に詳しく説明する。

まず、検証関数毎自動生成阻害要因該当数表２１４の一構成例を図７に示す。この検証関数毎自動生成阻害要因該当数表２１４は、検証関数毎に、プログラムを解析して算出した阻害要因の該当数を格納するテーブルである。検証関数毎自動生成阻害要因該当数表２１４は、検証関数項番、阻害要因項番、及びその該当数の各値が格納される。

こうした検証関数毎自動生成阻害要因該当数表２１４は、自動生成阻害要因該当数算出部２０１に、検証対象表２１０と自動生成阻害要因表２１１を入力することで作成される。

例えば、検証関数項番「１」の阻害要因項番「１」では、関数「和暦西暦変換」の阻害要因「命令毎付随更新変数数の合計数」の該当数として「２」が格納されている。

続いて、検証関数毎検証データ自動生成成功確率表２１５の一構成例を図８に示す。検証関数毎検証データ自動生成成功確率表２１５では、検証関数毎に、検証データ自動生成の成功確率の情報を格納する。

こうした検証関数毎検証データ自動生成成功確率表２１５は、自動生成成功確率算出部２０２に、検証関数毎自動生成阻害要因該当数表２１４と自動生成阻害要因表２１１を入力することで作成する。例えば、検証関数項番「１」の生成成功確率として、「0.4」が
格納されている。

次に、検証関数毎自動生成対象表２１６の一構成例を図９に示す。検証関数毎自動生成対象表２１６では、検証関数毎に、検証データの自動生成対象か否かをYesかNoで表す情
報を格納する。

こうした検証関数毎自動生成対象表２１６は、検証データ自動生成対象判断部２０３に、検証関数毎検証データ自動生成成功確率表２１５と自動生成成功判断閾値２１２を入力することで作成する。例えば、検証関数項番「１」の「自動生成対象？」へ「Yes」が格
納されている。

続いて、検証関数毎検証データ作成工数表２１７の一構成例を図１０に示す。検証関数毎検証データ作成工数表２１７では、検証関数毎に、検証データ作成工数を格納する。こうした検証関数毎検証データ作成工数表２１７は、工数算出部２０４に、検証関数毎自動生成対象表２１６と工数設定表２１３を入力することで作成する。例えば、検証関数項番「１」の工数として「１」を格納している。

＜＜算出式定義＞＞
続いて、非機能関連生成失敗非該当確率算出式２２０について説明する。この式は、工数算出支援装置１００の運用開始前に、システム管理者等が予め適宜の記憶領域内に設定し、格納しておく。

この非機能関連生成失敗非該当確率算出式２２０の一例を図１１に示す。非機能関連生成失敗非該当確率算出式２２０は、生成成功確率算出部２０２にて、自動生成時間が完了しないといった非機能要件に関連した失敗が発生しない確率を算出するために用いる。

本式の構成としては、阻害要因ごとに重み（図１１下段の重みテーブル１１０１）と該当数を乗じて切片を加えたものの総和を算定するものとなっている。

＜フロー例＞
以下、本実施形態における工数算出支援方法の実際手順について図に基づき説明する。以下で説明する工数算出支援方法に対応する各種動作は、工数算出支援装置１００が主記憶装置１０２等に読み出して実行するプログラムによって実現される。そして、このプログラムは、以下に説明される各種の動作を行うためのコードから構成されている。

＜＜処理内容＞＞
次に、本実施形態の工数算出支援装置１００により、検証データ作成工数を算出する処理について説明する。その概要は以下のとおりである。

まず工数算出支援装置１００は、入力装置１０２からの指示等により、検証データ作成工数算出を開始すると、まず検証対象表２１０と自動生成阻害要因表２１１を自動生成阻害要因該当数算出部２０１に入力し、検証関数毎自動生成阻害要因該当数表２１４を出力する。

続いて、工数算出支援装置１００は、検証関数毎自動生成阻害要因表２１４と自動生成阻害要因表２１１と非機能関連生成失敗非該当確率算出式２２０を、生成成功確率算出部２０２に入力し、検証関数毎検証データ自動生成成功確率表２１５を出力する。

続いて、工数算出支援装置１００は、検証関数毎検証データ自動生成成功確率表２１５と自動生成成功判断閾値２１２を、検証データ自動生成対象判断部２０３に入力し、検証関数毎自動生成対象表２１６を出力する。

続いて、工数算出支援装置１００は、検証関数毎自動生成対象表２１６と工数設定表２１３を、工数算出部２０４に入力し、検証関数毎検証データ作成工数表２１７を出力する。

以上の処理により、検証対象表２１０に対応した検証関数毎検証データ作成工数表２１７を生成できる。

本実施形態では、自動生成阻害要因表２１１、自動生成対象判断閾値２１２、工数設定表２１３として図４、図５、図６を用意し、検証関数を含むプログラムとして図１６に示すソースファイルをプログラムファイル格納装置１１０へ格納し、検証対象表２１０として図３を入力したときに、検証データ作成工数を算出する例を示す。

＜＜詳細：自動生成阻害要因該当数算出部＞＞
図１２に、自動生成阻害要因該当数算出部２０１が、検証対象関数毎の自動生成阻害要因の該当数を算出する処理の一例を示す。

この処理は、工数算出支援装置１００が、自動生成阻害要因該当数算出部２０１へ、検証対象表２１０と自動生成阻害要因表２１１を入力した時点で開始する（Ｓ１２００）。なお、本実施形態では、自動生成阻害要因該当数算出部２０１へ図３、図４の情報が入力されたものとする。

この場合、まず自動生成阻害要因該当数算出部２０１が、検証対象表２１０から検証関数を一つ取得し、処理対象検証関数とする（Ｓ１２０１）。

続いて、自動生成阻害要因該当数算出部２０１が、Ｓ１２０１で得た処理対象検証関数についてプログラム解析を行い、自動生成阻害要因表２１１で規定する阻害要因に関して、その該当個数を算定する（Ｓ１２０２）。

続いて、自動生成阻害要因該当数算出部２０１が、検証対象表２１０に未処理（Ｓ１２０１及びＳ１２０２を未処理）の検証関数が残っているか判定する（Ｓ１２０３）。

上述の判定の結果、残っている場合（Ｓ１２０３：Ｙｅｓ）、自動生成阻害要因該当数算出部２０１は、検証対象表２１０から残りの検証関数を一つ取得し、新たな処理対象検証関数とする（Ｓ１２０１）。

一方、上述の判定の結果、残っていない場合（Ｓ１２０３：Ｎｏ）、自動生成阻害要因該当数算出部２０１は、検証関数毎の自動生成阻害要因の該当数を、検証関数毎自動生成
阻害要因該当数表２１４として出力し（Ｓ１２０４）、処理を終了する（Ｓ１２０５）。

一例として、自動生成阻害要因該当数算出部２０１がＳ１２０１にて、処理対象検証関数として、図３に示す検証対象表２１０より検証関数項番「２」の「会員ランク算出」を取得した場合について説明する。

自動生成阻害要因該当数算出部２０１は、Ｓ１２０２にて、図１６に示すソースファイルから、会員ランク算出に該当するプログラム(３３－４８行目)を解析対象プログラムとして取得する。

以下、自動生成阻害要因該当数算出部２０１が、この解析対象プログラムを解析し、図４に示す自動生成阻害要因表２１１で規定する阻害要因のうち、「令毎付随更新変数数の合計数」を計上する過程について説明する。

自動生成阻害要因該当数算出部２０１は、解析対象プログラムから、変数値を更新する命令文(３４、３５、３８、４０、４２、４４、４６行目)を取得する。

続いて、自動生成阻害要因該当数算出部２０１は、上述のように取得した各命令で更新する変数を列挙する。例えば、３４行目の命令から「運転者基本情報」と「運転熟練度」を列挙する。

続いて、自動生成阻害要因該当数算出部２０１は、ソースファイルのデータ定義(１－
２４行目)を参照し、各命令で更新する各変数に対して、値の保存領域を共有するために
付随して更新される変数を列挙する。

例えば、「運転者基本情報」は、「会員情報」(９行目)、「免許区分」(１０行目)、「免許種類」(１１行目)、「種別」(１２行目)、「名称」(１３行目)、「免許取得後年数」(１４行目)の６つの変数と保存領域を共有している。

続いて、自動生成阻害要因該当数算出部２０１は、変数値を更新する命令毎の付随更新変数数を合計して、「１７」を算出し、この値を、検証関数毎自動生成阻害要因該当数表２１４の検証関数項番「２」、阻害要因項番「１」の該当数として格納する（図７）。

以上の処理により、検証対象関数毎の自動生成阻害要因の該当数を算出できる。

＜＜詳細：生成成功確率算出部＞＞
図１３に、自動生成成功確率算出部２０２が、検証対象関数毎の自動生成阻害要因の該当数を用いて生成成功確率を算出する処理の一例を示す。この処理は、自動生成成功確率算出部２０２へ、検証関数毎自動生成阻害要因該当数表２１４と自動生成阻害要因表２１１が入力された時点で開始する（Ｓ１３００）。本実施形態では、自動生成成功確率算出部２０２へ図７、図４の各情報が入力されたとする。

まず、自動生成成功確率算出部２０２が、検証関数毎自動生成阻害要因該当数表２１４から、検証関数を一つ取得し、処理対象検証関数とする（Ｓ１３０１）。

続いて、自動生成成功確率算出部２０２は、Ｓ１３０１で得た処理対象検証関数に関して、０より大きい自動生成阻害要因があるか確認する（Ｓ１３０２）。

この確認の結果、０より大きい自動生成阻害要因がない場合（Ｓ１３０２：Ｎｏ）、自動生成成功確率算出部２０２は、処理対象検証関数の生成成功確率を「１」とする（Ｓ１
３０３）。以下、０より大きい自動生成阻害要因がある場合について説明する。

続いて、自動生成成功確率算出部２０２が、決定的である自動生成阻害要因に、０より大きいものがあるか確認する（Ｓ１３０４）。決定的である自動生成阻害要因に、０より大きいものがある場合（Ｓ１３０４：Ｙｅｓ）、自動生成成功確率算出部２０２は、処理対象検証関数の生成成功確率を「０」とする（Ｓ１３０５）。

例えば、図７の検証関数項番「３」の阻害要因項番「４」の該当数は「３」であり、阻害要因項番「４」は図４より決定的であるため、図８の検証関数項番「３」の生成成功確率として「０」を格納している。

一方、決定的である自動生成阻害要因に、「０」より大きいものがない場合（Ｓ１３０４：Ｎｏ）、自動生成成功確率算出部２０２は、非機能関連生成失敗非該当確率算出式２２０に従い、生成成功確率を算出する（Ｓ１３０６）。

例えば、図７の検証関数項番「２」の阻害要因項番「４」の該当数は「０」であるため、図１１に示した非機能関連生成失敗非該当確率算出式２２０を用いて、非該当確率「０．１４１」を算出し、図８の検証関数項番「２」の生成成功確率として、非該当確率「０．１４１」を格納している。

続いて、自動生成成功確率算出部２０２が、検証関数毎自動生成阻害要因該当数表２１４に未処理の検証関数が残っているか確認する（Ｓ１３０７）。この確認の結果、残っている場合（Ｓ１３０７：Ｙｅｓ）、自動生成成功確率算出部２０２は、検証関数毎自動生成阻害要因該当数表２１４から新たに検証関数を一つ取得し、新たな処理対象検証関数とする（Ｓ１３０１）。

一方、上述の確認の結果、残っていない場合（Ｓ１３０７：Ｎｏ）、自動生成成功確率算出部２０２は、検証関数毎の自動生成成功確率を検証関数毎自動生成成功確率表２１５として出力し（Ｓ１３０８）、処理を終了する（Ｓ１３０９）。

以上の処理により、検証対象関数毎の自動生成阻害要因の該当数を用いて生成成功確率を算出できる。

＜＜詳細：検証データ自動生成対象判断部＞＞
図１４に、検証データ自動生成対象判断部２０３が、検証対象関数毎に自動生成対象か否か判断する処理の一例を示す。この処理は、検証データ自動生成対象判断部２０３へ、検証関数毎検証データ自動生成成功確率表２１５と自動生成成功判断閾値２１２が入力された時点で開始する（Ｓ１４００）。本実施形態では、検証データ自動生成対象判断部２０３へ図８、図５の各情報が入力されたとする。

まず、検証データ自動生成対象判断部２０３が、検証関数毎検証データ自動生成成功確率表２１５から検証関数を一つ取得し、処理対象検証関数とする（Ｓ１４０１）。

続いて、検証データ自動生成対象判断部２０３が、Ｓ１２０１で得た処理対象検証関数に関して、生成成功確率が自動生成対象判断閾値２１２より大きいか確認する（Ｓ１４０２）。

この確認の結果、大きい場合（Ｓ１４０２：Ｙｅｓ）、検証データ自動生成対象判断部２０３は、処理対象検証関数の「自動生成対象？」欄を「Ｙｅｓ」と設定とする（Ｓ１４０３）。一方、小さい場合（Ｓ１４０２：Ｎｏ）、検証データ自動生成対象判断部２０３
は、処理対象検証関数の「自動生成対象？」欄を「Ｎｏ」と設定する（Ｓ１４０４）。

続いて、検証データ自動生成対象判断部２０３が、検証関数毎検証データ自動生成成功確率表２１５に未処理の検証関数が残っているか確認する（Ｓ１４０５）。

この確認の結果、残っている場合（Ｓ１４０５：Ｙｅｓ）、検証データ自動生成対象判断部２０３は、新たに検証関数を取得し、処理対象検証関数とする（Ｓ１４０１）。

一方、残っていない場合（Ｓ１４０５：Ｎｏ）、検証データ自動生成対象判断部２０３は、検証関数毎の「自動生成対象？」欄の値を検証関数毎自動生成対象表として出力し（Ｓ１４０６）、処理を終了する（Ｓ１４０７）。

一例として、検証データ自動生成対象判断部２０３が、Ｓ１４０１にて、処理対象検証関数として図８の検証関数項番「１」を取得したとする。検証関数項番「１」の生成成功確率は「０．９４８」であり、自動生成成功判断閾値２１２より大きい（Ｓ１４０２：Ｙｅｓ）ため、検証データ自動生成対象判断部２０３は、「自動生成対象？」欄に「Ｙｅｓ」を設定する(Ｓ１４０３)。

以上の処理により、検証対象関数毎に自動生成対象か否か判断できる。

＜＜詳細：工数算出部＞＞
図１５に、工数算出部２０４が、検証対象関数毎に検証データ作成工数を算出する処理の一例を示す。この処理は、工数算出部２０４へ、検証関数毎自動生成対象表２１６と工数設定表２１３が入力された時点で開始する（Ｓ１４００）。本実施形態では、工数算出部２０４へ図９、図６の各情報が入力されたものとする。

まず、工数算出部２０４が、検証関数毎自動生成対象表２１６から、検証関数を一つ取得し、処理対象検証関数とする(Ｓ１５０１)。

続いて、工数算出部２０４が、Ｓ１５０1で得た処理対象検証関数に関して、工数設定
表２１３から、処理対象検証関数の「自動生成対象化？」の値が一致する工数を取得する(Ｓ１５０２)。

続いて、工数算出部２０４が、検証関数毎自動生成対象表２１６に未処理の検証関数が残っているか確認する(Ｓ１５０３)。この確認の結果、残っている場合（Ｓ１５０３：Ｙｅｓ）、工数算出部２０４は、新たに検証関数を一つ取得し、処理対象検証関数とする(
Ｓ１５０1)。

一方、上述の確認の結果、残っていない場合（Ｓ１５０３：Ｎｏ）、工数算出部２０４は、検証関数毎の工数を検証関数毎検証データ作成工数表２１７として出力し(Ｓ１５０
４)、処理を終了する(Ｓ１５０５)。

一例として、工数算出部２０４が、Ｓ１５０１にて、処理対象検証関数として図９の検証関数項番「１」を取得したとする。検証関数項番「１」は、自動生成対象のため、図６の工数設定項番「１」から、工数「１」を取得する（Ｓ１５０２）。

以上の処理により、検証対象関数毎に検証データ作成工数を算出できる。

＜＜ユースケース＞＞
従来においては、全て手動で検証データを作成する場合には工数を算出できた。だが、
検証データ自動生成技術を利用する環境下では、自動生成技術実行前に、自動生成に成功するか否か判然とせず、検証データの作成工数を見積もれなかった。ところが、上記で説明してきた本実施形態のように、工数算出支援装置１００によれば、こうした従来の課題を解決し、自動生成技術実行前に自動生成成功するか否かを判定することで、検証データ自動生成技術を活用した場合でも検証データ作成工数を算出できる。

図１７に、本実施形態の工数算出支援装置１００によって算出した検証データ作成工数を表示装置１０５にて表示した画面１０００を例示する。

画面１０００におけるテーブル１７０１は、検証関数名ごとに、検証データの自動生成対象か否かを示す「Ｙｅｓ」または「Ｎｏ」の値と、当該関数に関する検証データ作成工数を示した構成となっている。

この画面表示によれば、検証データ自動生成装置を活用した場合でも、検証データ作成前に、検証関数毎に自動生成対象か否か及び作成工数を把握でき、検証データ作成作業を管理できる。

なお、本発明は上記した実施形態に限定されるものではなく、様々な変形例が含まれる。例えば，上記した実施形態は本発明を分かりやすく説明するために詳細に説明したものであり、必ずしも説明した全ての構成を備えるものに限定されるものではない。また、実施形態の構成の一部を他の構成に置き換えることが可能であり、また、ある実施形態の構成に他の構成を加えることも可能である。

こうした本実施形態によれば、検証データの自動生成に先立ち当該自動生成の成否を判定し、検証データの作成工数を推定可能となる。

本明細書の記載により、少なくとも次のことが明らかにされる。すなわち、本実施形態の工数算出支援装置において、前記演算装置は、前記検証対象関数それぞれについて算出した、前記検証データ作成工数の情報を出力する処理をさらに実行するものである、としてもよい。

これによれば、工数の情報をユーザに提示し、ひいては、検証データの自動生成に先立ち当該自動生成の成否を判定し、より効率的に検証データの作成工数を推定可能となる。

また、本実施形態の工数算出支援装置において、前記記憶装置は、前記自動生成阻害要因表において、自動生成阻害要因ごとに、自動生成の決定的な阻害要因か否かを規定する情報を保持し、前記演算装置は、前記検証対象関数における前記決定的な阻害要因の該当数が１以上である場合、前記成功確率の算出において、当該検証対象関数に関する前記成功確率を０として算出するものである、としてもよい。

これによれば、決定的な阻害要因に関して適宜に取り扱うことが可能となる。ひいては、検証データの自動生成に先立ち当該自動生成の成否をより効率的に判定し、検証データの作成工数を推定可能となる。

また、本実施形態の工数算出支援装置において、前記記憶装置は、前記自動生成阻害要因表において、前記決定的な阻害要因として、メモリ上の記憶位置を１ビット単位で指定する変数の数を規定しているものである、としてもよい。

これによれば、阻害要因のうち、メモリ上での変数の特性に関して対応可能となる。ひいては、検証データの自動生成に先立ち当該自動生成の成否をより効率的に判定し、検証
データの作成工数を推定可能となる。

また、本実施形態の工数算出支援装置において、前記記憶装置は、前記自動生成阻害要因表において、前記決定的な阻害要因として、テスト対象プログラム内で使用された変数のうち、記憶領域を共有した変数の数を規定しているものである、としてもよい。

これによれば、阻害要因のうち、記憶領域を共有するタイプの変数に関して対応可能となる。ひいては、検証データの自動生成に先立ち当該自動生成の成否をより効率的に判定し、検証データの作成工数を推定可能となる。

また、本実施形態の工数算出支援装置において、前記記憶装置は、前記自動生成阻害要因表において、前記決定的な阻害要因として、テスト対象プログラム内の条件式内の変数のうち、外部関数で値が複数回更新される変数の数を規定しているものである、としてもよい。

これによれば、阻害要因のうち、外部関数により値が更新されるタイプの変数に関して対応可能となる。ひいては、検証データの自動生成に先立ち当該自動生成の成否をより効率的に判定し、検証データの作成工数を推定可能となる。

また、本実施形態の工数算出支援装置において、前記記憶装置は、前記自動生成阻害要因表において、前記決定的な阻害要因として、変数への値を代入する命令のうち、命令の複数の引数変数の型またはサイズが異なる命令の数を規定しているものである、としてもよい。

これによれば、阻害要因のうち、変数への値の代入命令のタイプに関して対応可能となる。ひいては、検証データの自動生成に先立ち当該自動生成の成否をより効率的に判定し、検証データの作成工数を推定可能となる。

また、本実施形態の工数算出支援装置において、前記記憶装置は、前記自動生成阻害要因表において、前記阻害要因として、検証関数内の命令文が変数の値を更新する際に、付随して更新される変数の数の合計数を表す命令毎付随更新変数数の合計数を規定するものであり、前記演算装置は、前記該当数の算出に際し、前記合計数の規定に対応した阻害要因の該当数を算出するものである、としてもよい。

これによれば、阻害要因のうち、他の変数の値更新に付随して更新されるタイプの変数に関して対応可能となる。ひいては、検証データの自動生成に先立ち当該自動生成の成否をより効率的に判定し、検証データの作成工数を推定可能となる。

また、本実施形態の工数算出支援装置において、前記記憶装置は、前記自動生成阻害要因表において、前記阻害要因として、条件文の数である構文数を規定するものであり、前記演算装置は、前記該当数の算出に際し、構文数の規定に対応した阻害要因の該当数を算出するものである、としてもよい。

これによれば、阻害要因のうち、条件分の数に関して対応可能となる。ひいては、検証データの自動生成に先立ち当該自動生成の成否をより効率的に判定し、検証データの作成工数を推定可能となる。

また、本実施形態の工数算出支援装置において、前記記憶装置は、非機能関連の検証データの自動生成失敗に該当しない確率を規定する、非機能関連生成失敗非該当確率算出式を保持し、前記演算装置は、非機能関連の検証データ自動生成が失敗に該当しない確率を
、前記非機能関連生成失敗非該当確率算出式に基づき算出するものである、としてもよい。

これによれば、非機能に関連する検証データの自動生成に関して適宜に対応可能となる。ひいては、検証データの自動生成に先立ち当該自動生成の成否をより効率的に判定し、検証データの作成工数を推定可能となる。

１００ 工数算出支援装置
１０１ 中央演算装置
１０２ 主記憶装置
１０３ 二次記憶装置
１０４ 入力装置
１０５ 表示装置
１０６ バス
１０７ 通信装置
１１０ プログラムファイル格納装置
１３０ 通信ネットワーク
２０１ 自動生成阻害要因該当数算出部
２０２ 生成成功確率算出部
２０３ 検証データ自動生成対象判断部
２０４ 工数算出部
２１１ 自動生成阻害要因表
２１２ 自動生成成功判断閾値
２１３ 工数設定表
２１４ 検証関数毎自動生成阻害要因該当数表
２１５ 検証関数毎検証データ自動生成成功確率表
２１６ 検証関数毎自動生成対象表
２１７ 検証関数毎検証データ作成工数表
２２０ 非機能関連生成失敗非該当確率算出式

Claims (11)

1. 検証対象となる関数を規定した検証対象表と、プログラムの検証データ自動生成における阻害要因を規定した自動生成阻害要因表と、検証データ自動生成の成功確率に関する基準値規定した自動生成対象判断閾値と、検証データの生成方法毎の工数を規定した工数設定表と、を格納する記憶装置と、
   所定プログラムにおける検証対象関数を前記検証対象表に基づき特定し、前記自動生成阻害要因表が規定する自動生成阻害要因について、前記特定した検証対象関数それぞれにおける該当数を算出する処理と、前記検証対象関数それぞれの該当数に基づき、前記所定プログラムに関する検証データ自動生成の成功確率を算出する処理と、前記検証対象関数それぞれについて、前記成功確率に基づいて検証データの自動生成対象か判定する処理と、前記検証対象関数それぞれについて、前記判定の結果に基づいて検証データ作成工数を算出する処理を実行する演算装置と、
   を含むことを特徴とする工数算出支援装置。
2. 前記演算装置は、
   前記検証対象関数それぞれについて算出した、前記検証データ作成工数の情報を出力する処理をさらに実行するものである、
   ことを特徴とする請求項１に記載の工数算出支援装置。
3. 前記記憶装置は、
   前記自動生成阻害要因表において、自動生成阻害要因ごとに、自動生成の決定的な阻害要因か否かを規定する情報を保持し、
   前記演算装置は、
   前記検証対象関数における前記決定的な阻害要因の該当数が１以上である場合、前記成功確率の算出において、当該検証対象関数に関する前記成功確率を０として算出するものである、
   ことを特徴とする請求項１に記載の工数算出支援装置。
4. 前記記憶装置は、
   前記自動生成阻害要因表において、前記決定的な阻害要因として、メモリ上の記憶位置を１ビット単位で指定する変数の数を規定しているものである、
   ことを特徴とする請求項３に記載の工数算出支援装置。
5. 前記記憶装置は、
   前記自動生成阻害要因表において、前記決定的な阻害要因として、テスト対象プログラム内で使用された変数のうち、記憶領域を共有した変数の数を規定しているものである、
   ことを特徴とする請求項３に記載の工数算出支援装置。
6. 前記記憶装置は、
   前記自動生成阻害要因表において、前記決定的な阻害要因として、テスト対象プログラム内の条件式内の変数のうち、外部関数で値が複数回更新される変数の数を規定しているものである、
   ことを特徴とする請求項３に記載の工数算出支援装置。
7. 前記記憶装置は、
   前記自動生成阻害要因表において、前記決定的な阻害要因として、変数への値を代入する命令のうち、命令の複数の引数変数の型またはサイズが異なる命令の数を規定しているものである、
   ことを特徴とする請求項３に記載の工数算出支援装置。
8. 前記記憶装置は、
   前記自動生成阻害要因表において、前記阻害要因として、検証関数内の命令文が変数の値を更新する際に、付随して更新される変数の数の合計数を表す命令毎付随更新変数数の合計数を規定するものであり、
   前記演算装置は、
   前記該当数の算出に際し、前記合計数の規定に対応した阻害要因の該当数を算出するものである、
   ことを特徴とする請求項１に記載の工数算出支援装置。
9. 前記記憶装置は、
   前記自動生成阻害要因表において、前記阻害要因として、条件文の数である構文数を規定するものであり、
   前記演算装置は、
   前記該当数の算出に際し、構文数の規定に対応した阻害要因の該当数を算出するものである、
   ことを特徴とする請求項１に記載の工数算出支援装置。
10. 前記記憶装置は、
    非機能関連の検証データの自動生成失敗に該当しない確率を規定する、非機能関連生成失敗非該当確率算出式を保持し、
    前記演算装置は、
    非機能関連の検証データ自動生成が失敗に該当しない確率を、前記非機能関連生成失敗非該当確率算出式に基づき算出するものである、
    ことを特徴とする請求項１に記載の工数算出支援装置。
11. 情報処理装置が、
    検証対象となる関数を規定した検証対象表と、プログラムの検証データ自動生成における阻害要因を規定した自動生成阻害要因表と、検証データ自動生成の成功確率に関する基準値規定した自動生成対象判断閾値と、検証データの生成方法毎の工数を規定した工数設定表と、を格納する記憶装置を保持し、
    所定プログラムにおける検証対象関数を前記検証対象表に基づき特定し、前記自動生成阻害要因表が規定する自動生成阻害要因について、前記特定した検証対象関数それぞれにおける該当数を算出する処理と、前記検証対象関数それぞれの該当数に基づき、前記所定プログラムに関する検証データ自動生成の成功確率を算出する処理と、前記検証対象関数それぞれについて、前記成功確率に基づいて検証データの自動生成対象か判定する処理と、前記検証対象関数それぞれについて、前記判定の結果に基づいて検証データ作成工数を算出する処理と、
    を実行することを特徴とする工数算出支援方法。

Images