JPH05100907A - フアームウエアの網羅率測定方式 - Google Patents

Abstract

(57)【要約】 【構成】網羅情報データ作成部３は、ファームウェアフ
ァイル２から読み出されたファームウェアを分析し、作
成した網羅情報データを網羅情報データ格納部４に格納
する。網羅情報データ格納バッファ１３は、データ入力
部８ａを介して網羅情報データ格納部４から入力した網
羅情報データを格納する。網羅情報データ格納部４の網
羅情報データが、論理シミュレーション部１１により論
理シミュレーションされ、更新処理部１２ａは、論理シ
ミュレーションの実行と同時に実行結果に基づいて網羅
情報データ格納バッファ１３に格納されている網羅情報
データを更新していく。更新された網羅情報データは網
羅情報データ格納部４にデータ出力部９ａを介して出力
される。 【効果】テストデータによるファームウェアの試験の時
間を短縮でき、かつ必要とするファイル容量を削減する
ことができる。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明はファームウェアの網羅率
測定方式に関し、特にファームウェアの試験を効率よく
行うためのファームウェアの網羅率測定方式に関する。

【０００２】

【従来の技術】従来、論理シミュレーションにおけるテ
ストデータの網羅率測定では、ファームウェアの網羅率
を複数のテストデータを用いて測定する場合、シミュレ
ータで論理シミュレーションを実行し、そのときの網羅
情報データを一つのテストデータに対して一つ生成する
ことにより、テストデータの数だけ網羅情報データを生
成していた。そして、論理シミュレーションの結果に従
って、個々の網羅情報データに含まれる網羅率テーブル
の中の動作したステップに、動作したことを示すフラグ
を設定して使用した網羅情報データを更新していた。す
なわち、網羅情報データに含まれる網羅率テーブルの中
のステップのうち、動作したステップに対してテーブル
の中にフラグを書き込んでいき、すべてのテストデータ
の論理シミュレーションが終了したら、更新処理部によ
り、テストテーブル中のフラグに対して論理和をとり、
網羅率を測定していた。

【０００３】

【発明が解決しようとする課題】上述した従来のファー
ムウェアの網羅率測定方式では、テストデータごとに論
理シミュレーションを行い、その論理シミュレーション
の都度、網羅情報データの中の網羅情報テーブルにフラ
グを設定して、最後のテストデータを終了したとき、全
ての網羅情報テーブルの論理和を取り網羅情報データの
更新を行って、テストデータの網羅率測定データを採取
していたので、網羅情報データが多くなると、データ数
に比例して網羅情報データの更新処理の時間がかかり、
また網羅情報データの更新処理を行うまで、データ数に
比例した数の網羅情報データが存在し、網羅情報データ
を保存するためのファイル容量を多く必要とするという
欠点を有していた。

【０００４】本発明の目的は、テストデータによるファ
ームウェアの試験の時間を短縮でき、かつ必要とするフ
ァイル容量を削減することができるファームウェアの網
羅率測定方式を提供することにある。

【０００５】

【課題を解決するための手段】本発明のファームウェア
の網羅率測定方式は、（Ａ）論理回路及びファームウェ
アをテストデータにより動作させ論理シミュレーション
を行う論理シミュレーション手段、（Ｂ）前記論理シミ
ュレーションの結果に含まれた前記ファームウェアの実
行ステップ情報をデータとする網羅情報データを格納す
る網羅情報データ格納手段、（Ｃ）前記網羅情報データ
格納手段に格納されている前記網羅情報データを入力す
る手段、（Ｄ）前記入力手段で入力した前記網羅情報デ
ータを格納する少なくとも１の網羅情報データ格納バッ
ファ、（Ｅ）前記論理シミュレーションの実行と同時に
実行結果に基づいて前記網羅情報データ格納バッファに
格納されている前記網羅情報データを更新する更新手
段、（Ｆ）前記更新手段により更新された前記網羅情報
データを前記網羅情報データ格納手段に対して出力する
手段、を備え、前記実行ステップ情報より前記ファーム
ウェアの網羅率を求めるように構成されている。

【０００６】

【実施例】次に、本発明の第１の実施例について図面を
参照して説明する。

【０００７】図１は、本発明のファームウェアの網羅率
測定方式の一実施例を示し、網羅情報データ格納バッフ
ァの数が１の場合のブロック図である。

【０００８】図１に示すファームウェアの網羅率測定方
式は、論理回路及びファームウェアをテストデータによ
り動作させ論理シミュレーションを行う論理シミュレー
ション部１１、ファームウェアを格納するファームウェ
アファイル２、ファームウェアファイル２のファームウ
ェアを読み出してそのファームウェアを分析し網羅情報
データを作成し出力する網羅情報データ作成部３、網羅
情報データ作成部３から出力された網羅情報データを格
納し、かつ論理シミュレーション部１１による論理シミ
ュレーションの後に、その結果に含まれたファームウェ
アの実行ステップ情報をデータとする網羅情報データを
格納する網羅情報データ格納部４、網羅情報データ作成
部３から出力され網羅情報データ格納部４に格納されて
いる網羅情報データを網羅情報データ格納バッファ１３
に入力するデータ入力部８ａ、データ入力部８ａからの
網羅情報データを格納する網羅情報データ格納バッファ
１３、論理シミュレーションの実行と同時に実行結果に
基づいて網羅情報データ格納バッファ１３に格納されて
いる網羅情報データを更新する更新処理部１２ａ、更新
処理部１２ａにより更新された前記網羅情報データを網
羅情報データ格納部４に対して出力するデータ出力部９
ａ、網羅情報データ格納部４に格納された網羅情報デー
タを端末装置６の表示装置に表示するか、または印刷装
置７により印字出力する羅情報データ表示部５から構成
されている。

【０００９】次に、動作を説明する。

【００１０】図１において、まず網羅情報データ作成部
３は、ファームウェアファイル２のファームウェアを読
み出してそのファームウェアを分析し網羅情報データを
作成して網羅情報データ格納部４に格納する。

【００１１】次に、論理シミュレーションの実行時に、
網羅情報データ格納部４から網羅情報データをデータ入
力部８ａにより転送し、網羅情報データ格納バッファ１
３に格納する。そして、論理シミュレーション部１１
で、テストデータによる論理シミュレーションを実行す
る。その論理シミュレーションの実行と同時に、その論
理シミュレーションの実行途中の結果をもとに、更新処
理部１２ａは、網羅情報データ格納バッファ１３に格納
されている網羅情報データを更新する。

【００１２】論理シミュレーション部１１における論理
シミュレーションが終了し、網羅情報データ格納バッフ
ァ１３に格納されている網羅情報データの更新処理も終
了したら、網羅情報データ格納バッファ１３より網羅情
報データをデータ出力部９ａにより網羅情報データ格納
部４へ転送し、網羅情報データを網羅情報データ格納部
４に再格納する。このようにして論理シミュレーション
の実行回数だけ上記の処理を繰り返し実行する。

【００１３】最後に、網羅情報データ表示部５は、網羅
情報データ格納部４に格納されている網羅情報データを
取り出し網羅情報データの内容を端末装置６により表示
するか、または印刷装置７により出力する。

【００１４】次に、本発明の第２の実施例について図面
を参照して説明する。

【００１５】図２は、網羅情報データ格納バッファの数
が２の場合のブロック図である。

【００１６】図２に示すファームウェアの網羅率測定方
式は、図１のファームウェアの網羅率測定方式と同様
に、論理シミュレーション部１１、ファームウェアファ
イル２、網羅情報データ作成部３、網羅情報データ格納
部４、羅情報データ表示部５を備えているが、図１と異
り網羅情報データ格納バッファとして網羅情報データ格
納バッファ１４ａ，１４ｂの２つの網羅情報データ格納
バッファを有しており、さらに網羅情報データ格納部４
に格納されている網羅情報データを入力するデータ入力
部８ｂ、論理シミュレーションの実行と同時に実行結果
に基づいて網羅情報データ格納バッファ１４ａ，１４ｂ
に格納されている網羅情報データを更新する更新処理部
１２ｂ、更新処理部１２ｂにより更新された網羅情報デ
ータを網羅情報データ格納部４に対して出力するデータ
出力部９ｂ、そしてデータ入力部８ｂ，網羅情報データ
格納バッファ１４ａ，１４ｂ，更新処理部１２ｂ及びデ
ータ出力部９ｂの相互の接続を制御する制御部１５から
構成されている。

【００１７】次に、動作を説明する。

【００１８】図２において、まず網羅情報データ作成部
３が、ファームウェアファイル２のファームウェアを読
み出してそのファームウェアを分析し、網羅情報データ
を作成して網羅情報データ格納部４に格納するまでは、
図１のファームウェアの網羅率測定方式の場合と同じで
ある。

【００１９】次に、論理シミュレーションの実行時に、
制御部１５は、網羅情報データ格納部４から、例えばテ
ストデータＡ用の網羅情報データをデータ入力部８ｂに
より転送させ、まず網羅情報データ格納バッファ１４ａ
に網羅情報データを格納させる。そして、論理シミュレ
ーション部１１で、テストデータＡによる論理シミュレ
ーションを実行させる。その論理シミュレーションの実
行と同時に、その論理シミュレーションの実行途中の結
果をもとに、更新処理部１２ｂには、網羅情報データ格
納バッファ１４ａに格納されている網羅情報データを更
新させる。

【００２０】また、制御部１５は、網羅情報データ格納
バッファ１４ｂが空いていることを検出すると、論理シ
ミュレーション部１１で論理シミュレーションを実行す
るのと並行に、網羅情報データ格納部４より、上述のテ
ストデータＡ用の網羅情報データと異るテストデータＢ
用の網羅情報データをデータ入力手段８ｂにより、網羅
情報データ格納バッファ１４ｂに格納する。

【００２１】網羅情報データ格納バッファ１４ａに格納
されたテストデータＡ用の網羅情報データの論理シミュ
レーションが終了し、その網羅情報データの更新処理も
終了したら、制御部１５は、データ出力手段９ｂにより
更新された網羅情報データを網羅情報データ格納バッフ
ァ１４ａから網羅情報データ格納部４へ転送し、網羅情
報データ格納部４に再格納する。また、テストデータＡ
用の網羅情報データを網羅情報データ格納バッファ１４
ａから網羅情報データ格納部４へ転送するのと並行に、
制御部１５は、テストデータＢによる論理シミュレーシ
ョンを論理シミュレーション部１１で実行させて、網羅
情報データ格納バッファ１４ｂに格納されているテスト
データＢ用の網羅情報データの更新を更新処理部１２ｂ
に行わせる。

【００２２】最後に、図１の場合と同様に、網羅情報デ
ータ表示部５は、網羅情報データ格納部４に格納されて
いる網羅情報データを取り出し網羅情報データの内容を
端末装置６により表示するか、または印刷装置７により
出力する。

【００２３】このように、論理シミュレーションを繰り
返し実行し、網羅情報データを更新する。すなわち、論
理シミュレーションの実行、及び網羅情報データの更新
処理と、網羅情報データの入力処理または出力処理を制
御部１５が制御し、並行に行わせることによって、テス
トデータによるファームウェアの試験の時間を短縮で
き、かつ必要とするファイル容量を削減することができ
る。

【００２４】第１の実施例と第２の実施例との相違点を
考えると、第１の実施例の場合は、論理シミュレーショ
ンの実行と、網羅情報データの更新処理とを並行に行う
のに対して、第２の実施例の場合は、網羅情報データの
入力処理または出力処理も並行に行うところが異る点で
ある。

【００２５】図３は、Ａ，Ｂ２個のテストデータを用
い、従来のファームウェアの網羅率測定方式及び本発明
のファームウェアの網羅率測定方式により、論理シミュ
レーションを行ったときの動作の比較を示す図である。

【００２６】図３では、２個の異るテストデータＡ，Ｂ
を使用し、入力処理から更新処理までの一連の動作を実
行したときの実行例のタイムチャートが示されており、
従来のファームウェアの網羅率測定方式と、本発明の図
１及び図２に示すファームウェアの網羅率測定方式との
比較が示されている。

【００２７】従来のファームウェアの網羅率測定方式と
本発明のファームウェアの網羅率測定方式とを比較する
と、終了するまでの時間が短縮されているのが分る。す
なわち、時間が従来の方式では“８”に対し、図１のフ
ァームウェアの網羅率測定方式では、“６”と約１．３
倍の性能になっており、図２のファームウェアの網羅率
測定方式では、“４”と２倍の性能になっている。ただ
し、ここでは各手段に要する時間と、論理シミュレーシ
ョンと時間とをすべて同様にかかるものと仮定してい
る。

【００２８】

【発明の効果】以上説明したように、本発明のファーム
ウェアの網羅率測定方式は、論理シミュレーションの実
行と更新処理を並列に行うことができるように構成する
ことにより、テストデータによるファームウェアの試験
の時間を短縮でき、かつ必要とするファイル容量を削減
することができるという効果を有している。

【図面の簡単な説明】

【図１】本発明のファームウェアの網羅率測定方式の第
１の実施例を示すブロック図である。

【図２】本発明のファームウェアの網羅率測定方式の第
２の実施例を示すブロック図である。

【図３】Ａ，Ｂ２個のテストデータを用い従来のファー
ムウェアの網羅率測定方式及び本発明のファームウェア
の網羅率測定方式により論理シミュレーションを行った
ときの動作の比較を示す図である。

【符号の説明】

２ ファームウェアファイル ３ 網羅情報データ作成部 ４ 網羅情報データ格納部 ５ 網羅情報データ表示部 ６ 端末装置 ７ 印刷装置 ８ａ，８ｂ データ入力部 ９ａ，９ｂ データ出力部 １１ シミュレーション部 １２ａ，１２ｂ 更新処理部 １３ 網羅情報データ格納バッファ １４ａ，１４ｂ 網羅情報データ格納バッファ １５ 制御部

Claims (1)

【特許請求の範囲】
1. 【請求項１】（Ａ）論理回路及びファームウェアをテス
   トデータにより動作させ論理シミュレーションを行う論
   理シミュレーション手段、（Ｂ）前記論理シミュレーシ
   ョンの結果に含まれた前記ファームウェアの実行ステッ
   プ情報をデータとする網羅情報データを格納する網羅情
   報データ格納手段、（Ｃ）前記網羅情報データ格納手段
   に格納されている前記網羅情報データを入力する手段、
   （Ｄ）前記入力手段で入力した前記網羅情報データを格
   納する少なくとも１の網羅情報データ格納バッファ、
   （Ｅ）前記論理シミュレーションの実行と同時に実行結
   果に基づいて前記網羅情報データ格納バッファに格納さ
   れている前記網羅情報データを更新する更新手段、
   （Ｆ）前記更新手段により更新された前記網羅情報デー
   タを前記網羅情報データ格納手段に対して出力する手
   段、を備え、前記実行ステップ情報より前記ファームウ
   ェアの網羅率を求めるように構成されていることを特徴
   とするファームウェアの網羅率測定方式。