JP4335798B2

JP4335798B2 - 検証支援装置、検証支援方法、検証支援プログラム、および記録媒体

Info

Publication number: JP4335798B2
Application number: JP2004381855A
Authority: JP
Inventors: 健志安倍
Original assignee: Fujitsu Semiconductor Ltd
Current assignee: Fujitsu Semiconductor Ltd
Priority date: 2004-12-28
Filing date: 2004-12-28
Publication date: 2009-09-30
Anticipated expiration: 2024-12-28
Also published as: US7685546B2; JP2006189947A; US20060156262A1; US20070234250A1

Description

この発明は、ＬＳＩ設計における検証作業を支援する検証支援装置、検証支援方法、検証支援プログラム、および記録媒体に関する。

ＬＳＩ設計では、従来から設計期間の短縮による作業効率化が要求されている一方、ＬＳＩが正しく動作するかどうかを検証する検証作業が必要不可欠であり、特に、大規模化、高機能化、高速化および低消費電力化が要求されているＬＳＩについては、高品質を維持するためにもこの検証作業は重要である。

現状の検証作業においては、フリーフォーマットの検証項目リストが流通している。フリーフォーマットの検証項目リストとは、表形式で作成された検証項目リストであり、他人、他部門、他社などの第三者によってＬＳＩの仕様書から抽出された検証項目がリストアップされている。このフリーフォーマットの検証項目リストは、第三者間でも形式が異なっており、統一されていない。

したがって、このフリーフォーマットで作成された検証項目リスト内の検証項目が、必要十分かどうかを客観的に評価する技術が確立されておらず、この検証項目が必要十分かどうかの数値的根拠は存在しない。このため、現状では、ＬＳＩの仕様書から検証が必要なすべての検証項目がピックアップされているかどうかを、検証者（または設計者）本人またはその部門の他のメンバーで、検討（レビュー）することによって検証作業をおこなっている。

一方で、ＵＭＬなどのオブジェクト指向を用いたコンピュータリーダブルな電子仕様書から検証項目リストを自動的に得ることによって検証作業を支援する検証支援装置が提案されている（たとえば、下記特許文献１を参照。）。この検証支援装置は、正常に動作するか否かの検証がおこなわれる被検証装置の機能をあらわす機能的構成情報を入力する機能的構成情報入力部と、被検証装置に与える入出力シーケンスに関する条件を入力する条件入力部と、機能的構成情報入力部によって入力された機能的構成情報に基づいて、条件入力部によって入力された入出力シーケンスに関する条件をすべて満足する検証項目関数を生成する検証項目関数生成部と、検証項目関数生成部によって生成された検証項目関数に基づいて、機能的構成情報を構成する構成要素の組み合わせを、検証項目として抽出する検証項目抽出部と、を備える。

特開２００４−１８５５９２号公報

しかしながら、上述した従来のレビューによる検証作業では、検証項目の品質を検討するレビューの結果が、参加するメンバーの経験や能力に依存してしまうという問題があった。すなわち、上述した従来のレビューによる検証作業では、どの程度まで検証項目を抽出すればよいかという基準が設定されていない。

したがって、必要な検証項目を抽出しなかったり、不必要な検証項目を抽出したりする場合があるため、レビュー結果にバラツキが生じ、レビュー結果による検証網羅性が低下するという問題があった。またこれにより、実際のＬＳＩの製造において歩留まりが低下するという問題があった。

また、通常、レビューには３人から１０人以上の参加メンバーが必要であるため、参加するメンバーの日程調整に手間がかかり、調整者にとって煩わしいという問題があった。また、日程調整がうまくいかないと検証期間ひいてはトータルの設計期間が長期化してしまうという問題があった。さらに、レビューは、通常２時間から半日程度要するために検証期間の長期化を招くとともに、参加したメンバーが長時間拘束されるため、他の作業が遅延するという問題もあった。

また、上述した特許文献１の従来技術では、ＬＳＩにあらたな機能が追加されたことにより電子仕様書が更新された場合においても、その更新後の電子仕様書から更新後の検証項目リストを自動的に得ることができる。しかしながら、上述した特許文献１の従来技術では、電子仕様書の更新前後の検証項目リストを比較して、更新後の検証項目リストの中からあらたに追加された検証項目をピックアップする作業を、人手によっておこなわなければならない。したがって、検証作業に多大な人的労力および時間的労力が生じ、設計期間の長期化およびＬＳＩの製造コストの増大を招くという問題があった。

この発明は、上述した従来技術による問題点を解消するため、フリーフォーマットの検証項目リストから簡単かつ効率的に検証項目を自動抽出することにより、検証網羅性の向上、人的コストの低減および設計期間の短縮化を図ることができる検証支援装置、検証支援方法、検証支援プログラム、および記録媒体を提供することを目的とする。

上述した課題を解決し、目的を達成するため、この発明にかかる検証支援装置、検証支援方法、検証支援プログラム、および記録媒体は、検証対象の検証内容を示す検証項目が任意のフォーマットで記述された第１の検証項目リストと、前記検証対象の機能を示す電子仕様書（以下、「機能仕様書」という）と、前記検証対象のシーケンスを示す電子仕様書（以下、「シーケンス仕様書」という）と、を取得し、取得された第１の検証項目リストの中から、前記検証対象に関する単語を抽出し、取得された機能仕様書の機能記述と、取得されたシーケンス仕様書のうち前記機能記述に対応する前記検証対象の出力動作に関するシーケンス仕様書内の前記検証対象の出力動作に関するシーケンス記述と、からなる検証項目をフォーマットとする第２の検証項目リストを生成し、前記シーケンス仕様書の前記検証対象の出力動作に関するシーケンス記述の中から、抽出された単語と一致しないシーケンス記述を抽出し、前記第２の検証項目リストに記述されたシーケンス記述の中から、抽出されたシーケンス記述を削除することにより、前記第１の検証項目リストを、前記第２の検証項目リストと同一フォーマットの第３の検証項目リストに変換し、前記第２の検証項目リストの中から、前記第３の検証項目リストに含まれていない検証項目を抽出することを特徴とする。

また、上記発明において、前記第２の検証項目リストと、前記変換手段によって変換された第３の検証項目リストと、に基づいて、前記第２の検証項目リストに対する前記第１の検証項目リストの検証網羅性を示すカバレッジを算出することとしてもよい。

また、上記発明において、抽出された単語の中から、前記シーケンス仕様書に記述されているシーケンス記述と一致しない単語を検出し、前記第１の検証項目リストに記述されている検証内容の中から、検出された単語を含む検証内容を抽出することとしてもよい。

また、上記発明において、前記機能仕様書が更新されたことによって得られた最新の機能仕様書と、前記シーケンス仕様書が更新されたことによって得られた最新のシーケンス仕様書と、を取得し、最新の機能仕様書の機能記述と最新のシーケンス仕様書の前記検証対象の出力動作に関するシーケンス記述とからなる検証項目をフォーマットとする第４の検証項目リストを生成することとしてもよい。

また、上記発明において、生成された第４の検証項目リストの中から、前記第２の検証項目リストに含まれていない検証項目を抽出することとしてもよい。

また、上記発明において、前記第４の検証項目リストの検証項目の数と、前記第４の検証項目リストの中から抽出された、前記第２の検証項目リストに含まれていない検証項目の数と、に基づいて、前記機能仕様書および前記シーケンス仕様書に対する、前記最新の機能仕様書および前記最新のシーケンス仕様書の追加検証率を算出することとしてもよい。

これらの発明によれば、第１の検証項目リストと第２の検証項目リストのフォーマットの統一化を図ることができる。そして、第１の検証項目リストから洩れている検証すべきシーケンスを自動的に特定することができる。また、第１の検証項目リストから洩れている検証項目を自動的に特定することができる。さらに、検証作業の完了基準（ゴール基準）を設定することができる。また、抽出された検証内容を確認すべき検証項目の内容として用いることができる。さらに、第４の検証項目リストを、更新前の第２の検証項目リストと同一フォーマットで生成することができる。また、最新の機能仕様書および最新のシーケンス仕様書から、あらたに追加された検証項目を自動的に特定することができる。さらに、追加検証作業の完了基準（ゴール基準）を設定することができる。

この発明にかかる検証支援装置、検証支援方法、検証支援プログラム、および記録媒体によれば、フリーフォーマットの検証項目リストから簡単かつ効率的に検証項目を自動抽出することにより、検証網羅性の向上、人的コストの低減および設計期間の短縮化を図ることができるという効果を奏する。

（検証支援装置のハードウェア構成）
まず、この発明の実施の形態にかかる検証支援装置のハードウェア構成について説明する。図１は、この発明の実施の形態にかかる検証支援装置のハードウェア構成を示すブロック図である。

図１において、検証支援装置は、ＣＰＵ１０１と、ＲＯＭ１０２と、ＲＡＭ１０３と、ＨＤＤ（ハードディスクドライブ）１０４と、ＨＤ（ハードディスク）１０５と、ＦＤＤ（フレキシブルディスクドライブ）１０６と、着脱可能な記録媒体の一例としてのＦＤ（フレキシブルディスク）１０７と、ディスプレイ１０８と、Ｉ／Ｆ（インターフェース）１０９と、キーボード１１０と、マウス１１１と、スキャナ１１２と、プリンタ１１３と、を備えている。また、各構成部はバス１００によってそれぞれ接続されている。

ここで、ＣＰＵ１０１は、検証支援装置の全体の制御を司る。ＲＯＭ１０２は、ブートプログラムなどのプログラムを記憶している。ＲＡＭ１０３は、ＣＰＵ１０１のワークエリアとして使用される。ＨＤＤ１０４は、ＣＰＵ１０１の制御にしたがってＨＤ１０５に対するデータのリード／ライトを制御する。ＨＤ１０５は、ＨＤＤ１０４の制御で書き込まれたデータを記憶する。

ＦＤＤ１０６は、ＣＰＵ１０１の制御にしたがってＦＤ１０７に対するデータのリード／ライトを制御する。ＦＤ１０７は、ＦＤＤ１０６の制御で書き込まれたデータを記憶したり、ＦＤ１０７に記憶されたデータを検証支援装置に読み取らせたりする。

また、着脱可能な記録媒体として、ＦＤ１０７のほか、ＣＤ−ＲＯＭ（ＣＤ−Ｒ、ＣＤ−ＲＷ）、ＭＯ、ＤＶＤ（ＤｉｇｉｔａｌＶｅｒｓａｔｉｌｅＤｉｓｋ）、メモリーカードなどであってもよい。ディスプレイ１０８は、カーソル、アイコンあるいはツールボックスをはじめ、文書、画像、機能情報などのデータを表示する。このディスプレイ１０８は、たとえば、ＣＲＴ、ＴＦＴ液晶ディスプレイ、プラズマディスプレイなどを採用することができる。

Ｉ／Ｆ１０９は、通信回線を通じてインターネットなどのネットワーク１１４に接続され、このネットワーク１１４を介して他の装置に接続される。そして、Ｉ／Ｆ１０９は、ネットワーク１１４と内部のインターフェースを司り、外部装置からのデータの入出力を制御する。Ｉ／Ｆ１０９には、たとえばモデムやＬＡＮアダプタなどを採用することができる。

キーボード１１０は、文字、数字、各種指示などの入力のためのキーを備え、データの入力をおこなう。また、タッチパネル式の入力パッドやテンキーなどであってもよい。マウス１１１は、カーソルの移動や範囲選択、あるいはウィンドウの移動やサイズの変更などをおこなう。ポインティングデバイスとして同様に機能を備えるものであれば、トラックボールやジョイスティックなどであってもよい。

スキャナ１１２は、画像を光学的に読み取り、検証支援装置内に画像データを取り込む。なお、スキャナ１１２は、ＯＣＲ機能を持たせてもよい。また、プリンタ１１３は、画像データや文書データを印刷する。プリンタ１１３には、たとえば、レーザプリンタやインクジェットプリンタを採用することができる。

（検証支援装置の機能的構成）
まず、この発明の実施の形態にかかる検証支援装置の機能的構成について説明する。図２は、この発明の実施の形態にかかる検証支援装置の機能的構成を示すブロック図である。図２において、検証支援装置２００は、取得部２０１と、単語抽出部２０２と、シーケンス記述抽出部２０３と、生成部２０４と、変換部２０５と、検証項目抽出部２０６と、算出部２０７と、検出部２０８と、検証内容抽出部２０９と、を備えている。

取得部２０１は、検証対象の検証内容が任意のフォーマットで記述された第１の検証項目リストと、検証対象の機能を示す電子仕様書（以下、「機能仕様書」という）と、検証対象のシーケンスを示す電子仕様書（以下、「シーケンス仕様書」という）と、を取得する。ここで、検証対象とは、検証を必要としているＬＳＩである。図３は、検証対象を含むシステムＬＳＩの一例を示すブロック図である。

図３において、システムＬＳＩ３００は、ＣＰＵ３０１と、ＲＡＭ３０２と、ＤＵＴ３０３と、から構成されている。ＤＵＴ３０３は検証対象であり、ここでは、ＣＰＵ３０１とＲＡＭ３０２との間でデータのやり取りをおこなうＲＡＭインターフェースをあらわしている。

また、第１の検証項目リストとは、検証対象の検証内容が任意のフォーマットで記述された電子情報である。具体的には、上述の背景技術の項で説明したように、表形式で作成された検証項目リストであり、他人、他部門、他社などの第三者によってＬＳＩの仕様書から抽出された検証項目がリストアップされた電子情報である。このフリーフォーマットの検証項目リストは、第三者間でも形式が異なっており、統一されていない。この第１の検証項目リストは、一般的に、不備がないとされるゴールデンの検証項目リストと呼ばれている。

ここで、第１の検証項目リストの一例を示す。図４は、第１の検証項目リストを示す説明図である。この第１の検証項目リスト４００は、図３に示したＤＵＴ３０３に対する検証項目の集合であり、各検証項目４０１〜４０３の検証内容は下記のとおりである。この検証内容は、第１の検証項目リスト４００において、たとえば、テキスト形式で記述されている。

検証項目（１）：リードデータがＲＡＭから正しく読めるか？
検証項目（２）：ライトデータが正しくＲＡＭに書かれるか？
検証項目（３）：リード／ライト中にリセットしてもハングアップしないか？

また、電子仕様書とは、ＵＭＬ（ＵｎｉｆｉｅｄＭｏｄｅｌｉｎｇＬａｎｇｕａｇｅ）をはじめとするオブジェクト指向言語など、コンピュータリーダブルな仕様書データである。また、機能仕様書とは、検証対象の機能を示す仕様書データであり、具体的には、たとえば、ＵＭＬのユースケース図によって記述することができる。また、シーケンス仕様書とは、検証対象のシーケンスを示す仕様書データであり、具体的には、たとえば、ＵＭＬのシーケンス図によって記述することができる。

図５は、検証対象の機能仕様書の一例を示す説明図であり、図６および図７は、検証対象のシーケンス仕様書の一例を示す説明図である。図５には、機能仕様書の一例としてＵＭＬのユースケース図５００が示されており、図３に示したＤＵＴ３０３の機能をあらわしている。

図５において、ユースケース図５００は、アクター５０１，５０２とシステム５０３から構成されている。アクター５０１はＣＰＵ３０１を示しており、アクター５０２はＲＡＭ３０２を示しており、システム５０３はＤＵＴ３０３を示している。また、システム５０３は、ＤＵＴ３０３の機能を示すユースケース記述を有する。ここでは、ＤＵＴ３０３のリード機能を示すユースケース記述５３１と、ＤＵＴ３０３のライト機能を示すユースケース記述５３２が示されている。

また、図６および図７には、シーケンス仕様書の一例としてＵＭＬのシーケンス図６００，７００が示されている。図６に示したシーケンス図６００は、ＤＵＴ３０３のリード動作をあらわしており、図７に示したシーケンス図は、ＤＵＴ３０３のライト動作をあらわしている。シーケンス図６００は、アクター５０１，５０２と、オブジェクト６０３と、メッセージ６１１〜６１６と、が含まれている。アクター５０１のアクター名「ＣＰＵ」、アクター５０２のアクター名「ＲＡＭ」、オブジェクト６０３のオブジェクト名「ＤＵＴ」は、シーケンス図６００（またはシーケンス図７００、シーケンス図１５００においても同じ）の動作対象を示すシーケンス記述である。

メッセージ６１１は、アクター５０１からオブジェクト６０３へリード要求を送信する動作を示すシーケンス記述である。メッセージ６１２は、アクター５０１からオブジェクト６０３へリードアドレスを送信する動作を示すシーケンス記述である。メッセージ６１３は、オブジェクト６０３からアクター５０２へリードアドレスを送信する動作を示すシーケンス記述である。

また、メッセージ６１４は、アクター５０２からオブジェクト６０３へリードデータを送信する動作を示すシーケンス記述である。メッセージ６１５は、オブジェクト６０３からアクター５０１へリード応答を送信する動作を示すシーケンス記述である。メッセージ６１６は、オブジェクト６０３からアクター５０１へリードデータを送信する動作を示すシーケンス記述である。

また、図７に示したシーケンス図７００は、アクター５０１，５０２と、オブジェクト６０３と、メッセージ７１１〜７１６と、が含まれている。メッセージ７１１は、アクター５０１からオブジェクト６０３へライト要求を送信する動作を示すシーケンス記述である。メッセージ７１２は、アクター５０１からオブジェクト６０３へライトアドレスを送信する動作を示すシーケンス記述である。メッセージ７１３は、アクター５０１からオブジェクト６０３へライトデータを送信する動作を示すシーケンス記述である。

また、メッセージ７１４は、オブジェクト６０３からアクター５０２へライトアドレスを送信する動作を示すシーケンス記述である。メッセージ７１５は、オブジェクト６０３からアクター５０２へライトデータを送信する動作を示すシーケンス記述である。メッセージ７１６は、オブジェクト６０３からアクター５０１へライト応答を送信する動作を示すシーケンス記述である。

なお、図２に示した取得部２０１は、図１に示したキーボード１１０やマウス１１１を操作したり、ネットワーク１１４を介して外部のサーバから受信したり、データベースから決定したりすることで、第１の検証項目リスト４００や電子仕様書を取得することができる。この取得部２０１は、具体的には、たとえば、図１に示したＲＯＭ１０２、ＲＡＭ１０３、ＨＤ１０５、ＦＤ１０７などに記録されたプログラムを、ＣＰＵ１０１が実行することによって、または、Ｉ／Ｆ１０９によって、その機能を実現する。

また、図２において、単語抽出部２０２は、取得部２０１によって取得された第１の検証項目リスト４００の中から、検証対象に関する単語（以下、「検証キーワード」という）を抽出する。ここで、検証キーワードの具体的な抽出方法について説明する。具体的には、第１の検証項目リスト４００の検証項目４０１〜４０３内の検証内容の記述から、名詞を切り出すことによって、検証キーワードを抽出する。

たとえば、図４に示した検証項目４０１の検証内容「リードデータがＲＡＭから正しく読めるか？」から、「リードデータ」および「ＲＡＭ」を切り出すことができる。また、検証項目４０２の検証内容「ライトデータが正しくＲＡＭに書かれるか？」から、「ライトデータ」および「ＲＡＭ」を切り出すことができる。さらに、検証項目４０３の検証内容「リード／ライト中にリセットしてもハングアップしないか？」から、「リード／ライト」「リセット」および「ハングアップ」を切り出すことができる。

また、図示しない検証キーワードデータベースを用意しておくことによって、単語抽出部２０２は、検証キーワードデータベース内の検証キーワードと一致する検証キーワードを第１の検証項目リスト４００の中から抽出することとしてもよい。たとえば、上述した検証項目４０１〜４０３を例に挙げて説明する。

図８は、このようにリストアップされた検証キーワードリストを示す説明図である。検証キーワードデータベースに「リードデータ」、「ＲＡＭ」、「ライトデータ」、「リセット」および「ハングアップ」がある場合、検証項目４０１〜４０３から、「リードデータ」、「ＲＡＭ」、「ライトデータ」、「リセット」および「ハングアップ」を切り出すことができる。

これらをまとめたのが図８に示した検証キーワードリスト８００である。なお、この単語抽出部２０２は、具体的には、たとえば、図１に示したＲＯＭ１０２、ＲＡＭ１０３、ＨＤ１０５、ＦＤ１０７などに記録されたプログラムを、ＣＰＵ１０１が実行することによってその機能を実現する。

また、シーケンス記述抽出部２０３は、シーケンス仕様書の中から、単語抽出部２０２によって抽出された検証キーワードと一致しないシーケンス記述を抽出する。具体的には、図６に示したシーケンス図６００および図７に示したシーケンス図７００におけるオブジェクト６０３（ＤＵＴ３０３）の出力動作に関するシーケンス記述の中から、単語抽出部２０２によって抽出された検証キーワードと一致しないシーケンス記述を抽出する。

ここで、シーケンス記述抽出部２０３によるシーケンス記述の抽出例について具体的に説明する。図９は、リード動作に関するシーケンス図６００からシーケンス記述を抽出する例を示す説明図である。図９において、オブジェクト６０３（ＤＵＴ３０３）からの出力動作を示すシーケンス記述は、メッセージ６１３，６１５，６１６である（図９中、太矢印で表示。）。

また、図８に示した検証キーワードリスト８００内の検証キーワードと一致するシーケンス記述は、アクター５０２とメッセージ６１４，６１６である（図９中、点線で囲っている。）。したがって、シーケンス記述抽出部２０３は、図９中、太線で示されたメッセージ６１３，６１５，６１６の中から、点線で囲われていないメッセージ６１３，６１５、すなわち、「リードアドレス」および「リード応答」を抽出する。

また、図１０は、ライト動作に関するシーケンス図７００からシーケンス記述を抽出する例を示す説明図である。同様に、図１０において、検証対象であるオブジェクト６０３（ＤＵＴ３０３）からの出力動作を示すシーケンス記述は、メッセージ７１４〜７１６である（図１０中、太矢印で表示。）。

また、図８に示した検証キーワードリスト８００内の検証キーワードと一致するシーケンス記述は、アクター５０２とメッセージ７１３，７１５である（図１０中、点線で囲っている。）。したがって、シーケンス記述抽出部２０３は、図１０中、太線で示されたメッセージ７１４〜７１６の中から、点線で囲われていないメッセージ７１４，７１６、すなわち、「ライトアドレス」および「ライト応答」を抽出する。

なお、このシーケンス記述抽出部２０３は、具体的には、たとえば、図１に示したＲＯＭ１０２、ＲＡＭ１０３、ＨＤ１０５、ＦＤ１０７などに記録されたプログラムを、ＣＰＵ１０１が実行することによってその機能を実現する。

また、図２において、生成部２０４は、取得部２０１によって取得された機能仕様書の機能記述と取得部２０１によって取得されたシーケンス仕様書の検証対象の出力動作に関するシーケンス記述とに基づいて、第２の検証項目リストを生成する。具体的には、第２の検証項目リストは、機能仕様書の機能記述とシーケンス仕様書の検証対象の出力動作に関するシーケンス記述とからなる検証項目をフォーマットとする。

たとえば、生成される第２の検証項目リストは、図５に示したユースケース図５００のユースケース記述と、図６に示したシーケンス図６００および図７に示したシーケンス図７００のシーケンス記述とからかる検証項目を、フォーマットとすることができる。

ここで、第２の検証項目リストについて具体的に説明する。図１１は、第２の検証項目リストを示す説明図である。図１１において、第２の検証項目リスト１１００は、ユースケース記述と、シーケンス記述（メッセージ）とからなる検証項目をフォーマットとしている。図５に示したユースケース図５００を取得した場合、第２の検証項目リスト１１００のユースケース記述は、ユースケース記述５３１の「リード」およびユースケース記述５３２の「ライト」となる。

同様に、図６に示したシーケンス図６００および図７に示したシーケンス図７００を取得した場合、第２の検証項目リスト１１００のシーケンス記述は、メッセージ６１３，６１５，６１６（「リードアドレス」「リード応答」および「リードデータ」）およびメッセージ７１４〜７１６（「ライトアドレス」「ライトデータ」および「ライト応答」）となる。

また、ユースケース記述とシーケンス記述との対応関係は、ユースケース図５００のユースケース記述とアクターとの結線関係や、シーケンス図６００，７００におけるアクターとオブジェクト間のメッセージの入出力から決定することができる。なお、この生成部２０４は、具体的には、たとえば、図１に示したＲＯＭ１０２、ＲＡＭ１０３、ＨＤ１０５、ＦＤ１０７などに記録されたプログラムを、ＣＰＵ１０１が実行することによってその機能を実現する。

また、図２において、変換部２０５は、生成部２０４によって生成された第２の検証項目リスト１１００と、単語抽出部２０２によって抽出された検証キーワードと、に基づいて、第１の検証項目リスト４００を、第２の検証項目リスト１１００と同一フォーマットの第３の検証項目リストに変換する。具体的には、変換部２０５は、第２の検証項目リスト１１００内のシーケンス記述の中から、シーケンス記述抽出部２０３によって抽出されたシーケンス記述を削除することにより、第１の検証項目リスト４００を、第３の検証項目リストに変換する。

より具体的には、図１１に示した第２の検証項目リスト１１００内のシーケンス記述、すなわち、メッセージ６１３，６１５，６１６（「リードアドレス」「リード応答」および「リードデータ」）およびメッセージ７１４〜７１６（「ライトアドレス」「ライトデータ」および「ライト応答」）から、シーケンス記述抽出部２０３によって抽出されたシーケンス記述を削除する。またこの場合、削除対象となるシーケンス記述は、メッセージ６１３の「リードアドレス」、メッセージ６１５の「リード応答」、メッセージ７１４の「ライトアドレス」およびメッセージ７１６の「ライト応答」である。

この場合の第３検証項目リストを示す。図１２は、第３の検証項目リストを示す説明図である。図１２において、第３の検証項目リスト１２００は、ユースケース記述とシーケンス記述とからなる検証項目をフォーマットとしている。この変換部２０５により、第１の検証項目リスト４００と第２の検証項目リスト１１００のフォーマットの統一化を図ることができる。なお、この変換部２０５は、具体的には、たとえば、図１に示したＲＯＭ１０２、ＲＡＭ１０３、ＨＤ１０５、ＦＤ１０７などに記録されたプログラムを、ＣＰＵ１０１が実行することによってその機能を実現する。

また、図２において、検証項目抽出部２０６は、第２の検証項目リスト１１００の中から、第３の検証項目リスト１２００に含まれていない検証項目を抽出する。具体的には、図１１に示した第２の検証項目リスト１１００の中から、図１２に示した第３の検証項目リスト１２００に含まれていない検証項目、すなわち、検証項目（ユースケース記述，シーケンス記述）として、（リード，リードアドレス）、（リード，リード応答）、（ライト，ライトアドレス）および（ライト，ライト応答）を抽出する。

これにより、第１の検証項目リスト４００から洩れていた検証項目を自動的に特定することができる。なお、この検証項目抽出部２０６は、具体的には、たとえば、図１に示したＲＯＭ１０２、ＲＡＭ１０３、ＨＤ１０５、ＦＤ１０７などに記録されたプログラムを、ＣＰＵ１０１が実行することによってその機能を実現する。

また、算出部２０７は、第２の検証項目リスト１１００と、変換部２０５によって変換された第３の検証項目リスト１２００と、に基づいて、カバレッジを算出する。カバレッジとは、第２の検証項目リスト１１００に対する第１の検証項目リスト４００の検証網羅性を示す確率情報であり、分数または％によって表現することができる。たとえば、図１１に示した第２の検証項目リスト１１００の検証項目数は６項目である。また、図１２に示した第３の検証項目リスト１２００の検証項目数は２項目である。したがって、カバレッジは、２／６、すなわち、３３［％］となる。

これにより、検証作業の完了基準を設定することができ、第１の検証項目リスト４００の検証網羅性の評価基準として用いることができる。なお、この検証項目抽出部２０６は、具体的には、たとえば、図１に示したＲＯＭ１０２、ＲＡＭ１０３、ＨＤ１０５、ＦＤ１０７などに記録されたプログラムを、ＣＰＵ１０１が実行することによってその機能を実現する。

また、検出部２０８は、単語抽出部２０２によって抽出された検証キーワードの中から、シーケンス仕様書に記述されているシーケンス記述と一致しない検証キーワードを検出する。具体的には、たとえば、図８に示した検証キーワードリスト８００から、シーケンス図６００，７００のシーケンス記述と一致しない検証キーワード、すなわち、「リセット」および「ハングアップ」を検出する。なお、この検出部２０８は、具体的には、たとえば、図１に示したＲＯＭ１０２、ＲＡＭ１０３、ＨＤ１０５、ＦＤ１０７などに記録されたプログラムを、ＣＰＵ１０１が実行することによってその機能を実現する。

また、検証内容抽出部２０９は、第１の検証項目リスト４００の検証内容の中から、検出部２０８によって検出された単語を含む検証内容を抽出する。具体的には、たとえば、図４に示した第１の検証項目リスト４００の中から、検出部２０８によって検出された検証キーワード（「リセット」および「ハングアップ」）を含む検証内容、すなわち、検証項目４０３の「リード／ライト中にリセットしてもハングアップしないか？」を抽出する。

これにより、第１の検証項目リスト４００から、確認を要する検証内容を含む検証項目を自動的に特定することができる。すなわち、この検証内容をレビューすることにより、機能仕様書やシーケンス仕様書に不備があるのか、あるいは、第１の検証項目リスト４００における検証項目のピックアップに不備があるのかを検討することができる。なお、この検証内容抽出部２０９は、具体的には、たとえば、図１に示したＲＯＭ１０２、ＲＡＭ１０３、ＨＤ１０５、ＦＤ１０７などに記録されたプログラムを、ＣＰＵ１０１が実行することによってその機能を実現する。

ここで、上述した検証支援装置２００によって得られる評価リストについて説明する。図１３は、検証支援装置２００によって得られる評価リストを示す説明図である。評価リスト１３００は、第２の検証項目リスト１１００を含んでいる。また、検証内容については、検証項目抽出部２０６によって抽出された検証項目には［追加］が記述される。

また、検証項目抽出部２０６によって抽出されなかった検証項目には、第１の検証項目リスト４００の中から、第３の検証項目リスト１２００のシーケンス記述を含む検証項目の検証内容を記述する。具体的には、図１３において、検証項目（ユースケース記述，シーケンス記述）の（リード，リードデータ）については、第１の検証項目リスト４００の中から、「リードデータ」を含む検証項目４０１の検証内容「リードデータがＲＡＭから正しく読めるか？」を記述する。

同様に、検証項目（ユースケース記述，シーケンス記述）の（ライト，ライトデータ）については、第１の検証項目リスト４００の中から、「ライトデータ」を含む検証項目４０２の検証内容「ライトデータが正しくＲＡＭに書かれるか？」を記述する。また、確認項目の検証内容「リード／ライト中にリセットしてもハングアップしないか？」や、算出部２０７によって算出されたカバレッジ（３３［％］）も記述する。検証支援装置２００は、この評価リスト１３００を、検証依頼者のコンピュータ端末に送信したり、図１に示したディスプレイ１０８に表示したり、プリンタ１１３で印刷出力することもできる。

つぎに、追加検証について説明する。追加検証とは、上述した検証支援装置２００による評価リスト１３００の作成後、検証対象に対するあらたな機能やシーケンスの追加などにより電子仕様書が更新されたことによって、再度必要となる検証である。追加検証では、上述した取得部２０１、生成部２０４、検証項目抽出部２０６および算出部２０７を用いておこなうことができる。

具体的には、取得部２０１は、上述した機能仕様書が更新（追加、変更、削除）されたことによって得られた最新の機能仕様書と、シーケンス仕様書が更新（追加、変更、削除）されたことによって得られた最新のシーケンス仕様書と、を取得する。図１４は、検証対象の最新の機能仕様書の一例を示す説明図であり、図１５は、検証対象の最新のシーケンス仕様書の一例を示す説明図である。図１４には、最新の機能仕様書としてＵＭＬのユースケース図１４００が示されており、図３に示したＤＵＴ３０３の更新後における機能をあらわしている。

図１４において、図５に示した構成と同一構成には同一符号を付しその説明を省略する。システム１４０３は、ユースケース記述５３１，５３２のほか、あらたに追加されたＤＵＴ３０３のクリア機能を示すユースケース記述１４３３が示されている。また、図１５には、あらたに追加されたＵＭＬのシーケンス図１５００が示されている。図１５に示したシーケンス図１５００は、ＤＵＴ３０３のクリア動作を示しており、アクター５０１，５０２と、オブジェクト６０３と、メッセージ１５１１〜１５１３と、が含まれている。

メッセージ１５１１は、アクター５０１からオブジェクト６０３へクリア要求を送信する動作を示すシーケンス記述である。メッセージ１５１２は、オブジェクト６０３からアクター５０２へクリア要求を送信する動作を示すシーケンス記述である。メッセージ１５１３は、オブジェクト６０３からアクター５０１へクリア応答を送信する動作を示すシーケンス記述である。

また、生成部２０４は、取得部２０１によって取得された最新の機能仕様書の機能記述と取得部２０１によって取得された最新のシーケンス仕様書の検証対象の出力動作に関するシーケンス記述に基づいて、第４の検証項目リストを生成する。具体的には、第４の検証項目リストは、最新の機能仕様書の機能記述と最新のシーケンス仕様書の検証対象の出力動作に関するシーケンス記述とからなる検証項目をフォーマットとする。

ここで、本実施の形態で示した例において、最新の機能仕様書とは、図１４に示したユースケース図１４００であり、最新のシーケンス仕様書とは、図６に示したシーケンス図６００、図７に示したシーケンス図７００、および図１５に示したシーケンス図１５００である。

したがって、生成される第４の検証項目リストは、図１４に示したユースケース図１４００のユースケース記述と、図６に示したシーケンス図６００、図７に示したシーケンス図７００および図１５に示したシーケンス図１５００のシーケンス記述とからかる検証項目を、フォーマットとする。これにより、機能仕様書およびシーケンス仕様書が更新された場合であっても、第２の検証項目リストと同一フォーマットによって第４の検証項目リストを生成することができ、更新前後において、フォーマットの統一化を図ることができる。

追加検証においても、生成部２０４は、第２の検証項目リスト１１００を生成した場合と同様の生成処理によって第４の検証項目リストを生成する。図１６は、第４の検証項目リストを示す説明図である。図１６において、第４の検証項目リスト１６００は、ユースケース記述と、シーケンス記述（メッセージ）とからなる検証項目をフォーマットとしている。図１４に示したユースケース図１４００を取得した場合、第４の検証項目リスト１６００のユースケース記述は、ユースケース記述５３１の「リード」、ユースケース記述５３２の「ライト」およびユースケース記述１４３３の「クリア」となる。

同様に、図６に示したシーケンス図６００、図７に示したシーケンス図７００および図１５に示したシーケンス図１５００を取得した場合、第４の検証項目リスト１６００のシーケンス記述は、メッセージ６１３，６１５，６１６（「リードアドレス」「リード応答」および「リードデータ」）と、メッセージ７１４〜７１６（「ライトアドレス」「ライトデータ」および「ライト応答」）と、メッセージ１５１１〜１５１３（「クリア要求」および「クリア応答」）となる。

また、ユースケース記述とシーケンス記述との対応関係は、ユースケース図１４００のユースケース記述とアクターとの結線関係や、シーケンス図６００，７００，１５００におけるアクターとオブジェクト間のメッセージの入出力から決定することができる。

また、検証項目抽出部２０６は、生成部２０４によって生成された第４の検証項目リスト１６００の中から、第２の検証項目リスト１１００に含まれていない検証項目を抽出する。具体的には、図１６に示した第４の検証項目リスト１６００の中から、図１１に示した第２の検証項目リスト１１００に含まれていない検証項目、すなわち、検証項目（ユースケース記述，シーケンス記述）として、（クリア，クリア要求）および（クリア，クリア応答）を抽出する。これにより、電子仕様書にあらたに追加された機能およびシーケンス、これらを含む追加検証項目を自動的に特定することができる。

また、算出部２０７は、第４の検証項目リスト１６００の検証項目数と、検証項目抽出部２０６によって第４の検証項目リスト１６００の中から抽出された、第２の検証項目リスト１１００に含まれていない検証項目数と、に基づいて、機能仕様書およびシーケンス仕様書に対する、最新の機能仕様書および最新のシーケンス仕様書の追加検証率を算出する。追加検証率とは、最新の電子仕様書が得られたことによって、どの程度追加検証が必要となったかを示す確率情報であり、分数または％によって表現することができる。

具体的には、本実施の形態で示した例においては、第４の検証項目リスト１６００の検証項目数は８項目、検証項目抽出部２０６によって第４の検証項目リスト１６００の中から抽出された検証項目数は２項目である。したがって、追加検証率は、２／８、すなわち、２５［％］である。これにより、どの程度検証項目が追加されたかを把握することができ、追加検証作業がどの程度必要であるかを見積もることができる。

ここで、上述した検証支援装置２００の追加検証によって得られる評価リストについて説明する。図１７は、検証支援装置２００の追加検証によって得られる評価リストを示す説明図である。評価リスト１７００は、図１３に示した評価リスト１３００を追加検証によって更新されたリストである。図１７において、検証内容が［済］と記述されている検証項目は、追加検証前にすでに検証済みであることを示している。また、［追加］と記述されている検証項目は、この追加検証であらたに追加された検証項目であることを示す。

このように、この検証支援装置２００によれば、変換部２０５により、第２の検証項目リスト１１００と、抽出された検証キーワードと、に基づいて、フリーフォーマットの第１の検証項目リスト４００を、第２の検証項目リスト１１００と同一フォーマットの第３の検証項目リスト１２００に変換する。これにより、第１の検証項目リスト４００と第２の検証項目リスト１１００のフォーマットの統一化を図ることができる。したがって、第１の検証項目リスト４００と第２の検証項目リスト１１００の比較を容易かつ効率的におこなうことができ、過不足分の検証項目を特定することができる。よって、検証網羅性の向上を図ることができる。

特に、変換部２０５により、第２の検証項目リスト１１００内のシーケンス記述の中から、シーケンス記述抽出部２０３によって抽出されたシーケンス記述を削除することにより、第１の検証項目リスト４００を、第３の検証項目リスト１２００に変換する。これにより、第１の検証項目リスト４００から洩れている検証すべきシーケンスを自動的に特定することができる。したがって、過不足分の検証項目を高精度に特定することができ、検証網羅性の向上を図ることができる。

また、検証項目抽出部２０６により、第２の検証項目リスト１１００の中から、第３の検証項目リスト１２００に含まれていない検証項目を抽出する。これにより、第１の検証項目リスト４００から洩れている検証項目を自動的に特定することができる。したがって、過不足分の検証項目を高精度に特定することができ、検証網羅性の向上を図ることができるとともに、人的コストの低減および検証期間ひいては設計期間の短縮化を図ることができる。

また、算出部２０７により、第１の検証項目リスト４００の検証網羅性を示すカバレッジを算出する。これにより、検証作業の完了基準（ゴール基準）を設定することができる。したがって、第１の検証項目リスト４００の検証網羅性の評価基準として用いることができる。またこれにより、検証作業の進捗状況も把握することができる。

また、検証内容抽出部２０９により、第１の検証項目リスト４００に記述されている検証内容の中から、検出部２０８によって検出された検証キーワードを含む検証内容を抽出する。これにより、抽出された検証内容を確認すべき検証項目の内容として用いることができる。したがって、この検証内容を検討することにより、電子仕様書に不備があるか、第１の検証項目リスト４００における検証項目のリストアップに不備があるかを特定する手掛かりとして用いることができる。

また、生成部２０４により、最新の機能仕様書および最新のシーケンス仕様書に基づいて第４の検証項目リスト１６００を生成する。これにより、第４の検証項目リスト１６００を、第２の検証項目リスト１１００と同一フォーマットで生成することができる。したがって、第４の検証項目リスト１６００については、追加検証項目のみを検証すればよく、検証作業を容易かつ効率的におこなうことができ、追加検証の検証網羅性の向上を図ることができる。

また、検証項目抽出部２０６により、第４の検証項目リスト１６００の中から、第２の検証項目リスト１１００に含まれていない検証項目を抽出する。これにより、最新の機能仕様書および最新のシーケンス仕様書から、あらたに追加された検証項目を自動的に特定することができる。したがって、追加検証の検証網羅性の向上を図ることができるとともに、人的コストの低減および検証期間ひいては設計期間の短縮化を図ることができる。

また、算出部２０７により、最新の電子仕様書が得られたことによって、どの程度追加検証が必要となったかを示す追加検証率を算出する。これにより、追加検証作業の完了基準（ゴール基準）を設定することができる。したがって、追加検証の検証網羅性の評価基準として用いることができる。

（検証支援処理手順）
つぎに、この発明の実施の形態にかかる検証支援処理手順について説明する。図１８および図１９は、この発明の実施の形態にかかる検証支援処理手順を示すフローチャートである。図１８において、取得部２０１により、第１の検証項目リスト４００が取得された場合（ステップＳ１８０１：Ｙｅｓ）、単語抽出部２０２により、第１の検証項目リスト４００から検証キーワードを抽出する（ステップＳ１８０２）。

そして、取得部２０１により、機能仕様書（ユースケース図５００）およびシーケンス仕様書（シーケンス図６００，７００）が取得された場合（ステップＳ１８０３：Ｙｅｓ）、シーケンス記述抽出部２０３により、ユースケース記述ごとに、シーケンス図６００，７００からＤＵＴ３０３の出力動作に関するシーケンス記述を抽出し（ステップＳ１８０４）。そして、生成部２０４により、第２の検証項目リスト１１００を生成する（ステップＳ１８０５）。

つぎに、第１の検証項目リスト４００を、第２の検証項目リスト１１００と同一フォーマットの第３の検証項目リスト１２００に変換する（ステップＳ１８０６）。これにより、第３の検証項目リスト１２００が生成される。この後、検証項目抽出部２０６により、第２の検証項目リスト１１００の中から、第３の検証項目リスト１２００に含まれていない検証項目を抽出する（ステップＳ１８０７）。

そして、算出部２０７により、カバレッジを算出するとともに（ステップＳ１８０８）、検出部２０８により、検証キーワードリスト８００の中から、シーケンス図６００，７００のシーケンス記述と一致しない検証キーワード（「リセット」および「ハングアップ」）を検出する（ステップＳ１８０９）。

そして、図１９において、検証内容抽出部２０９により、第１の検証項目リスト４００に記述されている検証内容の中から、検出部２０８により検出された検証キーワードを含む検証内容を抽出する（ステップＳ１８１０）。この後、評価リスト１３００を作成し（ステップＳ１８１１）、検証依頼者に提供することができる。評価リスト１３００の作成後、ＤＵＴ３０３の検証がおこなわれた場合（ステップＳ１８１２：Ｙｅｓ）、評価リスト１３００を更新する（ステップＳ１８１３）。これにより、評価リスト１３００において、［追加］と記述されていた検証内容が、検証済みを示す［済］に更新される。

このあと、最新の機能仕様書（ユースケース図１４００）および最新のシーケンス仕様書（シーケンス図６００，７００，１５００）が取得されない場合（ステップＳ１８１４：Ｎｏ）、一連の処理を終了する。一方、取得部２０１により、最新の機能仕様書（ユースケース図１４００）および最新のシーケンス仕様書（シーケンス図６００，７００，１５００）が取得された場合（ステップＳ１８１４：Ｙｅｓ）、生成部２０４により、第４の検証項目リスト１６００を生成する（ステップＳ１８１５）。

そして、検証項目抽出部２０６により、第４の検証項目リスト１６００の中から、第２の検証項目リスト１１００に含まれていない検証項目、すなわち、検証項目（ユースケース記述，シーケンス記述）として、（クリア，クリア要求）および（クリア，クリア応答）を抽出する（ステップＳ１８１６）。そして、算出部２０７により、追加検証率を算出し（ステップＳ１８１７）、評価リスト１３００を更新する（ステップＳ１８１８）。これにより、図１７に示した評価リスト１７００を得ることができる。

このように、この検証支援処理手順によれば、従来のレビューのように、複数メンバーによる長時間の検証作業の発生を防止することができる。すなわち、従来のレビューでは、３人から１０人以上のメンバーにより２時間から半日程度も要していたが、本発明では、１人の検証処理により、１分程度の短時間でフリーフォーマットの検証項目リストの検証網羅性を判断することができる。

また、従来のレビューのように、検証項目の品質が参加メンバーの経験や能力に依存することがなく、検証項目の品質の向上および均一化を図ることができる。さらに、検証項目の過不足分を自動抽出することができ、検証作業期間の短縮化を図ることができる。

また、検証作業の完了基準（ゴール基準）を設定することができ、検証網羅性を保証することができる。さらに、検証項目抽出サービスにおいて、検証項目の不足分のみの抽出を高精度におこなうことができ、検証項目抽出サービスの信頼性の向上を図ることができる。したがって、当該サービスに見合った対価の請求をおこなうことができる。

また、電子仕様書から自動的に得られた第２の検証項目リスト１１００と、評価対象となる第１の検証項目リスト４００の比較によって、検証項目の過不足が抽出される。この場合、評価対象となる第１の検証項目リスト４００に不備がある場合もあるが、確認項目が抽出されている場合、当該確認項目を検討することによって、過剰記述や記述不足など元となる電子仕様書の不備を検出することもできる。

また、電子仕様書に記述の追加があった場合に、第２の検証項目リスト１１００からの追加検証項目を自動抽出することができる。これにより、追加検証項目のみの検証をおこなうことによって検証時間の短縮化を図ることができる。

以上のことから、この発明の実施の形態にかかる検証支援装置、検証支援方法、検証支援プログラム、および記録媒体によれば、フリーフォーマットの検証項目リストから簡単かつ効率的に検証項目を自動抽出することにより、検証網羅性の向上、人的コストの低減および設計期間の短縮化を図ることができるという効果を奏する。

なお、この実施の形態で説明した検証支援方法は、予め用意されたプログラムをパーソナル・コンピュータやワークステーションなどのコンピュータで実行することにより実現することができる。このプログラムは、ハードディスク、フレキシブルディスク、ＣＤ−ＲＯＭ、ＭＯ、ＤＶＤなどのコンピュータで読み取り可能な記録媒体に記録され、コンピュータによって記録媒体から読み出されることによって実行される。またこのプログラムは、インターネットなどのネットワークを介して配布することが可能な伝送媒体であってもよい。

（付記１）検証対象の検証内容を示す検証項目が任意のフォーマットで記述された第１の検証項目リストと、前記検証対象の機能を示す電子仕様書（以下、「機能仕様書」という）と、前記検証対象のシーケンスを示す電子仕様書（以下、「シーケンス仕様書」という）と、を取得する取得手段と、
前記取得手段によって取得された第１の検証項目リストの中から、前記検証対象に関する単語を抽出する単語抽出手段と、
前記取得手段によって取得された機能仕様書の機能記述と前記取得手段によって取得されたシーケンス仕様書の前記検証対象の出力動作に関するシーケンス記述とからなる検証項目をフォーマットとする第２の検証項目リストを生成する生成手段と、
前記生成手段によって生成された第２の検証項目リストと、前記単語抽出手段によって抽出された単語と、に基づいて、前記第１の検証項目リストを、前記第２の検証項目リストと同一フォーマットの第３の検証項目リストに変換する変換手段と、
を備えることを特徴とする検証支援装置。

（付記２）前記シーケンス仕様書の中から、前記単語抽出手段によって抽出された単語と一致しないシーケンス記述を抽出するシーケンス記述抽出手段を備え、
前記変換手段は、
前記第２の検証項目リストに記述されたシーケンス記述の中から、前記シーケンス記述抽出手段によって抽出されたシーケンス記述を削除することにより、前記第１の検証項目リストを前記第３の検証項目リストに変換することを特徴とする付記１に記載の検証支援装置。

（付記３）前記第２の検証項目リストの中から、前記第３の検証項目リストに含まれていない検証項目を抽出する検証項目抽出手段を備えることを特徴とする付記１または２に記載の検証支援装置。

（付記４）前記第２の検証項目リストと、前記変換手段によって変換された第３の検証項目リストと、に基づいて、前記第２の検証項目リストに対する前記第１の検証項目リストの検証網羅性を示すカバレッジを算出する算出手段と、
を備えることを特徴とする付記１〜３のいずれか一つに記載の検証支援装置。

（付記５）前記単語抽出手段によって抽出された単語の中から、前記シーケンス仕様書に記述されているシーケンス記述と一致しない単語を検出する検出手段と、
前記第１の検証項目リストに記述されている検証内容の中から、前記検出手段によって検出された単語を含む検証内容を抽出する検証内容抽出手段と、
を備えることを特徴とする付記１〜４のいずれか一つに記載の検証支援装置。

（付記６）前記取得手段は、
前記機能仕様書が更新されたことによって得られた最新の機能仕様書と、前記シーケンス仕様書が更新されたことによって得られた最新のシーケンス仕様書と、を取得し、
前記生成手段は、
前記取得手段によって取得された最新の機能仕様書の機能記述と前記取得手段によって取得された最新のシーケンス仕様書の前記検証対象の出力動作に関するシーケンス記述とからなる検証項目をフォーマットとする第４の検証項目リストを生成することを特徴とする付記３に記載の検証支援装置。

（付記７）前記検証項目抽出手段は、
前記生成手段によって生成された第４の検証項目リストの中から、前記第２の検証項目リストに含まれていない検証項目を抽出することを特徴とする付記６に記載の検証支援装置。

（付記８）前記算出手段は、
前記第４の検証項目リストの検証項目の数と、前記検証項目抽出手段によって前記第４の検証項目リストの中から抽出された、前記第２の検証項目リストに含まれていない検証項目の数と、に基づいて、前記機能仕様書および前記シーケンス仕様書に対する、前記最新の機能仕様書および前記最新のシーケンス仕様書の追加検証率を算出することを特徴とする付記７に記載の検証支援装置。

（付記９）検証対象の検証内容を示す検証項目が任意のフォーマットで記述された第１の検証項目リストと、前記検証対象の機能を示す電子仕様書（以下、「機能仕様書」という）と、前記検証対象のシーケンスを示す電子仕様書（以下、「シーケンス仕様書」という）と、を取得する取得工程と、
前記取得工程によって取得された第１の検証項目リストの中から、前記検証対象に関する単語を抽出する単語抽出工程と、
前記取得工程によって取得された機能仕様書の機能記述と前記取得工程によって取得されたシーケンス仕様書の前記検証対象の出力動作に関するシーケンス記述とからなる検証項目をフォーマットとする第２の検証項目リストを生成する生成工程と、
前記生成工程によって生成された第２の検証項目リストと、前記単語抽出工程によって抽出された単語と、に基づいて、前記第１の検証項目リストを、前記第２の検証項目リストと同一フォーマットの第３の検証項目リストに変換する変換工程と、
を含んだことを特徴とする検証支援方法。

（付記１０）前記シーケンス仕様書の中から、前記単語抽出工程によって抽出された単語と一致しないシーケンス記述を抽出するシーケンス記述抽出工程を含み、
前記変換工程は、
前記第２の検証項目リストに記述されたシーケンス記述の中から、前記シーケンス記述抽出工程によって抽出されたシーケンス記述を削除することにより、前記第１の検証項目リストを前記第３の検証項目リストに変換することを特徴とする付記９に記載の検証支援方法。

（付記１１）前記第２の検証項目リストの中から、前記第３の検証項目リストに含まれていない検証項目を抽出する検証項目抽出工程を含んだことを特徴とする付記９または１０に記載の検証支援方法。

（付記１２）検証対象の検証内容を示す検証項目が任意のフォーマットで記述された第１の検証項目リストと、前記検証対象の機能を示す電子仕様書（以下、「機能仕様書」という）と、前記検証対象のシーケンスを示す電子仕様書（以下、「シーケンス仕様書」という）と、を取得させる取得工程と、
前記取得工程によって取得された第１の検証項目リストの中から、前記検証対象に関する単語を抽出させる単語抽出工程と、
前記取得工程によって取得された機能仕様書の機能記述と前記取得工程によって取得されたシーケンス仕様書の前記検証対象の出力動作に関するシーケンス記述とからなる検証項目をフォーマットとする第２の検証項目リストを生成させる生成工程と、
前記生成工程によって生成された第２の検証項目リストと、前記単語抽出工程によって抽出された単語と、に基づいて、前記第１の検証項目リストを、前記第２の検証項目リストと同一フォーマットの第３の検証項目リストに変換させる変換工程と、
をコンピュータに実行させることを特徴とする検証支援プログラム。

（付記１３）前記シーケンス仕様書の中から、前記単語抽出工程によって抽出された単語と一致しないシーケンス記述を抽出するシーケンス記述抽出工程をコンピュータに実行させ、
前記変換工程は、
前記第２の検証項目リストに記述されたシーケンス記述の中から、前記シーケンス記述抽出工程によって抽出されたシーケンス記述を削除することにより、前記第１の検証項目リストを前記第３の検証項目リストに変換させることを特徴とする付記１２に記載の検証支援プログラム。

（付記１４）前記第２の検証項目リストの中から、前記第３の検証項目リストに含まれていない検証項目を抽出させる検証項目抽出工程をコンピュータに実行させることを特徴とする付記１２または１３に記載の検証支援プログラム。

（付記１５）付記１２〜１４のいずれか一つに記載の検証支援プログラムを記録したコンピュータに読み取り可能な記録媒体。

以上のように、本発明にかかる検証支援装置、検証支援方法、検証支援プログラム、および記録媒体は、ＬＳＩの検証作業に有用であり、特に、設計ツールや検証ツールに適している。

この発明の実施の形態にかかる検証支援装置のハードウェア構成を示すブロック図である。この発明の実施の形態にかかる検証支援装置の機能的構成を示すブロック図である。検証対象を含むシステムＬＳＩの一例を示すブロック図である。第１の検証項目リストを示す説明図である。検証対象の機能仕様書の一例を示す説明図である。検証対象のリード動作に関するシーケンス仕様書の一例を示す説明図である。検証対象のライト動作に関するシーケンス仕様書の一例を示す説明図である。リストアップされた検証キーワードリストを示す説明図である。リード動作に関するシーケンス図からシーケンス記述を抽出する例を示す説明図である。ライト動作に関するシーケンス図からシーケンス記述を抽出する例を示す説明図である。第２の検証項目リストを示す説明図である。第３の検証項目リストを示す説明図である。検証支援装置によって得られる評価リストを示す説明図である。最新の機能仕様書の一例を示す説明図である。最新のシーケンス仕様書の一例を示す説明図である。第４の検証項目リストを示す説明図である。検証支援装置の追加検証によって得られる評価リストを示す説明図である。この発明の実施の形態にかかる検証支援処理手順を示すフローチャート（その１）である。この発明の実施の形態にかかる検証支援処理手順を示すフローチャート（その２）である。

符号の説明

２００検証支援装置
２０１取得部
２０２単語抽出部
２０３シーケンス記述抽出部
２０４生成部
２０５変換部
２０６検証項目抽出部
２０７算出部
２０８検出部
２０９検証内容抽出部
４００第１の検証項目リスト
５００，１４００ユースケース図
６００，７００，１５００シーケンス図
８００検証キーワードリスト
１１００第２の検証項目リスト
１２００第３の検証項目リスト
１６００第４の検証項目リスト

Claims

検証対象の検証内容を示す検証項目が任意のフォーマットで記述された第１の検証項目リストと、前記検証対象の機能を示す電子仕様書（以下、「機能仕様書」という）と、前記検証対象のシーケンスを示す電子仕様書（以下、「シーケンス仕様書」という）と、を取得する取得手段と、
前記取得手段によって取得された第１の検証項目リストの中から、前記検証対象に関する単語を抽出する単語抽出手段と、
前記取得手段によって取得された機能仕様書の機能記述と、前記取得手段によって取得されたシーケンス仕様書のうち前記機能記述に対応する前記検証対象の出力動作に関するシーケンス仕様書内の前記検証対象の出力動作に関するシーケンス記述と、からなる検証項目をフォーマットとする第２の検証項目リストを生成する生成手段と、
前記シーケンス仕様書の前記検証対象の出力動作に関するシーケンス記述の中から、前記単語抽出手段によって抽出された単語と一致しないシーケンス記述を抽出するシーケンス記述抽出手段と、
前記第２の検証項目リストに記述されたシーケンス記述の中から、前記シーケンス記述抽出手段によって抽出されたシーケンス記述を削除することにより、前記第１の検証項目リストを、前記第２の検証項目リストと同一フォーマットの第３の検証項目リストに変換する変換手段と、
前記第２の検証項目リストの中から、前記第３の検証項目リストに含まれていない検証項目を抽出する検証項目抽出手段と、
を備えることを特徴とする検証支援装置。
前記第２の検証項目リストと、前記変換手段によって変換された第３の検証項目リストと、に基づいて、前記第２の検証項目リストに対する前記第１の検証項目リストの検証網羅性を示すカバレッジを算出する算出手段と、
を備えることを特徴とする請求項１に記載の検証支援装置。
前記単語抽出手段によって抽出された単語の中から、前記シーケンス仕様書に記述されているシーケンス記述と一致しない単語を検出する検出手段と、
前記第１の検証項目リストに記述されている検証内容の中から、前記検出手段によって検出された単語を含む検証内容を抽出する検証内容抽出手段と、
を備えることを特徴とする請求項１または２に記載の検証支援装置。
前記取得手段は、
前記機能仕様書が更新されたことによって得られた最新の機能仕様書と、前記シーケンス仕様書が更新されたことによって得られた最新のシーケンス仕様書と、を取得し、
前記生成手段は、
前記第２の検証項目リストの検証項目と、前記取得手段によって取得された最新の機能仕様書の機能記述と前記取得手段によって取得された最新のシーケンス仕様書の前記検証対象の出力動作に関するシーケンス記述とからなる検証項目と、をフォーマットとする第４の検証項目リストを生成することを特徴とする請求項１に記載の検証支援装置。
前記検証項目抽出手段は、
前記生成手段によって生成された第４の検証項目リストの中から、前記第２の検証項目リストに含まれていない検証項目を抽出することを特徴とする請求項４に記載の検証支援装置。
前記算出手段は、
前記第４の検証項目リストの検証項目の数と、前記検証項目抽出手段によって前記第４の検証項目リストの中から抽出された、前記第２の検証項目リストに含まれていない検証項目の数と、に基づいて、前記機能仕様書および前記シーケンス仕様書に対する、前記最新の機能仕様書および前記最新のシーケンス仕様書の追加検証率を算出することを特徴とする請求項５に記載の検証支援装置。
取得手段、単語抽出手段、生成手段、シーケンス記述抽出手段、変換手段および検証項目抽出手段を備えるコンピュータが、
前記取得手段により、検証対象の検証内容を示す検証項目が任意のフォーマットで記述された第１の検証項目リストと、前記検証対象の機能を示す電子仕様書（以下、「機能仕様書」という）と、前記検証対象のシーケンスを示す電子仕様書（以下、「シーケンス仕様書」という）と、を取得する取得工程と、
前記単語抽出手段により、前記取得工程によって取得された第１の検証項目リストの中から、前記検証対象に関する単語を抽出する単語抽出工程と、
前記生成手段により、前記取得工程によって取得された機能仕様書の機能記述と、前記取得工程によって取得されたシーケンス仕様書のうち前記機能記述に対応する前記検証対象の出力動作に関するシーケンス仕様書内の前記検証対象の出力動作に関するシーケンス記述と、からなる検証項目をフォーマットとする第２の検証項目リストを生成する生成工程と、
前記シーケンス記述抽出手段により、前記シーケンス仕様書の前記検証対象の出力動作に関するシーケンス記述の中から、前記単語抽出工程によって抽出された単語と一致しないシーケンス記述を抽出するシーケンス記述抽出工程と、
前記変換手段により、前記第２の検証項目リストに記述されたシーケンス記述の中から、前記シーケンス記述抽出工程によって抽出されたシーケンス記述を削除することにより、前記第１の検証項目リストを、前記第２の検証項目リストと同一フォーマットの第３の検証項目リストに変換する変換工程と、
前記検証項目抽出手段により、前記第２の検証項目リストの中から、前記第３の検証項目リストに含まれていない検証項目を抽出する検証項目抽出工程と、
を実行することを特徴とする記載の検証支援方法。
検証対象の検証内容を示す検証項目が任意のフォーマットで記述された第１の検証項目リストと、前記検証対象の機能を示す電子仕様書（以下、「機能仕様書」という）と、前記検証対象のシーケンスを示す電子仕様書（以下、「シーケンス仕様書」という）と、を取得させる取得工程と、
前記取得工程によって取得された第１の検証項目リストの中から、前記検証対象に関する単語を抽出させる単語抽出工程と、
前記取得工程によって取得された機能仕様書の機能記述と、前記取得工程によって取得されたシーケンス仕様書のうち前記機能記述に対応する前記検証対象の出力動作に関するシーケンス仕様書内の前記検証対象の出力動作に関するシーケンス記述と、からなる検証項目をフォーマットとする第２の検証項目リストを生成する生成工程と、
前記シーケンス仕様書の前記検証対象の出力動作に関するシーケンス記述の中から、前記単語抽出工程によって抽出された単語と一致しないシーケンス記述を抽出するシーケンス記述抽出工程と、
前記第２の検証項目リストに記述されたシーケンス記述の中から、前記シーケンス記述抽出工程によって抽出されたシーケンス記述を削除することにより、前記第１の検証項目リストを、前記第２の検証項目リストと同一フォーマットの第３の検証項目リストに変換する変換工程と、
前記第２の検証項目リストの中から、前記第３の検証項目リストに含まれていない検証項目を抽出する検証項目抽出工程と、
をコンピュータに実行させることを特徴とする検証支援プログラム。
請求項８に記載の検証支援プログラムを記録したコンピュータに読み取り可能な記録媒体。