JPH07319730A - テスト・デバッグ方法 - Google Patents

Abstract

(57)【要約】 【目的】 状態遷移表レベルでプログラムの一時停止位
置を指定したり、テストカバレジを採取すること。 【構成】 状態遷移表の各位置とオブジェクトコードの
アドレスとの対応関係を示す対応関係情報を生成してお
き、テスト開始前に前記の対応関係情報をデバッガに入
力し、デバッガにおける状態遷移表の位置指定操作に対
し、前記の対応関係情報を参照して前記位置指定操作に
対応したオブジェクトコードアドレスを抽出し、該オブ
ジェクトコードアドレスを一時停止位置または実行開始
位置としてテストを実行する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、ソフトウエア開発にお
けるプログラムのテスト・デバッグ方法に係り、詳しく
はプログラム開発者が記述した状態遷移表レベルでのテ
スト・デバッグ方法に関する。

【０００２】

【従来の技術】新規に開発したプログラムの動作を検証
するテスト・デバッグ方法において、プログラムの一時
停止位置を設定し、その一時停止位置までの動作を検証
するという手順をプログラム終了位置まで繰り返すこと
により、全プログラムの動作を検証するという方法があ
る。

【０００３】このようなテスト・デバッグ方法において
一時停止位置の設定方法として、例えば特開平３−１８
９４０号に記載されているように、言語プロセッサに入
力したソーステキストのシーケンス番号（行番号）や言
語プロセッサが付加した文番号を指定し、この指定され
たシーケンス番号または文番号の位置でプログラムの実
行を一時停止させるものがある。

【０００４】一方、テスト状況を確認するために一般に
はテストカバレジをテスト・デバッグ中に採取している
が、従来は、言語プロセッサに入力したソーステキスト
を基にしてテストカバレジＣ₀，Ｃ₁を採取し、表示して
いる。

【０００５】ここで、テストカバレジＣ₀とは、テスト
充分生を示す尺度の１つであり、全命令に対する走行命
令数比率のことであり、またテストカバレジＣ₁とは全
分岐方向に対する走行済み分岐方向数比率のことであ
る。

【０００６】

【発明が解決しようとする課題】ところで、例えば通信
制御等のプログラムの開発に当たっては、新たに発生し
た事象に対する処理を実行した後に遷移する内部状態名
を記述した状態遷移表を作成し、この状態遷移表に従っ
てプログラムのコーディング作業に移行するという作業
形態が採られる。

【０００７】この状態遷移表は、機能仕様が記述できる
上位のプリコンパイラ用言語で記述してプリコンパイラ
に入力することにより、通常のソーステキストに変換す
ることができる。そして、この変換されたソーステキス
トをテスト対象として上記従来方法に従ってテストする
ことができる。

【０００８】一方、プログラム開発者にとっては、テス
トの際にソーステキストのシーケンス番号（行番号）に
よって一時停止位置を指定するのでなく、状態遷移表の
レベルで一時停止位置を指定したり、テストカバレジを
採取するのがテスト作業効率およびテスト進捗度合いを
把握するのに効果的である。

【０００９】しかしながら、状態遷移表をプリコンパイ
ラ用言語で記述したにも関わらず、上記従来方法と同様
に、プリコンパイラで通常のソーステキストに変換し、
この変換されたソーステキストをテスト対象としてテス
トするという方法を採っているため、プログラム開発者
にとっては、状態遷移表レベルでプログラムの一時停止
位置を指定したり、テストカバレジを採取することがで
きず、テスト作業効率が悪いという問題があった。

【００１０】本発明の目的は、状態遷移表レベルでプロ
グラムの一時停止位置を指定してテストを行ったり、テ
ストカバレジを採取することができるテスト・デバッグ
方法を提供することである。

【００１１】

【課題を解決するための手段】上記目的を達成するため
に本発明は、基本的には、事象に対する処理と該処理を
実行した後に遷移する内部状態名を記述した状態遷移表
をプリコンパイラに入力し、状態遷移表に対応するソー
ステキストを生成すると共に、状態遷移表の各位置とソ
ーステキストのシーケンス番号との対応関係を示す第１
の対応関係情報を生成し、さらに前記ソーステキストを
コンパイラに入力し、ソーステキストに対応するオブジ
ェクトコードを生成すると共に、ソーステキストのシー
ケンス番号とオブジェクトコードのアドレスとの対応関
係を示す第２の対応関係情報を生成し、さらに前記第１
および第２の対応関係情報に基づき、状態遷移表の各位
置とオブジェクトコードのアドレスとの対応関係を示す
第３の対応関係情報を生成しておき、テスト開始前に前
記第３の対応関係情報をデバッガに入力し、デバッガに
おける状態遷移表の位置指定操作に対し、前記第３の対
応関係情報を参照して前記位置指定操作に対応したオブ
ジェクトコードアドレスを抽出し、該オブジェクトコー
ドアドレスを一時停止位置または実行開始位置としてテ
ストを実行することを特徴とする。

【００１２】

【作用】状態遷移表では、ある状態に遷移した時の処理
と該処理を実行した後に遷移する内部状態名を表形式で
記述するが、本発明においては、まず、プリコンパイル
用言語で記述した状態遷移表をプリコンパイラに入力
し、状態遷移表の各位置とソーステキストのシーケンス
番号との対応関係を示す第１の対応関係情報を生成す
る。

【００１３】また、プリコンパイラが生成したソーステ
キストを通常のコンパイラに入力し、ソーステキストに
対応するオブジェクトコードを生成させると共に、ソー
ステキストのシーケンス番号とオブジェクトコードのア
ドレスとの対応関係を示す第２の対応関係情報を生成す
る。

【００１４】さらに前記第１および第２の対応関係情報
に基づき、状態遷移表の各位置とオブジェクトコードの
アドレスとの対応関係を示す第３の対応関係情報を生成
する。

【００１５】この段階でテスト準備が整う。

【００１６】そこで、テストを行うに際しては、テスト
開始前に前記第３の対応関係情報をデバッガに入力して
おき、デバッガの起動後に状態遷移表の位置指定操作が
行われたならば、第３の対応関係情報を参照して前記位
置指定操作に対応したオブジェクトコードアドレスを抽
出し、該オブジェクトコードアドレスを一時停止位置ま
たは実行開始位置としてテストを実行する。

【００１７】具体的には、 事前に作成された前記第３の対応関係情報をデバッガ
に入力する。

【００１８】状態遷移表上の特定位置の指定によるプ
ログラムの一時停止命令が入力されると、第３の対応関
係情報により一時停止位置をオブジェクトコードアドレ
スに変換し、当該アドレスに一時停止点を指定する。

【００１９】テスト対象プログラム走行時、デバッガ
の一時停止機能によりテスト対象プログラムが一時停止
すると、停止位置のオブジェクトアドレスが判る。この
時、第３の対応関係情報により状態遷移表上の位置を求
めテスト・デバッグ中のユーザ（プログラム開発者また
はテスト担当者）に知らせる。

【００２０】また、テストカバレジ採取時、第３の対
応関係情報により状態遷移表の各状態に対応した位置を
オブジェクトアドレスに変換し、デバッガのテストカバ
レジ採取機能によりテストカバレジを採取する。

【００２１】テスト対象プログラム走行後、状態遷移
表に基づくテストカバレジをユーザに知らせる。

【００２２】これにより、状態遷移表レベルのテストが
可能となる。また、状態遷移表の全ての位置に対応する
オブジェクトコードアドレス位置でテストカバレジ情報
を採取することが可能になるので、必要十分な状態遷移
に関するテストが行われたかどうかを判断することがで
き、また状態遷移表レベルでテストの進捗度合いを把握
することができる。

【００２３】なお、プログラムの途中からテストを開始
する場合も同様である。但し、この場合は、それ以前の
テストカバレジ情報を引き継ぐようにすることは言うま
でもない。

【００２４】

【実施例】以下、本発明の一実施例を図面により説明す
る。

【００２５】図１は、本発明を実施するテスト・デバッ
グシステムの一実施例を示す構成図である。

【００２６】図１において、１０１は機能仕様が記述さ
れた上位レベルのプログラム、すなわち状態遷移表を格
納する状態遷移表ファイルである。この状態遷移表ファ
イル１０１に格納される状態遷移表２０は、図２に示す
ように、イベント（事象）に対するアクション（処理）
と該アクションを実行した後に遷移する内部状態名ＳＴ
ｎ（ｎ＝１，２，…）を表形式で記述したものであり、
図２の例では列情報２１として複数のイベントが記述さ
れ、行情報として複数の内部状態名が記述されている。
例えば、内部状態ＳＴ１においてイベントＡＢＣが発生
した時は「アクション１」を実行し、内部状態ＳＴ２に
遷移するようになっている。

【００２７】次に、１０２は状態遷移表２０を入力し、
通常の言語プロセッサ用のソーステキストを生成すると
共に、図３に示すように状態遷移表２０の位置３１とソ
ーステキストのシーケンス番号３２との対応関係を示す
プリコンパイラ出力情報（第の対応関係情報）３０を出
力するプリコンパイラである。

【００２８】１０３はプリコンパイラ１０２により生成
されたソーステキストを格納するソーステキストファイ
ルである。

【００２９】１０５はプリコンパイラ１０２が生成した
ソーステキストをコンパイルするコンパイラ（通常の言
語プロセッサ）であり、このコンパイラ１０５はオブジ
ェクトコードを出力すると共に、図４に示すように、ソ
ーステキストのシーケンス番号４１とオブジェクトコー
ドアドレス４２との対応情報を示すコンパイラ出力情報
（第２の対応関係情報）を出力する。

【００３０】１０６はコンパイラ１０５が生成したオブ
ジェクトコードを格納するオブジェクトファイルであ
る。

【００３１】１０８はプリコンパイラ出力情報３０とコ
ンパイラ出力情報４０に基づき、図５に示すように状態
遷移表２０の位置５１とオブジェクトコードアドレス５
２との対応関係を示すテスト・デバッグ情報５０を生成
するテスト・デバッグ情報作成プログラムである。

【００３２】１１０はオブジェクトファイルに格納され
たオブジェクトコードをテスト対象プログラム１１１と
して入力し、端末装置１１２からの指示に応じてテスト
を実行するテスト・デバッグシステムであり、テストに
先立ちテスト・デバッグ情報５０が入力される。

【００３３】図６は、テスト・デバッグ情報５０の作成
手順を示すフローチャートであり、まず、ステップ６０
１でプリコンパイラ出力情報３０を入力し、次のステッ
プ６０２でコンパイラ出力情報４０を入力する。次に、
ステップ６０３でプリコンパイラ出力情報３０とコンパ
イラ出力情報４０よりテスト・デバッグ情報５０を作成
し、ステップ６０４でファイルに出力する。

【００３４】このテスト・デバッグ情報作成プログラム
１０８による処理は、テスト対象プログラムのコンパイ
ル後、テスト開始以前に各モジュール毎に実行される。

【００３５】図７は、テスト・デバッグの手順を示すフ
ローチャートであり、まず、ステップ４０１でユーザが
テスト対象の指定を行うと、デバッガシステム１１０は
ステップ４０９でテスト・デバッグ情報５０を入力す
る。

【００３６】次に、ユーザがステップ４０２においてテ
スト対象プログラムのローディングを指定すると、デバ
ッガシステム１１０はステップ４１０においてカバレジ
採取準備処理を行うと共に、オブジェクトファイル１０
６に格納されているテスト対象プログラム（オブジェク
トコード）１１１を入力する。

【００３７】テスト対象プログラム１１の実行を途中で
停止させる時には、ユーザはステップ４０３で状態遷移
表２０の任意の位置を指定する。すると、デバッガシス
テム１１０は、ステップ４１１においてテスト・デバッ
グ情報５０を参照し、状態遷移表２０の指定位置をオブ
ジェクトコードアドレス５２に変換し、これを中断位置
情報として記憶する。

【００３８】続いてステップ４０４でユーザがテスト対
象プログラム１１１の走行開始を指示すると、デバッガ
システム１１０はテスト対象プログラム１１１の走行を
開始し、テストを開始するが、状態遷移表２０上での中
断位置が指定されていた場合、実行アドレスが前記中断
位置情報に一致した時点でテスト対象プログラム１１１
の実行を一時停止させ、ステップ４１２でその停止した
時のオブジェクトアドレスを状態遷移表２０の位置に変
換して端末装置１１２に表示し、ユーザ（テスト担当
者）に知らせる。

【００３９】このような操作および処理を繰返しながら
デバッグ作業を行い、かつテストカバレジ情報を採取す
る。（ステップ４０５，４０６，４１２）。

【００４０】ステップ４０７でプログラムの走行が終了
したならば、ステップ４０８においてカバレジ情報が端
末装置１１２に表示されるが、従来の様に分岐毎に表示
されるのではなく、本実施例ではステップ４１３で状態
遷移表２０の各位置（状態遷移表２０で記述した各状
態）毎に表示される。

【００４１】従って、ユーザは態遷移表レベルでのテス
トが可能となる。また、状態遷移表２０の全ての位置に
対応するオブジェクトコードアドレス位置でテストカバ
レジ情報を採取することが可能になるので、必要十分な
状態遷移に関するテストが行われたかどうかを判断する
ことができる。

【００４２】

【発明の効果】以上説明したように本発明によれば、状
態遷移表の各位置とオブジェクトコードのアドレスとの
対応関係を示す対応関係情報を生成しておき、テスト開
始前に前記の対応関係情報をデバッガに入力し、デバッ
ガにおける状態遷移表の位置指定操作に対し、前記の対
応関係情報を参照して前記位置指定操作に対応したオブ
ジェクトコードアドレスを抽出し、該オブジェクトコー
ドアドレスを一時停止位置または実行開始位置としてテ
ストを実行するようにしたので、プログラム開発者が記
述した状態遷移表レベルでのテスト・デバッグが可能と
なる。また、状態遷移表で記述した各状態毎にテストカ
バレジ情報を採取することができるので、状態遷移表レ
ベルでテスト進捗度合いを把握し、テスト・デバッグを
効率良く行うことができる。

【図面の簡単な説明】

【図１】本発明を実施するテストデバッグシステムの一
実施例を示す構成例である。

【図２】状態遷移表の一例を示す図である。

【図３】状態遷移表の各位値とソーステキストシーケン
ス番号との対応関係情報の一例を示す図である。

【図４】ソーステキストシーケンス番号とオブジェクト
コードアドレスとの対応関係情報の一例を示す図であ
る。

【図５】状態遷移表の各位値とオブジェクトコードアド
レスとの対応関係情報の一例を示す図である。

【図６】図５の対応関係情報を作成する処理を示すフロ
ーチャートである。

【図７】テスト・デバッグの手順を示すフローチャート
である。

【符号の説明】

３０…プリコンパイラ出力情報、４０…コンパイラ出力
情報、５０…テスト・デバッグ情報、１０１…状態遷移
表ファイル、１０２…プリコンパイラ、１０３…ソース
テキストファイル、１０５…コンパイラ、１０６…オブ
ジェクトファイル、１０８…テストデバッグ情報作成プ
ログラム、１１０…テストデバッグシステム、１１１…
テスト対象プログラム。

───────────────────────────────────────────────────── フロントページの続き (72)発明者 中野 真吉 東京都小平市上水本町五丁目20番１号 日 立超エル・エス・アイ・エンジニアリング 株式会社内

Claims (1)

【特許請求の範囲】
1. 【請求項１】 事象に対する処理と該処理を実行した後
   に遷移する内部状態名を記述した状態遷移表をプリコン
   パイラに入力し、状態遷移表に対応するソーステキスト
   を生成すると共に、状態遷移表の各位置とソーステキス
   トのシーケンス番号との対応関係を示す第１の対応関係
   情報を生成し、 さらに前記ソーステキストをコンパイラに入力し、ソー
   ステキストに対応するオブジェクトコードを生成すると
   共に、ソーステキストのシーケンス番号とオブジェクト
   コードのアドレスとの対応関係を示す第２の対応関係情
   報を生成し、 さらに前記第１および第２の対応関係情報に基づき、状
   態遷移表の各位置とオブジェクトコードのアドレスとの
   対応関係を示す第３の対応関係情報を生成しておき、 テスト開始前に前記第３の対応関係情報をデバッガに入
   力し、デバッガにおける状態遷移表の位置指定操作に対
   し、前記第３の対応関係情報を参照して前記位置指定操
   作に対応したオブジェクトコードアドレスを抽出し、該
   オブジェクトコードアドレスを一時停止位置または実行
   開始位置としてテストを実行することを特徴とするテス
   ト・デバッグ方法。