JPH07219819A - プログラム評価データ作成方法 - Google Patents

Abstract

(57)【要約】 【目的】 ソースプログラムの評価データを容易に作成
する。 【構成】 ソースプログラム１０を読み込んで基本ブロ
ックに分割し、それぞれの基本ブロック情報を基本ブロ
ックファイル１２０に格納する基本ブロック分割部１１
０と、基本ブロックファイル１２０のデータから各基本
ブロックが他の基本ブロックに移行するための移行条件
および呼出し変数情報を抽出、作成して移行情報ファイ
ル１４５に格納する移行情報作成部１３５と、移行情報
ファイル１４５のデータからソースプログラムの最初か
ら最後に達する各経路の基本ブロックの順序、変数情報
を含む移行情報を生成して経路情報ファイル１６５に格
納する経路情報作成部１５５と、経路情報ファイル１６
５の中から必要な経路の情報を選択する評価経路先端部
１７０と、評価データを作成する評価データ作成部２０
０とからなる。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、作成されたプログラム
を情報処理システムにより評価する評価データの作成方
法に関し、特に高級言語により記述されたソースプログ
ラムを含むソースプログラムのプログラム評価データ作
成方法に関する。

【０００２】

【従来の技術】一般に、情報処理システムのプログラム
を開発するときは、図３７に示すように、ユーザの要求
を分析する要求分析工程、プログラムの方針と概略の設
計を行なう基本設計工程、利用資源や外部環境などの仕
様を定める外部設計工程、プログラムの処理手順を定め
る詳細設計工程、詳細設計に基づき通常は複数のプログ
ラマーによりソースプログラムを作成するコーディング
工程、コーディングされた個々のソースプログラムをテ
ストしながら組み合わせるプログラム統合工程および外
部仕様に関する個々の機能評価テストおよびシステムと
しての総合評価テストの各工程を経てプログラムが完成
される。以上の各工程のうち、主としてコーディング工
程以降の各工程においては、情報処理装置を用いたテス
トおよびデバッグが頻繁に繰り返されて作業が進めら
れ、そのテスト結果によっては詳細設計工程以前の工程
に遡って設計変更の行なわれることも少なくない。

【０００３】また、情報処理システムのプログラムにつ
いては、システムの大規模化、複雑化に伴い、システム
の動作を制御するプログラムの数が増加し、多数のプロ
グラマにより作成される個々のプログラムもサブルーチ
ンやモジュール等を多用した複雑なものになっているの
で、そのテストデータないし評価データの作成には多大
の労力と期間とが必要になっている。したがって、これ
らの作成方法については、従来から種々の提案が開示さ
れている。

【０００４】図３８は、情報処理装置の動作を制御する
プログラム１０と評価データ２５とによる従来のプログ
ラムの評価方法の一般的なブロック図である。作成され
たオブジェクトプログラムが正常に動作するかどうかを
評価するためには、まず、プログラム仕様書に基づいて
第１次の評価データの作成（ステップｓ２０）が行なわ
れ、生成された評価データ２５が記憶装置に格納され
る。次に、この評価データ２５とプログラム１０とが情
報処理装置にロードされてプログラムの評価（ステップ
ｓ３０）が行なわれる。その評価結果は、評価結果３５
として、評価が行なわれる度に印刷装置やディスプレイ
に表示され、記憶装置に格納される。

【０００５】最初の第１次評価データによる評価実行で
は、通常は評価項目や評価部分などの漏れがあり、その
評価結果３５では十分に満足されないので、満足な評価
結果が得られるまで、未評価部分の評価条件を検討し
（ステップｓ４０，ｓ５０）、評価データを追加し、プ
ログラム１０の修正を行なって、再び評価実行（ステッ
プｓ３０）を行なうという手順を何回も繰り返してい
た。

【０００６】評価漏れの検出には、例えば特開平１−１
００６４２号などに開示されたテストカバレージが知ら
れている。テストカバレージは、評価対象プログラムの
評価済部分、未評価部分の区別、または、全評価対象プ
ログラムに対する評価終了部分の割合である評価の達成
度を表すものである。

【０００７】図３９および図４０は、Ｃ言語によるソー
スプログラムのカバレージ測定結果とコールグラフの参
考例である。図３９の各プログラム行の先端に（Ｘ）印
のあるのは、この評価実行時にこのプログラム部分を通
過したことを示すものである。図４０のコールグラフに
おいて、７番目の関数（ tonumber ）が呼ばれるために
は、最初の関数（ main ）で２番目の関数（ yyparse）
が呼ばれ、この関数（yyparse）で次の関数（ yylex）
が呼ばれ、というように、関数（ tonumber ）まで順次
呼ばれることが必要である。また、図３９の８行目のプ
ログラムの指示する動作（n=c-'A'+10; ）が実行される
ためには、１行目から７行目までのプログラムの指示に
より、関数（ tonumber ）に渡される引数（ char c ）
が１６進数ではなくアルファベットの大文字でなければ
ならない。従来は、これらの関数が呼ばれる条件や関数
内の部分を通過するための条件の検出は人間の手で行な
われていた。

【０００８】上述のように従来のプログラム評価方法
は、ソースプログラム中の評価を実行した通過部分を表
示するに止まり、未評価部分を通過するための条件は、
評価データ作成者が手作業で検出しなければならなかつ
た。そのために、評価データの作成に熟練を要する上
に、時間と手間がかかり、ケアレスミスを起こしやすい
という欠点があった。

【０００９】この人手による作業を軽減するために、次
のような各種の方式が開示されている。

【００１０】図４１は、特開平４−１１１０２４号によ
る処理システムを示す図である。この方式は、自動的に
未検証部の未通過パスに対する分岐条件を表示すること
によって効率の良いマイクロプログラムの論理検証を可
能とすることを目的とするもので、分岐情報作成処理１
により、マイクロプログラムのソースコードファイル２
中の分岐情報テーブルから分岐情報ファイル５にマイク
ロプログラムのアドレスと分岐条件と分岐先との情報が
格納される。次に、これらの分岐情報をもととして、マ
イクロプログラムパス、通過有無フラグおよび分岐条件
の情報を格納する分岐通過情報ファイル６が生成され
る。通過有無フラグの情報は、評価実行時に該当箇所を
通過したとき、分岐通過情報更新処理Ｓ３によりフラグ
が立てられる。評価データ作成者は、出力装置７を介し
て分岐通過情報ファイル６の情報を取出して検討し、評
価プログラムやデータを改善してプログラム評価の実行
を繰り返す。

【００１１】図４２は、特開平４−２７１４４０号によ
る試験項目自動生成方式を示す図である。この方式は、
マイクロプログラムの検証のための試験項目を自動的に
生成するための方式で、まず、マイクロプログラムソー
スコードファイル２中の分岐情報テーブルからパス識別
名と分岐条件のファイルである分岐情報ファイル５を生
成する。次に、この分岐情報から試験項目ファイルを作
成し、さらに重複するパスや論理的にありえないパスを
削除して、有効試験項目ファイル９を作成して出力す
る。

【００１２】図４３は、特開平４−２６０９４１号によ
るテストデータの自動生成装置のシステム構成図であ
る。この装置は、網羅度１００％のテストデータを自動
的に生成することを目的とし、テスト対象のプログラム
１１、または論理回路中の全ての分岐命令、分岐条件デ
ータ１２を抽出する分岐情報抽出手段９と、抽出した分
岐情報によりプログラムの開始から終了、または論理回
路の入力から出力にいたる全ての経路を終了命令から開
始命令へ、または出力端子から入力端子へと逆向きにト
レースすることにより、順次各経路を通過するテストデ
ータ１３を生成する逆トレース処理手段１０とを有す
る。

【００１３】図４４は、特開平３−２７１９４９号によ
るテスト環境自動生成方式のシステム構成図である。こ
の方式は、テスト条件を網羅したテストデータの生成を
目的として、原始プログラムを入力する入力手段１１、
原始プログラムの分岐条件を記憶して外部データ２１と
加工データ２２を作り出す分岐情報蓄積手段１２、原始
プログラムが使用するファイルアクセス方法を解析して
ファイル情報２３を作り出すファイル解析手段１３、お
よび原始プログラムに必要なテスト環境を生成するテス
ト環境作成手段１４を有する。

【００１４】

【発明が解決しようとする課題】上述の第１、第２の公
知例は、例示のように、マイクロプログラムを対象とす
るものであり、分岐情報ファイルなどのプログラムの流
れの情報がすでにマイクロプログラムテーブルに格納さ
れている。しかしながら、Ｃ言語などの高級言語で記述
されたコメント文など、コンピュータの動作を制御する
命令以外の行を含むソースプログラムやプログラムの流
れの情報がないマイクロプログラム以外のソースプログ
ラムを評価しようとする場合には、これらの手段により
評価データを作成する前にソースプログラムの流れの情
報を予め生成しなければならないので、公知例をそのま
ま適用することができないという欠点があった。

【００１５】また、第３、第４の公知例の方式は、評価
項目や評価データの漏れを防ぐために、分岐条件の解析
処理などを評価対象のソースプログラムまたは実行形式
のプログラムの全行に対して行なう必要があり、分岐条
件式に記述された変数の入力や加工にも問題があり、ま
た、全ての経路を漏れなく検査するために生成される評
価データの量および評価実行時間が増大して、評価シス
テム資源の許容限界を超過することがあるという問題点
がある。

【００１６】本発明の目的は、上述の欠点を解消し、評
価対象のプログラムの流れによる経路情報を生成して効
率の良い評価データを容易に作成することができるプロ
グラム評価データ作成方法を提供することにある。

【００１７】

【課題を解決するための手段】本発明のプログラム評価
データ作成方法は、ソースプログラムを読み込み、分岐
命令およびラベルを検出し、連続した一連のプログラム
群ごとに分割するプログラム分割手順と、分割された各
プログラム群から他の分割された１つまたは複数のプロ
グラム群へ移行するためのプログラム群相互間の移行情
報を生成して記憶する移行情報生成手順と、生成された
移行情報を連続して前記ソースプログラムの最初から各
プログラム群に到達するための到達情報を生成して出力
する到達情報生成手順とを含む。

【００１８】また、別の実施態様においては、ソースプ
ログラムを読み込み、分岐命令およびラベルを検出し、
連続した一連のプログラム群ごとに分割するプログラム
分割手順と、ソースプログラム中の変数を代入および参
照するための変数情報を生成して記憶する変数情報生成
手順を含み、分割された各プログラム群から他の１つの
プログラム群へ移行するためのプログラム群相互間の移
行情報を生成して記憶する移行情報生成手順と、生成さ
れた移行情報からプログラム群の処理の流れの経路を示
す経路情報を生成する経路情報生成手順と、経路情報と
変数情報とから評価データを生成する評価データ生成手
順とを有する。

【００１９】また、好ましくは、経路情報中の主要な経
路の経路情報を選択する経路情報選択手順と、経路情報
選択手順により選択された経路情報と変数情報とにより
評価データを生成する評価データ生成手順とを有する。

【００２０】また、ソースプログラムは、プログラムの
作成および保守のためのコメント文を含む高級言語によ
り記述されてもよい。

【００２１】また、プログラム群は、１つの分岐命令ま
たはラベルによって分割される基本ブロックと、２つ以
上の基本ブロックを含む複合ブロックとからなるもので
もよい。

【００２２】

【作用】第１の実施態様において、高級言語により記述
されたプログラムを含むソースプログラムは、プログラ
ム分割手順により、分岐命令およびラベルにより１つ以
上のプログラム群に分割され、移行情報生成手順により
各プログラム群から抽出・生成された他の１つのプログ
ラム群への移行情報を用いて、到達情報生成手順により
プログラムの最初から各プログラム群に到達する到達情
報が生成され、出力される。

【００２３】第２の実施態様において、変数情報生成手
順により生成された変数情報と、移行情報生成手順によ
り各プログラム群から抽出・生成された他のプログラム
群への移行情報とを用いて、経路情報生成手順によりプ
ログラム群の処理経路を示す経路情報が生成され、評価
データ生成手順により評価データが生成される。

【００２４】また、経路情報選択手順を設けて、経路情
報選択手順により選択した主要な経路情報と変数情報と
から冗長な経路を削除した評価データを生成することも
できる。

【００２５】

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

【００２６】図１は本発明の第１実施例の構成を示すブ
ロック図、図２はプログラム分割手順に相当する基本ブ
ロック分割部１１０の流れ図、図３は基本ブロック分割
部１１０の内の移行先ブロック番号生成ステップＳ１５
の流れ図、図４は移行情報生成手順に相当する移行情報
作成部１３０の流れ図、図５は到達情報生成手順に相当
する到達情報作成部１５０の流れ図、図６は本実施例に
より評価データを作成しようとする参考例のソースプロ
グラム、図７はフラグ更新ファイル、図８は基本ブロッ
クファイル１２０、図９、１０は移行情報ファイル１４
０の作成経過説明図、図１１、１２は到達情報ファイル
１６０の構成図である。

【００２７】図１において、本実施例は、ソースプログ
ラム１０を読み込んでそのラベル名、分岐命令により一
連のプログラム群である基本ブロックに分割し、その基
本ブロックごとのブロック番号、ブロックの開始および
最終の行番号、ラベル名、分岐命令、移行先のブロック
番号とラベル名および移行条件、フラグセット命令を有
する基本ブロック情報を生成して基本ブロックファイル
１２０に格納する、プログラム分割手順に相当する基本
ブロック分割部１１０と、基本ブロックファイル１２０
のデータから各基本ブロックのブロック番号ｎ、その基
本ブロックの直前に通過した基本ブロックのブロック番
号ｍおよびそのｍ番目の基本ブロックからｎ番目の基本
ブロックに移行するための移行条件とからなる移行情報
ファイル１４０を生成する移行情報生成部１３０と、各
基本ブロックに到達するための条件を表すブロック到達
情報を基本ブロックファイル１２０および移行情報ファ
イル１４０のデータから生成してブロック到達情報ファ
イル１６０に格納する、到達情報生成手順に相当するブ
ロック到達情報作成部１５０とからなり、評価データ作
成部２００においてブロック到達情報ファイル１６０に
出力されたデータから評価データ２５０が作成され、評
価実行部３００においてこの評価データ２５０を用いて
ソースプログラム１０の評価が行なわれる。

【００２８】基本ブロックファイル１２０は、図８に示
すように、ブロック番号１２１、開始行１２２、最終行
１２３、先頭ラベル１２４、移行命令または制御文１２
５、移行先１２６、移行情報１２７からなり、さらに、
移行先１２６欄はブロック番号１２６ａ欄とラベル名１
２６ｂ欄とに、移行情報１２７はフラグセット命令１２
７ａ欄、第１オペランド１２７ｂ欄、第２オペランド１
２７ｃ欄の各欄に分けられる。

【００２９】基本ブロック分割部１１０は、行数カウン
タとブロック番号カウンタとを有しており、その手順が
図２に示される。まず、これらのカウンタを０として初
期化し（ステップＳ１）、このカウンタの値を基本ブロ
ックファイル１２０の「開始行１２２」と「ブロック番
号１２１」の欄にそれぞれ書き込む（ステップＳ２）。
次に、ソースプログラム１０を１行読み込んで（ステッ
プＳ３）、最終行かどうか判定して（ステップＳ４）最
終行でない場合は行数カウンタの値に「１」を加える
（ステップＳ５）。次に、まず、読み込んだ１行の命令
がフラグを変化させる命令か否かを判定して（ステップ
Ｓ６）、フラグを変化させる命令の場合は、フラグ情報
を更新し（ステップＳ７）、移行命令の場合は（ステッ
プＳ８）、読み込んだ行の移行命令と移行先のラベル名
とを「分岐命令１２５」欄と「移行先ラベル名１２６
ｂ」欄に書き込む（ステップＳ９）とともに、フラグを
変化させる命令の場合は更新されたフラグ情報により、
フラグセット命令、第１オペランドおよび第２オペラン
ドをそれぞれ「フラグセット命令１２７ａ」、「第１オ
ペランド１２７ｂ」および「第２オペランド１２７ｃ」
の各欄に書き込む（ステップＳ１０）。また、読み込ん
だ１行の先頭にラベルがある場合は（ステップＳ１
１）、そのラベルを「先頭ラベル名１２４」欄に書き込
むとともに、行数カウンタの値を「最終行１２３」の欄
に書き込み（ステップＳ１２）、次の行を読み込む準備
として、ブロックカウンタの値に「１」を加え（ステッ
プＳ１４）、そのブロックカウンタの値を次のブロック
の「ブロック番号１２１」欄に、また、行数カウンタの
値にも「１」を加えてその値を次のブロックの「開始行
１２２」欄にそれぞれ書き込んで（ステップＳ１４）か
らステップＳ３に戻って次のソースプログラムの１行を
読み込む。ステップＳ１１でラベルがないと判定された
ときは、ステップＳ１２〜Ｓ１４の最終行の書き込みや
カウンタの処理を行なわずに、ステップＳ８またはステ
ップＳ１０の処理の後、ステップＳ３に戻る。

【００３０】次に、基本ブロックファイル１２０に書き
込まれた各ブロックごとに、ステップＳ９で書き込まれ
た移行先ラベル名をブロック番号に変換してその値をそ
れぞれのブロックの「移行先ブロック番号１２６ａ」欄
に書き込む（ステップＳ１５）。図３は、移行先ブロッ
ク番号生成（ステップＳ１５）の詳細な手順を示す。す
なわち、まず、第１のブロックカウンタ＃１に移行先ブ
ロック番号を求めようとするブロック番号１２１欄の値
ｎ（最初は１）を設定する（ステップＳ１５１）。次に
分岐命令１２５欄を見て（ステップＳ１５２）、「NUL
L」でない場合は、第２のブロックカウンタ＃２に第１
ブロックカウンタ＃１と同じ値ｎを設定して（ステップ
Ｓ１５３）、第１ブロックカウンタ＃１の指示するブロ
ック番号ｎの移行先ラベル名１２６ｂ欄のラベル名と、
第２ブロックカウンタ＃２の指示するブロック番号ｍ
（最初はｎ、すなわち１に等しい）の先頭ラベル名１２
４欄のラベル名とが等しいかをみる（ステップＳ１５
４）。この２つのラベル名が等しくない場合は、等しく
なるまで第２ブロックカウンタを「１」ずつ増加して次
のブロックのラベル名を調べる（ステップＳ１５５）。
移行先ラベル名と先頭ラベル名が一致すると、第２ブロ
ックカウンタの値ｍを第１ブロックカウンタの指示する
ブロックの移行先ブロック番号１２６ａ欄に記入する
（ステップＳ１５６）。

【００３１】次に、移行情報作成部１３０の手順によ
り、基本ブロックファイル１２０に基づいて移行情報フ
ァイル１４０を作成する。

【００３２】移行情報ファイル１４０は、図９および図
１０に示すように、「ブロック番号１４１」欄と、その
ブロックに移行する直前のブロックの番号を表す「直前
ブロック番号１４２」欄と、その直前ブロック番号１４
２のブロックからブロック番号１４１欄のブロックに移
行するための条件を表す「移行条件１４３」欄とからな
る。直前ブロック番号１４２欄に記入されるブロック番
号ｍは、ブロック番号１４１欄に記入された１つのブロ
ック番号ｎに対して通常はｎ−１番の１件のみである
が、分岐命令により他の基本ブロックからも移行されて
くる場合には、ｎ−１番の外に１件以上記入されること
がある。

【００３３】移行情報作成部１３０は、まず、最初に必
ず通過しなければならないブロック番号「１」の移行情
報の作成から開始して、ブロック番号順に１ブロックず
つ処理する。すなわち、図４に示すように、最初に移行
情報ファイル１４０のブロック番号１４１欄に「１」、
直前ブロック番号１４２欄に最初のブロックの関数名と
して定義された「START 」、移行条件１４３欄に「NUL
L」と記入する（ステップＳ２１）。

【００３４】次に基本ブロックファイル１２０からブロ
ック番号１４１欄に示される１つのブロック番号ｎ（最
初はステップＳ２１による「１」）の情報を読み出して
（ステップＳ２２）、それが最終の基本ブロックでなけ
れば（ステップＳ２３）、その分岐命令１２５欄のデー
タが「NULL」であるかどうかを判定する（ステップＳ２
４）。

【００３５】分岐命令１２５欄のデータが「NULL」の場
合は、このブロック番号ｎ（最初は１）が次のブロック
番号ｎ＋１（最初は２）に無条件に移行することを示す
のでこのことを次のように記入する。すなわち、記入済
みのブロック番号ｎの次の行のブロック番号１４１欄に
次に移行すべき直後のブロック番号「ｎ＋１」を、通過
条件１４３欄に「NULL」を、直前ブロック番号１４２欄
には処理中のブロック番号「ｎ」を、それぞれ記入（ス
テップＳ２５）してからステップＳ２２に戻って次の基
本ブロック情報を読み込む。

【００３６】分岐命令１２５欄のデータが「NULL」でな
い場合は、まず、フラグセット命令と分岐命令から移行
先ブロックに直前ブロックとしてこのブロックを通過し
たという移行条件を設定する。すなわち、基本ブロック
ファイル１２０のブロック番号ｎ（最初は１）の移行先
ブロック番号１２６ａ欄のブロック番号「ｍ」を移行情
報ファイル１４０のブロック番号１４１欄に、また、分
岐命令１２５欄、フラグセット命令１２７欄、および第
１、第２オペランド欄から導かれる移行条件を移行条件
１４３欄にそれぞれ書き込み、直前ブロック番号１４２
欄には、処理中のブロック番号「ｎ」を書き込む（ステ
ップＳ２６）。

【００３７】さらに、ステップＳ２６の移行条件に該当
しない場合には、分岐命令１２５欄のデータが「NULL」
であった場合と同様に、次に移行するブロック番号とし
て次のブロック番号「ｎ＋１」を移行情報ファイル１４
０のブロック番号１４１欄に、また、移行条件１４３欄
にステップＳ２６の移行条件の否定条件を記入（ステッ
プＳ２７）した後、ステップＳ２２に戻る。

【００３８】次に、到達情報ファイル１６０を作成する
到達情報作成部１５０の手順について説明する。

【００３９】到達情報ファイル１６０は、図１２に示す
ように、ブロック番号１６１欄と、到達条件１６２欄と
からなる。図５において、まず、初期設定として、移行
情報ファイル１４０のブロック番号１４１欄と移行条件
１４３欄の最初のデータを到達情報ファイル１６０のブ
ロック番号１６１欄と到達条件１６２欄の１列目にそれ
ぞれ転写して「１」、「NULL」と書き込む（ステップＳ
３１）。次に移行情報ファイル１４０の次のブロック番
号のデータを読み込む（ステップＳ３２）。次に、ステ
ップＳ３３の判定で最終のブロックでなければ、前のブ
ロック番号の後に続けてそのブロック番号を到達情報フ
ァイル１６０のブロック番号１６１欄に書き込み（ステ
ップＳ３４）、移行条件１４３欄のデータを到達条件１
６２欄に転記する（ステップＳ３５）。このとき、移行
条件が複数の場合は、それらの論理和を演算する。すな
わち、例えば、移行条件が「ＡまたはＢまたはＣまたは
・・」などとあり、ＡとＢが同じ条件の肯定と否定であ
る場合は、結局Ａ（またはＢ）の条件があってもなくて
もどちらでもよいことになるので、その条件を消去して
到着条件は「Ｃまたは・・」とする。また、もしこのよ
うなＡとＢのみでＣ以下がない場合は「NULL」として到
達条件１６２欄に記入する。

【００４０】このようにして最後のブロックまで処理し
て作成された到達情報ファイル１６０は、所望の形式で
到達条件リストとして出力表示される。

【００４１】次に、本実施例の動作例をソースプログラ
ム１０が図６に示すようなアセンブラプログラムの場合
について具体的に説明する。

【００４２】先ず、基本ブロック分割部１１０により基
本ブロックファイル１２０が作成される経過について説
明する。

【００４３】行数カウンタとブロックカウンタを初期化
して基本ブロックファイル１２０のブロック番号１２１
欄に「０」、先頭ラベル１２４欄に「NULL」を設定し
て、始めにブロック番号１２１、開始行１２２、先頭ラ
ベル名１２４を書き込んでからソースプログラム１０を
１行ずつ読み込むとともに、行数カウンタを１ずつ増加
する。フラグセット命令を検出したときは、フラグ情報
を更新して分岐などの移行命令かラベルを検出するまで
保持する。図７は、フラグ更新ファイルの一例を示す。
分岐命令またはラベルを検出すると、行数カウンタの値
を最終行１２３に書き込むとともに、分岐命令であれ
ば、分岐命令１２５、移行先ラベル名１２６ｂ、フラグ
セット命令１２７ａ、第１および第２オペランド１２７
ｂ，１２７ｃの各欄に該当の値を書き込み、ラベルの場
合は、ブロックカウンタを１増加して次の基本ブロック
のブロック番号と開始行を更新してから次の行を読み込
む。このようにして作成されたのが図８の（Ａ）であ
る。基本ブロック分割部１１０は、さらに、図８（Ａ）
のブロック番号１２１と先頭ラベル名１２４を参照して
移行先ラベル名１２６ｂに相当する移行先ブロック番号
を、図８の（Ｂ）に示すように、移行先ブロック番号１
２６ａ欄に書き込み、基本ブロックファイルを完成す
る。

【００４４】基本ブロックファイル１２０が作成された
後、移行情報ファイル１４０が図９の（Ａ）ないし
（Ｃ）の順序で作成される。まず、最初のブロック番号
ｎ、すなわちブロック１、の直前ブロック番号１４２欄
には、最初の関数として定義された関数名「START 」を
記入し、次に、基本ブロックファイル１２０の１行目の
分岐命令が「NULL」であるかを判定する。この場合は、
分岐命令が「JNE 」で、「NULL」ではないので、その次
のブロックｎ＋１、この場合はブロック２、と移行先の
ブロック３の直前ブロック１４２欄にそれぞれ「１」
を、移行条件１４３欄に「FNAME[BX]== 'R' 」と「FNAM
E[BX]!= 'R' 」とを設定する。これが図９の（Ｂ）であ
る。移行命令が「NULL」である２行目は、ブロック番号
２の移行命令欄が「NULL」なので、ブロック３の直前ブ
ロック番号欄に「２」、移行条件欄に「NULL」と記入す
る。これが同図の（Ｃ）である。以下同様にして基本ブ
ロックファイル１２０の最後のブロック番号５まで処理
した結果作成される移行情報ファイル１４０が図１０で
ある。

【００４５】次に、到達情報ファイル１６０の作成経過
を図１１により説明する。まず、ブロック番号１のブロ
ックは最初に実行されるブロックなので、到達条件１６
２欄に「NULL」と記入する。ブロック番号２の到達条件
は、直前ブロック１の到達条件「NULL」と移行情報ファ
イル１４０の移行条件「FNAME[BX]=='R'」とを合わせた
ものなので、「FNAME[BX]=='R'」となる。ブロック番号
３の到達条件も同様に、直前ブロック（ただし、この場
合はブロック１とブロック２の２つ）の到達条件と移行
条件とを合わせたものであるから、図１１の（Ａ）に示
すように、「FNAME[BX]=='R'またはFNAME[BX]!='R'」と
なる。さらに、この条件は「FNAME[BX]」がＲである場
合とＲでない場合の両方を表しているので、結局「NUL
L」として到達条件欄に記入される。以下同様にしてブ
ロック５の途中まで処理したのが図１１の（Ｂ）で、最
終結果が図１１の（Ｃ）である。

【００４６】最後に、到達条件情報の一例として図１２
に示すような到達条件リストが、基本ブロックファイル
１２０と到達情報ファイル１６０とを組合わせることに
より作成され、印刷装置等の出力装置から出力される。

【００４７】評価データを作成するときは、この到達条
件リストから、ブロック番号１、３、５のブロックは評
価データの如何にかかわらず通過し、ブロック番号２を
通過するためには、「FNAME[BX]=='R'」となる評価デー
タが必要であり、ブロック番号４を通過するためには
「FNAME[BX]=='W'」となる評価データが必要なことが判
る。したがって、この例では「FNAME[BX]=='R'」と「FN
AME[BX]=='W'」となる評価データを作成することによ
り、アセンブラソースプログラムの全てのパスを評価す
ることができる。

【００４８】次に第２の具体例として、ソースプログラ
ムがＣ言語によって記述された場合を説明する。

【００４９】Ｃ言語は、関数が処理単位の基本になるの
で、特定の関数に到達する条件と、その関数内で特定の
ブロックに到達する条件とが必要である。また、Ｃ言語
のソースプログラムから変換されたアセンブラプログラ
ムは、コンパイラの行番号情報とＣ言語のソースプログ
ラム文の記述をコメントとしたコメント文とを含む。こ
こでは、図２０にその一部を示すＣ言語によるある１つ
のソースプログラムを言語処理プログラムで処理して出
力されたアセンブラプログラム（ただし、図示を省略）
から本実施例の方法により到着情報を出力する経過を説
明する。この基本ブロック分割部は、図１３、図１４に
示す流れ図のように、基本ブロック分割部１１０と基本
的には同じものであるが、さらに、Ｃソース文に対する
関数の処理を含む。

【００５０】この場合の基本ブロックファイルは、図１
６に示すように、基本ブロックのブロック番号１２１
と、開始行１２２と、最終行１２３と、先頭ラベル名１
２４と、制御文を含む分岐命令１２５と、移行条件１２
７と、移行先のブロック番号１２６ａとラベル名１２６
ｂの各欄からなる図８と同様のファイルに、関数名１２
８と、その関数が呼び出された呼び出し関数名１２９ａ
とブロック番号１２９ｂ、の各欄が付加されたものであ
る。

【００５１】図１３、図１４において、まず、カウンタ
を初期化して最初の基本ブロック情報のブロック番号と
開始行とを基本ブロックファイル１２０に書き込んでか
らソースプログラムを先頭から読み込む（ステップＳ５
１−Ｓ５４）。

【００５２】読み込んだ行がＣ言語のソースプログラム
と判定されたときは、関数名を検出すると関数名の欄を
記入し（ステップＳ５６，５７）、条件文を検出すると
制御文と移行条件の欄を記入し（ステップＳ５８，５
９）、関数呼び出し文を検出すると呼び出される関数の
関数名とブロック番号を呼び出し関数名欄とブロック番
号欄に記入（ステップＳ６０，６１）してから、ステッ
プＳ５３に戻って次の行を読み込む。読み込んだ行が行
番号情報の場合は、言語処理プログラムによるアセンブ
ラソースプログラムではブロックの最終行が行番号とし
て示されているので、この行番号を最終行の欄に記入
し、この行番号に１を加えたものを次の開始行として保
持する（ステップＳ６２〜Ｓ６４）。

【００５３】また、読み込んだ行がアセンブラプログラ
ムの場合は、まず、ラベルか移行文を検出するまで次の
行を読み込み（ステップＳ６５，６６）、ラベルを検出
したときは先頭ラベル名欄に記入し、「ブランチ」など
の移行文を検出したときは移行先ラベル名欄に記入する
（ステップＳ６７〜Ｓ７０）。次に、ブロックカウンタ
を１増加して次の基本ブロックの基本ブロック情報、す
なわち、ブロック番号と開始行を作成し（ステップＳ７
１〜Ｓ７３）、ステップＳ５３に戻って次の行を読み込
む。

【００５４】以上の処理により作成された基本ブロック
ファイルの内容が図１６である。

【００５５】次に、移行情報ファイル１４０を作成する
移行情報作成部１３０の手順は、前の例とほぼ同様であ
るが、移行条件を制御文と条件式から定める点が、フラ
グセット命令、分岐命令および条件式から定めた前の例
と異なる。この例では、例えばブロック番号３−３の場
合は、制御文が「IF」、条件式が「di-si<0 」であるか
ら、「di-si<0 」のときに先頭ラベル「$SCS21115 」の
ブロックに移行し、条件式が「di-si>=0」のとき直後の
ブロックに移行する。また、移行命令が「DO WHILE」で
移行条件が「strcmpi (keycode,scode[dx])!=0」である
ブロック番号３−８の場合は、「strcmpi (keycode,sco
de[dx])!=0」のときは、先頭ラベル「$D111 」のブロッ
クに移行し、「strcmpi (keycode,scode[dx])==0」のと
きは、直後のブロックに移行する。このようにして作成
された移行情報ファイル１４０の内容が図１７である。

【００５６】この移行情報ファイル１４０から前の例と
同様に到達情報作成部１５０によって、図１８に示すよ
うな到達情報ファイル１６０が作成される。

【００５７】さらに、このファイルから特定の関数の到
達条件と、特定のブロックの到達条件を出力する手順を
図１５により説明する。まず、要求された特定のブロッ
クをこの到達情報ファイル１６０から検索して、関数
名、ブロックの開始行と最終行、および到達条件リスト
を出力する。次に、呼び出し関数名が「START 」となる
まで基本ブロックファイルの呼び出しブロック番号を検
索し、その関数の関数名と、その関数を呼び出した関数
の関数名と、到達条件のリストとを出力する。その一例
が図１９である。

【００５８】このソースプログラムの評価データを作成
するときは、このリストを参考にして、例えば、ブロッ
ク番号３−５のブロックを通過する評価データは、関数
「main」で、「selno == 1」の条件を満たし、関数「se
arches」で、「csno==2 」の条件を満たし、さらに関数
「search21」で「di-si>=0」、かつ、「strcmpi(keycod
e,scode[dx])>=0 」となるように作成すればよいことが
判る。

【００５９】次に、呼出し変数の代入、参照に関する変
数情報の作成を含む移行情報作成部と、評価データを作
成する経路を効率的に選択する経路選択部とをさらに含
む本発明の第２の実施例について図２１〜図３６により
説明する。

【００６０】この実施例の構成は、図２１に示すよう
に、前述の実施例と同様のソースプログラム１０を基本
ブロックに分割して基本ブロックファイル１２０に格納
する基本ブロック分割部１１０と、ソースプログラム中
の変数呼出しに関する変数情報を含む移行情報を生成し
て移行情報ファイル１４５に格納する移行情報作成部１
３５と、経路情報生成手順に対応して移行情報ファイル
１４５からソースプログラムの各経路の情報を生成して
経路情報ファイル１６５に格納する経路情報作成部１５
５と、経路情報選択手順に対応して経路情報ファイル１
６５に格納された経路の内から評価データを作成する経
路を選択する評価経路選択部１７０と、評価データ生成
手順に対応する評価データ作成部２００とを有する。

【００６１】本実施例の移行情報作成部１３５は、前述
の移行情報作成部１３０と同様にして移行先のブロック
番号や移行条件を作成するとともに、プログラムの移行
先を指定する呼出し変数およびその変数の演算式等の変
数情報を検出し、移行情報として移行情報ファイル１４
５に格納する。

【００６２】図２２は、経路情報作成部１５５の処理手
順、図２３は経路情報ファイル１６５の構成例を示す。

【００６３】経路情報ファイル１６５は、図２３に示す
ように、経路番号１６６と、各経路番号ごとに通過する
基本ブロック番号１６７、その基本ブロックの移行条件
１６８および変数情報１６９の各欄とからなる。

【００６４】まず、経路数ｎを計数するカウンタを１と
して初期化し（ステップＳ８０）、移行情報ファイル１
４５からソースプログラムの最初の呼出し関数として定
義された関数名「START 」を探してその基本ブロック情
報を読み込む（ステップＳ８１）。次に、読み込んだ基
本ブロック情報から移行ブロック情報を作成する（ステ
ップＳ８２）。ここまでは第１、第２の実施例と同様
で、移行ブロック情報の枠組みを作成して基本ブロック
番号１６７と基本ブロック情報中の変数定義文や演算式
などの変数情報１６９が抽出、格納されるだけで、ブロ
ック移行条件１６８はまだ記入されない。次に、その読
み込んだ基本ブロック情報中に直後の基本ブロック以外
の基本ブロックへの分岐その他の移行先指定があるかを
調べ（ステップＳ８３）、移行先指定がなければ未処理
の経路情報があるかを調べ（ステップＳ８４）、未処理
の経路情報がなければ経路情報作成の処理を完了とす
る。未処理の経路情報があるときは、経路カウンタのｎ
を１増加して（ステップＳ８５）次の経路情報作成の処
理に移る。（ステップＳ８３）で移行先指定がある場合
は、移行先の件数ｍが１つだけか２つ以上かを調べて
（ステップＳ８６）、移行先の数ｍが１ならその移行先
と移行条件（"NULL"など）を記入し（ステップＳ８
９）、移行先の基本ブロック情報を読み込む（ステップ
Ｓ９０）。移行先の数ｍが複数の場合は、まず、処理中
の基本ブロックｎの経路情報をｍ−１個複写して合計ｍ
個の経路情報を作り（ステップＳ８７）、それぞれ対応
する移行先と移行条件とを記入する（ステップＳ８
８）。その後、移行先の基本ブロック情報を読み込んで
（ステップＳ９０）から移行ブロック情報の作成処理
（ステップＳ８２）に戻り、以後の処理を繰り返して全
ての経路について経路情報を作成する。

【００６５】経路情報作成部１５５により作成された経
路情報ファイル１６５を用いることにより、評価データ
作成部２００は、ソースプログラムの評価データを全て
の経路について漏れなく生成することが可能である。し
かし、ソースプログラムが複雑で経路の数が多い場合
に、全ての通過経路について評価データを生成し、ソー
スプログラムを評価することは、評価データの生成およ
び評価実行のいずれにも長時間を必要とし、ソースプロ
グラムの実用化が遅くなるので、評価すべき経路の重要
度を考慮して、冗長な経路を削除し、重要な経路のみを
選択して評価データを生成し、そのような経路について
評価を実施するのが実用的である。

【００６６】評価経路選択部１７０は、このような場合
に効率的に評価データを生成する経路を選択する処理手
順で、図２４はその一例である。

【００６７】予め、図２５のような作業域、すなわち、
ｍ本の経路ｉ（ｉ＝１〜ｍ）を行、ｎ個の基本ブロック
ｊ（ｊ＝１〜ｎ）を列としてｍ行ｘｎ列のマトリクス状
に配列する評価経路選択テーブル１８０を設ける。この
テーブル１８０は、経路ｉが基本ブロックｊを通過する
か否かを数値の１，０で表わす要素Ｅ_i,j がマトリクス
状に配列される経路図欄１８１と、要素Ｅ_i,j の値の行
別の合計ΣＥ_i,0 欄１８２と、要素Ｅ_i,j の値の列別の
合計ΣＥ_0,j 欄１８３と、経路ｉが削除か残存かを表わ
す選択記号Ｃ_i 欄１８４とからなる。したがって、行合
計ΣＥ_i,0 欄１８２は各経路ごとの通過基本ブロック数
を、列合計ΣＥ_0,j 欄１８３は各基本ブロックごとの通
過経路数をそれぞれ表わしている。

【００６８】図２４において、まず、初期設定として、
経路図欄１８１の全ての要素Ｅ_i,jに、各経路が各基本
ブロックを通過するか否かに応じて１または０を記入
し、行合計欄１８２の各行、列合計欄１８３の各列およ
び選択欄１８４にそれぞれ０を記入する（ステップＳ１
８０）。

【００６９】次に、要素Ｅ_i,j の値（０または１）を各
行、各列について合計して、各合計値をそれぞれ行合計
欄１８２と列合計欄１８３に記入する（ステップＳ１８
１）。

【００７０】次に、列合計欄１８３のなかに値が”１”
の基本ブロックがあるか調べる（ステップＳ１８２）。
この列合計ΣＥ_0,j の値が”１”であることは、その基
本ブロックｊが只１つの経路ｉによってのみ評価され得
ることを表わしているので、必須の評価データ作成対象
経路としてその経路ｉを選択し、その行の選択記号欄Ｃ
_i に「選択」の記号の”１”を記入する（ステップＳ１
８３）。列合計ΣＥ_{0, j} の値が”１”である基本ブロッ
クが２つ以上ある場合は、それらの経路の全てについて
同様に処理する。

【００７１】このステップＳ１８２の判定で列ごとの合
計が１である基本ブロックが検出されないときは、行合
計ΣＥ_i,0 欄１８２のうちの最大の経路ｉを１つ選択し
て選択記号欄Ｃ_i に「選択」の記号の”１”を記入する
（ステップＳ１８４）。

【００７２】次に、経路図１８１上で、以上のステップ
で選択された各経路ｉに含まれる基本ブロックｊ、すな
わち、それらの経路番号ｉの各行で要素Ｅ_i,j が”１”
となっている全ての基本ブロックｊの列にマスクをかけ
る（ステップＳ１８５）。この場合、マスクした基本ブ
ロックｊは、選択された経路ｉに対して作成される評価
データにより評価されるので、マスクされた基本ブロッ
クｊのみを含む経路ｉ以外の他の経路は、削除しても通
過しない基本ブロックが発生しない経路であり、このス
テップにより、評価データ作成の対象から除外される。

【００７３】その後、経路図１８１上にマスクされずに
残された基本ブロックがあるかを判定し（ステップＳ１
８６）、残された基本ブロックがなくなれば選択処理は
終了し、マスクから残された基本ブロックがあれば、そ
れらの基本ブロックを含む各経路のみについて改めて要
素Ｅ_i,j の行合計ΣＥ_i,0 欄１８２を計算し、経路選択
テーブル１８０を書き替えて（ステップＳ１８７）か
ら、ステップＳ１８４に戻って行合計ΣＥ_i,0 欄１８２
の最大の経路を選択する。それ以後は、全ての経路に対
して削除か残存かが決定するまで上述の手順を繰り返
す。以上の手順により、冗長な評価経路が削除され、効
率的に評価が行える評価経路が選択される。この評価経
路選択手順を基本ブロック数ｎが８個、経路数ｍが６個
のソースプログラムに適用する場合を参考例として説明
する。

【００７４】図２６は、このソースプログラムについ
て、ステップＳ１８０，Ｓ１８１により作成された最初
の経路選択テーブル１８０’である。例えば、経路番号
ｉ＝１の経路は、基本ブロック番号ｊ＝１，２，３，
５，６および８、すなわち、行合計ΣＥ_1,0 ＝６個の基
本ブロックを通過し、経路番号ｉ＝２の経路は、番号ｊ
＝１，３，５，８の基本ブロック、行合計ΣＥ_2,0 ＝４
個を通過する。また、基本ブロック番号ｊ＝１の基本ブ
ロックは、経路番号ｉ＝１，２および６の経路、列合計
ΣＥ_0,1 ＝３個が通過し、基本ブロック番号ｊ＝３の基
本ブロックは、経路番号ｉ＝１，２，４，５，６の経
路、列合計ΣＥ_0,3 ＝５個が通過することを表わしてい
る。

【００７５】この経路選択テーブル１８０’が作成され
たら、次に列合計１８３’の欄をみて”１”があるか調
べて（ステップＳ１８２）、基本ブロック番号ｊ＝４と
７が検出される。そこで、これらの基本ブロックを通過
する経路、すなわち、Ｅ_i,4とＥ_i,7 が”１”である経
路ｉを調べて、それぞれＥ_4,4 とＥ_5,7 により経路番号
４と５が該当することが判るので、経路番号ｉ＝４と５
の選択記号Ｃ₄ ，Ｃ₅を１にする（ステップＳ１８
３）。ここまでの経過と結果を図２７（Ａ）に示す。

【００７６】次に、これらの経路４，５が通過する基本
ブロック番号ｊ＝３，４，８および２，３，７，８の基
本ブロック、合計５本の列にマスクをかけ（ステップＳ
１８５）、マスクされない基本ブロックの列があるか調
べる（ステップＳ１８６）。すると、番号ｊ＝１，５，
６の３個の基本ブロックが検出されるので、これらのマ
スクされない基本ブロックを通過する経路番号ｉ＝１，
２，３および６の４個の経路について、それぞれのマス
クに覆われない基本ブロックのみの行合計ΣＥ _1,0'，Σ
Ｅ_2,0'，ΣＥ_3,0'，ΣＥ_6,0'を計算する（ステップＳ１
８７）。この結果は、図２７（Ｂ）のようになる。

【００７７】次に、行合計１８２’欄の中で最大のもの
を１つ選択すると、ΣＥ_1,0'＝３が選択されるので、そ
の経路番号ｉ＝１の選択記号Ｃ₁ を１にする（ステップ
Ｓ１８４）。その後、経路番号１の要素Ｅ_1,j が１であ
る基本ブロックの列ｊ＝１，５，６にマスクをかけて
（ステップＳ１８５）、テーブル１８０’上にマスクさ
れない基本ブロックの列がまだ残っているか調べる（ス
テップＳ１８６）。

【００７８】このとき、残った基本ブロックがあれば、
その基本ブロックを通過する経路についてステップＳ１
８７以降の処理手順を繰り返すが、この例の場合は、す
べての基本ブロックｊがマスクされるので、評価経路選
択を終了する。この結果、評価データ作成対象の経路と
して、図２８のように、選択記号Ｃ_i が１である経路ｉ
＝１，４，５が選択され、経路２，３，６が削除され
る。

【００７９】次に、図２１の実施例の動作を、図２９の
ようなＣ言語で記述されたソースプログラムの評価デー
タを作成する場合を具体例として説明する。

【００８０】まず、Ｃ言語で記述されたソースプログラ
ムは、言語処理プログラムで処理されてアセンブラプロ
グラムに変換される。このアセンブラプログラムに変換
されたソースプログラム１０は、上述の２つの実施例と
同様の基本ブロック分割部１１０と移行情報生成部１３
０の処理手順により、基本ブロックに分割され、変数入
力、演算の変数情報を含む移行情報が、図３０〜３２に
示すような、移行情報ファイル１４５Ａ〜Ｃとして抽
出、生成される。

【００８１】次に、この移行情報ファイル１４５Ａ〜Ｃ
をもととして、経路情報作成部１５５の手順により、図
３３と図３４に示すような経路情報ファイル１６５が作
成される。図３３は、説明の都合により経路情報ファイ
ル１６５を変形したもので、各経路番号１６６を横の行
に、各基本ブロック番号１６７をそれぞれの変数情報１
６９とともに縦の列に各経路の移行順序に従って並べ、
各行と列との交点にその経路がその基本ブロックを通過
するための移行条件１６８を記入して表の形式としたも
のである。

【００８２】図３３は、例えば、経路１が、基本ブロッ
ク１−１，１−２，２−１，２−２，２−４，１−４を
通過し、経路３が、基本ブロック１−１，１−３，３−
１，３−２，３−４，１−４を通過することを表す。ま
た、基本ブロック１−１を通過する条件は、変数情報１
６９の「data 1 = buf 1 + buf 2 + 1」で定められる変
数data 1が、経路１、２に対してはともに100 以下であ
り、経路３，４に対しては100 より大きい場合であるこ
と、また、基本ブロック２−１の通過条件は、同様にし
てdata 2が、経路１に対しては200 以下であり、経路２
に対しては200より大きい場合であることをそれぞれ表
わしている。

【００８３】図３４は、図３３を評価経路選択テーブル
１８０の経路図１８１の形式で表現したものである。す
なわち、このソースプログラムは、１２の基本ブロック
１−１〜３−４に分割され、それらを連続する４つの経
路１〜４によって実行されることが判る。そこで、４つ
の経路１〜４のうち、評価データを作成しなくても良い
経路があるかを判定するために、評価経路選択部１７５
の方法を用いて調べると、基本ブロック２−２，２−
３，３−２，３−３がそれぞれ経路１〜４のいずれか１
つずつに通過されているので、基本ブロックを漏れなく
評価するためには、削除できる経路はないことが判る。

【００８４】変数情報１６９は、言語処理技術で標準的
に用いられているバイナリツリと呼ばれる形式で表わす
ことができる。図３５、３６は、その１例を示す。

【００８５】例えば、図３３の評価経路１６６におい
て、経路１および２の基本ブロック１−１から基本ブロ
ック１−２に通過する移行条件は、変数「data 1」が10
0 以下であるが、この「data 1」は、「＝buf 1 + buf
2 + 1 」により、変数の代入、演算が行なわれて、結局
「buf 1 + buf 2 + 1 <= 100」であることを表わしてい
る。このことは、図３５の（Ａ）のノード「＜＝」の左
辺の「data 1」を同図（Ｂ）のノード「＝」の右辺で置
き換えて同図（Ｃ）が得られることに相当する。さらに
遡ると、buf 1 とbuf 2 は、この「data 1」の設定の直
前に関数「fscanf」により設定されるので、基本ブロッ
ク１−１から基本ブロック１−２に通過する評価データ
は、移行条件「buf 1 + buf 2 + 1 <= 100」を満足する
データ「buf1」、「buf2」を与えることにより作成され
る。

【００８６】図３６は、同様に、基本ブロック２−１か
ら基本ブロック２−３に通過する移行条件「data 2 > 2
00」の解析処理経過を示すもので、まず、移行情報から
「data 2 <= 200 」が読み出されて３６図（Ａ）のノー
ドが作成される。次に、変数情報から「data 2 = data
1 + buf 3 」が読み出されて同図（Ｂ）のノードが作成
され、この「data 2」のノードを同図（Ａ）に代入して
同図（Ｃ）のバイナリツリが作成される。さらに、同図
（Ｃ）のバイナリツリの「data 1」に図３５の（Ｂ）を
代入して３６図（Ｄ）、すなわち、「buf 1 + buf 2 +
1 + buf 3 <= 200」が得られる。したがって、上述の条
件とこの条件を満足する「buf1」、「buf2」、「buf3」
のデータが求める評価データとなる。

【００８７】

【発明の効果】以上説明したように本発明は、ソースプ
ログラムを読み込み、分岐命令およびラベルを検出し、
連続した一連のプログラム群ごとに分割するプログラム
分割手順と、分割された各プログラム群から他のプログ
ラム群へ移行するための各プログラム群相互間の移行情
報を生成して記憶する移行情報生成手順と、生成された
各プログラム群相互間の移行情報を連続して、ソースプ
ログラムの最初から個々のプログラム群までに到達する
ための到達情報を生成して出力する到達情報生成手順
と、到達情報によりソースプログラムの評価データを生
成する手順とを含むことにより、任意のプログラム群ま
での到達必要条件を求めることができ、ソースプログラ
ムを漏れなく評価する評価データを容易に作成すること
ができる効果がある。

【００８８】また、ソースプログラム中の呼出し変数を
代入および参照するための変数情報を含み、分割された
各プログラム群から他のプログラム群へ移行するための
各プログラム群相互間の移行情報を生成して記憶する移
行情報生成手順と、生成された移行情報からプログラム
群の処理経路を示す経路情報を生成する経路情報生成手
順と、経路情報と変数情報とからソースプログラムの評
価データを生成する評価データ生成手順とを有すること
により、各経路の呼出し変数による移行条件に対応して
評価データを容易に作成することができる効果がある。

【００８９】また、経路情報中の主要な経路の経路情報
を選択する経路情報選択手順と、経路情報選択手順によ
り選択された経路情報と変数情報とから評価データを生
成する評価データ生成手順とを有することにより、冗長
な経路を削除して評価データを効率よく作成することが
できる効果がある。

【００９０】また、プログラムの作成および保守のため
のコメント文を含む高級言語により記述されたソースプ
ログラムを含むので、評価データを作成できるソースプ
ログラムの範囲を拡張できる効果がある。

【００９１】また、プログラム群は、１つの分岐命令ま
たはラベルによって分割される基本ブロックと、２つ以
上の基本ブロックを含む複合ブロックとからなるので、
プログラム群の分割が効率よく行なわれ、したがって、
評価経路およびその評価データの作成が容易になる効果
がある。

【図面の簡単な説明】

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

【図２】図１の基本ブロック分割部１１０の流れ図であ
る。

【図３】図２中の移行先ブロック番号生成の流れ図であ
る。

【図４】分岐情報作成部１３０の流れ図である。

【図５】到達情報作成部１５０の流れ図である。

【図６】第１実施例により評価しようとする参考例のソ
ースプログラムである。

【図７】フラグ更新ファイルの構成図である。

【図８】基本ブロックファイル１２０の構成図である。

【図９】移行情報ファイル１４０の作成経過を示す図で
ある。

【図１０】移行情報ファイル１４０の内容の一例であ
る。

【図１１】到達条件ファイル１６０の構成例を示す図で
ある。

【図１２】到達条件ファイル１６０の内容の一例であ
る。

【図１３】ソースプログラムがＣ言語で記述された第２
の適用例の流れ図である。

【図１４】第２の適用例の流れ図の一部である。

【図１５】特定のブロックおよび関数の到達条件リスト
出力の流れ図である。

【図１６】ソースプログラムがＣ言語の基本ブロックフ
ァイルの例である。

【図１７】第２の適用例の移行情報ファイルの一例であ
る。

【図１８】第２の適用例の到達情報ファイルである。

【図１９】特定のブロックと関数の到達条件リストの出
力例である。

【図２０】第２の適用例のＣ言語プログラムの要部であ
る。

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

【図２２】経路情報作成部１５５の処理手順を示す図で
ある。

【図２３】経路情報ファイル１６５の構成図である。

【図２４】評価経路選択部１７０の処理手順の流れ図で
ある。

【図２５】評価経路選択テーブル１８０の構成図であ
る。

【図２６】参考例の評価経路選択テーブル１８０’の作
成経過を示す図である。

【図２７】参考例の評価経路選択テーブル１８０’の作
成経過を示す図である。

【図２８】参考例の評価経路選択テーブル１８０’の作
成経過を示す図である。

【図２９】第２の実施例の動作を説明するためのソース
プログラムの１例である。

【図３０】図２９のソースプログラムから作成された経
路情報ファイル１６５を示す図である。

【図３１】図２９のソースプログラムから作成された経
路情報ファイル１６５を示す図である。

【図３２】図２９のソースプログラムから作成された経
路情報ファイル１６５を示す図である。

【図３３】図２９のソースプログラムから作成された経
路情報ファイル１６５を示す図である。

【図３４】図２９のソースプログラムの経路図である。

【図３５】図２９のソースプログラムのバイナリツリの
説明図である。

【図３６】図２９のソースプログラムのバイナリツリの
説明図である。

【図３７】情報処理システムのプログラム開発の工程図
である。

【図３８】従来の評価データ作成方法を示すブロック図
である。

【図３９】従来の評価データ作成方法を示すブロック図
である。

【図４０】従来の評価データ作成方法を示すブロック図
である。

【図４１】従来の評価データ作成方法を示すブロック図
である。

【図４２】従来の評価データ作成方法を示すブロック図
である。

【図４３】従来の評価データ作成方法を示すブロック図
である。

【図４４】従来の評価データ作成方法を示すブロック図
である。

【符号の説明】

１０ ソースプログラム １１０ 基本ブロック分割部 １２０ 基本ブロックファイル １２１ 基本ブロック番号 １２２ 開始行 １２３ 最終行 １２４ 先頭ラベル名 １２５ 分岐命令、制御文 １２６ 移行先 １２６ａ ブロック番号 １２６ｂ ラベル名 １２７ 移行条件 １２７ａ フラグセット命令 １２７ｂ 第１オペランド １２７ｃ 第２オペランド １２８ 関数名 １２９ 呼び出し関数 １２９ａ 関数名 １２９ｂ ブロック番号 １３０，１３５ 移行情報作成部 １４０，１４５ 移行情報ファイル １４１ ブロック番号 １４２ 直前ブロック番号 １４３ 移行条件 １５０ 到達情報作成部 １５５ 評価経路作成部 １６０ 到達情報ファイル １６１ ブロック番号 １６２ 到達条件 １６５，１６５Ａ，１６５Ｂ，１６５Ｃ 経路情報ファ
イル １６６ 経路番号 １６７ 基本ブロック番号 １６８ 移行条件 １６９ 変数情報 １７０ 評価経路選択部 １８０ 経路選択テーブル １８１ 経路図 １８２ 行合計ΣＥ_i,0 １８３ 列合計ΣＥ_0,j １８４ 選択記号Ｃ_i ２００ 評価データ作成部 ２５０ 評価データ ３００ 評価実行部 ３５０ 評価結果出力 Ｓ１−Ｓ１８７ ステップ

Claims (5)

【特許請求の範囲】
1. 【請求項１】 情報処理システムの動作を制御するソー
   スプログラムの評価データ作成方法において、 前記ソースプログラムを読み込み、分岐命令およびラベ
   ルを検出し、連続した一連のプログラム群ごとに分割す
   るプログラム分割手順と、 前記分割された各プログラム群から他のプログラム群へ
   移行するための各プログラム群相互間の移行情報を生成
   して記憶する移行情報生成手順と、 前記生成された各プログラム群相互間の移行情報を連続
   して、前記ソースプログラムの最初から個々のプログラ
   ム群までに到達するための到達情報を生成して出力する
   到達情報生成手順と、 前記到達情報により前記ソースプログラムの評価データ
   を生成する手順とを含むことを特徴とするプログラム評
   価データ作成方法。
2. 【請求項２】 情報処理システムの動作を制御するソー
   スプログラムの評価データ作成方法において、 前記ソースプログラムを読み込み、分岐命令およびラベ
   ルを検出し、連続した一連のプログラム群ごとに分割す
   るプログラム分割手順と、 前記ソースプログラム中の呼出し変数を代入および参照
   するための変数情報を含み、前記分割された各プログラ
   ム群から他のプログラム群へ移行するための各プログラ
   ム群相互間の移行情報を生成して記憶する移行情報生成
   手順と、 前記生成された移行情報からプログラム群の処理経路を
   示す経路情報を生成する経路情報生成手順と、 前記経路情報と前記変数情報とから前記ソースプログラ
   ムの評価データを生成する評価データ生成手順とを有す
   ることを特徴とするプログラム評価データ作成方法。
3. 【請求項３】 経路情報中の主要な経路の経路情報を選
   択する経路情報選択手順と、 前記経路情報選択手順により選択された経路情報と変数
   情報とから評価データを生成する評価データ生成手順と
   を有する請求項２に記載のプログラム評価データ作成方
   法。
4. 【請求項４】 ソースプログラムは、プログラムの作成
   および保守のためのコメント文を含む高級言語により記
   述された請求項１ないし３のいずれか１項に記載のプロ
   グラム評価データ作成方法。
5. 【請求項５】 プログラム群は、１つの分岐命令または
   ラベルによって分割される基本ブロックと、２つ以上の
   基本ブロックを含む複合ブロックとからなる請求項１な
   いし４のいずれか１項に記載のプログラム評価データ作
   成方法。