JPH05324401A - 組込み関数誤差影響度出力方式 - Google Patents

Abstract

(57)【要約】 【目的】 組込み関数誤差影響度（組込み関数の関数値
の誤差のプログラムへの影響度）を認識するための利用
者における負担を軽減する。 【構成】 命令列生成手段１３は、解析手段１１により
生成された中間テキスト群７（組込み関数呼出し中間テ
キストに対応するソースコードの行番号を示す情報を有
する中間テキスト群）中の中間テキストが組込み関数呼
出し中間テキストである場合に、その組込み関数呼出し
中間テキストに対応する行番号付加組込み関数呼出し命
令列３１を生成する。行番号・引数値・関数値出力手段
４４は、関数値判定手段４２による判定結果（基準組込
み関数ルーチンによって算出された関数値と比較組込み
関数ルーチンによって算出された関数値とが等しいか否
かの判定の結果）に基づき、両方の関数値が等しいか否
かを示す情報と両者が等しくない場合における行番号・
引数値・関数値を示す情報とを出力する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、ＦＯＲＴＲＡＮ等の高
級言語で記述されたソースプログラムをコンパイル方式
によって計算機で実行する際における組込み関数誤差影
響度出力方式に関する。

【０００２】

【従来の技術】高級言語で記述されたソースプログラム
のいくつか（ＦＯＲＴＲＡＮプログラム等）では、組込
み関数（平方根を求めるための関数や三角関数や対数関
数等）の使用が許されている。

【０００３】組込み関数を算出するルーチン（以下、組
込み関数ルーチンという）は近似計算によって組込み関
数の関数値を算出しているので、算出される関数値にお
ける誤差の発生は避けられない。

【０００４】ここで、組込み関数ルーチンの性能（計算
精度等）の向上等に起因して、従来のバージョンの組込
み関数ルーチンによって算出される関数値の誤差と新し
いバージョンの組込み関数ルーチンによって算出される
関数値の誤差とが許容範囲内で変化することが生じ得
る。

【０００５】精度に敏感なプログラムでは、上述の「組
込み関数の関数値の誤差の許容範囲内での変化」によっ
てプログラムの実行結果が異なってしまう可能性があ
る。

【０００６】そのようなプログラムでは、プログラムの
実行結果の不正が、ソースプログラムの不正によるもの
であるのか、そのソースプログラムに対応するオブジェ
クトプログラムの不正によるものであるのか、上述の組
込み関数の関数値の誤差の変化の影響によるものである
のかを切り分けることが困難になる場合が多い。

【０００７】このような場合に、２つの組込み関数ルー
チンによって算出される関数値の誤差の差異のプログラ
ム（上述のようなプログラム）への影響度を知りたいと
いう要求が生じ、このような影響度を利用者等に知らせ
るために「組込み関数誤差影響度出力方式」が必要にな
る。

【０００８】なお、組込み関数誤差影響度出力方式は、
組込み関数の関数値の真値とみなせるような精度の高い
関数値（誤差が０と考えられるような関数値）を算出す
る組込み関数ルーチンと一般的に運用される組込み関数
ルーチンとの間の関数値（関数値の誤差）の差異を求め
て、一般的に運用される組込み関数ルーチンの性能を調
べる目的等にも利用される。

【０００９】従来、この種の組込み関数誤差影響度出力
方式では、次のような処理が行われていた。

【００１０】まず、基準となる組込み関数ルーチン（従
来のバージョンの組込み関数ルーチンや精度の高い関数
値を算出する組込み関数ルーチン等。以下、基準組込み
関数ルーチンという）がオブジェクトプログラム（組込
み関数誤差影響度の調査の対象となるプログラムに係る
オブジェクトプログラム）にリンクされ、基準組込み関
数ルーチンによって算出される関数値が求められる。

【００１１】次に、基準組込み関数ルーチンと比較され
る組込み関数ルーチン（新しいバージョンの組込み関数
ルーチンや一般的に運用される組込み関数ルーチン等。
以下、比較組込み関数ルーチンという）が上述のオブジ
ェクトプログラムと同一のオブジェクトプログラムにリ
ンクされ、比較組込み関数ルーチンによって算出される
関数値（基準組込み関数ルーチンによって算出された関
数値に対応する関数値）が求められる。

【００１２】さらに、両方の組込み関数ルーチンに係る
関数値の誤差の差異が利用者によって比較され、差異が
生じている場合には関数値の誤差の差異の影響度等（ど
の種類の組込み関数がどのくらい影響しているかという
内容等も含まれる）が利用者によって調査されていた。

【００１３】

【発明が解決しようとする課題】上述した従来の組込み
関数誤差影響度出力方式では、基準組込み関数ルーチン
によって算出される関数値の誤差と比較組込み関数ルー
チンによって算出される関数値の誤差との差異に起因す
る影響度を出力するためにはリンク作業の繰返しや利用
者による比較・調査等が必要になるので、組込み関数の
関数値の誤差のプログラムへの影響度（組込み関数誤差
影響度）を認識するための利用者における負担が大きく
なるという問題点があった。

【００１４】本発明の目的は、上述の点に鑑み、組込み
関数誤差影響度を示す情報を容易に出力することがで
き、組込み関数誤差影響度を認識するための利用者にお
ける負担を軽減することができる組込み関数誤差影響度
出力方式を提供することにある。

【００１５】

【課題を解決するための手段】本発明の組込み関数誤差
影響度出力方式は、ソースプログラムを解析し組込み関
数呼出し中間テキストに対応するソースコードの行番号
を示す情報を有する中間テキスト群を生成するコンパイ
ラ内の解析手段と、この解析手段により生成された中間
テキスト群中の中間テキストが組込み関数呼出し中間テ
キストである場合にその組込み関数呼出し中間テキスト
に対応する行番号付加組込み関数呼出し命令列を生成す
る前記コンパイラ内の命令列生成手段と、前記コンパイ
ラによって生成されたオブジェクトプログラムを有する
ロードモジュールの実行時に前記命令列生成手段によっ
て生成された行番号付加組込み関数呼出し命令列から行
番号および引数値を受け取る組込み関数実行手続き内の
行番号・引数値受取り手段と、基準組込み関数ルーチン
によって算出された関数値と比較組込み関数ルーチンに
よって算出された関数値とが等しいか否かを判定する前
記組込み関数実行手続き内の関数値判定手段と、この関
数値判定手段による判定結果に基づき基準組込み関数ル
ーチンによって算出された関数値と比較組込み関数ルー
チンによって算出された関数値とが等しいか否かを示す
情報と両者が等しくない場合における行番号・引数値・
関数値を示す情報とを出力する前記組込み関数実行手続
き内の行番号・引数値・関数値出力手段とを有する。

【００１６】

【作用】本発明の組込み関数誤差影響度出力方式では、
コンパイラ内の解析手段がソースプログラムを解析し組
込み関数呼出し中間テキストに対応するソースコードの
行番号を示す情報を有する中間テキスト群を生成し、コ
ンパイラ内の命令列生成手段が解析手段により生成され
た中間テキスト群中の中間テキストが組込み関数呼出し
中間テキストである場合にその組込み関数呼出し中間テ
キストに対応する行番号付加組込み関数呼出し命令列を
生成し、組込み関数実行手続き内の行番号・引数値受取
り手段がコンパイラによって生成されたオブジェクトプ
ログラムを有するロードモジュールの実行時に命令列生
成手段によって生成された行番号付加組込み関数呼出し
命令列から行番号および引数値を受け取り、組込み関数
実行手続き内の関数値判定手段が基準組込み関数ルーチ
ンによって算出された関数値と比較組込み関数ルーチン
によって算出された関数値とが等しいか否かを判定し、
組込み関数実行手続き内の行番号・引数値・関数値出力
手段が関数値判定手段による判定結果に基づき基準組込
み関数ルーチンによって算出された関数値と比較組込み
関数ルーチンによって算出された関数値とが等しいか否
かを示す情報と両者が等しくない場合における行番号・
引数値・関数値を示す情報とを出力する。

【００１７】

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

【００１８】図１は、本発明の組込み関数誤差影響度出
力方式の一実施例の構成を示すブロック図である。本実
施例の組込み関数誤差影響度出力方式は、コンパイラ１
と、ソースプログラム２と、オブジェクトプログラム３
と、組込み関数実行手続き４と、リンケージエディタ５
と、ロードモジュール６と、中間テキスト群７とを含ん
で構成されている。

【００１９】コンパイラ１は、解析手段１１と、中間テ
キスト読込み手段１２と、命令列生成手段１３とを含ん
で構成されている。

【００２０】オブジェクトプログラム３は、行番号付加
組込み関数呼出し命令列３１を含んで構成されている。

【００２１】組込み関数実行手続き４は、行番号・引数
値受取り手段４１と、関数値判定手段４２と、関数値返
却手段４３と、行番号・引数値・関数値出力手段４４と
を含んで構成されている。なお、リンケージエディタ５
によってロードモジュール６に組み込まれている組込み
関数実行手続き４は、１つだけとは限らない。

【００２２】図２は、コンパイラ１の処理を示す流れ図
である。この処理は、ソースプログラム解析ステップ１
０１と、中間テキスト読込みステップ１０２と、中間テ
キスト群読込み終了判定ステップ１０３と、組込み関数
呼出し中間テキスト判定ステップ１０４と、行番号付加
組込み関数呼出し命令列生成ステップ１０５と、通常命
令列生成ステップ１０６と、オブジェクトプログラム出
力ステップ１０７とからなる。

【００２３】図３は、組込み関数実行手続き４の処理を
示す流れ図である。この処理は、行番号・引数値受取り
ステップ４０１と、基準組込み関数ルーチン呼出しステ
ップ４０２と、比較組込み関数ルーチン呼出しステップ
４０３と、関数値比較ステップ４０４と、行番号・引数
値・関数値出力ステップ４０５と、関数値返却ステップ
４０６とからなる。

【００２４】次に、このように構成された本実施例の組
込み関数誤差影響度出力方式の動作について説明する。

【００２５】コンパイラ１は、ソースプログラム２（Ｆ
ＯＲＴＲＡＮ等の高級言語で記述されたソースプログラ
ム）を入力し、次のような処理を行う（図２参照）。

【００２６】コンパイラ１内の解析手段１１は、ソース
プログラム２を解析してソースプログラム２に対応する
中間テキスト群７を生成する（この際に、組込み関数呼
出し中間テキスト（後述参照）に対応するソースプログ
ラム２中のソースコードの行番号を示す情報を中間テキ
スト群７中に設定する）（ステップ１０１）。

【００２７】中間テキスト読込み手段１２は、中間テキ
スト群７中の１つの中間テキストを読み込む（ステップ
１０２）。

【００２８】命令列生成手段１３は、ステップ１０２で
中間テキストを読み込むことができたか否か（中間テキ
スト群７の読込みが終了していないかどうか）を判定す
る（ステップ１０３）。

【００２９】命令列生成手段１３は、ステップ１０３で
「中間テキストを読み込むことができた」と判定した場
合には、当該中間テキストが組込み関数を呼び出してい
るソースコードに対応する中間テキスト（組込み関数呼
出し中間テキスト）であるか否かを判定する（ステップ
１０４）。

【００３０】命令列生成手段１３は、ステップ１０４で
「当該中間テキストが組込み関数呼出し中間テキストで
ある」と判定した場合には、行番号（当該中間テキスト
に対応するソースコードのソースプログラム２における
行番号）が付加され引数値を有し組込み関数ルーチンを
呼び出す命令列（オブジェクトプログラム３内の行番号
付加組込み関数呼出し命令列３１に該当する命令列）を
生成し（ステップ１０５）、ステップ１０２に制御を戻
す。

【００３１】命令列生成手段１３は、ステップ１０４で
「当該中間テキストが組込み関数呼出し中間テキストで
ない」と判定した場合には、通常の命令列を生成し（ス
テップ１０６）、ステップ１０２に制御を戻す。

【００３２】命令列生成手段１３は、ステップ１０３で
「中間テキストを読み込むことができなかった」と判定
した場合には、それまでに生成した命令列（行番号付加
組込み関数呼出し命令列３１および通常の命令列）を有
するオブジェクトプログラム３を出力する（ステップ１
０７）。

【００３３】リンケージエディタ５は、コンパイラ１に
よって生成されたオブジェクトプログラム３と組込み関
数実行手続き４とを入力し、それらがリンクされた実行
可能なロードモジュール６を出力する。

【００３４】このようにして生成されたロードモジュー
ル６の実行時に、組込み関数実行手続き４は、基準組込
み関数ルーチンによって算出される関数値の誤差と比較
組込み関数ルーチンによって算出される関数値の誤差と
の差異に起因するプログラム（ソースプログラム２やオ
ブジェクトプログラム３に係るプログラム）への影響度
（組込み関数誤差影響度）を示す情報を出力するため
に、次のような処理を行う（図３参照）。

【００３５】オブジェクトプログラム３内の行番号付加
組込み関数呼出し命令列３１に呼び出された組込み関数
実行手続き４内の行番号・引数値受取り手段４１は、行
番号付加組込み関数呼出し命令列３１から組込み関数を
呼び出しているソースコード（組込み関数が記述されて
いるソースコード）のソースプログラム２における行番
号と引数値とを受け取る（ステップ４０１）。

【００３６】関数値判定手段４２は、ステップ４０１で
受け取られた引数値を伴って基準組込み関数ルーチンを
呼び出し、基準組込み関数ルーチンによって算出される
関数値を取得する（ステップ４０２）。

【００３７】また、関数値判定手段４２は、ステップ４
０１で受け取られた引数値を伴って比較組込み関数ルー
チンを呼び出し、比較組込み関数ルーチンによって算出
される関数値を取得する（ステップ４０３）。

【００３８】さらに、関数値判定手段４２は、ステップ
４０２で取得した関数値とステップ４０３で取得した関
数値とを比較して、両者が等しいか否かを判定する（ス
テップ４０４）。

【００３９】行番号・引数値・関数値出力手段４４は、
ステップ４０４で「両者が等しくない」と判定された場
合に、ステップ４０１で受け取られた行番号および引数
値とステップ４０２で取得された関数値およびステップ
４０３で取得された関数値とを組込み関数誤差影響度を
示す情報として出力する（ステップ４０５）。なお、組
込み関数誤差影響度を示す情報としては、基準組込み関
数ルーチンによって算出された関数値と比較組込み関数
ルーチンによって算出された関数値とが等しいか否かを
示す情報と両者が等しくない場合における行番号・引数
値・関数値（上述のような行番号，引数値および関数
値）とを示す情報とが含まれていれば、その情報の形式
は任意である。

【００４０】関数値返却手段４３は、ステップ４０４で
「両者が等しい」と判定された場合またはステップ４０
５の処理が終了した場合に、ステップ４０２で取得され
た関数値（ステップ４０３で取得された関数値でもよ
い）を行番号付加組込み関数呼出し命令列３１を有する
オブジェクトプログラム３に返却する（ステップ４０
６）。

【００４１】

【発明の効果】以上説明したように本発明は、組込み関
数実行手続きの実行時に基準組込み関数ルーチンによっ
て算出される関数値の誤差と比較組込み関数ルーチンに
よって算出される関数値の誤差との差異を自動的に比較
し、差異の有無と差異がある場合の両者の行番号・引数
値・関数値とを出力することにより、組込み関数誤差影
響度を示す情報を容易に出力することができ（組込み関
数誤差影響度を容易に調査することができ）、組込み関
数誤差影響度を認識するための利用者における負担を軽
減することができ、プログラムの精度解析等のために益
を供することが可能になるという効果がある。

【図面の簡単な説明】

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

【図２】図１中のコンパイラの処理を示す流れ図であ
る。

【図３】図１中の組込み関数実行手続きの処理を示す流
れ図である。

【符号の説明】

１ コンパイラ ２ ソースプログラム ３ オブジェクトプログラム ４ 組込み関数実行手続き ５ リンケージエディタ ６ ロードモジュール ７ 中間テキスト群 １１ 解析手段 １２ 中間テキスト読込み手段 １３ 命令列生成手段 ３１ 行番号付加組込み関数呼出し命令列 ４１ 行番号・引数値受取り手段 ４２ 関数値判定手段 ４３ 関数値返却手段 ４４ 行番号・引数値・関数値出力手段

Claims (1)

【特許請求の範囲】
1. 【請求項１】 ソースプログラムを解析し組込み関数呼
   出し中間テキストに対応するソースコードの行番号を示
   す情報を有する中間テキスト群を生成するコンパイラ内
   の解析手段と、 この解析手段により生成された中間テキスト群中の中間
   テキストが組込み関数呼出し中間テキストである場合に
   その組込み関数呼出し中間テキストに対応する行番号付
   加組込み関数呼出し命令列を生成する前記コンパイラ内
   の命令列生成手段と、 前記コンパイラによって生成されたオブジェクトプログ
   ラムを有するロードモジュールの実行時に前記命令列生
   成手段によって生成された行番号付加組込み関数呼出し
   命令列から行番号および引数値を受け取る組込み関数実
   行手続き内の行番号・引数値受取り手段と、 基準組込み関数ルーチンによって算出された関数値と比
   較組込み関数ルーチンによって算出された関数値とが等
   しいか否かを判定する前記組込み関数実行手続き内の関
   数値判定手段と、 この関数値判定手段による判定結果に基づき基準組込み
   関数ルーチンによって算出された関数値と比較組込み関
   数ルーチンによって算出された関数値とが等しいか否か
   を示す情報と両者が等しくない場合における行番号・引
   数値・関数値を示す情報とを出力する前記組込み関数実
   行手続き内の行番号・引数値・関数値出力手段とを有す
   ることを特徴とする組込み関数誤差影響度出力方式。