JP4905119B2 - 仕様書作成支援装置および方法 - Google Patents

Description

本発明は、組込み製品のソフトウェアの要件仕様書の作成及び作成された要件仕様書の適格性を試験する試験仕様書の作成を支援する仕様書作成支援装置および方法に関する。

従来、ソフトウェアの要件仕様書の作成支援装置としては、特許文献１に開示されているように、システムに求めるソフトウェアの要件の開発及びその管理、システムが備えるべきソフトウェアの要件の機能や仕様の設計及び管理を支援するものが知られている。

また従来、ソフトウェア要件に係る試験仕様書の作成支援装置としては、特許文献２に開示されているように、テストケースの作成をソフトウェア要件の機能操作仕様の観点から支援するものが知られている。
特開２００５−３５２８６９号公報 特開２００３−１０８４０５号公報

上記特許文献１に開示されている仕様書作成支援装置においては、ソフトウェアの要件の入力方法を示しているが、入力フォーム内の記述方法については定めがなく、記述が曖昧になる可能性が残るという課題があった。

例えば、自然言語で記述の場合、「ＡがＢより小さい時」と記述した場合、ＡがＢ未満（Ａ＜Ｂ）のつもりで使用しても、仕様書を読む別の人が、ＡがＢ以下（Ａ≦Ｂ）と判断する可能性がある。

また上記特許文献２に開示されている仕様書作成支援装置においては、自然言語で記述されたソフトウェア仕様書をもとにユーザ操作パターンとシステム挙動に分けて表記しているが、自然言語を用いるため記述が曖昧になる可能性が残る。また、ソフトウェア仕様書に対する網羅性の高い試験仕様項目は作成できるが、ソフトウェア仕様書に記載された入力として異常な値が入った場合の異常処理について要件仕様書から抜けがないか等の、ソフトウェアの要件仕様書自身の妥当性についての考慮がなされていないという課題があった。

そこで本発明においては、要件仕様書の記述の曖昧さを排除し、要件仕様書に対して抜けの無い適格性試験仕様書の作成が可能な仕様書作成支援装置及び方法を提供することを目的とする。

上記課題を解決するために本発明の仕様書作成支援装置は、項目定義、事前条件、事後条件及び自由記述の各項目に分けて要件記述を含むようにされた構文要素データと、要求仕様書の章構成やフォーマットの情報を示す要件仕様書フォーマット情報とを用いてソフトウェアの要件仕様書へ記述するフォームを作成する記述フォーム作成手段と、作成された記述フォーム上で前記事前条件及び前記事後条件を記述する場合、自然言語と論理和や論理積からなる論理演算子と等号や不等合からなる数型演算子とを組み合わせて記述する条件記述手段と、前記記述フォーム作成手段により作成された記述フォーム上に前記条件記述手段により条件が付された前記事前条件及び前記事後条件を記述して前記構文要素データを含むように要件仕様書を作成する要件仕様書作成手段と、前記要件仕様書作成手段
により作成された要求仕様書の記述から、前記事前条件を試験条件とし、前記事後条件を試験判定値として適格性試験仕様書の作成を行う適格性試験仕様書作成手段と、を備えることを特徴とする。

また本発明の仕様書作成支援装置は、前記要件に対応した前記事前条件が不成立となる組み合わせと、前記要件に対応した前記事後条件が不成立となる組み合わせとを、チェックリストとして出力するチェックリスト出力手段と、該チェックリスト出力手段が出力した前記チェックリストに基づいて前記記述した要件仕様書内容の妥当性を検証する仕様内容妥当性検証手段をさらに備えることを特徴とする。

本発明によれば、要件仕様書の内容記述を事前条件や事後条件を自然言語と論理和や論理積からなる論理演算子と等号や不等合からなる数型演算子とを組み合わせて記述することで曖昧さを排除し、事前条件と事後条件とを用いて試験仕様書を作成することで、要件仕様書に対して抜けの無い適格性試験仕様書の作成が可能となる。

また本発明によれば、要件に対応した事前条件が不成立となる組み合わせと、要件に対応した事後条件が不成立となる組み合わせとをチェックリストとして出力することで、入力として異常な値が入った場合の異常処理について要件仕様書から抜けていないか確認するための妥当性を検証することが容易になり、ソフトウェア開発の品質向上が図れる。

以下、本発明の実施の形態を、図面を参照しながら説明する。
図１は、本発明の実施形態に係る仕様書作成支援装置の構成を示すブロック図である。図１において仕様書作成支援装置は、サーバ１内に、
自然言語による自由記述が可能な項目定義と、コメントと、自然言語と論理和や論理積からなる論理演算子と等号や不等合からなる数型演算子とを組み合わせた記述が可能な事前条件と、事後条件とからなる構文要素データに分けて要件仕様書の内容を記憶する構文記憶装置２と、
構文記憶装置２の構文要素データと要件仕様書の章構成やフォーマットの情報を示す要件仕様書フォーマット情報４とから要件仕様書の画面データを作成する要件仕様書作成部３と、
要件仕様書フォーマット情報４の章構成を目次とし要件仕様書作成部３の画面データ内容を本文とする要件仕様書ファイル５と、
構文記憶装置２の構文要素データと適格性試験仕様書のフォーマット情報を示す適格性試験仕様書フォーマット情報７とから適格性試験仕様書の画面データを作成する適格性試験仕様書作成部６と、
適格性試験仕様書作成部６の画面データ内容を本文とする適格性試験仕様書ファイル８と、
構文記憶装置２の構文要素データと、事前条件の展開条件と事後条件の展開条件とから構文要素の展開データを作成する論理展開処理部１０の構文要素の展開データとから妥当性チェックリストの画面データを作成する妥当性チェックリスト作成部９と、
妥当性チェックリスト作成部９の画面データの内容を本文とする妥当性チェックリストファイル１１と、
要件仕様書作成部３、適格性試験仕様書作成部６及び妥当性チェックリスト作成部９における入力や画面表示における選択を所定の手順(後述する図６参照)で行う入力・選択処理部１２と、を設け、
上述した要求仕様作成部３、適格性試験仕様書作成部６、妥当性チェックリスト作成部９、論理展開処理部１０及び入力・選択処理部１２における各処理の実行と、各種フォーマット情報、構文についての項目定義、コメント、事前条件、事後条件などのデータを上
記各種ファイル５，７，１１に格納するとともに上記各処理部の動作を制御するプログラム(図示せず)を格納して要件仕様書及び試験仕様書の作成支援を行うサーバ１と、
サーバ１とユーザ端末１４とを連係するネットワーク１３と、
ネットワーク１３経由でサーバ１とデータのやり取りを行うユーザ端末１４と、
により構成される。なお本発明において“適格性試験”とは、ソフトウェアの要求仕様書が正しく記述されているかをテストにより確認できるようにすることを意図して“適格性試験”なる用語を使用することにしたものである。

次に本発明の実施形態に係る仕様書作成支援装置の動作の概略を説明する。ネットワーク１３を介してサーバ１に接続されたユーザ端末１４は要求仕様書および適格性試験仕様書の作成支援のためにログオンする。サーバ１では入力・選択処理部１２が起動され、ユーザ端末１４から入力されるコマンドなどの入力情報を受け付ける。なお入力・選択処理部１２の詳細な動作については後述する。ユーザ端末１４の表示装置(図示せず)には、図２に示すような要件仕様書を作成するための画面表示がなされる。そして、図２に示す画面遷移指示部１５によって画面を、図３に示すような適格性試験仕様書を作成するための画面表示や図４に示すような妥当性チェックリストを作成するための画面表示に遷移させてそれぞれの画面表示において入出力に係る処理を実行する。図２に示すような要件仕様書を作成するための画面表示において、ユーザは要件仕様書のプルダウンメニュー１６の選択により処理すべき項目を選択することができる。たとえば要件仕様書のプルダウンメニュー１６の要件仕様書編集部分に展開される、項目定義と、コメントと、事前条件と、事後条件とからなる構文要素データの入力を選択し、サブメニュー１７に示される要件仕様書フォーマット情報の読込処理を選択すると、要件仕様書の選択と入力に係るフォーム画面１８には、図２に示すような構文要素データを記述することができるようになる。その結果、要件仕様書作成に必要な項目についての記述を行うことができ、記述が行われた構文要素データを構文記憶装置２に項目別に記憶するとともに要件仕様書作成部３と協働して要求仕様書を作成し、作成した要求仕様書を要求仕様書ファイル５として出力する。

このようにして作成された要件仕様書について、ユーザはユーザ端末１４から要求仕様書が正しく記述されているかをテストする適格性試験仕様書を作成するために、ユーザ端末１４の表示装置(図示せず)に図３に示すような適格性試験仕様書を作成するための画面を表示させ、この画面において適格性試験仕様書作成部６と協働して適格性試験仕様書を作成し、作成した適格性試験仕様書を適格性試験仕様書ファイル８として出力する。これについては後述する。

また作成された要求仕様書について、ユーザはユーザ端末１４から要求仕様書の妥当性をチェックするために、ユーザ端末１４の表示装置(図示せず)に図３に示すような妥当性チェックリストを作成するための画面を表示させ、この画面において論理展開処理部１０の論理展開を元に妥当性チェックリスト作成部９と協働して事前条件又は事後条件が成立しない場合を妥当性チェックリストとして作成し、作成した妥当性チェックリストを妥当性チェックリストファイル５として出力して、要求仕様書の妥当性を確認する。これについては後述する。上述したような仕様書作成支援を受けてユーザは要求仕様書及び適格性試験仕様書を完成させることができる。

図２は、本発明の実施形態に係る仕様書作成支援装置の要件仕様書作成時の表示画面例を示す図である。図２に示す表示画面には、要件仕様書、適格性試験仕様書、妥当性チェックリストの画面を切換える画面遷移指示部１５と、ファイルや要件仕様書編集のプルダウンメニュー１６と、要件仕様書フォーマット情報４の章構成を示すサブメニュー１７と、要件仕様書の選択と入力に係るフォーム画面１８とが備えられている。

そして要件仕様書のプルダウンメニュー１６のファイル部分は、図２の下部に前記ファ
イル部分と同列に示すように、要件仕様書ファイル５の入出力や印刷処理などについて選択を行うようにされ、要件仕様書のプルダウンメニュー１６の要件仕様書編集部分は、図２の下部に前記要件仕様書編集部分と同列に示すように、項目定義と、コメントと、事前条件と、事後条件とからなる構文要素データの入力と削除の選択や、サブメニュー１７に示される要件仕様書フォーマット情報の読込みの処理を行うようにし、さらに、要件仕様書の選択と入力に係るフォーム画面１８に記述された構文要素データを構文記憶装置２に記憶する。なお、図２には上記事前条件や事後条件に係る論理や数型のプルダウンメニューについても図２の下部に例示されている。

図３は、本発明の実施形態に係る仕様書作成支援装置の適格性試験仕様書作成時の表示画面例を示す図である。図３に示す表示画面は、図２に示す要件仕様書作成表示画面とほとんど同じ画面構成であるが、ファイルと適格性試験仕様書のプルダウンメニュー１９と、適格性試験仕様書の選択と入力に係るフォーム画面２０と、を備えている点が異なっている。なお、“適格性試験”という用語の定義は、上述したとおりである。

そして適格性試験仕様書のプルダウンメニュー１９のファイル部分は、図３の下部に前記ファイル部分と同列に示すように、適格性試験仕様書ファイル８の入出力や印刷処理などについて選択を行うようにされ、適格性試験仕様書のプルダウンメニュー１９の適格性試験仕様書編集部分においては、図３の下部に前記適格性試験仕様書編集部分と同列に示すように、要件仕様書ファイル５の読込みと、適格性試験仕様書フォーマット情報７とを読込むことにより、適格性試験仕様書の選択と入力に係るフォーム画面２０を作成する。

図４は、本発明の実施形態に係る仕様書作成支援装置の妥当性チェックリスト作成時の表示画面例を示す図である。図４に示す表示画面は、図２に示す要件仕様書作成表示画面とほとんど同じ画面構成であるが、ファイルや妥当性チェックリスト編集のプルダウンメニュー２１と、妥当性チェックリストの選択と入力に係るフォーム画面２２と、を備えている点が異なっている。

そして妥当性チェックリストのプルダウンメニュー２１のファイル部分は、図４の下部に前記ファイル部分と同列に示すように、妥当性チェックリストファイル１１の入出力や印刷処理などについて選択を行うようにされ、妥当性チェックリストのプルダウンメニュー２１の妥当性チェックリスト編集部分においては、図４の下部に前記妥当性チェックリスト編集部分と同列に示すように、要件仕様書ファイル５を読込み、事前条件展開、事後条件展開情報を論理展開処理部１０で図７に示すような処理(後述する)を行って、要件に対応した事前条件が不成立となる組み合わせと、要件に対応した事後条件が不成立となる組み合わせとを、妥当性チェックリストの選択と入力に係るフォーム画面２２に表示する。さらに妥当性チェックリストの選択と入力に係るフォーム画面２２に記述された内容を要件仕様書に反映させる場合には、該当箇所を選択し、プルダウンメニュー２１の妥当性チェックリスト編集部分の「要件仕様書に内容反映」を選択して要件仕様書に内容反映を行う。内容反映を行うとその結果が要件仕様書ファイル５に書き込まれる。

一例として、図４の妥当性チェックリスト作成時の表示画面例に示したTAG情報がTAG0010_cの内容を要件仕様書に反映した場合の表示画面例を図５に示す。妥当性チェックリストの内容が要件仕様書の章構成に反映するので必要に応じて妥当性チェックリストの内容の修正を行うことにより要件仕様書の充実を図ることが容易に可能となる。

図６は、図１に示した入力・選択処理部１２が行う処理フローを説明するための図であり、図６において、ステップS1では、プルダウンの選択が有るかを判定する。選択がなければステップS12に移行するが、選択が有れば、次のいずれかの処理に移行する。すなわち、
ファイル選択であれば、ステップS2に移行し、ファイルのプルダウンメニューを図２の下部に示すように表示する。次いでステップS3では選択されたコマンドを実行する。それが済めばステップS12に移行する。

また要求仕様書編集であれば、ステップS4に移行し、要求仕様書編集のプルダウンメニューを図２の下部に示すように表示するか、サブメニューを図２の上左部に示すように表示する。次いでステップS5では選択されたコマンドを実行する。それが済めばステップS12に移行する。

また論理、数型であれば、ステップS6に移行し、論理、数型のプルダウンメニューを図２の下部に示すように表示する。次いでステップS7では選択された記号を表示する。それが済めばステップS12に移行する。

また適格性試験仕様書編集であれば、ステップS8に移行し、適格性試験仕様書編集のプルダウンメニューを図３の下部に示すように表示する。次いでステップS9では選択されたコマンドを実行する。それが済めばステップS12に移行する。

また妥当性チェックリスト編集であれば、ステップS10に移行し、妥当性チェックリスト編集のプルダウンメニューを図４の下部に示すように表示する。次いでステップS5では選択されたコマンドを実行する。それが済めばステップS12に移行する。

ステップS12では、フォームへの入力が有るかを判定する。入力がなければそのまま処理を終了するが、入力があればステップS13に進み、ステップS13において記述データを該当する構文記憶装置に記述する。そして処理を終了する。

図７は、図１に示した論理展開処理部１０が行う処理フローを説明するための図であり、図７において、ステップS21では、事前条件展開の条件はどのようなものであるかを判定する。ここで何も条件が設定されてなければステップS25に移行するが、条件が設定されていれば、次のいずれかの処理に移行する。すなわち、
条件設定が全否定であれば、ステップS22に進み、ステップS22において事前条件の全体を一つの条件とし、その否定を作成する。そしてステップS25に移行する。

また条件設定が条件別否定であれば、ステップS23に進み、ステップS23において事前条件の項目毎を否定し、全ての項目が一回は否定される組み合わせを作成する。そしてステップS25に移行する。

また条件設定が全ての否定の組み合わせであれば、ステップS24に進み、ステップS24において事前条件の項目毎を否定する全ての組み合わせを作成する。そしてステップS25に移行する。

ステップS25では、事後条件展開の条件はどのようなものであるかを判定する。ここで何も条件が設定されてなければ処理を終了するが、条件が設定されていれば、次のいずれかの処理に移行する。すなわち、
条件設定が全否定であれば、ステップS26に進み、ステップS26において事後条件の全体を一つの条件とし、その否定を作成する。そして処理を終了する。

また条件設定が条件別否定であれば、ステップS27に進み、ステップS27において事後条件の項目毎の否定を作成する。そして処理を終了する。

本発明の実施形態に係る仕様書作成支援装置の構成を示すブロック図である。 本発明の実施形態に係る仕様書作成支援装置の要件仕様書作成時の表示画面例を示す図である。 本発明の実施形態に係る仕様書作成支援装置の適格性試験仕様書作成時の表示画面例を示す図である。 本発明の実施形態に係る仕様書作成支援装置の妥当性チェックリスト作成時の表示画面例を示す図である。 本発明の実施形態に係る仕様書作成支援装置の妥当性チェックリスト作成に基づいて要件仕様書に反映した場合の表示画面例を示す図である。 図１に示した入力・選択処理部が行う処理フローを説明するための図である。 図１に示した論理展開処理部が行う処理フローを説明するための図である。

符号の説明

１ サーバ
２ 構文記憶装置
３ 要件仕様書作成部
４ 要件仕様書フォーマット情報
５ 要件仕様書ファイル
６ 適格性試験仕様書作成部
７ 適格性試験仕様書フォーマット情報
８ 適格性試験仕様書ファイル
９ 妥当性チェックリスト作成部
１０ 論理展開処理部
１１ 妥当性チェックリストファイル
１２ 入力・選択処理部
１３ ネットワーク
１４ ユーザ端末
１５ 画面遷移指示部
１６ 要件仕様書のプルダウンメニュー
１７ サブメニュー
１８ 要件仕様書の選択と入力に係るフォーム画面
１９ 適格性試験仕様書のプルダウンメニュー
２０ 適格性試験仕様書の選択と入力に係るフォーム画面
２１ 妥当性チェックリストのプルダウンメニュー
２２ 妥当性チェックリストの選択と入力に係るフォーム画面

Claims (4)

1. 項目定義、事前条件、事後条件及び自由記述の各項目に分けて要件記述を含むようにされた構文要素データと、要求仕様書の章構成やフォーマットの情報を示す要件仕様書フォーマット情報とを用いてソフトウェアの要件仕様書へ記述するフォームを作成する記述フォーム作成手段と、
   作成された記述フォーム上で前記事前条件及び前記事後条件を記述する場合、自然言語と論理和や論理積からなる論理演算子と等号や不等合からなる数型演算子とを組み合わせて記述する条件記述手段と、
   前記記述フォーム作成手段により作成された記述フォーム上に前記条件記述手段により条件が付された前記事前条件及び前記事後条件を記述して前記構文要素データを含むように要件仕様書を作成する要件仕様書作成手段と、
   前記要件仕様書作成手段により作成された要求仕様書の記述から、前記事前条件を試験条件とし、前記事後条件を試験判定値として適格性試験仕様書の作成を行う適格性試験仕様書作成手段と、
   を備えることを特徴とする仕様書作成支援装置。
2. 前記要件に対応した前記事前条件が不成立となる組み合わせと、前記要件に対応した前記事後条件が不成立となる組み合わせとを、チェックリストとして出力するチェックリスト出力手段と、該チェックリスト出力手段が出力した前記チェックリストに基づいて前記記述した要件仕様書内容の妥当性を検証する仕様内容妥当性検証手段をさらに備えることを特徴とする請求項１記載の仕様書作成支援装置。
3. 構文要素データとして内容の定義部分、事前条件の記述部分、事後条件の記述部分、自由記述部分を各項目に分けて含むように要件内容の記述フォームを作成する過程と、
   作成された前記記述フォーム上で前記事前条件及び前記事後条件を記述する場合、自然言語と論理和や論理積からなる論理演算子と等号や不等合からなる数型演算子とを組み合わせて記述する過程と、
   作成された前記記述フォーム上に前記自然言語と前記論理演算子と前記数型演算子とを組み合わせて前記事前条件及び前記事後条件を記述して前記構文要素データを含むようにソフトウェアの要件仕様書を作成する過程と、
   作成された前記ソフトウェアの要件仕様書の記述から、前記事前条件を試験条件とし、前記事後条件を試験判定値として適格性試験仕様書の作成を行う過程と、
   を含むことを特徴とする仕様書作成支援方法。
4. 前記要件に対応した前記事前条件が不成立となる組み合わせと、前記要件に対応した前記事後条件が不成立となる組み合わせとを、チェックリストとして出力する過程と、出力された前記チェックリストに基づいて前記記述した要件仕様書内容の妥当性を検証する過程とをさらに含むことを特徴とする請求項３記載の仕様書作成支援方法。

Images