知財求人 - 知財ポータルサイト「IP Force」
(19)【発行国】日本国特許庁(JP)
(12)【公報種別】公開特許公報(A)
(11)【公開番号】P2023120879
(43)【公開日】2023-08-30
(54)【発明の名称】テストケース作成支援装置および仕様書作成支援装置
(51)【国際特許分類】
G06F 11/36 20060101AFI20230823BHJP
【ＦＩ】
G06F11/36 176
G06F11/36 184
【審査請求】未請求
【請求項の数】6
【出願形態】ＯＬ
(21)【出願番号】P 2022023995
(22)【出願日】2022-02-18
(71)【出願人】
【識別番号】000005108
【氏名又は名称】株式会社日立製作所
(74)【代理人】
【識別番号】110001807
【氏名又は名称】弁理士法人磯野国際特許商標事務所
(72)【発明者】
【氏名】河江 晋寛
【テーマコード（参考）】
5B042
【Ｆターム（参考）】
5B042HH11
5B042HH17
5B042HH18
5B042HH19
5B042NN08
(57)【要約】
【課題】システム開発におけるテストケース作成の効率化および高品質化の支援を可能とする。
【解決手段】テストケース作成支援装置１００は、情報システムの開発工程におけるテスト仕様書を基にテストケースである生成テストケースを生成する仕様ベーステストケース生成部１１２と、情報システムの開発工程におけるテストケースと生成テストケースとを比較して相違を出力するテストケース妥当性検証部１１５とを備える。またテストケース作成支援装置１００は、情報システムの開発工程におけるテストケースを基に自然文のテスト仕様書である生成テスト仕様書を生成する自然文生成部１１３と、情報システムの開発工程におけるテスト仕様書と生成テスト仕様書とを比較して相違を出力するテスト仕様妥当性検証部１１４とを備える。
【選択図】図２
【解決手段】テストケース作成支援装置１００は、情報システムの開発工程におけるテスト仕様書を基にテストケースである生成テストケースを生成する仕様ベーステストケース生成部１１２と、情報システムの開発工程におけるテストケースと生成テストケースとを比較して相違を出力するテストケース妥当性検証部１１５とを備える。またテストケース作成支援装置１００は、情報システムの開発工程におけるテストケースを基に自然文のテスト仕様書である生成テスト仕様書を生成する自然文生成部１１３と、情報システムの開発工程におけるテスト仕様書と生成テスト仕様書とを比較して相違を出力するテスト仕様妥当性検証部１１４とを備える。
【選択図】図２
【特許請求の範囲】
【請求項1】
情報システムの開発工程におけるテスト仕様書を基にテストケースである生成テストケースを生成する仕様ベーステストケース生成部と、
前記情報システムの開発工程におけるテストケースと前記生成テストケースとを比較して相違を出力するテストケース妥当性検証部とを備える
テストケース作成支援装置。
前記情報システムの開発工程におけるテストケースと前記生成テストケースとを比較して相違を出力するテストケース妥当性検証部とを備える
テストケース作成支援装置。
【請求項2】
情報システムの開発工程におけるテストケースを基に自然文のテスト仕様書である生成テスト仕様書を生成する自然文生成部と、
前記情報システムの開発工程におけるテスト仕様書と前記生成テスト仕様書とを比較して相違を出力するテスト仕様妥当性検証部とを備える
テストケース作成支援装置。
前記情報システムの開発工程におけるテスト仕様書と前記生成テスト仕様書とを比較して相違を出力するテスト仕様妥当性検証部とを備える
テストケース作成支援装置。
【請求項3】
前記情報システムの仕様書を基にテスト仕様書を生成するテスト仕様生成部をさらに備え、
前記情報システムの開発工程におけるテスト仕様書は、前記テスト仕様生成部が生成したテスト仕様書である
請求項１または２に記載のテストケース作成支援装置。
前記情報システムの開発工程におけるテスト仕様書は、前記テスト仕様生成部が生成したテスト仕様書である
請求項１または２に記載のテストケース作成支援装置。
【請求項4】
前記情報システムの開発工程における既存のテストケースに、前記情報システムの開発工程におけるコードを基にテストケースを生成して加えるコードベーステストケース生成部をさらに備える
請求項１または２に記載のテストケース作成支援装置。
請求項１または２に記載のテストケース作成支援装置。
【請求項5】
前記コードベーステストケース生成部は、前記情報システムの開発工程における既存のテストケースに対してペアワイズ手法を適用してテストケースの数を削減する
請求項４に記載のテストケース作成支援装置。
請求項４に記載のテストケース作成支援装置。
【請求項6】
情報システムの開発工程における仕様書を基に前記仕様書に含まれる業務内容を生成する業務内容生成部と、
前記業務内容を基にテストケースである生成テストケースを生成する仕様ベーステストケース生成部と、
前記生成テストケースを基に自然文である文章を生成する自然文生成部と、
前記業務内容と前記文章とを比較して相違を出力するテスト仕様妥当性検証部とを備える
仕様書作成支援装置。
前記業務内容を基にテストケースである生成テストケースを生成する仕様ベーステストケース生成部と、
前記生成テストケースを基に自然文である文章を生成する自然文生成部と、
前記業務内容と前記文章とを比較して相違を出力するテスト仕様妥当性検証部とを備える
仕様書作成支援装置。
【発明の詳細な説明】
【技術分野】
【0001】
本発明は、システム開発におけるテストケース作成の支援を行うテストケース作成支援装置および仕様書作成支援装置に関する。
【背景技術】
【0002】
現在では、事業・業務全般に渡って幅広くシステム（情報システム、情報処理システム）が利用されており、事業・業務が変更になる度に仕様変更・テストの工程を繰り返すことになる。変更が行われる事業・業務に対して、テスト工程のみでシステムの品質を担保することは困難であり、開発工程も含めてシステム開発工程全体で品質を確保する必要がある。
【0003】
開発工程とテスト工程とを一体として品質確保を目指す手法として、テスト駆動開発（ＴＤＤ、Test-Driven Development）がある。テスト駆動開発では、プログラム（コード）の実装前にテストケースを作成し（テストファースト）そのテストケースに適合するように実装とリファクタリングとを進める。このため、開発するシステムの仕様がまとまった段階、または仕様作成の段階でテストケースを作成することになる。なおリファクタリングとは、実装したコードを書き換えて、可読性や拡張性、一貫性などを確保することである。
【0004】
テストケース作成について特許文献１には、少ないテストケース数で信頼性向上ができるテストケース生成システムが記載されている。当該テストケース生成システムでは、開発対象のシステムのモデルを入力し、結線によるパスを同じくする因子を一つのグループとするようにグループ分けし、グループ分けしたグループ同士の重みを計算して因子グループ間重み表を求める。続いてテストケース生成システムは、因子のグループ定義と因子グループ間重み表から、テストケースに含まれる因子の集合に含まれる因子間の値の組合せに対して、因子グループ間重み表の重みの値に従って評価した値の総和を最大にするテストケースを生成する。なお因子とはシステムに影響を与える因子であり、一般にはシステムへの入力である。
【先行技術文献】
【特許文献】
【0005】
【特許文献1】特開２０１４－１０９９６６号公報
【発明の概要】
【発明が解決しようとする課題】
【0006】
特許文献１に記載のテストケース生成システムでは、開発対象システムのモデルの他に、因子の集合とその値の集合である因子集合を入力する必要がある。これらの入力の作成は人手によるものである。このため、その妥当性の担保も人に依存しており、入力作成や妥当性確認の作業を効率化することが望ましい。
本発明は、このような背景を鑑みてなされたものであり、システム開発におけるテストケース作成の効率化および高品質化の支援を可能とするテストケース作成支援装置および仕様書作成支援装置を提供することを課題とする。
本発明は、このような背景を鑑みてなされたものであり、システム開発におけるテストケース作成の効率化および高品質化の支援を可能とするテストケース作成支援装置および仕様書作成支援装置を提供することを課題とする。
【課題を解決するための手段】
【0007】
上記した課題を解決するため、本発明に係るテストケース作成支援装置は、情報システムの開発工程におけるテスト仕様書を基にテストケースである生成テストケースを生成する仕様ベーステストケース生成部と、前記情報システムの開発工程におけるテストケースと前記生成テストケースとを比較して相違を出力するテストケース妥当性検証部とを備える。
【0008】
また本発明に係るテストケース作成支援装置は、情報システムの開発工程におけるテストケースを基に自然文のテスト仕様書である生成テスト仕様書を生成する自然文生成部と、前記情報システムの開発工程におけるテスト仕様書と前記生成テスト仕様書とを比較して相違を出力するテスト仕様妥当性検証部とを備える。
【発明の効果】
【0009】
本発明によれば、システム開発におけるテストケース作成の効率化および高品質化の支援を可能とするテストケース作成支援装置および仕様書作成支援装置を提供することができる。上記した以外の課題、構成および効果は、以下の実施形態の説明により明らかにされる。
【図面の簡単な説明】
【0010】
【図1】本実施形態に係るテストケース作成支援装置の主たる処理を説明するための図である。
【図2】本実施形態に係るテストケース作成支援装置の機能ブロック図である。
【図3】本実施形態に係る仕様書の例を示す図である。
【図4】本実施形態に係る業務内容の例を示す図である。
【図5】本実施形態に係るテストケースの例を示す図である。
【図6】本実施形態に係る不一致箇所表示画面の画面構成図である。
【図7】本実施形態に係る修正箇所表示画面の画面構成図である。
【図8】本実施形態に係る不一致箇所表示画面の画面構成図である。
【図9】本実施形態に係るテスト仕様書の例を示す図である。
【図10】本実施形態に係るテストケースの例を示す図である。
【図11】本実施形態に係る追加テスト仕様表示画面の画面構成図である。
【図12】本実施形態に係る不一致箇所表示画面の画面構成図である。
【図13】本実施形態に係るテストケースの例を示す図である。
【図14】本実施形態に係るテストケース差分表示画面の画面構成図である。
【図15】本実施形態に係るテスト集計画面の画面構成図である。
【図16】本実施形態に係る仕様書検証処理のフローチャートである。
【図17】本実施形態に係るテストケース作成支援処理のフローチャートである。
【図18】本実施形態に係るテスト実行処理のフローチャートである。
【図19】本実施形態に係るワークフロー処理部が実行するワークフロー処理のフローチャートである。
【発明を実施するための形態】
【0011】
≪テストケース作成支援装置の概要≫
本発明を実施するための形態（実施形態）におけるテストケース作成支援装置について説明する。テストケース作成支援装置は、テスト仕様書を基にテストケース（生成テストケース）を生成する。次にテストケース作成支援装置は、テストケースと、生成テストケースとを比較して相違を表示する。テストケース作成支援装置の利用者である情報処理システムの開発者は、相違を参照してテスト仕様書を修正し、新たなテスト仕様書とする。また開発者は、相違を参照してテストケースを修正し、新たなテストケースとする。なお２つのテストケースの相違とは、テストデータの集合としてのテストケースの差（テストケースに含まれるテストデータの差）やテストデータに含まれる入出力の差である。
本発明を実施するための形態（実施形態）におけるテストケース作成支援装置について説明する。テストケース作成支援装置は、テスト仕様書を基にテストケース（生成テストケース）を生成する。次にテストケース作成支援装置は、テストケースと、生成テストケースとを比較して相違を表示する。テストケース作成支援装置の利用者である情報処理システムの開発者は、相違を参照してテスト仕様書を修正し、新たなテスト仕様書とする。また開発者は、相違を参照してテストケースを修正し、新たなテストケースとする。なお２つのテストケースの相違とは、テストデータの集合としてのテストケースの差（テストケースに含まれるテストデータの差）やテストデータに含まれる入出力の差である。
【0012】
なおテストデータとは、情報処理システムのコード（プログラム）を検査（テスト）するための入力データと出力データ（結果）のペアである。テストケースはテストデータの集合である。プログラムに入力データを入力して、プログラムの出力が出力データと一致すれば検査合格である。
【0013】
またテストケース作成支援装置は、テストケースから自然文であるテスト仕様書（生成テスト仕様書）を生成する。次にテストケース作成支援装置は、テスト仕様書と、生成テスト仕様書とを比較して相違を表示する。開発者は、相違を参照してテストケースを修正して、新たなテストケースとする。また開発者は、相違を参照してテスト仕様書を修正して、新たなテスト仕様書とする。なお２つのテスト仕様書の相違とは、自然文（文章）としての差であり、例えば語の違いや数値の違いなどがある。
【0014】
開発者がテスト仕様書およびテストケースの修正を反復することで、テスト仕様書の記載が明確になり、テスト仕様書およびテストケース間の矛盾がなくなり、テスト仕様書およびテストケースの品質が向上する。
【0015】
≪テストケース作成支援装置の処理概要≫
テストケース作成支援装置の構成を示す前に、テストケース作成支援装置の処理の概要を説明する。図１は、本実施形態に係るテストケース作成支援装置１００（後記する図２参照）の主たる処理を説明するための図である。以下の仕様書検証処理８１０、テストケース作成支援処理８２０、およびテスト実行処理８３０の説明では、処理途中で生成されるデータや文章を説明し、処理自体（機能部）の説明は後記する。
テストケース作成支援装置の構成を示す前に、テストケース作成支援装置の処理の概要を説明する。図１は、本実施形態に係るテストケース作成支援装置１００（後記する図２参照）の主たる処理を説明するための図である。以下の仕様書検証処理８１０、テストケース作成支援処理８２０、およびテスト実行処理８３０の説明では、処理途中で生成されるデータや文章を説明し、処理自体（機能部）の説明は後記する。
【0016】
≪処理概要：仕様書検証処理≫
図１に示すように仕様書検証処理８１０においては、入力である情報処理システムの仕様書８１１から業務内容８１２が生成される。次に業務内容８１２に示される入出力を基にテストケース８１３が生成される。続いて、テストケース８１３からテストケース８１３の入出力の内容を示す自然文である文章８１４が生成される。仕様書検証処理８１０の最後の処理として、業務内容８１２と文章８１４とが比較され、相違を含む評価結果８１５（後記する図６参照）が表示される。なお評価結果８１５は、業務内容８１２と後記する文章８２２，８２５との相違を含んでもよい。
図１に示すように仕様書検証処理８１０においては、入力である情報処理システムの仕様書８１１から業務内容８１２が生成される。次に業務内容８１２に示される入出力を基にテストケース８１３が生成される。続いて、テストケース８１３からテストケース８１３の入出力の内容を示す自然文である文章８１４が生成される。仕様書検証処理８１０の最後の処理として、業務内容８１２と文章８１４とが比較され、相違を含む評価結果８１５（後記する図６参照）が表示される。なお評価結果８１５は、業務内容８１２と後記する文章８２２，８２５との相違を含んでもよい。
【0017】
テストケース作成支援装置の利用者である開発者は、評価結果８１５を参照して仕様書８１１を修正する。修正された仕様書８１１は、次回の仕様書検証処理８１０の入力となる。仕様書検証処理８１０が反復されて仕様書８１１の修正が繰り返されることで、仕様書８１１に含まれる誤りや分かりづらい記載、曖昧な記載が修正されて仕様書８１１の品質が向上する。
【0018】
≪処理概要：テストケース作成支援処理≫
図１に示すようにテストケース作成支援処理８２０の入力は、テスト仕様書８２１およびテストケース８２４である。テスト仕様書８２１は仕様書８１１を基に生成されたテスト仕様書であってもよいし、人手で作成されたテスト仕様書であってもよい。テストケース８２４はコード８３１またはテスト結果８３３を基に生成されたテストケースであってもよいし、テスト仕様書８２１またはテスト結果８３３を参照して人手で生成されたテストケースであってもよい。
図１に示すようにテストケース作成支援処理８２０の入力は、テスト仕様書８２１およびテストケース８２４である。テスト仕様書８２１は仕様書８１１を基に生成されたテスト仕様書であってもよいし、人手で作成されたテスト仕様書であってもよい。テストケース８２４はコード８３１またはテスト結果８３３を基に生成されたテストケースであってもよいし、テスト仕様書８２１またはテスト結果８３３を参照して人手で生成されたテストケースであってもよい。
【0019】
テストケース作成支援処理８２０においては、テスト仕様書８２１を正規化した自然文である文章８２２が生成される。またテスト仕様書８２１に示される入出力を基にテストケース８２３（生成テストケース）が生成される。またテストケース８２４の入出力の内容を示す自然文である文章８２５（生成テスト仕様）が生成される。続いてテスト仕様書８２１と文章８２２，８２５とが比較されて相違を含む評価結果８２６（後記する図８参照）が表示される。またテストケース８２４，８２３が比較されて相違を含む評価結果８２７（後記する図１２、図１４参照）が表示される。
【0020】
開発者は、評価結果８２６，８２７を参照してテスト仕様書８２１を修正する。修正されたテスト仕様書８２１は、次回のテストケース作成支援処理８２０の入力となる。また開発者は、評価結果８２６，８２７を参照してテストケース８２４を修正する。修正されたテストケース８２４は、次回のテストケース作成支援処理８２０の入力となる。テストケース作成支援処理８２０が反復実行されてテスト仕様書８２１およびテストケース８２４の修正が繰り返されることで、テスト仕様書８２１およびテストケース８２４に含まれる誤りが修正され、これらの品質が向上する。またテスト仕様書８２１の不明確または分かりづらい記載が修正され、テスト仕様書８２１の品質が向上する。
【0021】
≪処理概要：テスト実行処理≫
図１に示すようにテスト実行処理８３０においては、入力であるコード８３１（プログラム）からテストケース８３２が生成され、テストケース８３２を用いてテストが実行されてテスト結果８３３が得られる。テスト結果８３３とは、テストケース８３２にある入力に対する実行されたコード８３１の出力と、テストケース８３２にある出力との差である。差にはエラー出力も含まれる。
図１に示すようにテスト実行処理８３０においては、入力であるコード８３１（プログラム）からテストケース８３２が生成され、テストケース８３２を用いてテストが実行されてテスト結果８３３が得られる。テスト結果８３３とは、テストケース８３２にある入力に対する実行されたコード８３１の出力と、テストケース８３２にある出力との差である。差にはエラー出力も含まれる。
【0022】
続いて、テストケース８３２とテスト結果８３３とから評価結果８３４（後記する図１５参照）が表示される。なおテストケース８３２は、テストケース作成支援処理８２０の結果であり、また入力でもあるテストケース８２４であってもよい。開発者は、テスト結果８３３を参照してコード８３１やテストケース８２４を修正する。
【0023】
以上に説明したように、仕様書検証処理８１０、テストケース作成支援処理８２０、およびテスト実行処理８３０を反復しながら、開発者は仕様書８１１、テスト仕様書８２１、テストケース８２４、およびコード８３１を繰り返し修正する。このようにすることで、仕様書８１１、テスト仕様書８２１、テストケース８２４、コード８３１の間の矛盾がなくなり、誤記や抜け、分かりづらい記載がない高品質の文書やコードを作成することができるようになる。
【0024】
≪テストケース作成支援装置の全体構成≫
図２は、本実施形態に係るテストケース作成支援装置１００の機能ブロック図である。テストケース作成支援装置１００はコンピュータであり、制御部１１０、記憶部１３０、および入出力部１８０を備える。入出力部１８０には、ディスプレイやキーボード、マウスなどのユーザインターフェイス機器が接続される。入出力部１８０が通信デバイスを備え、他の装置とのデータ送受信が可能であってもよい。また入出力部１８０にメディアドライブが接続され、記録媒体を用いたデータのやり取りが可能であってもよい。
図２は、本実施形態に係るテストケース作成支援装置１００の機能ブロック図である。テストケース作成支援装置１００はコンピュータであり、制御部１１０、記憶部１３０、および入出力部１８０を備える。入出力部１８０には、ディスプレイやキーボード、マウスなどのユーザインターフェイス機器が接続される。入出力部１８０が通信デバイスを備え、他の装置とのデータ送受信が可能であってもよい。また入出力部１８０にメディアドライブが接続され、記録媒体を用いたデータのやり取りが可能であってもよい。
【0025】
≪テストケース作成支援装置：記憶部≫
記憶部１３０は、ＲＯＭ（Read Only Memory）やＲＡＭ（Random Access Memory）、ＳＳＤ（Solid State Drive）などの記憶機器を含んで構成される。記憶部１３０には、仕様書データベース２１０、テスト仕様書データベース２２０、テストケースデータベース２３０、テスト結果データベース２４０、コードデータベース２５０、評価結果データベース２６０、レビュー結果データベース２７０、およびプログラム１３８が記憶される。
記憶部１３０は、ＲＯＭ（Read Only Memory）やＲＡＭ（Random Access Memory）、ＳＳＤ（Solid State Drive）などの記憶機器を含んで構成される。記憶部１３０には、仕様書データベース２１０、テスト仕様書データベース２２０、テストケースデータベース２３０、テスト結果データベース２４０、コードデータベース２５０、評価結果データベース２６０、レビュー結果データベース２７０、およびプログラム１３８が記憶される。
【0026】
仕様書データベース２１０には、修正版を含む仕様書８１１が格納される。テスト仕様書データベース２２０には、修正版を含むテスト仕様書８２１が格納される。テストケースデータベース２３０には、修正版を含むテストケース８２４が格納される。テスト結果データベース２４０にはテスト実行ごとのテスト結果８３３が格納される。コードデータベース２５０には、修正版を含むコード８３１が格納される。
【0027】
評価結果データベース２６０には、評価結果８１５，８２６，８２７，８３４が格納される。格納される評価結果８１５には、当該評価結果８１５が出力された際の入力となる仕様書８１１や当該評価結果８１５を参照して修正された仕様書８１１が関連付けられている。評価結果８２６，８２７，８３４についても同様であって、当該評価結果８２６，８２７，８３４を参照して修正されたテスト仕様書８２１、テストケース８２４、コード８３１がそれぞれ関連付けられて格納される。また、修正前のテストケース作成支援処理８２０、テスト実行処理８３０の入力であるテスト仕様書８２１、テストケース８２４、コード８３１が関連付けられて評価結果データベース２６０に格納される。
【0028】
レビュー結果データベース２７０には、修正された、仕様書８１１、テスト仕様書８２１、テストケース８２４、およびコード８３１に係るレビューの結果（後記する図１９参照）が、格納される。なおレビュー結果は、レビュー対象である仕様書８１１、テスト仕様書８２１、テストケース８２４、およびコード８３１と関連付けられて格納される。
プログラム１３８は、仕様書検証処理８１０、テストケース作成支援処理８２０、およびテスト実行処理８３０（図１、および後記する図１６～図１８参照）の手順の記述を含む。
プログラム１３８は、仕様書検証処理８１０、テストケース作成支援処理８２０、およびテスト実行処理８３０（図１、および後記する図１６～図１８参照）の手順の記述を含む。
【0029】
本実施形態では、仕様書データベース２１０、テスト仕様書データベース２２０、テストケースデータベース２３０、テスト結果データベース２４０、コードデータベース２５０、評価結果データベース２６０、およびレビュー結果データベース２７０は、テストケース作成支援装置１００に記憶されるが、リポジトリに格納されてもよい。
【0030】
≪テストケース作成支援装置：制御部≫
制御部１１０は、ＣＰＵ（Central Processing Unit）を含んで構成され、業務内容生成部１１１、仕様ベーステストケース生成部１１２、自然文生成部１１３、テスト仕様妥当性検証部１１４、テストケース妥当性検証部１１５、コードベーステストケース生成部１１６、テスト実行部１１７、テスト評価部１１８、およびワークフロー処理部１１９が備わる。ワークフロー処理部１１９の詳細は、後記する図１９を参照して説明する。以下、他の制御部１１０の構成を順に説明する。
制御部１１０は、ＣＰＵ（Central Processing Unit）を含んで構成され、業務内容生成部１１１、仕様ベーステストケース生成部１１２、自然文生成部１１３、テスト仕様妥当性検証部１１４、テストケース妥当性検証部１１５、コードベーステストケース生成部１１６、テスト実行部１１７、テスト評価部１１８、およびワークフロー処理部１１９が備わる。ワークフロー処理部１１９の詳細は、後記する図１９を参照して説明する。以下、他の制御部１１０の構成を順に説明する。
【0031】
≪テストケース作成支援装置：業務内容生成部≫
仕様書検証処理８１０において業務内容生成部１１１は、仕様書８１１を入力として、業務内容８１２を生成する。図３は、本実施形態に係る仕様書８１１の例を示す図である。仕様書８１１は、例えば開発対象である情報処理システムの「システム名称」や「背景と目的」、処理内容を含む「業務内容」などを含む。図４は、本実施形態に係る業務内容８１２の例を示す図である。仕様書８１１が１つの文書であるとしても、業務内容８１２は１つとは限らず、業務や業務の細目などの情報処理システムの（業務）処理ごとに分割されて生成される。業務内容生成部１１１は、自然言語処理技術を用いて仕様書８１１を解析して、業務や業務の細目ごとに業務内容８１２を生成する。
仕様書検証処理８１０において業務内容生成部１１１は、仕様書８１１を入力として、業務内容８１２を生成する。図３は、本実施形態に係る仕様書８１１の例を示す図である。仕様書８１１は、例えば開発対象である情報処理システムの「システム名称」や「背景と目的」、処理内容を含む「業務内容」などを含む。図４は、本実施形態に係る業務内容８１２の例を示す図である。仕様書８１１が１つの文書であるとしても、業務内容８１２は１つとは限らず、業務や業務の細目などの情報処理システムの（業務）処理ごとに分割されて生成される。業務内容生成部１１１は、自然言語処理技術を用いて仕様書８１１を解析して、業務や業務の細目ごとに業務内容８１２を生成する。
【0032】
以上に説明したようにテストケース作成支援装置１００（仕様書作成支援装置）は、情報システムの開発工程における仕様書８１１を基に仕様書８１１に含まれる業務内容８１２を生成する業務内容生成部１１１を備える。
【0033】
≪テストケース作成支援装置：仕様ベーステストケース生成部≫
図２に戻って制御部１１０の説明を続ける。仕様書検証処理８１０において仕様ベーステストケース生成部１１２は、業務内容８１２を入力としてテストケース８１３（後記する図５参照）を生成する。またテストケース作成支援処理８２０において仕様ベーステストケース生成部１１２は、テスト仕様書８２１を入力としてテストケース８２３を生成する。
図２に戻って制御部１１０の説明を続ける。仕様書検証処理８１０において仕様ベーステストケース生成部１１２は、業務内容８１２を入力としてテストケース８１３（後記する図５参照）を生成する。またテストケース作成支援処理８２０において仕様ベーステストケース生成部１１２は、テスト仕様書８２１を入力としてテストケース８２３を生成する。
【0034】
図５は、本実施形態に係るテストケース８１３の例を示す図である。テストケース８１３は、図４に記載の業務内容８１２にある一番の下の「製品Ｇは、…２個ごとに顧客に納品する。」という業務内容８１２を基に生成されたテストケース８１３である。図５に記載のテストケースには、入力と出力の条件（ここでは値）の組み合わせに応じて８つのテストデータが含まれている。３番目のテストデータにおける入力の条件は、部品Ｄ、製品Ｅ、製品Ｆの在庫数がそれぞれ２個ずつである。結果の条件は、組み立てた結果としてそれぞれが１、０、０となり、製品Ｇが１つ、この内の納品数が０である。
【0035】
仕様ベーステストケース生成部１１２は、自然文である業務内容８１２やテスト仕様書８２１を解析してテストケース８１３，８２３を生成する。このような技術の例として「村上響一他, "自然言語で記載された仕様書からのテストケース自動生成アルゴリズムの構築," 情報処理学会研究報告, Vol.2019-SE-201, No.9, pp.1-8.」がある。
【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】
≪ワークフロー処理≫
図１９は、本実施形態に係るワークフロー処理部１１９が実行するワークフロー処理のフローチャートである。ワークフロー処理部１１９は常時実行状態にあり、資料の編集状態を監視している。なお資料とは、仕様書８１１、テスト仕様書８２１、テストケース８２４、およびコード８３１の何れかである。
図１９は、本実施形態に係るワークフロー処理部１１９が実行するワークフロー処理のフローチャートである。ワークフロー処理部１１９は常時実行状態にあり、資料の編集状態を監視している。なお資料とは、仕様書８１１、テスト仕様書８２１、テストケース８２４、およびコード８３１の何れかである。
【0075】
ステップＳ７１においてワークフロー処理部１１９は、資料の編集を検出すると（ステップＳ７１→ＹＥＳ）ステップＳ７２に進み、資料の編集が未検出ならば（ステップＳ７１→ＮＯ）ステップＳ７１に戻る。
ステップＳ７２においてワークフロー処理部１１９は、ステップＳ７１で編集が検出された資料について編集が終了すれば（ステップＳ７２→ＹＥＳ）ステップＳ７３に進み、編集が未了ならば（ステップＳ７２→ＮＯ）ステップＳ７２に戻る。
ステップＳ７２においてワークフロー処理部１１９は、ステップＳ７１で編集が検出された資料について編集が終了すれば（ステップＳ７２→ＹＥＳ）ステップＳ７３に進み、編集が未了ならば（ステップＳ７２→ＮＯ）ステップＳ７２に戻る。
【0076】
ステップＳ７３においてワークフロー処理部１１９は、他の資料の編集を検出すると（ステップＳ７３→ＹＥＳ）ステップＳ７２に戻り、他の資料の編集が未検出ならば（ステップＳ７３→ＮＯ）ステップＳ７４に進む。他の資料とは、ステップＳ７１で編集が検出された資料とは異なる資料のことである。ステップＳ７２に戻るとワークフロー処理部１１９は、ステップＳ７３で編集を検出した資料について編集終了を監視することになる。開発者が複数の資料を同時に並行して編集する場合がある。ステップＳ７４に進んだ時点で、これら複数の資料の編集が完了したことになる。
【0077】
ステップＳ７４においてワークフロー処理部１１９は、開発者に問い合わせた結果、資料が確定された場合には（ステップＳ７４→ＹＥＳ）ステップＳ７６に進み、未確定ならば（ステップＳ７４→ＮＯ）ステップＳ７５に進む。
ステップＳ７５においてワークフロー処理部１１９は、未確定の資料を廃棄する。
ステップＳ７６においてワークフロー処理部１１９は、編集内容を確定し、新しい版の資料として、リポジトリや仕様書データベース２１０、テスト仕様書データベース２２０、テストケースデータベース２３０、コードデータベース２５０に格納する。なお一部の資料が確定で他の資料が未確定であるならば、未確定の資料は廃棄し、確定の資料は新しい版の資料として格納する。
ステップＳ７５においてワークフロー処理部１１９は、未確定の資料を廃棄する。
ステップＳ７６においてワークフロー処理部１１９は、編集内容を確定し、新しい版の資料として、リポジトリや仕様書データベース２１０、テスト仕様書データベース２２０、テストケースデータベース２３０、コードデータベース２５０に格納する。なお一部の資料が確定で他の資料が未確定であるならば、未確定の資料は廃棄し、確定の資料は新しい版の資料として格納する。
【0078】
ステップＳ７７においてワークフロー処理部１１９は、確定した資料それぞれについて、当該資料のレビュー担当者へレビューの依頼を通知する。
ステップＳ７８においてワークフロー処理部１１９は、レビュー担当者がレビューを始めると、資料とその関連する資料を提示する。
ステップＳ７９においてワークフロー処理部１１９は、レビュー担当者からレビュー結果としての承認可否を受信して、レビュー結果データベース２７０に格納する。
ステップＳ７８においてワークフロー処理部１１９は、レビュー担当者がレビューを始めると、資料とその関連する資料を提示する。
ステップＳ７９においてワークフロー処理部１１９は、レビュー担当者からレビュー結果としての承認可否を受信して、レビュー結果データベース２７０に格納する。
【0079】
ステップＳ８０においてワークフロー処理部１１９は、レビュー結果が承認であれば（ステップＳ８０→ＹＥＳ）ステップＳ８１に進み、承認でなければ（ステップＳ８０→ＮＯ）ステップＳ８３に進む。
ステップＳ８１においてワークフロー処理部１１９は、リポジトリや仕様書データベース２１０、テスト仕様書データベース２２０、テストケースデータベース２３０、コードデータベース２５０に格納されている資料にレビュー完をマークする。
ステップＳ８２においてワークフロー処理部１１９は、関係者に資料の変更を通知する。
ステップＳ８３においてワークフロー処理部１１９は、資料を編集した開発者に承認されず差し戻されたことを通知する。
ステップＳ８１においてワークフロー処理部１１９は、リポジトリや仕様書データベース２１０、テスト仕様書データベース２２０、テストケースデータベース２３０、コードデータベース２５０に格納されている資料にレビュー完をマークする。
ステップＳ８２においてワークフロー処理部１１９は、関係者に資料の変更を通知する。
ステップＳ８３においてワークフロー処理部１１９は、資料を編集した開発者に承認されず差し戻されたことを通知する。
【0080】
≪テストケース作成支援装置の特徴≫
テストケース作成支援装置１００は、テスト仕様書８２１から文章８２２とテストケース８２３を、テストケース８２４から文章８２５を生成する。テストケース作成支援装置１００は、テスト仕様書８２１と文章８２２，８２５との相違や、テストケース８２３，８２４の相違を表示する（図８、図１１、図１２、図１４参照）。開発者は相違を参照して、テスト仕様書８２１とテストケース８２４とを修正する。
テストケース作成支援装置１００は、仕様書８１１と所定の規則に従った文章８１４との相違を表示する（図６、図７参照）。開発者は相違を参照して、仕様書８１１を修正する。
テストケース作成支援装置１００は、テスト仕様書８２１から文章８２２とテストケース８２３を、テストケース８２４から文章８２５を生成する。テストケース作成支援装置１００は、テスト仕様書８２１と文章８２２，８２５との相違や、テストケース８２３，８２４の相違を表示する（図８、図１１、図１２、図１４参照）。開発者は相違を参照して、テスト仕様書８２１とテストケース８２４とを修正する。
テストケース作成支援装置１００は、仕様書８１１と所定の規則に従った文章８１４との相違を表示する（図６、図７参照）。開発者は相違を参照して、仕様書８１１を修正する。
【0081】
テストケース作成支援装置１００は、テスト結果８３３を表示する。開発者は、テスト結果８３３を参照してコード８３１やテストケースデータベース２３０に格納されているテストケースを修正する。
テストケース作成支援装置１００の処理結果である相違を参照して、開発者が資料（仕様書８１１、テスト仕様書８２１、テストケース８２４、コード８３１）の修正を反復することで、資料の誤りや分かりづらい記載、資料間の矛盾などがなくなり、資料の品質が向上する。換言すればテストケース作成支援装置１００は、テストケース８２４を含む資料の作成の効率化、高品質化を支援している。
テストケース作成支援装置１００の処理結果である相違を参照して、開発者が資料（仕様書８１１、テスト仕様書８２１、テストケース８２４、コード８３１）の修正を反復することで、資料の誤りや分かりづらい記載、資料間の矛盾などがなくなり、資料の品質が向上する。換言すればテストケース作成支援装置１００は、テストケース８２４を含む資料の作成の効率化、高品質化を支援している。
【0082】
≪変形例：仕様書検証処理≫
上記した実施形態では仕様書８１１については、仕様書検証処理８１０内に閉じて修正が反復されている。テスト仕様書８２１（図３参照）に含まれる業務内容には、テスト仕様書と同等の内容が含まれるとして、テスト仕様妥当性検証部１１４は、業務内容８１２とテスト仕様書８２１とを比較して、不一致箇所表示画面５１０および修正箇所表示画面５２０を表示するようにしてもよい。
上記した実施形態では仕様書８１１については、仕様書検証処理８１０内に閉じて修正が反復されている。テスト仕様書８２１（図３参照）に含まれる業務内容には、テスト仕様書と同等の内容が含まれるとして、テスト仕様妥当性検証部１１４は、業務内容８１２とテスト仕様書８２１とを比較して、不一致箇所表示画面５１０および修正箇所表示画面５２０を表示するようにしてもよい。
【0083】
開発者はこれらの画面を参照して仕様書８１１やテスト仕様書８２１を修正する。このようにすることで、仕様書８１１とテスト仕様書８２１との間の矛盾を削減することができるようになる。
なおテスト仕様書８２１に含まれる業務内容には、仕様書８１１と同等の内容が含まれるとする場合に、業務内容８１２または文章８１４を最初の版のテスト仕様書８２１としてもよい。この場合、業務内容生成部１１１、または業務内容生成部１１１、仕様ベーステストケース生成部１１２、自然文生成部１１３の一連の処理を実行する機能部が、テスト仕様生成部と見なせる。
なおテスト仕様書８２１に含まれる業務内容には、仕様書８１１と同等の内容が含まれるとする場合に、業務内容８１２または文章８１４を最初の版のテスト仕様書８２１としてもよい。この場合、業務内容生成部１１１、または業務内容生成部１１１、仕様ベーステストケース生成部１１２、自然文生成部１１３の一連の処理を実行する機能部が、テスト仕様生成部と見なせる。
【0084】
以上に説明したようにテストケース作成支援装置１００は、情報システムの仕様書８１１を基にテスト仕様書８２１を生成するテスト仕様生成部を備える。情報システムの開発工程におけるテスト仕様書８２１は、テスト仕様生成部が生成したテスト仕様書である。
【0085】
≪その他の変形例≫
以上、本発明のいくつかの実施形態について説明したが、これらの実施形態は、例示に過ぎず、本発明の技術的範囲を限定するものではない。本発明はその他の様々な実施形態を取ることが可能であり、さらに、本発明の要旨を逸脱しない範囲で、省略や置換等種々の変更を行うことができる。これら実施形態やその変形は、本明細書等に記載された発明の範囲や要旨に含まれるとともに、特許請求の範囲に記載された発明とその均等の範囲に含まれる。
以上、本発明のいくつかの実施形態について説明したが、これらの実施形態は、例示に過ぎず、本発明の技術的範囲を限定するものではない。本発明はその他の様々な実施形態を取ることが可能であり、さらに、本発明の要旨を逸脱しない範囲で、省略や置換等種々の変更を行うことができる。これら実施形態やその変形は、本明細書等に記載された発明の範囲や要旨に含まれるとともに、特許請求の範囲に記載された発明とその均等の範囲に含まれる。
【符号の説明】
【0086】
１００ テストケース作成支援装置（仕様書作成支援装置）
１１１ 業務内容生成部
１１２ 仕様ベーステストケース生成部
１１３ 自然文生成部
１１４ テスト仕様妥当性検証部
１１５ テストケース妥当性検証部
１１６ コードベーステストケース生成部
１１７ テスト実行部
１１８ テスト評価部
１１９ ワークフロー処理部
８１１ 仕様書
８１２ 業務内容
８２４，８３２ テストケース
８２１ テスト仕様書
８１３，８２３ テストケース（生成テストケース）
８２５ 文章（生成テスト仕様書）
１１１ 業務内容生成部
１１２ 仕様ベーステストケース生成部
１１３ 自然文生成部
１１４ テスト仕様妥当性検証部
１１５ テストケース妥当性検証部
１１６ コードベーステストケース生成部
１１７ テスト実行部
１１８ テスト評価部
１１９ ワークフロー処理部
８１１ 仕様書
８１２ 業務内容
８２４，８３２ テストケース
８２１ テスト仕様書
８１３，８２３ テストケース（生成テストケース）
８２５ 文章（生成テスト仕様書）
【図1】
【図2】
【図3】
【図4】
【図5】
【図6】
【図7】
【図8】
【図9】
【図10】
【図11】
【図12】
【図13】
【図14】
【図15】
【図16】
【図17】
【図18】
【図19】