仕様要求検証装置及び仕様要求検証方法
【課題】検証対象において、仕様として設定した非機能要求が満たされているか否かを検証する技術を提供する。
【解決手段】複数のプロセスを実行する場合の非機能に係る要求を示す情報を入力装置による入力或いは記憶媒体からの読み出しによって取得し、前記複数のプロセスにかかる非機能の値を求め、前記非機能の値が、前記非機能に係る要求を満たしているか否かを評価する。
【解決手段】複数のプロセスを実行する場合の非機能に係る要求を示す情報を入力装置による入力或いは記憶媒体からの読み出しによって取得し、前記複数のプロセスにかかる非機能の値を求め、前記非機能の値が、前記非機能に係る要求を満たしているか否かを評価する。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、検証対象であるシステムや装置の非機能を検証する技術に関する。
【背景技術】
【０００２】
開発段階で要求仕様を検証する方法としては、ＵＭＬ（Unified Modeling Language）
やPromela (Process Meta Language)といったモデリング言語で要求仕様をモデル化し、
このモデルをＳＰＩＮやＳＭＬといったモデル検査ツールで検査することが知られている。
【０００３】
また、このようなモデル検査は、システムの開発段階で用いられており、システムの実用段階で用いられるものではなかった。
【先行技術文献】
【特許文献】
【０００４】
【特許文献１】特開２００９−０７５６８１号公報
【特許文献２】特開２００８−３０５０７９号公報
【特許文献３】特開２００９−１２９４６３号公報
【特許文献４】特開２００９−１１６８１５号公報
【特許文献５】特開２００８−１１２２２４号公報
【発明の概要】
【発明が解決しようとする課題】
【０００５】
従来のモデル検査は、機能要求をモデル化し、このモデルについて検査を行うので、このモデルに反映されない非機能要求については、検証することができなかった。
【０００６】
そこで、本発明は検証対象において非機能要求が満たされているか否かを検証する技術を提供する。
【課題を解決するための手段】
【０００７】
上記課題を解決するために本発明では、以下の手段または処理を採用した。
【０００８】
即ち、本発明に係る仕様要求検証装置は、
複数のプロセスを実行する場合の非機能に係る要求を示す情報を入力装置による入力或いは記憶媒体からの読み出しによって取得する要求取得手段と、
前記複数のプロセスにかかる非機能の値を求める非機能値取得手段と、
前記非機能の値が、前記非機能に係る要求を満たしているか否かを評価する評価手段と、を備える。
【０００９】
前記非機能の値は、少なくとも処理時間、消費電力、費用の何れかを含むものでも良い。
【００１０】
前記非機能値取得手段は、前記プロセスの実行結果を実測することにより前記非機能の値を取得しても良い。
【００１１】
更に本発明に係る仕様要求検証方法は、
複数のプロセスを実行する場合の非機能に係る要求を示す情報を入力装置による入力或いは記憶媒体からの読み出しによって取得するステップと、
前記複数のプロセスにかかる非機能の値を求めるステップと、
前記非機能の値が、前記非機能に係る要求を満たしているか否かを評価するステップと、をコンピュータが実行する。
【００１２】
前記仕様要求検証方法において、前記非機能の値は、少なくとも処理時間、消費電力、費用の何れかを含むものでも良い。
【００１３】
前記仕様要求検証方法において、前記プロセスの実行結果を実測することにより前記非機能の値を取得しても良い。
【００１４】
なお、本発明は、上記仕様要求検証方法の各ステップをコンピュータに実行させるためのプログラムとして捉えることもできる。また、本発明は、前記プログラムをコンピュータが読み取り可能に記録した記録媒体（記憶媒体）として捉えることもできる。
【００１５】
ここで、コンピュータが読み取り可能な記録媒体とは、データやプログラム等の情報を電気的、磁気的、光学的、機械的、または化学的作用によって蓄積し、コンピュータから読み取ることができる記録媒体をいう。このような記録媒体の内、コンピュータから取り外し可能なものとしては、例えばフレキシブルディスク、光磁気ディスク、CD-ROM、CD-R/W、DVD、DAT、８mmテープ、メモリカード等がある。
【００１６】
また、コンピュータに固定された記録媒体としてハードディスクやＲＯＭ（リードオンリーメモリ）等がある。
【００１７】
上記手段およびステップの各々は可能な限り互いに組み合わせて本発明を構成することができる。
【発明の効果】
【００１８】
本発明によれば、検証対象において非機能要求が満たされているか否かを検証する技術を提供できる。
【図面の簡単な説明】
【００１９】
【図１】仕様要求検証装置のブロック図
【図２】仕様要求検証方法の説明図
【図３】検証対象の装置の説明図
【図４】機能要求の説明図
【図５】機能要求の説明図
【図６】プロセス名とプロセスの結果を対応付けて記憶したテーブルの一例を示す図
【図７】プロセス名と非機能値を対応付けて記憶したテーブルの一例を示す図
【図８】実施形態２の説明図
【発明を実施するための形態】
【００２０】
〈実施形態１〉
以下、本発明の実施の形態について説明する。まず、本発明の実施の形態にかかる仕様要求検証装置の構成の一例について図１を用いて説明する。
【００２１】
この仕様要求検証装置１は、新たなシステムや製品、ソフトウェアを開発する段階で複数の機能を実行した場合に、処理時間や消費電力、コストが所定の値に収まるかといった非機能要求が満たされるか否かを検証する。
【００２２】
図１は本実施形態に係る仕様要求検証装置の概略を説明する図である。図１に示すよう
に、仕様要求検証装置１は、データの演算処理を行うデータ処理部１１と、他の装置との通信を行う通信処理部１２、演算処理の為のデータやソフトウェアを記憶する記憶部（ハードディスク）１３、入力部１４、出力部１５を備えたコンピュータである。
【００２３】
通信処理部１２は、ネットワークやケーブル等の回線を介して他のコンピュータとの通信を行う。
【００２４】
記憶部１３は、オペレーティングシステム（ＯＳ）やアプリケーションプログラム（仕様要求検証プログラム）を記憶している。また、記憶部１３は、検証に用いるデータテーブル等も記憶している。
【００２５】
入力部１４は、データ処理部１１へ情報を入力する手段であり、キーボードやポインティングデバイスといったユーザインタフェースや、メモリカードやＣＤ−ＲＯＭ等の記憶媒体から情報を読み取るデバイスを有する。
【００２６】
出力部１５は、データ処理部１１の処理結果を出力する手段であり、処理結果等を表示する表示装置や、データを印刷するプリンターを有する。
【００２７】
データ処理部１１は、ＣＰＵやメインメモリを有し、前記ＯＳやアプリケーションプログラムを記憶部１３からメインメモリに読み出し、読み出したＯＳやアプリケーションプログラムに従ってＣＰＵが演算処理を行う。この演算処理により、ＣＰＵは、要求取得部２１や、非機能値取得部２２、評価部２３としても機能する。
【００２８】
データ処理部１１のＣＰＵ、即ち要求取得部２１は、検証対象に要求される機能や入力装置による入力或いは記憶媒体からの読み出しによって複数のプロセスを実行した場合の非機能に係る要求を示す情報を取得する。
【００２９】
非機能値取得部２２は、前記複数のプロセスの実行によって変化する非機能の値を求める。
【００３０】
評価部２３は、前記非機能の値が、前記非機能に係る要求を満たしているか否かを評価する。
【００３１】
図２は、本例の仕様要求検証装置１がプログラムに従って実行する仕様要求検証方法の説明図である。
【００３２】
まず、仕様要求検証装置１は、機能要求を示す情報及び非機能要求を示す情報を取得する（ステップＳ１，Ｓ２）。例えば、仕様要求検証装置１は、ユーザが入力部１４のキーボードやポインティングデバイスを操作して入力した情報、或いは他のコンピュータから送信された情報を通信処理部１２を介して受信する。また、仕様要求検証装置１は、ＣＤ−ＲＯＭ等のリムーバルディスクや、記憶部１３、メインメモリ等の記憶媒体から非機能要求を示す情報を読み出す、或いは通信処理部１２によりネットワークを介して他のコンピュータから読み出して取得しても良い。
【００３３】
次に、仕様要求検証装置１は、ステップＳ１で取得した機能要求に基づき、要求されている機能（プロセス）を実行する（ステップＳ３）。
【００３４】
そして、仕様要求検証装置１の非機能値取得部２２は、プロセスを実行したことにより変化する非機能の値（以下、単に非機能値とも称する）、例えば処理時間や消費電力、コストを求める（ステップＳ４）。なお、非機能値を求める手法としては、プロセス毎に関
数を設定しておき、この関数で入力値を演算するものや、プロセス毎の非機能値を予めテーブルに登録しておき、このテーブルを参照して該当する非機能値を読み出すものや、ユーザや他のコンピュータ等から入力を受けるもの、プロセスの実行時に変化する値を実測するもの等が挙げられる。
【００３５】
また、仕様要求検証装置１の評価部２３は、上記で求めた非機能値がステップＳ２で取得した非機能要求を満たすか否かを評価する（ステップＳ５）。例えば、プロセスを実行したときの所要時間が所定時間以内か、プロセスを実行したときの消費電力が所定電力以下か、プロセスを実行するのに採用した機器のコストが所定値以下かといった条件を満たしているか否かを判定する。
【００３６】
〈具体例〉
次に、上記仕様要求検証装置１が実行する仕様要求検証方法について具体例を挙げて説明する。図３は、開発する車載カメラシステム、即ち検証対象を示す図である。図３の車載カメラシステムは、カメラ４１、輪郭抽出部４２、輪郭合成部４３、表示装置４４を備え、カメラ映像から道路上の物体の輪郭を抽出し、この輪郭を元画像と合成して表示装置に表示する。このとき輪郭を所定の線幅や色で描画して強調することにより、対向車のライトによって逆光になっている状況や霧が発生した状況であっても道路上の物体を明示するものである。
【００３７】
この車載カメラシステムにおいて、カメラ４１は、車両の先方或いは後方の道路上を撮影し、撮影画像を輪郭抽出部４２及び理輪郭合成部４３に送る機能が要求される。
【００３８】
また、輪郭抽出部４２は、撮影画像中の画素の濃度値が急激に変化する部分を微分演算やパターンマッチングにより輪郭として抽出する機能が要求される。
【００３９】
輪郭合成部４３は、輪郭抽出部４２で抽出した輪郭を元画像と合成する機能が要求される。
【００４０】
表示装置４４は、例えばカーナビゲーションシステムのディスプレイやＨＵＤであり、輪郭合成部４３で合成した画像を運転者に対して表示する機能が要求される。
【００４１】
即ち、この車載カメラシステムについて図２のステップＳ１では、上記のように各部４１〜４４に要求される機能要求を示す情報が入力される。なお、この機能要求で要求される機能（プロセス内容）は、所定の論理式（例えば、ＬＴＬ（Linear Temporal Logic）
：線形時相論理の論理式や、ＣＴＬ（Computation Tree Logic）：計算木時相論理の論理式などや、プロメラ（Promela）などの記述言語など）によって記述できる。
【００４２】
図４は機能要求によるモデルを示す図である。本例では、図４に示すようにカメラで画像を撮影するプロセス（撮影Ｐ１）や、撮影画像から輪郭を抽出するプロセス（プロセスＰ２）、元画像に輪郭を合成するプロセス（合成Ｐ３）、合成後の画像を表示するプロセス（表示Ｐ４）を有する。
【００４３】
図４の例では、機能要求を示す情報として、プロセス名（プロセスの識別情報）と、論理式等のプロセス内容を取得し、データ処理部１１がプロセス内容に従って入力値を演算して結果を求める構成であり、従来行われていた機能要求の検証と並行して非機能要求の検証を行えるようにしている。なお、機能要求の検証と非機能要求の検証は、必ずしも並行して行わなければならないものでは無い。例えば、各プロセスの結果を前記演算によって予め求めておく或いはプロセスの結果として想定値を定めておき、このプロセスの結果とプロセス名を前記機能要求を示す情報として入力しても良い。図５は、プロセスの結果
を入力する例を示し、図６はプロセス名とプロセスの結果を対応付けて記憶したテーブルの一例を示す図である。なお、プロセス名はプロセスを識別するための情報であり、プロセス毎に固有の情報が付されている。図６では、カメラＡを用いて撮影するプロセスのプロセス名がＰ１Ａ、結果がＶＧＡカラー画像（６４０×４８０×２４ビット）であり、カメラＢを用いて撮影するプロセスのプロセス名がＰ１Ｂ、結果がＶＧＡカラー画像（８００×６００×２４ビット）であり、カメラＣを用いて撮影するプロセスのプロセス名をＰ１Ｃ、結果がＸＧＡカラー画像（１０２４×７６８×２４ビット）である。
【００４４】
図５の例では、図２のステップＳ３において、図６のテーブルからプロセス結果を求めて入力する。一方、図４の例では、論理式やPromela等で記述されたプロセス内容に基づ
いて図６に示すようなプロセスの結果を求める。
【００４５】
また、図３の車載カメラシステムにおいて、図２のステップＳ２では、仕様要求検証装置１は、各プロセスにかかる非機能要求を示す情報を取得する。例えば、被写体を撮影してから輪郭を抽出して元画像と合成して表示装置に表示させるまでの処理時間、即ち遅延時間を３００ｍｓ以内、消費電力を２５Ｗ以内、且つ費用を５０００円以内とすることを非機能要求とする。
【００４６】
そして、図２のステップＳ４では、各プロセスにかかる非機能の値を求める。図７は、各プロセスに対応する非機能の値を記憶したテーブルの一例を示す図である。図７に示すテーブルでは、各プロセスにかかる非機能要求として、処理時間、消費電力、費用を記憶している。例えば、プロセスＰ１Ａの処理時間（受光面上に結像された像を撮像素子で電気信号に変換して出力するまでの時間）が８０ｍｓ、カメラの消費電力、２．０Ｗ、カメラの費用１０００円であり、プロセスＰ１Ｂの処理時間が１００ｍｓ、カメラの消費電力、２．５Ｗ、カメラの費用１５００円であり、プロセスＰ１Ｃの処理時間が１２０ｍｓ、カメラの消費電力、３．５Ｗ、カメラの費用２０００円である。
【００４７】
図７のプロセスＰ１Ａ〜Ｐ１Ｃに対する非機能の値のように、予めテーブルに記憶しておき、ステップＳ４では、ステップＳ１で取得したプロセスのプロセス名と対応する値を当該テーブルから読み出す。
【００４８】
なお、非機能の値は、予めテーブルに記憶しておく構成に限らず、関数で定義しても良い。例えば、図７におけるプロセスＰ２Ｄ〜Ｐ２Ｆの処理時間のように、チップＤを用いて輪郭を抽出するプロセスの画像サイズＦｓを１秒あたりの出力ビット数１．５４×１０6で割る、チップＥを用いて輪郭を抽出するプロセスの画像サイズＦｓを１秒あたりの出
力ビット数３．０７×１０6で割る、チップＦを用いて輪郭を抽出するプロセスの画像サ
イズＦｓを１秒あたりの出力ビット数６．１４×１０6で割ることで処理時間を求める。
【００４９】
ここでプロセスＰ１Ａの結果（６４０×４８０×２４ビット）を用いた場合、輪郭を抽出するプロセスの結果は、二値画像（６４０×４８０×１ビット）となる。この場合に、チップＤを用いて輪郭を抽出するプロセスＰ２Ｄは、処理時間が２００ｍｓ、消費電力が１．２Ｗ、費用が３００円、チップＥを用いて輪郭を抽出するプロセスＰ２Ｅは、処理時間が１００ｍｓ、消費電力が１．５Ｗ、費用が５００円、チップＦを用いて輪郭を抽出するプロセスＰ２Ｆは、処理時間が５０ｍｓ、消費電力が３．０Ｗ、費用が８００円となる。
【００５０】
同様に、プロセスＰ１Ｂの結果（８００×６００×２４ビット）を用いた場合、輪郭を抽出するプロセスの結果は、二値画像（８００×６００×１ビット）となり、チップＤを用いて輪郭を抽出するプロセスＰ２Ｄは、処理時間が３１３ｍｓ、消費電力が１．２Ｗ、費用が３００円、チップＥを用いて輪郭を抽出するプロセスＰ２Ｅは、処理時間が１５６
ｍｓ、消費電力が１．５Ｗ、費用が５００円、チップＦを用いて輪郭を抽出するプロセスＰ２Ｆは、処理時間が７８ｍｓ、消費電力が３．０Ｗ、費用が８００円となる。
【００５１】
また、図７におけるプロセスＰ３Ｇ〜Ｐ３Ｉの処理時間のように、チップＧを用いて輪郭を元画像に合成するプロセスの画像サイズＦｓを１秒あたりの出力ビット数７３．７×１０6で割る、チップＨを用いて輪郭を元画像に合成するプロセスの画像サイズＦｓを１
秒あたりの出力ビット数１４７×１０6で割る、チップＩを用いて輪郭を元画像に合成す
るプロセスの画像サイズＦｓを１秒あたりの出力ビット数２９５×１０6で割ることで処
理時間を求める。
【００５２】
ここで元画像としてプロセスＰ１Ａの結果（６４０×４８０×２４ビット）を用いた場合、チップＧを用いて輪郭を元画像に合成するプロセスＰ３Ｇは、処理時間が１００ｍｓ、消費電力が０．５Ｗ、費用が１００円、チップＨを用いて輪郭を元画像に合成するプロセスＰ３Ｈは、処理時間が５０ｍｓ、消費電力が０．８Ｗ、費用が２００円、チップＩを用いて輪郭を元画像に合成するプロセスＰ３Ｉは、処理時間が２５ｍｓ、消費電力が１．５Ｗ、費用が３００円となる。
【００５３】
同様に、プロセスＰ１Ｂの結果（８００×６００×２４ビット）を用いた場合、チップＧを用いて輪郭を元画像に合成するプロセスＰ３Ｇは、処理時間が１５６ｍｓ、消費電力が０．５Ｗ、費用が１００円、チップＨを用いて輪郭を元画像に合成するプロセスＰ３Ｈは、処理時間が７８．４ｍｓ、消費電力が０．８Ｗ、費用が２００円、チップＩを用いて輪郭を元画像に合成するプロセスＰ３Ｉは、処理時間が３９．１ｍｓ、消費電力が１．５Ｗ、費用が３００円となる。
【００５４】
また、図７において、ディスプレイＪに合成後の画像を表示するプロセスＰ４Ｊの処理時間（応答時間）が５ｍｓ、消費電力が１５ｗ、費用が３０００円であり、ディスプレイＫに合成後の画像を表示するプロセスＰ４Ｋの処理時間（応答時間）が５ｍｓ、消費電力が１７ｗ、費用が３５００円であり、ディスプレイＬに合成後の画像を表示するプロセスＰ４Ｌの処理時間（応答時間）が５ｍｓ、消費電力が２０ｗ、費用が４０００円である。
【００５５】
そして、図２のステップＳ５において、仕様要求検証装置１の評価部２３は、上記で求めた非機能値がステップＳ２で取得した非機能要求を満たすか否かを評価する。
【００５６】
例えば、ステップＳ１で取得した情報が示すプロセス名が、プロセスＰ１Ａ，Ｐ２Ｄ，Ｐ３Ｇ，Ｐ４Ｊであった場合、
プロセスＰ１Ａ：処理時間＝８０ｍｓ、消費電力＝２．０Ｗ、費用＝１０００円
プロセスＰ２Ｄ：処理時間＝２００ｍｓ、消費電力＝１．２Ｗ、費用＝３００円
プロセスＰ３Ｇ：処理時間＝１００ｍｓ、消費電力＝０．５Ｗ、費用＝１００円
プロセスＰ４Ｊ：処理時間＝５ｍｓ、消費電力＝１５ｗ、費用＝３０００円
合計：処理時間＝３８５ｍｓ、消費電力＝１８．７ｗ、費用＝４４００円
である。
【００５７】
従って、プロセスＰ１Ａ，Ｐ２Ｄ，Ｐ３Ｇ，Ｐ４Ｊの構成は、処理時間（遅延時間）の非機能要求を満たさず、不適合である。
【００５８】
また、ステップＳ１で取得した情報が示すプロセス名が、プロセスＰ１Ａ，Ｐ２Ｅ，Ｐ３Ｉ，Ｐ４Ｊであった場合、
プロセスＰ１Ａ：処理時間＝８０ｍｓ、消費電力＝２．０Ｗ、費用＝１０００円
プロセスＰ２Ｅ：処理時間＝１５６ｍｓ、消費電力＝１．５Ｗ、費用＝５００円
プロセスＰ３Ｉ：処理時間＝３９．１ｍｓ、消費電力＝１．５Ｗ、費用＝３００円
プロセスＰ４Ｊ：処理時間＝５ｍｓ、消費電力＝１５ｗ、費用＝３０００円
合計：処理時間＝２８０．１ｍｓ、消費電力＝２０ｗ、費用＝４８００円
である。
【００５９】
従って、プロセスＰ１Ａ，Ｐ２Ｅ，Ｐ３Ｉ，Ｐ４Ｊの構成は、全ての非機能要求を満たし、適合する。
【００６０】
更に、ステップＳ１で取得した情報が示すプロセス名が、プロセスＰ１Ｃ，Ｐ２Ｆ，Ｐ３Ｉ，Ｐ４Ｌであった場合、
プロセスＰ１Ｃ：処理時間＝１２０ｍｓ、消費電力＝３．５Ｗ、費用＝２０００円
プロセスＰ２Ｆ：処理時間＝１２８ｍｓ、消費電力＝３．０Ｗ、費用＝８００円
プロセスＰ３Ｉ：処理時間＝６４．０ｍｓ、消費電力＝１．５Ｗ、費用＝３００円
プロセスＰ４Ｌ：処理時間＝５ｍｓ、消費電力＝２０ｗ、費用＝４０００円
合計：処理時間＝３１７ｍｓ、消費電力＝２８ｗ、費用＝７１００円
である。
【００６１】
従って、プロセスＰ１Ｃ，Ｐ２Ｆ，Ｐ３Ｉ，Ｐ４Ｌの構成は、全ての非機能要求を満たさず、不適合である。
【００６２】
以上のように、本実施形態によれば、開発段階で検証対象の非機能要求を評価することができる。
【００６３】
〈実施形態２〉
前述の実施形態１では、開発段階で検証対象の非機能要求を評価する例を示したが、本実施形態２は実用段階で検証対象の非機能の値を実測し、非機能要求を評価する例である。本実施形態２は、前述の実施形態１と比べて評価内容が異なり、その他の構成は同じである。このため同一の要素には同符号を付すなどして再度の説明を省略している。
【００６４】
図８は、本実施形態２の概略説明図である。本実施形態２において、要求取得部２１は、機能要求としてプロセスＰ１Ａ，Ｐ２Ｅ，Ｐ３Ｉ，Ｐ４Ｊを示す情報を取得し、非機能要求としてプロセスＰ２Ｅ，Ｐ３Ｉの処理時間が２００ｍｓであることを取得する。
【００６５】
また、非機能値取得部２２は、プロセスＰ１Ａで撮影した画像、即ち元画像と、プロセスＰ３Ｉで合成後の画像とを比較し、元画像の出力から合成後の画像の出力までにかかった時間を処理時間（遅延時間）として求める。
【００６６】
評価部２３は、非機能値取得部２２で取得した値が、非機能要求を満たしているか否かを判定する。プロセスＰ２Ｅ，Ｐ３Ｉの処理時間は、１９５．１ｍｓのため、通常は非機能要求を満たしている。しかし、チップＥ，Ｉの不具合や電圧の低下、チップＥ，ＩがプロセスＰ２Ｅ，Ｐ３Ｉと並行して処理するプロセスの増加等の問題が生じたことにより処理時間が非機能要求を満たさなくなった場合、評価部２３は出力部１５を介してユーザに警告を通知する。
【００６７】
以上のように本実施形態２によれば、実用時に非機能要求を評価でき、非機能要求を満たさなくなった場合にユーザに警告できる。
【００６８】
本実施形態２の仕様要求検証装置は、処理時間に限らず、非機能の値が実用時に実測できるものであれば良い。
【符号の説明】
【００６９】
１ 仕様要求検証装置
１１ データ処理部
１２ 通信処理部
１３ 記憶部（ハードディスク）
１４ 入力部
１５ 出力部
２１ 要求取得部
２２ 非機能値取得部
２３ 評価部
４１ カメラ
４２ 輪郭抽出部
４３ 輪郭合成部
４４ 表示装置
【技術分野】
【０００１】
本発明は、検証対象であるシステムや装置の非機能を検証する技術に関する。
【背景技術】
【０００２】
開発段階で要求仕様を検証する方法としては、ＵＭＬ（Unified Modeling Language）
やPromela (Process Meta Language)といったモデリング言語で要求仕様をモデル化し、
このモデルをＳＰＩＮやＳＭＬといったモデル検査ツールで検査することが知られている。
【０００３】
また、このようなモデル検査は、システムの開発段階で用いられており、システムの実用段階で用いられるものではなかった。
【先行技術文献】
【特許文献】
【０００４】
【特許文献１】特開２００９−０７５６８１号公報
【特許文献２】特開２００８−３０５０７９号公報
【特許文献３】特開２００９−１２９４６３号公報
【特許文献４】特開２００９−１１６８１５号公報
【特許文献５】特開２００８−１１２２２４号公報
【発明の概要】
【発明が解決しようとする課題】
【０００５】
従来のモデル検査は、機能要求をモデル化し、このモデルについて検査を行うので、このモデルに反映されない非機能要求については、検証することができなかった。
【０００６】
そこで、本発明は検証対象において非機能要求が満たされているか否かを検証する技術を提供する。
【課題を解決するための手段】
【０００７】
上記課題を解決するために本発明では、以下の手段または処理を採用した。
【０００８】
即ち、本発明に係る仕様要求検証装置は、
複数のプロセスを実行する場合の非機能に係る要求を示す情報を入力装置による入力或いは記憶媒体からの読み出しによって取得する要求取得手段と、
前記複数のプロセスにかかる非機能の値を求める非機能値取得手段と、
前記非機能の値が、前記非機能に係る要求を満たしているか否かを評価する評価手段と、を備える。
【０００９】
前記非機能の値は、少なくとも処理時間、消費電力、費用の何れかを含むものでも良い。
【００１０】
前記非機能値取得手段は、前記プロセスの実行結果を実測することにより前記非機能の値を取得しても良い。
【００１１】
更に本発明に係る仕様要求検証方法は、
複数のプロセスを実行する場合の非機能に係る要求を示す情報を入力装置による入力或いは記憶媒体からの読み出しによって取得するステップと、
前記複数のプロセスにかかる非機能の値を求めるステップと、
前記非機能の値が、前記非機能に係る要求を満たしているか否かを評価するステップと、をコンピュータが実行する。
【００１２】
前記仕様要求検証方法において、前記非機能の値は、少なくとも処理時間、消費電力、費用の何れかを含むものでも良い。
【００１３】
前記仕様要求検証方法において、前記プロセスの実行結果を実測することにより前記非機能の値を取得しても良い。
【００１４】
なお、本発明は、上記仕様要求検証方法の各ステップをコンピュータに実行させるためのプログラムとして捉えることもできる。また、本発明は、前記プログラムをコンピュータが読み取り可能に記録した記録媒体（記憶媒体）として捉えることもできる。
【００１５】
ここで、コンピュータが読み取り可能な記録媒体とは、データやプログラム等の情報を電気的、磁気的、光学的、機械的、または化学的作用によって蓄積し、コンピュータから読み取ることができる記録媒体をいう。このような記録媒体の内、コンピュータから取り外し可能なものとしては、例えばフレキシブルディスク、光磁気ディスク、CD-ROM、CD-R/W、DVD、DAT、８mmテープ、メモリカード等がある。
【００１６】
また、コンピュータに固定された記録媒体としてハードディスクやＲＯＭ（リードオンリーメモリ）等がある。
【００１７】
上記手段およびステップの各々は可能な限り互いに組み合わせて本発明を構成することができる。
【発明の効果】
【００１８】
本発明によれば、検証対象において非機能要求が満たされているか否かを検証する技術を提供できる。
【図面の簡単な説明】
【００１９】
【図１】仕様要求検証装置のブロック図
【図２】仕様要求検証方法の説明図
【図３】検証対象の装置の説明図
【図４】機能要求の説明図
【図５】機能要求の説明図
【図６】プロセス名とプロセスの結果を対応付けて記憶したテーブルの一例を示す図
【図７】プロセス名と非機能値を対応付けて記憶したテーブルの一例を示す図
【図８】実施形態２の説明図
【発明を実施するための形態】
【００２０】
〈実施形態１〉
以下、本発明の実施の形態について説明する。まず、本発明の実施の形態にかかる仕様要求検証装置の構成の一例について図１を用いて説明する。
【００２１】
この仕様要求検証装置１は、新たなシステムや製品、ソフトウェアを開発する段階で複数の機能を実行した場合に、処理時間や消費電力、コストが所定の値に収まるかといった非機能要求が満たされるか否かを検証する。
【００２２】
図１は本実施形態に係る仕様要求検証装置の概略を説明する図である。図１に示すよう
に、仕様要求検証装置１は、データの演算処理を行うデータ処理部１１と、他の装置との通信を行う通信処理部１２、演算処理の為のデータやソフトウェアを記憶する記憶部（ハードディスク）１３、入力部１４、出力部１５を備えたコンピュータである。
【００２３】
通信処理部１２は、ネットワークやケーブル等の回線を介して他のコンピュータとの通信を行う。
【００２４】
記憶部１３は、オペレーティングシステム（ＯＳ）やアプリケーションプログラム（仕様要求検証プログラム）を記憶している。また、記憶部１３は、検証に用いるデータテーブル等も記憶している。
【００２５】
入力部１４は、データ処理部１１へ情報を入力する手段であり、キーボードやポインティングデバイスといったユーザインタフェースや、メモリカードやＣＤ−ＲＯＭ等の記憶媒体から情報を読み取るデバイスを有する。
【００２６】
出力部１５は、データ処理部１１の処理結果を出力する手段であり、処理結果等を表示する表示装置や、データを印刷するプリンターを有する。
【００２７】
データ処理部１１は、ＣＰＵやメインメモリを有し、前記ＯＳやアプリケーションプログラムを記憶部１３からメインメモリに読み出し、読み出したＯＳやアプリケーションプログラムに従ってＣＰＵが演算処理を行う。この演算処理により、ＣＰＵは、要求取得部２１や、非機能値取得部２２、評価部２３としても機能する。
【００２８】
データ処理部１１のＣＰＵ、即ち要求取得部２１は、検証対象に要求される機能や入力装置による入力或いは記憶媒体からの読み出しによって複数のプロセスを実行した場合の非機能に係る要求を示す情報を取得する。
【００２９】
非機能値取得部２２は、前記複数のプロセスの実行によって変化する非機能の値を求める。
【００３０】
評価部２３は、前記非機能の値が、前記非機能に係る要求を満たしているか否かを評価する。
【００３１】
図２は、本例の仕様要求検証装置１がプログラムに従って実行する仕様要求検証方法の説明図である。
【００３２】
まず、仕様要求検証装置１は、機能要求を示す情報及び非機能要求を示す情報を取得する（ステップＳ１，Ｓ２）。例えば、仕様要求検証装置１は、ユーザが入力部１４のキーボードやポインティングデバイスを操作して入力した情報、或いは他のコンピュータから送信された情報を通信処理部１２を介して受信する。また、仕様要求検証装置１は、ＣＤ−ＲＯＭ等のリムーバルディスクや、記憶部１３、メインメモリ等の記憶媒体から非機能要求を示す情報を読み出す、或いは通信処理部１２によりネットワークを介して他のコンピュータから読み出して取得しても良い。
【００３３】
次に、仕様要求検証装置１は、ステップＳ１で取得した機能要求に基づき、要求されている機能（プロセス）を実行する（ステップＳ３）。
【００３４】
そして、仕様要求検証装置１の非機能値取得部２２は、プロセスを実行したことにより変化する非機能の値（以下、単に非機能値とも称する）、例えば処理時間や消費電力、コストを求める（ステップＳ４）。なお、非機能値を求める手法としては、プロセス毎に関
数を設定しておき、この関数で入力値を演算するものや、プロセス毎の非機能値を予めテーブルに登録しておき、このテーブルを参照して該当する非機能値を読み出すものや、ユーザや他のコンピュータ等から入力を受けるもの、プロセスの実行時に変化する値を実測するもの等が挙げられる。
【００３５】
また、仕様要求検証装置１の評価部２３は、上記で求めた非機能値がステップＳ２で取得した非機能要求を満たすか否かを評価する（ステップＳ５）。例えば、プロセスを実行したときの所要時間が所定時間以内か、プロセスを実行したときの消費電力が所定電力以下か、プロセスを実行するのに採用した機器のコストが所定値以下かといった条件を満たしているか否かを判定する。
【００３６】
〈具体例〉
次に、上記仕様要求検証装置１が実行する仕様要求検証方法について具体例を挙げて説明する。図３は、開発する車載カメラシステム、即ち検証対象を示す図である。図３の車載カメラシステムは、カメラ４１、輪郭抽出部４２、輪郭合成部４３、表示装置４４を備え、カメラ映像から道路上の物体の輪郭を抽出し、この輪郭を元画像と合成して表示装置に表示する。このとき輪郭を所定の線幅や色で描画して強調することにより、対向車のライトによって逆光になっている状況や霧が発生した状況であっても道路上の物体を明示するものである。
【００３７】
この車載カメラシステムにおいて、カメラ４１は、車両の先方或いは後方の道路上を撮影し、撮影画像を輪郭抽出部４２及び理輪郭合成部４３に送る機能が要求される。
【００３８】
また、輪郭抽出部４２は、撮影画像中の画素の濃度値が急激に変化する部分を微分演算やパターンマッチングにより輪郭として抽出する機能が要求される。
【００３９】
輪郭合成部４３は、輪郭抽出部４２で抽出した輪郭を元画像と合成する機能が要求される。
【００４０】
表示装置４４は、例えばカーナビゲーションシステムのディスプレイやＨＵＤであり、輪郭合成部４３で合成した画像を運転者に対して表示する機能が要求される。
【００４１】
即ち、この車載カメラシステムについて図２のステップＳ１では、上記のように各部４１〜４４に要求される機能要求を示す情報が入力される。なお、この機能要求で要求される機能（プロセス内容）は、所定の論理式（例えば、ＬＴＬ（Linear Temporal Logic）
：線形時相論理の論理式や、ＣＴＬ（Computation Tree Logic）：計算木時相論理の論理式などや、プロメラ（Promela）などの記述言語など）によって記述できる。
【００４２】
図４は機能要求によるモデルを示す図である。本例では、図４に示すようにカメラで画像を撮影するプロセス（撮影Ｐ１）や、撮影画像から輪郭を抽出するプロセス（プロセスＰ２）、元画像に輪郭を合成するプロセス（合成Ｐ３）、合成後の画像を表示するプロセス（表示Ｐ４）を有する。
【００４３】
図４の例では、機能要求を示す情報として、プロセス名（プロセスの識別情報）と、論理式等のプロセス内容を取得し、データ処理部１１がプロセス内容に従って入力値を演算して結果を求める構成であり、従来行われていた機能要求の検証と並行して非機能要求の検証を行えるようにしている。なお、機能要求の検証と非機能要求の検証は、必ずしも並行して行わなければならないものでは無い。例えば、各プロセスの結果を前記演算によって予め求めておく或いはプロセスの結果として想定値を定めておき、このプロセスの結果とプロセス名を前記機能要求を示す情報として入力しても良い。図５は、プロセスの結果
を入力する例を示し、図６はプロセス名とプロセスの結果を対応付けて記憶したテーブルの一例を示す図である。なお、プロセス名はプロセスを識別するための情報であり、プロセス毎に固有の情報が付されている。図６では、カメラＡを用いて撮影するプロセスのプロセス名がＰ１Ａ、結果がＶＧＡカラー画像（６４０×４８０×２４ビット）であり、カメラＢを用いて撮影するプロセスのプロセス名がＰ１Ｂ、結果がＶＧＡカラー画像（８００×６００×２４ビット）であり、カメラＣを用いて撮影するプロセスのプロセス名をＰ１Ｃ、結果がＸＧＡカラー画像（１０２４×７６８×２４ビット）である。
【００４４】
図５の例では、図２のステップＳ３において、図６のテーブルからプロセス結果を求めて入力する。一方、図４の例では、論理式やPromela等で記述されたプロセス内容に基づ
いて図６に示すようなプロセスの結果を求める。
【００４５】
また、図３の車載カメラシステムにおいて、図２のステップＳ２では、仕様要求検証装置１は、各プロセスにかかる非機能要求を示す情報を取得する。例えば、被写体を撮影してから輪郭を抽出して元画像と合成して表示装置に表示させるまでの処理時間、即ち遅延時間を３００ｍｓ以内、消費電力を２５Ｗ以内、且つ費用を５０００円以内とすることを非機能要求とする。
【００４６】
そして、図２のステップＳ４では、各プロセスにかかる非機能の値を求める。図７は、各プロセスに対応する非機能の値を記憶したテーブルの一例を示す図である。図７に示すテーブルでは、各プロセスにかかる非機能要求として、処理時間、消費電力、費用を記憶している。例えば、プロセスＰ１Ａの処理時間（受光面上に結像された像を撮像素子で電気信号に変換して出力するまでの時間）が８０ｍｓ、カメラの消費電力、２．０Ｗ、カメラの費用１０００円であり、プロセスＰ１Ｂの処理時間が１００ｍｓ、カメラの消費電力、２．５Ｗ、カメラの費用１５００円であり、プロセスＰ１Ｃの処理時間が１２０ｍｓ、カメラの消費電力、３．５Ｗ、カメラの費用２０００円である。
【００４７】
図７のプロセスＰ１Ａ〜Ｐ１Ｃに対する非機能の値のように、予めテーブルに記憶しておき、ステップＳ４では、ステップＳ１で取得したプロセスのプロセス名と対応する値を当該テーブルから読み出す。
【００４８】
なお、非機能の値は、予めテーブルに記憶しておく構成に限らず、関数で定義しても良い。例えば、図７におけるプロセスＰ２Ｄ〜Ｐ２Ｆの処理時間のように、チップＤを用いて輪郭を抽出するプロセスの画像サイズＦｓを１秒あたりの出力ビット数１．５４×１０6で割る、チップＥを用いて輪郭を抽出するプロセスの画像サイズＦｓを１秒あたりの出
力ビット数３．０７×１０6で割る、チップＦを用いて輪郭を抽出するプロセスの画像サ
イズＦｓを１秒あたりの出力ビット数６．１４×１０6で割ることで処理時間を求める。
【００４９】
ここでプロセスＰ１Ａの結果（６４０×４８０×２４ビット）を用いた場合、輪郭を抽出するプロセスの結果は、二値画像（６４０×４８０×１ビット）となる。この場合に、チップＤを用いて輪郭を抽出するプロセスＰ２Ｄは、処理時間が２００ｍｓ、消費電力が１．２Ｗ、費用が３００円、チップＥを用いて輪郭を抽出するプロセスＰ２Ｅは、処理時間が１００ｍｓ、消費電力が１．５Ｗ、費用が５００円、チップＦを用いて輪郭を抽出するプロセスＰ２Ｆは、処理時間が５０ｍｓ、消費電力が３．０Ｗ、費用が８００円となる。
【００５０】
同様に、プロセスＰ１Ｂの結果（８００×６００×２４ビット）を用いた場合、輪郭を抽出するプロセスの結果は、二値画像（８００×６００×１ビット）となり、チップＤを用いて輪郭を抽出するプロセスＰ２Ｄは、処理時間が３１３ｍｓ、消費電力が１．２Ｗ、費用が３００円、チップＥを用いて輪郭を抽出するプロセスＰ２Ｅは、処理時間が１５６
ｍｓ、消費電力が１．５Ｗ、費用が５００円、チップＦを用いて輪郭を抽出するプロセスＰ２Ｆは、処理時間が７８ｍｓ、消費電力が３．０Ｗ、費用が８００円となる。
【００５１】
また、図７におけるプロセスＰ３Ｇ〜Ｐ３Ｉの処理時間のように、チップＧを用いて輪郭を元画像に合成するプロセスの画像サイズＦｓを１秒あたりの出力ビット数７３．７×１０6で割る、チップＨを用いて輪郭を元画像に合成するプロセスの画像サイズＦｓを１
秒あたりの出力ビット数１４７×１０6で割る、チップＩを用いて輪郭を元画像に合成す
るプロセスの画像サイズＦｓを１秒あたりの出力ビット数２９５×１０6で割ることで処
理時間を求める。
【００５２】
ここで元画像としてプロセスＰ１Ａの結果（６４０×４８０×２４ビット）を用いた場合、チップＧを用いて輪郭を元画像に合成するプロセスＰ３Ｇは、処理時間が１００ｍｓ、消費電力が０．５Ｗ、費用が１００円、チップＨを用いて輪郭を元画像に合成するプロセスＰ３Ｈは、処理時間が５０ｍｓ、消費電力が０．８Ｗ、費用が２００円、チップＩを用いて輪郭を元画像に合成するプロセスＰ３Ｉは、処理時間が２５ｍｓ、消費電力が１．５Ｗ、費用が３００円となる。
【００５３】
同様に、プロセスＰ１Ｂの結果（８００×６００×２４ビット）を用いた場合、チップＧを用いて輪郭を元画像に合成するプロセスＰ３Ｇは、処理時間が１５６ｍｓ、消費電力が０．５Ｗ、費用が１００円、チップＨを用いて輪郭を元画像に合成するプロセスＰ３Ｈは、処理時間が７８．４ｍｓ、消費電力が０．８Ｗ、費用が２００円、チップＩを用いて輪郭を元画像に合成するプロセスＰ３Ｉは、処理時間が３９．１ｍｓ、消費電力が１．５Ｗ、費用が３００円となる。
【００５４】
また、図７において、ディスプレイＪに合成後の画像を表示するプロセスＰ４Ｊの処理時間（応答時間）が５ｍｓ、消費電力が１５ｗ、費用が３０００円であり、ディスプレイＫに合成後の画像を表示するプロセスＰ４Ｋの処理時間（応答時間）が５ｍｓ、消費電力が１７ｗ、費用が３５００円であり、ディスプレイＬに合成後の画像を表示するプロセスＰ４Ｌの処理時間（応答時間）が５ｍｓ、消費電力が２０ｗ、費用が４０００円である。
【００５５】
そして、図２のステップＳ５において、仕様要求検証装置１の評価部２３は、上記で求めた非機能値がステップＳ２で取得した非機能要求を満たすか否かを評価する。
【００５６】
例えば、ステップＳ１で取得した情報が示すプロセス名が、プロセスＰ１Ａ，Ｐ２Ｄ，Ｐ３Ｇ，Ｐ４Ｊであった場合、
プロセスＰ１Ａ：処理時間＝８０ｍｓ、消費電力＝２．０Ｗ、費用＝１０００円
プロセスＰ２Ｄ：処理時間＝２００ｍｓ、消費電力＝１．２Ｗ、費用＝３００円
プロセスＰ３Ｇ：処理時間＝１００ｍｓ、消費電力＝０．５Ｗ、費用＝１００円
プロセスＰ４Ｊ：処理時間＝５ｍｓ、消費電力＝１５ｗ、費用＝３０００円
合計：処理時間＝３８５ｍｓ、消費電力＝１８．７ｗ、費用＝４４００円
である。
【００５７】
従って、プロセスＰ１Ａ，Ｐ２Ｄ，Ｐ３Ｇ，Ｐ４Ｊの構成は、処理時間（遅延時間）の非機能要求を満たさず、不適合である。
【００５８】
また、ステップＳ１で取得した情報が示すプロセス名が、プロセスＰ１Ａ，Ｐ２Ｅ，Ｐ３Ｉ，Ｐ４Ｊであった場合、
プロセスＰ１Ａ：処理時間＝８０ｍｓ、消費電力＝２．０Ｗ、費用＝１０００円
プロセスＰ２Ｅ：処理時間＝１５６ｍｓ、消費電力＝１．５Ｗ、費用＝５００円
プロセスＰ３Ｉ：処理時間＝３９．１ｍｓ、消費電力＝１．５Ｗ、費用＝３００円
プロセスＰ４Ｊ：処理時間＝５ｍｓ、消費電力＝１５ｗ、費用＝３０００円
合計：処理時間＝２８０．１ｍｓ、消費電力＝２０ｗ、費用＝４８００円
である。
【００５９】
従って、プロセスＰ１Ａ，Ｐ２Ｅ，Ｐ３Ｉ，Ｐ４Ｊの構成は、全ての非機能要求を満たし、適合する。
【００６０】
更に、ステップＳ１で取得した情報が示すプロセス名が、プロセスＰ１Ｃ，Ｐ２Ｆ，Ｐ３Ｉ，Ｐ４Ｌであった場合、
プロセスＰ１Ｃ：処理時間＝１２０ｍｓ、消費電力＝３．５Ｗ、費用＝２０００円
プロセスＰ２Ｆ：処理時間＝１２８ｍｓ、消費電力＝３．０Ｗ、費用＝８００円
プロセスＰ３Ｉ：処理時間＝６４．０ｍｓ、消費電力＝１．５Ｗ、費用＝３００円
プロセスＰ４Ｌ：処理時間＝５ｍｓ、消費電力＝２０ｗ、費用＝４０００円
合計：処理時間＝３１７ｍｓ、消費電力＝２８ｗ、費用＝７１００円
である。
【００６１】
従って、プロセスＰ１Ｃ，Ｐ２Ｆ，Ｐ３Ｉ，Ｐ４Ｌの構成は、全ての非機能要求を満たさず、不適合である。
【００６２】
以上のように、本実施形態によれば、開発段階で検証対象の非機能要求を評価することができる。
【００６３】
〈実施形態２〉
前述の実施形態１では、開発段階で検証対象の非機能要求を評価する例を示したが、本実施形態２は実用段階で検証対象の非機能の値を実測し、非機能要求を評価する例である。本実施形態２は、前述の実施形態１と比べて評価内容が異なり、その他の構成は同じである。このため同一の要素には同符号を付すなどして再度の説明を省略している。
【００６４】
図８は、本実施形態２の概略説明図である。本実施形態２において、要求取得部２１は、機能要求としてプロセスＰ１Ａ，Ｐ２Ｅ，Ｐ３Ｉ，Ｐ４Ｊを示す情報を取得し、非機能要求としてプロセスＰ２Ｅ，Ｐ３Ｉの処理時間が２００ｍｓであることを取得する。
【００６５】
また、非機能値取得部２２は、プロセスＰ１Ａで撮影した画像、即ち元画像と、プロセスＰ３Ｉで合成後の画像とを比較し、元画像の出力から合成後の画像の出力までにかかった時間を処理時間（遅延時間）として求める。
【００６６】
評価部２３は、非機能値取得部２２で取得した値が、非機能要求を満たしているか否かを判定する。プロセスＰ２Ｅ，Ｐ３Ｉの処理時間は、１９５．１ｍｓのため、通常は非機能要求を満たしている。しかし、チップＥ，Ｉの不具合や電圧の低下、チップＥ，ＩがプロセスＰ２Ｅ，Ｐ３Ｉと並行して処理するプロセスの増加等の問題が生じたことにより処理時間が非機能要求を満たさなくなった場合、評価部２３は出力部１５を介してユーザに警告を通知する。
【００６７】
以上のように本実施形態２によれば、実用時に非機能要求を評価でき、非機能要求を満たさなくなった場合にユーザに警告できる。
【００６８】
本実施形態２の仕様要求検証装置は、処理時間に限らず、非機能の値が実用時に実測できるものであれば良い。
【符号の説明】
【００６９】
１ 仕様要求検証装置
１１ データ処理部
１２ 通信処理部
１３ 記憶部（ハードディスク）
１４ 入力部
１５ 出力部
２１ 要求取得部
２２ 非機能値取得部
２３ 評価部
４１ カメラ
４２ 輪郭抽出部
４３ 輪郭合成部
４４ 表示装置
【特許請求の範囲】
【請求項１】
複数のプロセスを実行する場合の非機能に係る要求を示す情報を入力装置による入力或いは記憶媒体からの読み出しによって取得する要求取得手段と、
前記複数のプロセスにかかる非機能の値を求める非機能値取得手段と、
前記非機能の値が、前記非機能に係る要求を満たしているか否かを評価する評価手段と、
を備える仕様要求検証装置。
【請求項２】
前記非機能の値が、少なくとも処理時間、消費電力、費用の何れかを含む請求項１に記載の仕様要求検証装置。
【請求項３】
前記非機能値取得手段が、前記プロセスの実行結果を実測することにより前記非機能の値を取得する請求項１又は２に記載の仕様要求検証装置。
【請求項４】
複数のプロセスを実行する場合の非機能に係る要求を示す情報を入力装置による入力或いは記憶媒体からの読み出しによって取得するステップと、
前記複数のプロセスにかかる非機能の値を求めるステップと、
前記非機能の値が、前記非機能に係る要求を満たしているか否かを評価するステップと、
をコンピュータが実行する仕様要求検証方法。
【請求項５】
前記非機能の値が、少なくとも処理時間、消費電力、費用の何れかを含む請求項４に記載の仕様要求検証方法。
【請求項６】
前記プロセスの実行結果を実測することにより前記非機能の値を取得する請求項４又は５に記載の仕様要求検証方法。
【請求項１】
複数のプロセスを実行する場合の非機能に係る要求を示す情報を入力装置による入力或いは記憶媒体からの読み出しによって取得する要求取得手段と、
前記複数のプロセスにかかる非機能の値を求める非機能値取得手段と、
前記非機能の値が、前記非機能に係る要求を満たしているか否かを評価する評価手段と、
を備える仕様要求検証装置。
【請求項２】
前記非機能の値が、少なくとも処理時間、消費電力、費用の何れかを含む請求項１に記載の仕様要求検証装置。
【請求項３】
前記非機能値取得手段が、前記プロセスの実行結果を実測することにより前記非機能の値を取得する請求項１又は２に記載の仕様要求検証装置。
【請求項４】
複数のプロセスを実行する場合の非機能に係る要求を示す情報を入力装置による入力或いは記憶媒体からの読み出しによって取得するステップと、
前記複数のプロセスにかかる非機能の値を求めるステップと、
前記非機能の値が、前記非機能に係る要求を満たしているか否かを評価するステップと、
をコンピュータが実行する仕様要求検証方法。
【請求項５】
前記非機能の値が、少なくとも処理時間、消費電力、費用の何れかを含む請求項４に記載の仕様要求検証方法。
【請求項６】
前記プロセスの実行結果を実測することにより前記非機能の値を取得する請求項４又は５に記載の仕様要求検証方法。
【図１】
【図２】
【図３】
【図４】
【図５】
【図６】
【図７】
【図８】
【図２】
【図３】
【図４】
【図５】
【図６】
【図７】
【図８】
【公開番号】特開２０１１−１９２０７３（Ｐ２０１１−１９２０７３Ａ）
【公開日】平成２３年９月２９日（２０１１．９．２９）
【国際特許分類】
【出願番号】特願２０１０−５８３１５（Ｐ２０１０−５８３１５）
【出願日】平成２２年３月１５日（２０１０．３．１５）
【出願人】（５０２０８７４６０）株式会社トヨタＩＴ開発センター (232)
【出願人】（０００００３２０７）トヨタ自動車株式会社 (59,920)
【Ｆターム（参考）】
【公開日】平成２３年９月２９日（２０１１．９．２９）
【国際特許分類】
【出願日】平成２２年３月１５日（２０１０．３．１５）
【出願人】（５０２０８７４６０）株式会社トヨタＩＴ開発センター (232)
【出願人】（０００００３２０７）トヨタ自動車株式会社 (59,920)
【Ｆターム（参考）】
[ Back to top ]