JPH01244551A - ソフトウェア仕様検証方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は情報処理装置分野に利用される。

本発明は、情報処理装置で使用されるソフトウエアを作
成したとき、作成されたソフトウェアがソフトウェア仕
様を満足しているかどうかの試験を行うソフトウェア仕
様検証方式に関する。

〔概要〕

本発明は、作成されたソフトウェアが所定のソフトウェ
ア仕様を満足するかどうかを試験するソフトウェア仕様
検証方式において、 ソフトウェアを検証するだめの試験データとその試験結
果を記録した試験項目知識ベースと、試験結果に異常が
起きた場合の最適な処理ルールを記録した試験最適化ル
ールベースと、試験結果）・レースファイルとを有し、
前記試験項目知識ベースから試験データを選択して試験
対象ソフトウェア実装装置へ入力し、その試験結果をあ
らかしめ与えられた試験結果と比較し、この比較結果を
基に前記試験最適化ルールベースを用いて次試験データ
を選択し、試験結果を前記試験結果トレースファイルに
記録するようにすることにより、前記試験項目知識ベー
スと、前記試験最適化ルールベースとを作成するだけて
、自動的にソフトウェア仕様検証ができるようにしたも
のである。

〔従来の技術〕

従来、ソフトウェア仕様の検証は、対象ソフトウェアが
実装すべき機能を明示した仕様書を基に、検証作業自体
は任意に任されていた。そのために、ソフトウェア仕様
の検証方式としては、対象ソフトウェアに直接確認デー
タを与えて人手によって確認する方法や、確認データを
組み込んだテストプログラムを利用する方法が一般的で
あった。

〔発明が解決しようとする問題点〕

前述した従来のソフトウェア仕様検証方式は、検証方式
自体が確立されていないことから、検証漏れの可能性や
、テストプログラムが非汎用的であるという欠点があっ
た。今後、特に通信分野においては、０５１（開放形ン
ステム相互接続）規格のコンフォーマンス試験が義務化
される状況であり、どの製品に対しても同一レベルで仕
様検証を行う必要性が高い。

本発明の目的は、前述の問題点を解決し、仕様検証者が
各々テストプロクラムを作成する必要をなくし、検証対
象ソフトウェアが変更されたときは、試験項目が格納さ
れた試験項目知識ベースと、仕様検証を最適化する最適
化ルールベースとを作成するだけで仕様検証ができるソ
フトウェア仕様検証方式を提供することにある。

〔問題点を解決するだめの手段〕

本発明は、作成されたソフトウェアが所定のソフトウェ
ア仕様を満足するかどうかを試験する手段を備えたソフ
トウェア仕様検証方式において、検証対象ソフトウェア
に対応する試験項目知識ベースを格納する知識ベース部
と、試験最適化ルールベースを格納する最適化ルールベ
ース部と、試験結果トレースファイルを格納する試験結
果ファイル部と、前記試験項目知識ベースから試験項目
を選択し取り出す試験データ選択手段と、取り出された
試験データをそのあらかじめ与えられた試験結果を含ん
で前記試験結果トレースファイルに記録する入力データ
トレース手段と、取り出された試験データを試験対象ソ
フトウェア実装装置に入力する試験データ入力手段と、
前記試験対象ソフトウェア実装装置での実行結果を受信
する試験結果受信手段と、この受信された試験結果を前
記試験結果トレースファイルに記録するとともに前記あ
らかじめ与えられた試験結果との比較を行いその結果を
出力する試験結果データトレース手段と、出力された比
較結果を基に前記試験最適化ルールベースを用いて次試
験データを選択する選択信号を前記試験データ選択手段
へ出力する最適化試験データ選択手段とを含むことを特
徴とする。

〔作用〕

試験項目知識ベースには、試験対象ソフトウェアに対応
して、そのソフトウェアを検証するための試験データと
そのあらかじめ与えられた試験結果とが記録される。ま
た試験最適化ルールベースには、ソフトウェア動作に異
常が起きた場合最適な次試験データを選択しさらに異常
原因の判断を行うルール群が記録される。そして、試験
データ選択手段、入力データトレース手段および試験デ
ータ入力手段により、前記試験項目知識ベース中から試
験データが選択取り出され、試験対象ソフトウエア実装
装置に入力され、そこでの試験結果が、試験結果受信手
段により受信され、試験結果トレース手段により、この
受信された試験結果と前記あらかじめ与えられた試験結
果との比較が行われ、最適化試験データ選択手段により
、この比較結果を基に前記最適化ルールベースを用いて
次試験データを選択する選択信号が発生され、前記試験
データ選択手段に入力される。そして試験結果は試験結
果トレースファイルに記録される。

従って、前記試験項目知識ベースと、前記試験最適化ル
ールベースとを作成するのみで、自動的にソフトウェア
仕様検証を行うことが可能となる。

〔実施例〕

以下、本発明の実施例について図面を参照して説明する
。

第１図は本発明の一実施例を示すブロック構成図である
。

本実施例は、作成されたソフトウェアが所定のソフトウ
ェア仕様を満足するかどうかを試験する手段を備えたソ
フトウェア仕様検証方式において、検証対象ソフトウェ
アに対応して、そのソフトウェアを検証するためのあら
かじめ与えられた試験結果を含む試験データが記録され
た試験項目知識ベース１１ａを格納する知識ベース部１
１と、ソフトウェア動作に異常が起きた場合、最適な次
試験データを選択しさらに異常原因の判断を行うルール
群が記録された試験最適化ルールベース１２ａを格納す
る最適化ルールベース部１２と、試験結果トレースファ
イルを格納する試験結果ファイル部Ｉ３と、試験項目知
識ベース１１ａから試験データを選択し取り出す試験デ
ータ選択手段１４と、取り出された試験データを試験結
果トレースファイル１３ａに記録する試験結果トレース
手段１５と、取り出された試験データを試験対象ソフト
ウェア実装装置１０に入力する試験データ入力手段１６
と、試験対象ソフトウェア実装装置１０での試験結果を
受信する試験結果受信手段１７と、この受信された試験
結果を試験結果トレースファイル１３ａに記録するとと
もに前記あらかじめ与えられた試験結果との比較を行い
その結果を出力する試験結果トレース手段１８と、出力
された比較結果を基に試験最適化ルールベース１２ａを
用いて次試験データを選択する選択信号２０を試験デー
タ選択手段１４へ出力する最適化試験データ選択手段１
９を含んでいる。なお、第１図において→は制御の流れ
を示し、→はデータの流れを示す。

本発明の特徴は、第１図において、試験項目知識ベース
１１ａを格納する知識ベース部１１と、試験最適化ルー
ルベース１２ａを格納する最適化ルールベース部１２ト
、試験結果トレースファイル１３ａ　ヲ格納する試験結
果ファイル部１３と、試験データ選択手段１４と、入力
データトレース手段１５と、試験データ入力手段１６と
、試験結果受信手段１７と、試験結果トレース手段１８
と、最適化試験データ選択手段１９とを設けたことにあ
る。

次に、本実施例の動作について第２図に示す流れ図を参
照して説明する。

ここで、試験対象とするソフトウェアが実装された試験
対象ソフトウェア実装装置１０は、試験データ入力手段
１６と、試験結果受信手段１７とのインタフエースのみ
が定められているだけで、試験対象ソフトウェアが単独
であることや、さらに試験用のソフトウェアを組み込む
ことは規定しない。

試験対象ソフトウェア実装装置１０のソフトウェア仕様
を検証するための試験データおよびそのあらかじめ与え
られた試験結果は、試験項目知識ベース１１ａ　に記録
され知識ベース部１１に格納される。

ソフトウェア仕様検証方式が動作を開始すると、まず、
試験データ選択手段１４により試験項目知識ベース１１
ａから第１番目の試験データがあらかじめ与えられた試
験結果を含んで取り出され（ステップＳ１）、第１番目
の取り出された試験データが入力データトレース手段１
５によって試験結果トレースファイル１３ａに記録され
る（ステップＳ２）。

この記録が行われた後で、試験データ入力手段１６によ
って、試験対象ソフトウェア実装装置１０へ第１番目の
試験データが入力される（ステップＳ３）。

そして、それに対応する試験対象ソフトウェア実装装置
１０から出力された試験結果は、試験結果Ｏ 受信半没１７によって受信され（ステップＳ、’Ｉ）、
試験結果トレース手段１８によって試験結果１−レース
ファイル１３ａ　に記録される。そして１、二の記録が
行われた後、試験項目知識ベース１１ａから取り出され
た前記あらかじめ５．えられた試験結果と、試験結果受
信手段１７からの試験結果とを比較しその結果を出力す
る（ステップＳ　５　）　。

その比較結果を基に試験最適化ルールベース１２ａのル
ールを適応し、最適化試験データ選択手段１９において
次に選択する試験データを選択しその選択信号２０を出
力する（ステップＳ６）。この場合の選択ルールは、エ
ラー発生時に、同一原因エラーによって正常に試験がで
きないと思われる試験データのスキップ、エラー原因確
認のための試験データの実行等、ソフトウェア仕様検証
を最適化するだめのルールが定義される。

試験データ選択手段１４は選択信号２０の入力により、
次に選択する試験データが存在するか否かの判断を行う
（ステップＳ７）。ここで試験データがないと判断され
ると、試験結果トレースファイル１３ａに試験終了を出
力しくステップＳ９）、ソフトウェア仕様検証を終了す
る。

試験データがあると判断されると、最適化試験データ選
択手段１９において選択された試験データを試験項目知
識ベース１１ａから取り出しくステップＳ８）、これを
入力として前記処理を終了まで繰り返す。

〔発明の効果〕

以上説明したように、本発明は、試験項目知識ベースと
試験最適化ルールベースとを作成するだけて、試験対象
通信ソフトウェア実装装置に手を加えることなく自動的
にソフトウェア仕様検証を行うことができろ効果がある
。また、ソフトウェア仕様検証を自動化することにより
試験データの見逃しＸ）試験ミスをなくし、ソフトウェ
ア仕様検証Ｏ４＞憎頼性を著しく向−卜させろとともに
、試験の均一化を言ｊることができ、さらにソフトウェ
ア仕様検証を最適化するルールを持つために試験で誤り
が発見された場合など、有効な試験項目のみ実行し試験
効率を著しく向上させろことができる効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例を示すブロンク構成図。 第２図はその動作を示す流れ図。 １０・・・試験対象ソフトウェア実装装置、１１・・知
識ベース部、１１ａ・・・試験項目知識ベース、１２・
・・最適化ルールベースＬ　１２ａ・・・試験Ｍ　適化
ルールベース、１３・・・試験結果ファイル部、ＩＪ、
ａ　・試験結果トレースファイル、１４・・・試験デー
タ選択手段、１５・・入力データトレース手段、１６・
・・試験データ入力手段、１７・・・試験結果受信手段
、１８・試験結果トレース手段、１９・最適化試験デー
タ選択手段、２０・・選択信号、８１〜Ｓ９・・・ステ
ップ。 特許出願人　日本電気株式会ン！ 代理人　　弁理士　井　出　直　孝 １　？

Claims (1)

1. 【特許請求の範囲】 １、作成されたソフトウェアが所定のソフトウェア仕様
   を満足するかどうかを試験する手段を備えたソフトウェ
   ア仕様検証方式において、 検証対象ソフトウェアに対応する試験項目知識ベース（
   １１ａ）を格納する知識ベース部（１１）と、試験最適
   化ルールベース（１２ａ）を格納する最適化ルールベー
   ス部（１２）と、 試験結果トレースファイル（１３ａ）を格納する試験結
   果ファイル部（１３）と、 前記試験項目知識ベースから試験項目を選択し取り出す
   試験データ選択手段（１４）と、取り出された試験デー
   タをそのあらかじめ与えられた試験結果を含んで前記試
   験結果トレースファイルに記録する入力データトレース
   手段（１５）と、取り出された試験データを試験対象ソ
   フトウェア実装装置（１０）に入力する試験データ入力
   手段（１６）と、 前記試験対象ソフトウェア実装装置での実行結果を受信
   する試験結果受信手段（１７）と、この受信された試験
   結果を前記試験結果トレースファイルに記録するととも
   に前記あらかじめ与えられた試験結果との比較を行いそ
   の結果を出力する試験結果データトレース手段（１８）
   と、出力された比較結果を基に前記試験最適化ルールベ
   ースを用いて次試験データを選択する選択信号（２０）
   を前記試験データ選択手段へ出力する最適化試験データ
   選択手段（１９）と を含むことを特徴とするソフトウェア仕様検証方式。