(57)【要約】【課題】ソフトウェア設計文書の問題点を分析したときに一定品質の分析結果を得る。【解決手段】条件とその条件を満足するときに実行すべき処理とを少なくとも記述したソフトウェア設計文書の旧版と新版の差分を生成する。差分から、条件とその条件を満足するときに実行すべき処理とからなる組、及び、処理に追加された注記の少なくとも一方を抽出し、抽出結果に応じた分析結果を出力する。【選択図】図１
2015165370.tif 000002
【特許請求の範囲】
【請求項１】
条件とその条件を満足するときに実行すべき処理とを少なくとも記述したソフトウェア設計文書の第M版（Mは任意の自然数）と、前記ソフトウェア設計文書の第N版（Nは任意の自然数、M≠N）の差分を生成する手段と、
前記差分から、条件とその条件を満足するときに実行すべき処理とからなる組、及び、前記処理に追加された注記の少なくとも一方を抽出する手段と、
前記抽出結果に応じた分析結果を出力する手段と
を含むことを特徴とするソフトウェア設計文書分析装置。
【請求項２】
前記抽出手段が条件とその条件を満足するときに実行すべき処理とからなる組を抽出したとき、前記出力手段は、前記ソフトウェア設計文書の作成者が、前記ソフトウェア設計文書の前提条件を十分に理解していなかった可能性、及び、前記作成者が前記前提条件を誤解した可能性の少なくとも一方を示唆するメッセージを出力することを特徴とする請求項１に記載のソフトウェア設計文書分析装置。
【請求項３】
前記抽出手段が前記処理に追加された注記を抽出したとき、前記出力段階は、前記第Ｍ版の文書の仕様にあいまいさがある旨、及び、前記第Ｍ版が誤読を招く書き方をされている旨の少なくとも一方を示唆するメッセージを出力することを特徴とする請求項１に記載のソフトウェア設計文書分析装置。
【請求項４】
前記ソフトウェア設計文書は、条件とその条件を満足するときに実行すべき処理とからなる組を表形式に記載してなることを特徴とする、請求項１乃至請求項３のいずれかに記載のソフトウェア設計文書分析装置。
【請求項５】
条件とその条件を満足するときに実行すべき処理とを少なくとも記述したソフトウェア設計文書の第M版（Mは任意の自然数）と、前記ソフトウェア設計文書の第N版（Nは任意の自然数、M≠N）の差分を生成する手段と、
前記差分から、条件とその条件を満足するときに実行すべき処理とからなる組、及び、前記処理に追加された注記の少なくとも一方を抽出する手段と、
前記抽出結果に応じた分析結果を出力する手段と
としてコンピュータを機能させるためのプログラム。
【請求項６】
前記抽出手段が条件とその条件を満足するときに実行すべき処理とからなる組を抽出したとき、前記出力手段は、前記ソフトウェア設計文書の作成者が、前記ソフトウェア設計文書の前提条件を十分に理解していなかった可能性、及び、前記作成者が前記前提条件を誤解した可能性の少なくとも一方を示唆するメッセージを出力することを特徴とする請求項５に記載のプログラム。
【請求項７】
前記抽出手段が前記処理に追加された注記を抽出したとき、前記出力段階は、前記第Ｍ版の文書の仕様にあいまいさがある旨、及び、前記第Ｍ版が誤読を招く書き方をされている旨の少なくとも一方を示唆するメッセージを出力することを特徴とする請求項５に記載のプログラム。
【請求項８】
前記ソフトウェア設計文書は、条件とその条件を満足するときに実行すべき処理とからなる組を表形式に記載してなることを特徴とする、請求項５乃至請求項７のいずれかに記載のプログラム。
【請求項９】
条件とその条件を満足するときに実行すべき処理とを少なくとも記述したソフトウェア設計文書の第M版（Mは任意の自然数）と、前記ソフトウェア設計文書の第N版（Nは任意の自然数、M≠N）の差分を、コンピュータが生成する段階と、
前記差分から、条件とその条件を満足するときに実行すべき処理とからなる組、及び、前記処理に追加された注記の少なくとも一方を前記コンピュータが抽出する段階と、
前記抽出結果に応じた分析結果を前記コンピュータが出力する段階と
を含むことを特徴とするソフトウェア設計文書の分析方法。
【請求項１０】
前記抽出段階にて、条件とその条件を満足するときに実行すべき処理とからなる組を抽出し、
前記出力段階にて、前記ソフトウェア設計文書の作成者が、前記ソフトウェア設計文書の前提条件を十分に理解していなかった可能性、及び、前記作成者が前記前提条件を誤解した可能性の少なくとも一方を示唆するメッセージを、前記コンピュータは出力する
ことを特徴とする請求項９に記載のソフトウェア設計文書の分析方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、ソフトウェアの開発工程において作成される仕様書、設計書等の文書の分析に関する。
【背景技術】
【０００２】
一般に、ソフトウェアの開発工程では、要求分析、仕様記述、アーキテクチャ記述、実装、評価、文書化、トレーニングとサポート、保守等を行う。これら工程において、仕様を記述した仕様書、アーキテクチャ等を記述した設計書等の様々な文書が作成される。本願ではこれらのソフトウェアの開発工程で作成される文書を総称してソフトウェア設計文書と呼ぶものとする。
【０００３】
例えばウォーターフォールモデルによるソフトウェア設計では、ある工程においてソフトウェア設計文書が作成されると、そのソフトウェア設計文書はレビュー等の対象となり、問題点が発見されると修正される。問題点の発見と修正を繰り返し、問題点が発見されなくなると、そのソフトウェア設計文書は一応の完成となり、その工程の成果物として次工程に引き渡されるのが原則的な流れである。
【０００４】
しかし、実際には、ソフトウェア設計文書を作成した工程の次工程以後において、そのソフトウェア設計文書に問題点が発見される場合がある。この場合、そのソフトウェア設計文書の作成元の工程に差し戻して修正を行うので、工程の後戻りが発生する。特にウォーターフォールモデルでは、前工程に間違いがないことを前提としているので、ソフトウェア設計文書の問題点発見が後工程にずれこむと、開発工程全体に影響を及ぼす。
【０００５】
ソフトウェア設計文書での問題発生を抑制するため、一般に、ソフトウェア設計文書の問題点についての分析が一般に行われている。開発者等が個人で或いはチームとなって、問題点が発見されたソフトウェア設計文書を分析、検討して、問題が発生した原因の究明、類似の問題点の有無の確認、問題点の修正方法の検討等を行っている。
【０００６】
ソフトウェア設計文書の一般的な分析手法１００について図１２を参照して説明する。まず、ソフトウェア設計文書の修正に先立って修正案Ｄ１を用意する。修正案Ｄ１は、ソフトウェア設計文書で過去に発生した或いは予想される問題点と、その修正方法とを記述した文書である。
【０００７】
ソフトウェア設計文書である修正前ドキュメントＤ２を作成すると、修正案Ｄ１に記載の問題点の有無を確認し、存在する場合には、修正案Ｄ１に記載の対応する修正方法を用いてその問題点を修正することにより、修正後ドキュメントＤ３を作成する。
【０００８】
そして、ソフトウェア設計文書の問題分析を行う個人乃至チームである分析者１０１は修正案Ｄ１を対象として分析を行い、その結果として分析結果Ｄ５を作成する。
【０００９】
このような手法によれば、分析を実行するのは分析者１０１である。分析を行う際の判断基準は、分析者１０１である個人やチームによってばらつきがある。結果として分析結果Ｄ５の品質にもばらつきが生じる。また、問題点が多数に及ぶ場合には分析に長時間を要する。
【００１０】
本発明に関連して特許文献１を挙げる。同文献には、語彙分析及び統計分析に基づいて文書の差分を分析することが記載されている。
【先行技術文献】
【特許文献】
【００１１】
【特許文献１】特開２０１１−５３８４０号公報
【発明の概要】
【発明が解決しようとする課題】
【００１２】
本発明はこのような状況を鑑みてなされたものであり、本発明が解決しようとする課題は、ソフトウェア設計文書の問題点を分析したときに一定品質の分析結果を得ることが可能となる技術を提供することである。
【００１３】
また、本発明が解決しようとする他の課題は、ソフトウェア設計文書の量や問題点の多寡によらず、短い時間で問題点を分析することが可能となる技術を提供することである。
【課題を解決するための手段】
【００１４】
上述の課題を解決するため、本発明は、その一態様として、条件とその条件を満足するときに実行すべき処理とを少なくとも記述したソフトウェア設計文書の第M版（Mは任意の自然数）と、前記ソフトウェア設計文書の第N版（Nは任意の自然数、M≠N）の差分を生成する手段と、前記差分から、条件とその条件を満足するときに実行すべき処理とからなる組、及び、前記処理に追加された注記の少なくとも一方を抽出する手段と、前記抽出結果に応じた分析結果を出力する手段とを含むことを特徴とするソフトウェア設計文書分析装置を提供する。
【００１５】
また、本発明は、他の一態様として、条件とその条件を満足するときに実行すべき処理とを少なくとも記述したソフトウェア設計文書の第M版（Mは任意の自然数）と、前記ソフトウェア設計文書の第N版（Nは任意の自然数、M≠N）の差分を生成する手段と、前記差分から、条件とその条件を満足するときに実行すべき処理とからなる組、及び、前記処理に追加された注記の少なくとも一方を抽出する手段と、前記抽出結果に応じた分析結果を出力する手段としてコンピュータを機能させるためのプログラムを提供する。
【００１６】
また、本発明は、他の一態様として、条件とその条件を満足するときに実行すべき処理とを少なくとも記述したソフトウェア設計文書の第M版（Mは任意の自然数）と、前記ソフトウェア設計文書の第N版（Nは任意の自然数、M≠N）の差分を、コンピュータが生成する段階と、前記差分から、条件とその条件を満足するときに実行すべき処理とからなる組、及び、前記処理に追加された注記の少なくとも一方を前記コンピュータが抽出する段階と、前記抽出結果に応じた分析結果を前記コンピュータが出力する段階とを含むことを特徴とするソフトウェア設計文書の分析方法を提供する。
【発明の効果】
【００１７】
本発明によれば、差分から、条件とその条件を満足するときに実行すべき処理とからなる組、及び、処理に追加された注記の少なくとも一方を抽出し、抽出結果に応じた分析結果を出力する。抽出処理は機械的に実行されるので、分析結果が分析者の個人差によってばらつくことがない。
【図面の簡単な説明】
【００１８】
【図１】本発明の一実施の形態であるソフトウェア設計文書分析装置１によるソフトウェア設計文書の分析の概略を説明するための図である。
【図２】ソフトウェア設計文書分析装置１を用いた分析手法の手順を説明するためのフローチャートである。
【図３】ソフトウェア設計文書分析装置１の分析対象となるソフトウェア設計文書のデータ構造を説明するための図である。
【図４】修正前ドキュメントＤ２の一例を説明するための図である。
【図５】修正後ドキュメントＤ３の一例を説明するための図である。
【図６】図４の修正前ドキュメントＤ２と図５の修正後ドキュメントＤ３との間の修正差分Ｄ４について説明するための図である。
【図７】ソフトウェア設計文書分析装置１として用いられる一般的なコンピュータシステムについて説明するためのブロック図である。
【図８】ソフトウェア設計文書分析装置１の動作を説明するためのフローチャートである。
【図９】修正後ドキュメントＤ３の一例を説明するための図である。
【図１０】図４の修正前ドキュメントＤ２と図９の修正後ドキュメントＤ３との間の修正差分Ｄ４について説明するための図である。
【図１１】ソフトウェア設計文書分析装置１の動作を説明するためのフローチャートである。
【図１２】本発明に関連するソフトウェア設計文書分析手法について説明するための図である。
【発明を実施するための形態】
【００１９】
図１及び図２を参照して説明すると、本発明ではまず修正案Ｄ１を用意する（ステップＳ１）。修正案Ｄ１は、ソフトウェア設計文書に過去に発生した、或いは、発生が予想される問題点と、その修正方法とを関連付けたリストを記載した文書である。修正案Ｄ１はソフトウェア開発者等が目視で読む文書であり、印刷物であってもデジタルデータであってもよい。
【００２０】
次に、ソフトウェアの開発者等のユーザは修正前ドキュメントＤ２を作成する（ステップＳ２）。修正前ドキュメントＤ２は、例えばテキストファイルのようなデジタルデータとして作成したソフトウェア設計文書である。
【００２１】
ここで、本発明におけるソフトウェア設計文書のデータ構造について図３を参照して説明する。ソフトウェア設計文書は、条件とその条件を満足するときに実行すべき処理との関連付けの記述を含む文書であり、図３では表形式でこれらの関連付けを記述している。また、一般に、いったん完成したソフトウェア設計文書に対して、完成後に処理についての注記を追加する場合がある。図３のソフトウェア設計文書には必要に応じて注記が記述されてもよいものとする。例えば処理３の欄に所謂米印のついた符号「※１」が記載され、表の欄外には「注記」の後に同じく「※１」が記載された後、続けて「・・・・・・」と記載されている。これは、処理３に関して注記があり、その内容が欄外の「※１」の後に「・・・・・・」として記述されていることを示す。ここで「・・・・・・」は注記の内容を模式的に表したものである。尚、注記は必要に応じて追加されるものであり、必ずしもすべてのソフトウェア設計文書に記述されるものではない。
【００２２】
図１及び図２に戻ると、次に、ユーザは修正案Ｄ１を参照して修正前ドキュメントＤ２を修正することにより、修正後ドキュメントＤ３を作成する（ステップＳ３）。修正後ドキュメントＤ３も例えばテキストファイルのようなデジタルデータとして作成したソフトウェア設計文書であり、図３のデータ構造を有する。
【００２３】
次に、ユーザは、修正前ドキュメントＤ２と修正後ドキュメントＤ３との差分である、修正差分Ｄ４を作成する（ステップＳ４）。ここで、図４のソフトウェア設計文書を修正前ドキュメントＤ２とし、図５のソフトウェア設計文書を修正後ドキュメントＤ３とすると、修正差分Ｄ４は図６のように表される。条件ｊと、条件ｊを満足するときに実行すべき処理ｋ（ｊ、ｋは自然数）との対応関係を、条件ｊ−処理ｋと表すとすると、図６において、斜線部分、即ち、条件１−処理１、条件２−処理２、条件３−処理３の部分は修正前ドキュメントＤ２、修正後ドキュメントＤ３で共通していることを示す。従って、図６では、条件４−処理４が実質的な差分データである。
【００２４】
次に、ユーザは、修正差分Ｄ４をソフトウェア設計文書分析装置１に入力する（ステップＳ５）。最後に、ソフトウェア設計文書分析装置１は、分析結果をユーザに対して出力する（ステップＳ６）。
【００２５】
次に、ソフトウェア設計文書分析装置１について説明する。ソフトウェア設計文書分析装置１のハードウェアは、パーソナルコンピュータ、ワークステーション等の一般的なコンピュータシステムであり、図７に示すように、制御装置２、演算装置３、主記憶装置４、補助記憶装置５、入力装置６、出力装置７、LAN(Local Area Network)カード８をデータバス９にて接続した構造を有する。ハードディスクドライブ（Hard disk drive, HDD）、ソリッドステートドライブ（Solid State Drive, SSD）等の補助記憶装置５に予め格納したオペレーティングシステム（Operating System, OS）等のシステムソフトウェア、ＯＳ上で実行される各種アプリケーションソフトウェアを主記憶装置４にロードして演算装置３にて実行する。ユーザはキーボード、マウス等の入力装置６を介してコンピュータシステム１に入力を行い、ディスプレイ等の出力装置７から出力を受け取る。コンピュータシステムをソフトウェア設計文書分析装置１として動作させるプログラム、即ち、ソフトウェア設計文書分析プログラムは、他のアプリケーションソフトウェアと同様に、予め補助記憶装置５にインストールされて、実行時に主記憶装置４にロードされる。補助記憶装置５は、ＵＳＢ(Universal Serial Bus)メモリ等のリムーバブルメディアを記録媒体とする記憶装置を含んでいてもよい。コンピュータシステム１はLANカード８を介してLAN、更にインターネットに接続可能であり、これらネットワークに接続された不図示の記憶装置からシステムソフトウェア、アプリケーションソフトウェアをロードすることとしてもよい。
【００２６】
次に、ソフトウェア設計文書分析装置１の動作について説明する。ここでは、修正前ドキュメントＤ２は図４のソフトウェア設計文書のようであり、修正後ドキュメントＤ３は図５のようであるものとする。従って、修正差分Ｄ４は図６となる。
【００２７】
図８を参照すると、ソフトウェア設計文書分析装置１は、入力された修正差分Ｄ４から、追加された条件と処理の組があるか否かを判定する（ステップＳ１１）。修正差分Ｄ４の入力は、例えば、ユーザが入力装置６を介して直接入力してもよいし、予め他のコンピュータにてリムーバブルメディアにデータファイルとして修正差分Ｄ４を保存しておき、そのリムーバブルメディアからコンピュータシステム１にコピーしてもよいし、ＬＡＮカード８、ネットワークを介して外部からダウンロードしてもよい。
【００２８】
該当する組がある場合、即ち、条件―処理の追加がある場合、修正前ドキュメントＤ２に処理条件の記載漏れがあったことを意味する。図６の修正差分Ｄ４では、実質的な差分として条件４−処理４が存在するため、条件―処理の追加がある場合に該当する。
【００２９】
処理条件の記載漏れが起きる原因としては、設計者が仕様を十分に理解していなかった、設計者が仕様を誤読した等が考えられる。このため、ソフトウェア設計文書分析装置１は、「設計者が仕様を十分に理解していない恐れがあります。」、「設計者が仕様を誤読した可能性があります。」といったメッセージを分析結果として出力する（ステップＳ１２）。
【００３０】
これらのメッセージは、ステップＳ１１にて「はい」と判定された場合に出力されるメッセージとして、予め補助記憶装置５に格納しておく。ソフトウェア設計文書分析プログラムに従って動作する演算装置３は、ステップＳ１１にて「はい」と判定したとき、補助記憶装置５からこれらのメッセージを読み出して出力装置７からユーザに対して出力する。
【００３１】
次に、ソフトウェア設計文書分析装置１の他の動作について説明する。この動作では、修正前ドキュメントＤ２が図４のようであった点では上述の動作と同様であるが、修正後ドキュメントＤ３が図９のようなものであったとする。
【００３２】
図９に示すように、このときの修正後ドキュメントＤ３は、図４の修正前ドキュメントＤ２に対して、処理３に米印つきの数字「※１」が追加されている。また、表の欄外に「注記」と記載され、その後に、「※１・・・・・・」というように、処理３に注記として追加された内容が記載されている。
【００３３】
このような修正前ドキュメントＤ２、修正後ドキュメントＤ３であるとき、修正差分Ｄ４は図１０のようになる。図１０において斜線部は、図６と同様に修正前ドキュメントＤ２と修正後ドキュメントＤ３との共通部分であり、実質的な差分は、処理３の欄内に記載の「※１」と、表欄外の「注記  ※１  ・・・・・・」である。
【００３４】
図１１に示すように、図１０のような修正差分Ｄ４が、補助記憶装置５、入力装置６、ＬＡＮカード８等を介して入力されると、ソフトウェア設計文書分析プログラムに従って動作する演算装置３は、修正差分Ｄ４に注記が含まれているか否かを判定する（ステップＳ２１）。
【００３５】
修正後ドキュメントＤ３に注記が追加される場合としては、修正前ドキュメントＤ２に記述された仕様にあいまいさがある場合、修正前ドキュメントＤ２が誤読を招く書き方をされている場合等が考えられる。このため、ステップＳ２１にて「はい」と判定された場合に出力されるメッセージとして、例えば「修正前のソフトウェア設計文書に記載の仕様があいまいな恐れがあります。」「修正前のソフトウェア設計文書に誤読を招く表現がある恐れがあります。」といったメッセージを予め補助記憶装置５に格納しておく。
【００３６】
ステップＳ２１において、修正差分Ｄ４に注記が含まれていると判定した場合、演算装置３は、補助記憶装置５からこれらのメッセージを読み出し、出力装置７からユーザに対して出力する（ステップＳ２２）。
【００３７】
以上、本発明を実施の形態に即して説明したが、本発明はこれに限定されるものではない。例えば、上述の実施形態では、修正前ドキュメントＤ２と修正後ドキュメントＤ３から修正差分Ｄ４を生成し、修正差分Ｄ４をソフトウェア設計文書分析装置１に入力することとしたが、修正前ドキュメントＤ２と修正後ドキュメントＤ３とを入力とし、修正差分Ｄ４を出力とするような処理を、ソフトウェア設計文書分析プログラムに含めることとしてもよい。この場合、ソフトウェア設計文書分析装置１の入力は、修正差分Ｄ４ではなく、修正前ドキュメントＤ２及び修正後ドキュメントＤ３となる。
【００３８】
上記の実施形態の一部又は全部は以下の付記のようにも記載されうるが、これらに限定されるものではない。
【００３９】
（付記１）
条件とその条件を満足するときに実行すべき処理とを少なくとも記述したソフトウェア設計文書の第M版（Mは任意の自然数）と、前記ソフトウェア設計文書の第N版（Nは任意の自然数、M≠N）の差分を生成する手段と、
前記差分から、条件とその条件を満足するときに実行すべき処理とからなる組、及び、前記処理に追加された注記の少なくとも一方を抽出する手段と、
前記抽出結果に応じた分析結果を出力する手段と
を含むことを特徴とするソフトウェア設計文書分析装置。
【００４０】
（付記２）
前記抽出手段が条件とその条件を満足するときに実行すべき処理とからなる組を抽出したとき、前記出力手段は、前記ソフトウェア設計文書の作成者が、前記ソフトウェア設計文書の前提条件を十分に理解していなかった可能性、及び、前記作成者が前記前提条件を誤解した可能性の少なくとも一方を示唆するメッセージを出力することを特徴とする付記１に記載のソフトウェア設計文書分析装置。
【００４１】
（付記３）
前記抽出手段が前記処理に追加された注記を抽出したとき、前記出力段階は、前記第Ｍ版の文書の仕様にあいまいさがある旨、及び、前記第Ｍ版が誤読を招く書き方をされている旨の少なくとも一方を示唆するメッセージを出力することを特徴とする付記１に記載のソフトウェア設計文書分析装置。
【００４２】
（付記４）
前記ソフトウェア設計文書は、条件とその条件を満足するときに実行すべき処理とからなる組を表形式に記載してなることを特徴とする、付記１乃至付記３のいずれかに記載のソフトウェア設計文書分析装置。
【００４３】
（付記５）
条件とその条件を満足するときに実行すべき処理とを少なくとも記述したソフトウェア設計文書の第M版（Mは任意の自然数）と、前記ソフトウェア設計文書の第N版（Nは任意の自然数、M≠N）の差分を生成する手段と、
前記差分から、条件とその条件を満足するときに実行すべき処理とからなる組、及び、前記処理に追加された注記の少なくとも一方を抽出する手段と、
前記抽出結果に応じた分析結果を出力する手段と
としてコンピュータを機能させるためのプログラム。
【００４４】
（付記６）
前記抽出手段が条件とその条件を満足するときに実行すべき処理とからなる組を抽出したとき、前記出力手段は、前記ソフトウェア設計文書の作成者が、前記ソフトウェア設計文書の前提条件を十分に理解していなかった可能性、及び、前記作成者が前記前提条件を誤解した可能性の少なくとも一方を示唆するメッセージを出力することを特徴とする付記５に記載のプログラム。
【００４５】
（付記７）
前記抽出手段が前記処理に追加された注記を抽出したとき、前記出力段階は、前記第Ｍ版の文書の仕様にあいまいさがある旨、及び、前記第Ｍ版が誤読を招く書き方をされている旨の少なくとも一方を示唆するメッセージを出力することを特徴とする付記５に記載のプログラム。
【００４６】
（付記８）
前記ソフトウェア設計文書は、条件とその条件を満足するときに実行すべき処理とからなる組を表形式に記載してなることを特徴とする、付記５乃至付記７のいずれかに記載のプログラム。
【００４７】
（付記９）
条件とその条件を満足するときに実行すべき処理とを少なくとも記述したソフトウェア設計文書の第M版（Mは任意の自然数）と、前記ソフトウェア設計文書の第N版（Nは任意の自然数、M≠N）の差分を、コンピュータが生成する段階と、
前記差分から、条件とその条件を満足するときに実行すべき処理とからなる組、及び、前記処理に追加された注記の少なくとも一方を前記コンピュータが抽出する段階と、
前記抽出結果に応じた分析結果を前記コンピュータが出力する段階と
を含むことを特徴とするソフトウェア設計文書の分析方法。
【００４８】
（付記１０）
前記抽出段階にて、条件とその条件を満足するときに実行すべき処理とからなる組を抽出し、
前記出力段階にて、前記ソフトウェア設計文書の作成者が、前記ソフトウェア設計文書の前提条件を十分に理解していなかった可能性、及び、前記作成者が前記前提条件を誤解した可能性の少なくとも一方を示唆するメッセージを、前記コンピュータは出力する
ことを特徴とする付記９に記載のソフトウェア設計文書の分析方法。
【００４９】
（付記１１）
前記抽出段階にて、前記処理に追加された注記を抽出し、
前記出力段階にて、前記第Ｍ版の文書の仕様にあいまいさがある旨、及び、前記第Ｍ版が誤読を招く書き方をされている旨の少なくとも一方を示唆するメッセージを、前記コンピュータは出力する
ことを特徴とする付記９に記載のソフトウェア設計文書の分析方法。
【００５０】
（付記１２）
前記ソフトウェア設計文書は、条件とその条件を満足するときに実行すべき処理とからなる組を表形式に記載してなることを特徴とする、付記９乃至付記１１のいずれかに記載のソフトウェア設計文書の分析方法。
【符号の説明】
【００５１】
１  ソフトウェア設計文書分析装置、コンピュータシステム
２  制御装置
３  演算装置
４  主記憶装置
５  補助記憶装置
６  入力装置
７  出力装置
８  ＬＡＮカード
９  データバス
【図１】
2015165370.tif 000003
【図２】
2015165370.tif 000004
【図３】
2015165370.tif 000005
【図４】
2015165370.tif 000006
【図５】
2015165370.tif 000007
【図６】
2015165370.tif 000008
【図７】
2015165370.tif 000009
【図８】
2015165370.tif 000010
【図９】
2015165370.tif 000011
【図１０】
2015165370.tif 000012
【図１１】
2015165370.tif 000013
【図１２】
2015165370.tif 000014