仕様書に基づいてコンピュータ上で実行されたプログラムの実行に係る実行履歴情報における変数とその変数に設定された値に対して、検査結果を出力する検査結果出力装置であって、前記実行履歴情報から前記変数と該変数の値を抽出する抽出手段と、前記抽出手段により抽出された前記変数と該変数の値について、前記変数についての前記仕様書に規定された制約条件に違反するかどうかを判定する判定手段と、前記判定手段により制約条件違反と判定された場合に、制約違反とされた制約条件に関する情報を、前記実行結果の所定の位置へ追記する追記手段とを備え、前記制約条件に関する情報は、制約条件違反とされた変数に関する仕様書に対応付けられていることを特徴とする検査結果出力装置。前記制約条件に関する情報は、リンク形式で表現されていることを特徴とする請求項1に記載の検査結果出力装置。前記変数は、レジスタ変数であることを特徴とする請求項1又は2に記載の検査結果出力装置。前記制約条件違反とされた変数に関する仕様書は、意味的なまとまりをもった項目ごとにインデックスが付され、前記制約条件に関する情報は、前記インデックスに対応して対応付けられていることを特徴とする請求項1ないし3に記載の検査結果出力装置仕様書に基づいてコンピュータ上で実行されたプログラムの実行に係る実行履歴情報における変数とその変数に設定された値に対して、検査結果を出力する検査結果出力方法であって、前記実行履歴情報から前記変数と該変数の値を抽出する抽出ステップと、抽出された前記変数と該変数の値について、前記変数についての前記仕様書に規定された制約条件に違反するかどうかを判定する判定ステップと、前記判定ステップで制約条件違反と判定された場合に、制約違反とされた制約条件に関する情報を、前記実行結果の所定の位置へ追記する追記ステップとを備え、前記制約条件に対応する所定の情報は、制約条件違反とされた変数に関する仕様書に対応付けられていることを特徴とする検査結果出力方法。前記制約条件に関する情報は、リンク形式で表現されていることを特徴とする請求項5に記載の検査結果出力方法。前記変数は、レジスタ変数であることを特徴とする請求項5又は6に記載の検査結果出力方法。コンピュータに請求項5ないし7いずれか一項に記載の検査結果出力方法を実行させるためのプログラム。請求項8に記載のプログラムを記録したコンピュータ読み取り可能な記録媒体。しかし特許文献1においては、制約条件違反を検出することはできるが、ユーザが前記制約条件に対応する仕様書を確認するときには、人力で探索する必要があり、効率的でない。また、ユーザが実行履歴情報のみからデバッグする必要がある場合には対応できない。また、特許文献2においては、エラーの原因を解析することは可能であるが、特許文献1同様、ユーザがエラーと関連する仕様書を確認したい場合には不便である。以上のように、実行履歴情報上で変数の制約条件違反を発見しても、膨大な量の仕様書から、制約条件違反に関する情報を探索するために、工数と時間がかかるという問題点があった。本発明は、上記問題に鑑みてなされたものであり、実行履歴情報上で制約違反が検出されたとき、制約違反の内容と、それに関連する情報が記載された仕様書の特定箇所へ迅速にアクセスできる検査結果出力装置又は検査結果出力方法を提供することを目的とする。上述した課題を解決し目的を達成するため、本発明にかかる検査結果出力装置は、仕様書に基づいてコンピュータ上で実行されたプログラムの実行に係る実行履歴情報における変数とその変数に設定された値に対して、検査結果を出力する検査結果出力装置であって、前記実行履歴情報から前記変数と該変数の値を抽出する抽出手段と、前記抽出手段により抽出された前記変数と該変数の値について、前記変数についての前記仕様書に規定された制約条件に違反するかどうかを判定する判定手段と、前記判定手段により制約条件違反と判定された場合に、制約違反とされた制約条件に関する情報を、前記実行結果の所定の位置へ追記する追記手段とを備え、前記制約条件に関する情報は、制約条件違反とされた変数に関する仕様書に対応付けられていることを特徴とする。また、本発明にかかる検査結果出力方法は、仕様書に基づいてコンピュータ上で実行されたプログラムの実行に係る実行履歴情報における変数とその変数に設定された値に対して、検査結果を出力する検査結果出力方法であって、前記実行履歴情報から前記変数と該変数の値を抽出する抽出ステップと、抽出された前記変数と該変数の値について、前記変数についての前記仕様書に規定された制約条件に違反するかどうかを判定する判定ステップと、前記判定ステップで制約条件違反と判定された場合に、制約違反とされた制約条件に関する情報を、前記実行結果の所定の位置へ追記する追記ステップとを備え、前記制約条件に対応する所定の情報は、制約条件違反とされた変数に関する仕様書に対応付けられていることを特徴とする。本発明によれば、実行履歴情報上で制約違反が検出されたとき、制約違反の内容と、それに関連する情報が記載された仕様書の特定箇所へ迅速にアクセスできる。以下、本発明の実施形態を図面に基づいて説明する。本発明における検査結果装置の一例としてパーソナルコンピュータ以下PCというを用いて説明する。図1は、本実施形態に係る検査結果出力装置のハードウェア構成を示す図である。図1に示すように、PC1は、制御部11、主記憶部12、補助記憶部13、外部記録装置I/F部14、ネットワークI/F部15、操作部16、表示部17を含む。これら各構成は、バス19を介して相互にデータ送受信可能に接続されている。制御部11は、コンピュータの中で、各装置の制御やデータの演算を行うCPUCentralProcessingUnitである。また、制御部11は、主記憶部12や補助記憶部13に記憶されたプログラムを実行する演算装置であり、入力装置や記憶装置からデータを受け取り、演算、加工した上で、出力装置や記憶装置に出力する。主記憶部12は、ROMReadOnlyMemoryやRAMRandomAccessMemoryなどであり、制御部11が実行する基本ソフトウェアであるOSやソフトウェア等のプログラムやデータを記憶又は一時保存する記憶装置である。本実施形態に係る検査結果出力装置は、主記憶部12をワークエリアとして使用する。補助記憶部13は、HDDHardDiskDriveなどであり、ソフトウェア本体や、それに関連するデータ等を記憶する記憶装置である。外部記録装置I/F部14は、USBUniversalSerialBus等の伝送路を介して接続された、フラッシュメモリ等の記録媒体18とPC1とのインタフェースである。記録媒体18は所定のプログラム又はデータを格納する。この記録媒体18に格納されたプログラム又はデータは、外部記録装置I/F部14を介してPC1にコピーされる。コピーされたプログラム又はデータは、一般に補助記憶部13に保存され、PC1上で利用可能となる。ネットワークI/F部15は、有線及び/又は無線回線等の伝送路により構築されたLANLocalAreaNetwork、WANWideAreaNetworkなどのネットワークを介して接続された通信機能を有する周辺機器とPC1とのインタフェースである。操作部16や表示部17は、キーボードとディスプレイとから構成され、PC1が有する機能を利用する際のUIUserInterfaceとして機能する表示/入力装置である。本実施形態に係る検査結果出力装置が出力した結果は、表示部17を通じてユーザによって確認される。次に、本実施形態に係る検査結果出力装置が有する機能を、図2及び図3を用いて説明する。図2は、本実施形態の検査結果出力装置の機能構成の例を示す図である。図3は、本実施形態の検査結果出力装置の処理の例を示すフローチャートである。本実施形態の検査結果出力装置においては、抽出手段101、判定手段102、追記手段103を備えており、図3に示すフローに従って動作する。まず、抽出手段101は、実行履歴情報実行ログ情報を読み込み、変数とその変数に設定された値が記載された箇所を特定し抽出する。ここで、抽出された変数とその値は、抽出された変数と値のリスト105として一時的に記憶される。その後、判定手段102が、制約式対応表104に記載された制約式に基づき、制約条件違反の判定を行う。そして、制約条件違反と判定されたとき、追記手段103は、制約式対応表によって制約式と関連付けられた、エラーメッセージや閲覧用アドレス、又は制約式そのものを、実行履歴情報に追記する。閲覧用アドレスとは、制約式と関連する情報が記載された、仕様書情報106の特定の場所を示すアドレスであるが、詳細については後述する。図3について詳しく説明する。ステップS201において抽出手段101は実行履歴情報を読みこむ。図4に、読み込まれる実行履歴情報の一例を示す。前記ソフトウェアプログラムとは、MFPMultifunctionPeripheralや情報家電、自動車等に搭載される、いわゆる組み込み機器上で動作するもののみならず、PC上で実行可能な汎用OS向けアプリケーションWindows登録商標オペレーティングシステム、AppleMacintoshオペレーティングシステム、UNIX登録商標オペレーティングシステム、及びLinuxオペレーティングシステム等や、WebアプリケーションJavaScript登録商標、等、一般的にソフトウェアと呼ばれるアプリケーション全般を指す。ステップS202において、抽出手段101は、実行履歴情報から変数とその変数の値が記載された箇所を特定する。その後ステップS203において、抽出手段101は、変数とその値を抽出する。ここで、変数とは一般に、プログラム上でデータを一時的に記憶しておくための領域に名前を付したものをいう。ステップS202においては、実行履歴情報上に出力される変数と値全てが対象として特定される。しかし、本実施形態においては特に、プログラム内の複数のモジュールによって共有して使用される変数や、他のモジュールへ値を渡す際に使用される変数といった、制約条件が課される変数が対象となる。また、実行履歴情報の出力形式は様々である。一般に、デバッグ目的で出力される出力形式は、一定の規則に基づいて出力される。したがって、抽出手段101は、その規則に沿って変数と値に関する箇所を特定するための、図示しない解析手段を備える。解析のために必要な工程は、出力形式の複雑さによって異なるが、出力形式があらかじめわかっていれば、文字列探索や正規表現等、既存の公知技術を適用することで達成可能である。図4のような実行履歴情報の場合について説明する。図4においては、変数に書き込みがなされた場合の実行ログの出力形式は、日付時刻DSetParam変数名値と定められている。この場合、解析手段は、SetParamという文字列を探索し、その後に続く括弧内のカンマの前後の文字列を取得する。解析手段は、カンマの前にある文字列から、前後のダブルクォーテーションを取り除いたものが変数名として抽出する。また、解析手段は、カンマの後にある文字列を数値として抽出する。以上により、変数val1と値1、及び変数val1と値50が抽出される。抽出手段101は、抽出された変数と値のリスト105として、主記憶部12上に保持しておく。図3のフロー図に戻り、ステップS204において、判定手段102は、図5に示された制約式対応表104を、制約番号を1から順に読み込む。制約式対応表104は、制約番号、制約式、エラーメッセージ、インデックス名の項目を有する。図5の例では、制約番号1に対し、制約式ifERROR、エラーメッセージ長さを示す変数が負の値を示しています。、インデックス名SPEC1の項目を有する。制約番号とは、項目ごとに付された番号であり、1から順に制約式の数だけ付される。制約式は、変数に設定された値が制約条件に違反するかどうか判定するために記述された式である。エラーメッセージとは、制約条件違反の内容を文章で説明した文字列である。インデックス名とは、プログラムに関する仕様書上において、意味的なまとまりをもった項目ごとに付された、インデックスの名前を指す。本実施形態においては、インデックス名はHTML文書のファイル名を示している。すなわち、制約番号1の制約式に対応する仕様書情報はSPEC1htmlに記載されている。ステップS205において、判定手段102は、ステップS203で抽出された変数とその変数の値に対し、制約式対応表104の制約式に合致するか判定する。本実施形態において最初に判定される判定式は、ifである。前記判定式は、変数val1が0以下である場合、制約条件違反であることを示している。そこで判定手段102は、抽出された変数と値のリスト105に保管されていた、val1に関する値1及び50について判定を行う。なお、当該判定式は、プログラミング言語で一般に用いられる制御文と条件文によって表現されている。そして、ERRORの部分が、判定条件エラーであることを判定手段102に知らせる条件となっている。ステップS206において、ステップS205の判定の結果、制約条件に違反すると判断された場合、その違反箇所に、図5の制約式対応表に記載された情報に基づきエラーメッセージ、インデックス名から構成される閲覧用アドレス、及び制約式を追記する。なお、インデックス名と閲覧用アドレスとの関係についての詳細は後述する。図6は、制約条件に違反する変数val1と値1について、追記手段103が、対応するエラーメッセージ、閲覧用アドレス、制約式を追記した例を示している。値50が設定されたval1については、制約条件違反ではないため、追記手段103によってエラーメッセージは追記されていない。ステップS207において、図5の制約式対応表の制約番号について、すべて読み込みが終わった場合、処理を終了する。前記制約番号について、読み込みが終わっていない番号がある場合、ステップS204に戻り、残りの制約式について判定処理を続ける。以上により、実行履歴情報における変数とその変数の値について制約条件違反が発見された場合、ユーザは、実行履歴情報上に追記されたエラーメッセージを確認することで、その内容を即座に理解することができる。また、追記された閲覧用アドレスにアクセスすることにより、制約条件に関連する仕様書へ迅速にアクセスすることができる。なお、図5における制約式対応表において、判定式を制御文や条件文で表現せず、具体的な数値範囲だけを指定するようにしてもよい。その場合、判定手段102がその範囲を読み取り、範囲外にある数値を条件違反として判定するような処理を行う。また、図6の例において、追記手段103は、エラーメッセージ、閲覧用アドレス、制約式すべてを追記しているが、これらのいずれかを選択して追記するようにしてもよい。閲覧用アドレスとインデックス名の説明ここで、ステップS207おいて、追記手段103によって追記される閲覧用アドレスについて説明する。閲覧用アドレスは、図5の制約式対応表において、インデックス名の列に記入されたインデックス名によって特定される。図7は、インデックスが付された仕様書情報の例を示している。SPEC1、SPEC2がそれぞれインデックス名を表す。SPEC1は、仕様書情報が表形式で示されており、本実施形態では、変数val1についてval10val10val10それぞれの値について許容されるかどうか、プログラムの実行状態ごとに記載されている。ここでは特に、val10の場合、状態1ではOKであるが、状態2ではエラーとなる旨が示されている。SPEC2は、仕様書情報が文章形式で示されており、関数testの機能や、関数が出力する値についての仕様が示されている。SPEC3以降も、同様にインデックスが付された仕様書情報が記載される。なお、インデックスは、表や文章の形式に限られず、図や、機能ごとの説明等、意味的なまとまりをもった項目に対して必要な数だけ作成される。次に、閲覧用アドレスの特定方法について説明する。図5の制約式対応表のインデックス名の列では、仕様書情報が掲載されたHTML文書のファイル名のみが記載されており、このままでは仕様書情報の所在を特定できない。そこで、ステップS207において追記手段103が閲覧用アドレスを追記する場合には、仕様書情報の所在を示すパス情報を、前記インデックス名に付加して使用する。本実施形態においては、仕様書情報がHTML形式で提供されており、インデックス名がHTML文書の名前を表している。そこで、仕様書情報の所在を示すパス情報は、HTML文書を特定するために必要なURL形式で表現される。具体的には、http仕様書が保管されているコンピュータ名ディレクトリ名のような形式で表される。図6において、追記された閲覧用アドレスhttplocalhostdocumentsspecSPEC01htmlのうち、httplocalhostdocumentsspecの部分がパス情報である。このパス情報については、図示しない記憶手段にあらかじめ記憶しておき、追記手段103が読み出して追記する処理を行う。図6においては、インデックス名がHTMLのファイルそのものを指し示す例を示した。しかしながら、仕様書情報の全てが単一のHTML文書内に記載されている場合には、インデックス名が当該文書の文書内リンクを表してもよい。具体的には、仕様書情報の記載されたHTML文書内に<anameSPEC1>のように記載し、閲覧用アドレスをhttplocalhostdocumentsspecspechtmlSPEC1とする。この場合、仕様書情報の所在を示すパス情報として、図示しない記憶手段にhttplocalhostdocumentsspecspechtmlと記憶しておき、追記手段103が、これにを付し、その後にインデックス名を追加したものを閲覧用アドレスとして追記する。前記閲覧用アドレスにアクセスすることにより、ユーザは、上記HTML文書内の<anameSPEC1>が記載された箇所に素早くアクセスすることができる。この他にも、仕様書情報を全てXML形式で格納しておき、指定されたインデックス名に応じて必要な情報を閲覧できるようにしてもよい。本発明において、XML形式での情報の格納方法や抽出方法について特定するものではなく、一般的に用いられている方法による。この場合も、仕様書情報の所在を示すパス情報とインデックス名を組み合わせによって閲覧用アドレスが構成され、ユーザが当該アドレスにアクセスしたとき、図示しない処理手段がXML形式の仕様書情報から必要な情報を取得して表示する処理を行う。あるいは、図5の制約式対応表のインデックスの列において、閲覧用アドレスを完全なパスの形式で保持し、追記手段103が閲覧用アドレスをそのまま追記してもよい。この場合は、図示しない記憶手段が仕様書情報の所在を示すパス情報を保管する必要はなくなる。以上により、ユーザはこの実行履歴情報を参照することにより、制約条件違反が発生している箇所を容易に特定することができる。また、エラーメッセージを確認することで、制約条件違反の内容を理解することができる。さらに、追記された閲覧用アドレスを辿ることにより、迅速に制約条件に対応する仕様書情報にアクセスすることができる。特に、ユーザが実行履歴情報を元にデバッグ作業を行う場合には、必要となる工数と時間が軽減される。以下、本発明の実施例について説明する。本実施例において、ASICApplicationSpecificIntegratedCircuitが組み込まれた特定用途向けの組み込み機器上で出力された実行履歴情報を対象に、本発明の検査結果出力装置を実施した例について説明する。なお、検査結果出力装置の例としては、図1に示したPC1を用いる。このため、組み込み機器上で実行され出力された実行履歴情報は、PC1上で読み出せる状態になっていることを前提とする。本実施例の検査結果出力装置が有する機能を、図8、図9及び図10を用いて説明する。図8は、本実施例の検査結果出力装置の機能構成の例を示す図である。図9及び図10は、本実施例における検査結果出力装置の動作フロー図である。抽出手段1010、変換手段1015、判定手段1020、追記手段1030、出力手段1035は、制約式対応表1040及びレジスタ定義表1050を参照し、図9及び図10に示すフローに従って動作する。制約式対応表1040には、制約条件違反を判定するための制約式と、その内容を示すエラーメッセージ、及び、その内容と関連する仕様書情報の所在を表すインデックス名が記載されている。レジスタ定義表1050には、レジスタの定義が記載されており、レジスタ番地とそのレジスタ名、ビットフィールド名の仕様が記載されている。ビットフィールドとは、レジスタ内の連続するビットの領域であり、ビットフィールド名とは、ビットフィールドの所定の位置ビットフィールド開始位置から所定の位置ビットフィールド終了位置までの一定の領域を表すために、名前を付したものである。ビットフィールド名を使用することにより、プログラムは、レジスタ内の特定のビットフィールドにアクセスできる。本実施例においては、32ビットの長さをもつレジスタを対象とする。仕様書情報1060にはプログラムの仕様に関する情報が記載されており、制約式対応表1040により、制約式とそれに関する仕様が記載されている箇所とが関連付けられている。図9は、本実施例の検査結果出力装置の動作の概要を示すフローチャートである。まず、ステップS1000において、検査結果出力装置は、実行履歴情報に出力されたレジスタ番地とそのレジスタに書き込まれた値を示す箇所を特定する。そして、検査結果出力装置は、レジスタ定義表1050を参照し、レジスタ番地とその値をビットフィールド名と値に変換する。次に、ステップS2000において、検査結果出力装置は、制約式対応表1040を参照し、制約条件に違反しないか判定する。前記制約条件の違反が検出されたら、当該箇所にエラーメッセージ等の結果を追記する。以下、ステップS1000及びS2000について詳細に説明する。図10Aは、図9のステップS1000の動作フロー図である。ステップS1100において、抽出手段1010は、PC1の補助記憶部13から、実行履歴情報を、主記憶部12に読みこむ。図11に、読み込まれる実行履歴情報の例を示す。図11において、WRITEREG0x05000x01F4C350で表された部分は、0x0500番地のレジスタに0x01F4C350を書き込んだことを示している。なお、この出力形式はあくまで一例であり、実際にはプログラムごとに定められた出力がなされる。ステップS1200において、抽出手段1010は、実行履歴情報からレジスタ番地とその値が記載された箇所を特定する。図11において、WRITEREG0x05000x01F4C350で表された部分が、その箇所に相当する。実行履歴情報の形式はプログラムによって異なるため、あらかじめ決められた規則にしたがって、その場所を特定することになる。例えば本実施例においては、WRITEREGという文字列のキーにして文字列探索し、当該箇所を特定する。ステップS1300において、抽出手段1010は、特定されたレジスタ番地と値を抽出する。図11において、WRITEREGの後ろに現されたで括られた文字列0x0500が、書き込みの対象となったレジスタ番地16進数表記を示している。そして、さらにその後ろの半角スペースの後に記されている0x01F4C350が、当該レジスタに対して書き込まれた値16進数表記である。抽出手段1010は、前記レジスタ番地と値を、正規表現等の公知技術を用いて抽出する。ステップS1400において、変換手段1015は、ステップS1300において抽出されたレジスタ番地0x0500と値0x01F4C350について、図12に示すレジスタ定義表1050を参照し、ビットフィールド名とその値に変換する。ここで、ビットフィールド名とその値の変換方法について、本実施例に基づき説明する。図12のレジスタ定義表において、レジスタ番地0x0500によって表されるレジスタ名Reg1は、ビットフィールド名xsize及びysizeをもつ。前記の値0x01F4C350をビットフィールドごとに表現するために、図12におけるxsize及びysizeについてビットフィールド開始位置およびビットフィールド終了位置を参照する。ビットフィールド名xsizeは、前記の値0x01F4C350をビット表現したものについて、最下位ビットを開始位置として、0ビット目から15ビット目までに表現された値を表す。すなわち、前記値の下16ビット2バイトを表す0xC350がビットフィールド名xsizeで表現される値となる。同様に、ビットフィールド名ysizeについては0x01F4がその値となる。なお、0xC350は、10進数表記すると50000であり、0x01F4は500である。以後、簡単のため、値については10進数表記を使用する。ステップS1500において、追記手段1030は、変換されたビットフィールド名xsize及びysizeと、その値50000及び500を、実行履歴情報においてレジスタ番地と値が記載されていた位置の次の行に追記する。追記する形式は任意であるが、本実施例ではxsize50000のように追記し、改行してysize500を追記する。図13に、当該追記がなされた後のプログラム実施ログの例を示す。本実施例においては、ビットフィールド名が2つ追記されることとなったが、レジスタによっては3つ以上のビットフィールド名を有する場合もある。その場合には、追記手段1030は、すべてのビットフィールド名を実行履歴情報に追記する。ステップS1600において、実行履歴情報内に変換されていないレジスタ番地と値が残っていなければステップS1700に進み、残っていればステップS1400に進む。本実施例においては、変換すべきレジスタ番地を含む箇所はWRITEREG0x05000x01F4C350のみであるため、ステップS1700に進む。ステップS1700において、出力手段1035は、追記手段1030によって変換されたビットフィールド名が追記された実行履歴情報を、PC1の補助記憶部13上にファイルとして出力し、処理を終了する。図10Bは、図9のステップS2000の詳細を示したフローチャートである。ステップS1000により、ビットフィールド名とその値が追記された実行履歴情報のファイルがPC1の補助記憶部13上に出力されている。ステップS2100において、抽出手段1010は、前記実行履歴情報を主記憶部12に読みこむ。ステップS2200おいて、抽出手段1010は、実行履歴情報からビットフィールド名とその値が記載された箇所を特定する。本実施例においては、図13において、WRITEREG0x05000x01F4C350と記載された次の行のxsize50000の箇所及びysize500の箇所である。その後、ステップS2300において、抽出手段1010は、ビットフィールド名xsizeとその値50000を抽出し、抽出したビットフィールドと値のリスト1070として保持しておく。ステップS2400において、判定手段1020は、図14に示された制約式対応表1040を、制約番号順に1から読み込む。制約式対応表1040は、制約番号、制約式、エラーメッセージ、インデックス名の項目を有する。図14の例では、制約番号1に対し、制約式ifERROR、エラーメッセージ主走査画像サイズが32~5192の範囲を超えています。、インデックス名SPEC3の項目を有する。制約番号とは、項目ごとに付された番号であり、1から順に制約式の数だけ付される。制約式は、変数に設定された値が制約条件に違反するかどうか判定するために記述された式である。エラーメッセージとは、制約条件違反の内容を文章で説明した文字列である。インデックス名とは、プログラムに関する仕様書上において、意味的なまとまりをもった項目ごとに付された、インデックスの名前を指す。本実施形態においては、インデックス名はHTML文書のファイル名を示している。すなわち、制約番号1の制約式に対応する仕様書情報はSPEC3htmlに記載されている。ステップS2500において、判定手段1020は、ステップS2300により抽出されたビットフィールド名と値に対し、制約番号に対応する制約式に合致するか判定する。本実施例において最初に判定される判定式は、ifERRORである。当該判定式は、xsizeが32以上5192以下でない場合には制約条件違反であることを表す。したがって、判定手段1020は、ビットフィールド名xsizeについて制約条件違反であると判定する。なお、当該判定式は、プログラミング言語で一般的に用いられる制御文と条件文によって表現されている。そして、ERRORの部分が、判定条件エラーであることを判定手段1020に知らせる条件となっている。しかしながら、図14における制約式対応表において、具体的な数値範囲だけを指定するようにし、判定手段1020がその範囲を読み取り、範囲外にある数値を条件違反として判定するような処理を行ってもよい。本実施例において、判定手段1020が最初に判定対象とするビットフィールド名はxsizeである。この例においては、xsizeの値は50000であり、制約条件違反である。ステップS2600において、ステップS2500の判定の結果、制約条件に違反すると判定された場合には、ステップS2700へ進む。本実施例においては、判定手段1020により、xsizeの値が制約条件違反であると判定しているため、ステップS2700へ進む。ステップS2300の判定の結果、制約条件に違反しないと判定された場合には、ステップ2800へ進む。ステップS2700において、追記手段1030は、実行履歴情報上のビットフィールド名とその値が追記された位置の次の行に、図14の制約式対応表に記載されたエラーメッセージ、インデックス名から構成される閲覧用アドレス及び制約式を付加する。インデックス名と閲覧用アドレスとの関係についての詳細は後述する。本実施例においては、追記手段1030は、図13におけるxsize50000の次の行に、エラーメッセージ主走査画像サイズが32~5192の範囲を超えています。と、閲覧用アドレスhttpwwwricohcojpasicspecSchipLATESTXmodulespec3htmlと、ifERRORが追記される。追記された結果を図16に示す。ステップS2800において、ステップS2300により抽出されたすべてのビットフィールド名と値について判定が終わった場合には、ステップS2900へ進む。本実施例においては、抽出手段1010によって抽出された他のビットフィールド名と値である、ysizeと500について、判定手段1020による判定が終わっていない。そこで、ステップS2500へ進み、xsizeと同様に処理がなされる。ステップS2900において、図13の制約式対応表の制約番号について、すべて読み込みが終わった場合、ステップ3000に進む。本実施例においては、ステップS2500~S2800においてビットフィールド名ysizeについての処理が終わった後、図14における制約番号2の項目について処理をするため、ステップS2400に戻る。ステップS3000おいて、出力手段1035は、追記された実行履歴情報をファイルとして出力する。図16は前記出力結果の例を示している。図16において、xsize50000の部分は、ステップS1000において、追記手段1030が追記したビットフィールド名と値の例である。図16において、<エラー>主走査画像サイズ500番地が32~5192の範囲を超えていますの部分は、ステップS2700において、追記手段1030が追記したエラーメッセージの例である。図16において、httpwwwricohcojpasicspecSchipLATESTXmoduleSPEC3htmlの部分は、ステップS2700において、追記手段1030が追記した閲覧用アドレスである。図16において、ifERRORの部分は、ステップS2700において、追記手段1030が追記した制約式の例である。さらに、図16において、ysize500の部分は、ステップS1000において、追記手段1030が追記したものである。ステップS2000においては、判定手段1020はビットフィールド名ysizeについて制約条件に違反すると判定していない。そのため、追記手段1030は、前記ビットフィールド名に対してエラーメッセージ等を追記していない。以上により、実行履歴情報に出力されたレジスタ番地とその値について制約条件違反が発見された場合、レジスタ番地がビットフィールド名に変換されるとともに、エラーメッセージが表示されることで、違反の内容を即座に確認することができる。また、追記された閲覧用アドレスにアクセスすることにより、制約条件に関連する仕様書へ迅速にアクセスすることができる。なお、図14における制約式対応表において、判定式を制御文や条件文で表現せず、具体的な数値範囲だけを指定するようにしてもよい。その場合、判定手段1020がその範囲を読み取り、範囲外にある数値を条件違反として判定するような処理を行う。また、図16において、追記手段1030は、エラーメッセージ、閲覧用アドレス、制約式すべてを追記しているが、これらのいずれかを選択して追記するようにしてもよい。また、本実施例においては、判定手段1020によって制約条件違反が検出されなかったビットフィールド名ysizeについても、追記手段1030が追記を行っている。しかしながら、制約条件に違反していないビットフィールド名は、ユーザは必要としない場合がある。その場合には、追記手段1030は、当該ビットフィールド名の追記を行わなくてもよい。また、本実施例においては、ステップS1000において追記された実行履歴情報をファイル出力し、ステップS2000において読み込む処理を行っている。しかしながら、実施形態で例示したように、ステップS1000とステップS2000を続けて実行し、途中でファイル出力を行わなくてもよい。閲覧用アドレスとインデックス名の説明ここで、ステップS2700おいて、追記手段1030によって追記される閲覧用アドレスについて説明する。閲覧用アドレスは、図14の制約式対応表において、インデックス名の列に記入されたインデックス名によって特定される。図15は、インデックスが付された仕様書情報の例を示している。SPEC1、SPEC2、SPEC3がそれぞれインデックス名を表す。SPEC1は、レジスタ変数の仕様が表形式で示されており、モード選択レジスタの例が記載されている。また、SPEC2では、文章形式で示されており、変倍/合成に関する処理規則に関する仕様が文章形式で記載されている。また、SPEC3では、表形式で、入力データに対応する入出力画素数範囲が示されている。本実施例におけるxsize及びysizeに関する制約条件は、この入出力画素数範囲表に関連づけられている。次に、閲覧用アドレスの特定方法について説明する。図14の制約式対応表のインデックス名の列では、仕様書情報が掲載されたHTML文書の名前をのみが記載されており、このままでは仕様書情報の所在を特定できない。そこで、ステップS2700において追記手段1030が閲覧用アドレスを追記する場合には、仕様書情報の所在を示すパス情報を、前記インデックス名に付加して使用する。本実施例においては、仕様書情報がHTML形式で提供されており、インデックス名がHTML文書の名前を表している。そこで、仕様書情報の所在を示すパス情報は、HTML文書を特定するために必要なURL形式で表現される。具体的には、http仕様書の保管されているコンピュータ名ディレクトリ名のような形式で表される。図6に追記された閲覧用アドレスhttpwwwricohcojpasicspecSchipLATESTXmoduleSPEC3htmlのうち、httpwwwricohcojpasicspecSchipLATESTXmoduleの部分がパス情報である。このパス情報については、図示しない記憶手段にあらかじめ記憶しておき、追記手段1030が読み出して追記する処理を行う。図14においては、インデックス名がHTMLのファイルそのものを指し示す例を示した。しかしながら、仕様書情報の全てが単一のHTML文書によって提供される場合に、インデックス名が当該文書の文書内リンクを表してもよい。具体的には、仕様書情報の記載されたHTML文書内に<anameSPEC3>と記載し、閲覧用アドレスをhttpwwwricohcojpasicspecSchipLATESTXmodulespechtmlSPEC3としてアクセスする。この場合、仕様書情報の所在を示すパス情報として、図示しない記憶手段にhttpwwwricohcojpasicspecSchipLATESTXmodulespechtmlと記憶しておき、追記手段1030が、これにを付し、その後にインデックス名を追加したものを閲覧用アドレスとして追記する。前記閲覧用アドレスにアクセスすることにより、ユーザは、上記HTML文書内の<anameSPEC3>が記載された箇所に素早くアクセスすることができる。この他にも、仕様書情報を全てXML形式で格納しておき、指定されたインデックス名に応じて必要な情報を抽出できるようにしてもよい。本発明において、XML形式での情報の格納方法や抽出方法について特定するものではなく、一般的に用いられている方法による。この場合も、仕様書情報の所在を示すパス情報とインデックス名を組み合わせによって閲覧用アドレスが構成され、ユーザが当該アドレスにアクセスしたとき、図示しない処理手段がXML形式の仕様書情報から必要な情報を取り出して表示する処理を行う。あるいは、図14の制約式対応表のインデックスの列において、閲覧用アドレスを完全な形で保持し、追記手段1030が閲覧用アドレスをそのまま追記する方法もある。この場合は、図示しない記憶手段が仕様書情報の所在を示すパス情報を保管する必要はなくなる。以上により、情報が追記された実行履歴情報を参照することで、ユーザは制約条件違反のあった箇所がすぐに特定できる。また、制約条件違反のあったレジスタのビットフィールド名とその値が明確になる。さらに、ユーザは制約条件違反に関するエラーメッセージを確認することで、違反の内容を即座に理解することができる。さらに、ユーザが追記された閲覧用アドレスにアクセスすることにより、制約条件に関連する仕様書へ迅速にアクセスすることができる。本実施例のように、レジスタへの書き込みに関する情報を含む実行履歴情報に基づいてデバッグを行う必要がある場合に、本発明はより有効である。