JPH11194933A - ファイル検証方法 - Google Patents
ファイル検証方法Info
- Publication number
- JPH11194933A JPH11194933A JP10000929A JP92998A JPH11194933A JP H11194933 A JPH11194933 A JP H11194933A JP 10000929 A JP10000929 A JP 10000929A JP 92998 A JP92998 A JP 92998A JP H11194933 A JPH11194933 A JP H11194933A
- Authority
- JP
- Japan
- Prior art keywords
- file
- files
- created
- source
- executable
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Landscapes
- Stored Programmes (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Abstract
(57)【要約】
【課題】 開発ツールにより内容が同一であるべきファ
イルが２以上、作成される際に、それらファイルが内容
上、同一であるか否かを速やかに検証すること。 【解決手段】 例えば開発ツール１００によりソースフ
ァイル１１１、中間ファイル１１２、実行ファイル１１
３が順次作成される過程で、これらファイルに対しファ
イル種別対応にチェックコード生成手段１２１〜１２３
で所定演算を施し、その演算結果を該当ファイルに付加
した上、これと同様にして同一種別ファイルが別途作成
された場合に、同一種別ファイル間で演算結果が比較さ
れる場合は、同一種別ファイル間でのファイル同一性が
速やかに検証され得るものである。
イルが２以上、作成される際に、それらファイルが内容
上、同一であるか否かを速やかに検証すること。 【解決手段】 例えば開発ツール１００によりソースフ
ァイル１１１、中間ファイル１１２、実行ファイル１１
３が順次作成される過程で、これらファイルに対しファ
イル種別対応にチェックコード生成手段１２１〜１２３
で所定演算を施し、その演算結果を該当ファイルに付加
した上、これと同様にして同一種別ファイルが別途作成
された場合に、同一種別ファイル間で演算結果が比較さ
れる場合は、同一種別ファイル間でのファイル同一性が
速やかに検証され得るものである。
Description
【０００１】
【発明の属する技術分野】本発明は、例えば２つのファ
イルの内容が同一であるか否かを検証するためのファイ
ル検証方法に係わり、特にバージョン・設定上、本来、
同一であるべき開発ツール各々で独立に作成されたソー
スファイル、中間ファイル、実行ファイルが同一である
か否かや、同一開発ツールにより相異なる時点として作
成されたソースファイル、中間ファイル、実行ファイル
が同一であるか否かが速やかに検証されるようにしたフ
ァイル検証方法に関するものである。
イルの内容が同一であるか否かを検証するためのファイ
ル検証方法に係わり、特にバージョン・設定上、本来、
同一であるべき開発ツール各々で独立に作成されたソー
スファイル、中間ファイル、実行ファイルが同一である
か否かや、同一開発ツールにより相異なる時点として作
成されたソースファイル、中間ファイル、実行ファイル
が同一であるか否かが速やかに検証されるようにしたフ
ァイル検証方法に関するものである。
【０００２】
【従来の技術】これまでのソフトウェア開発システムで
は、新たにソースファイル、中間ファイル（オブジェク
トファイル）、実行ファイルそれぞれの再生成が行われ
るに際しては、古いソースファイル、中間ファイル、実
行ファイルそれぞれとのファイル種別毎の比較により、
再生成されたファイルが正しいか否かの確認が行われる
場合、ファイル種別毎に全ファイルデータがデータ順に
全て比較されることによって、その確認が行われている
のが実情である。このような確認が必要とされてるの
は、たとえ、空間的に異なるソフトウェア開発環境下で
あっても、本来、同一であると想定されている開発ツー
ル各々のバージョンや設定がそれら開発環境間で常時同
一とは限らなく、また、空間的に同一ソフトウェア開発
環境下にあったとしても、開発ツールにより相異なる時
点としてソースファイル等が作成される場合に、それら
時点間で開発ツールのバージョンや設定が往々にして変
更されている虞があるからである。
は、新たにソースファイル、中間ファイル（オブジェク
トファイル）、実行ファイルそれぞれの再生成が行われ
るに際しては、古いソースファイル、中間ファイル、実
行ファイルそれぞれとのファイル種別毎の比較により、
再生成されたファイルが正しいか否かの確認が行われる
場合、ファイル種別毎に全ファイルデータがデータ順に
全て比較されることによって、その確認が行われている
のが実情である。このような確認が必要とされてるの
は、たとえ、空間的に異なるソフトウェア開発環境下で
あっても、本来、同一であると想定されている開発ツー
ル各々のバージョンや設定がそれら開発環境間で常時同
一とは限らなく、また、空間的に同一ソフトウェア開発
環境下にあったとしても、開発ツールにより相異なる時
点としてソースファイル等が作成される場合に、それら
時点間で開発ツールのバージョンや設定が往々にして変
更されている虞があるからである。
【０００３】なお、この種の技術に関するものとして
は、例えば特開平２ー１４０８２４号公報が挙げられ
る。これによる場合、レコード数が同一とされた、２つ
の比較対象ファイルが比較されるに際しては、その比較
が全てのレコードについて終了するまでの間、それらフ
ァイル各々からは対応するレコードが読み出される度
に、そのレコードの内容比較が行われたものとなってい
る。
は、例えば特開平２ー１４０８２４号公報が挙げられ
る。これによる場合、レコード数が同一とされた、２つ
の比較対象ファイルが比較されるに際しては、その比較
が全てのレコードについて終了するまでの間、それらフ
ァイル各々からは対応するレコードが読み出される度
に、そのレコードの内容比較が行われたものとなってい
る。
【０００４】
【発明が解決しようとする課題】しかしながら、ファイ
ル種別毎に全ファイルデータがデータ順に全て比較され
ることによって、ファイル確認が行われる場合には、フ
ァイル再生成が正しく行われたことの確認と、バックア
ップ用ファイルが正しくバックアップし得たかとの確認
を行う際には、全ファイルデータがデータ順に全て同一
であるかの確認を行う必要があり、したがって、ファイ
ルサイズが大きくなる程に、その確認には多くの時間等
が要されているのが実情である。
ル種別毎に全ファイルデータがデータ順に全て比較され
ることによって、ファイル確認が行われる場合には、フ
ァイル再生成が正しく行われたことの確認と、バックア
ップ用ファイルが正しくバックアップし得たかとの確認
を行う際には、全ファイルデータがデータ順に全て同一
であるかの確認を行う必要があり、したがって、ファイ
ルサイズが大きくなる程に、その確認には多くの時間等
が要されているのが実情である。
【０００５】本発明の第１の目的は、空間的に同一、あ
るいは異なるソフトウェア開発環境の下で、開発ツール
により内容が同一であるべきファイルが２以上、作成さ
れるに際し、それらファイルが内容上、同一であるか否
かが速やかに検証され得るファイル検証方法を供するに
ある。本発明の第２の目的は、空間的に同一、あるいは
異なるソフトウェア開発環境の下で、開発ツールにより
内容が同一であるべきソースファイル、中間ファイルお
よび実行ファイルが２以上、作成されるに際し、それら
ファイルが内容上、同一であるか否かが速やかに検証さ
れ得るファイル検証方法を供するにある。本発明の第３
の目的は、上記第２の目的に加え、ファイルとしてのソ
ースファイル、中間ファイル、実行ファイルのうち、何
れかが内容上、同一でない場合に、開発ツールの何れの
部分に相違があるのかが容易に識別され得るファイル検
証方法を供するにある。
るいは異なるソフトウェア開発環境の下で、開発ツール
により内容が同一であるべきファイルが２以上、作成さ
れるに際し、それらファイルが内容上、同一であるか否
かが速やかに検証され得るファイル検証方法を供するに
ある。本発明の第２の目的は、空間的に同一、あるいは
異なるソフトウェア開発環境の下で、開発ツールにより
内容が同一であるべきソースファイル、中間ファイルお
よび実行ファイルが２以上、作成されるに際し、それら
ファイルが内容上、同一であるか否かが速やかに検証さ
れ得るファイル検証方法を供するにある。本発明の第３
の目的は、上記第２の目的に加え、ファイルとしてのソ
ースファイル、中間ファイル、実行ファイルのうち、何
れかが内容上、同一でない場合に、開発ツールの何れの
部分に相違があるのかが容易に識別され得るファイル検
証方法を供するにある。
【０００６】
【課題を解決するための手段】上記第１の目的は、ソフ
トウェア／ファームウェア開発環境の下で、開発ツール
によりファイルが作成されるに際して、該ファイルが作
成される過程で、該ファイルを構成している情報をデー
タと見做し、該データの全てに対し所定演算が施された
上、演算結果が該ファイルに付加される一方、これと同
様にして、上記ファイルと同一種別のファイルが別途作
成された場合に、それらファイル間で演算結果が比較さ
れることによって、それらファイル間でのファイル同一
性が検証されることで達成される。
トウェア／ファームウェア開発環境の下で、開発ツール
によりファイルが作成されるに際して、該ファイルが作
成される過程で、該ファイルを構成している情報をデー
タと見做し、該データの全てに対し所定演算が施された
上、演算結果が該ファイルに付加される一方、これと同
様にして、上記ファイルと同一種別のファイルが別途作
成された場合に、それらファイル間で演算結果が比較さ
れることによって、それらファイル間でのファイル同一
性が検証されることで達成される。
【０００７】上記第２の目的は、ソフトウェア／ファー
ムウェア開発環境の下で、開発ツールとしてのエディ
タ、コンパイラ、リンカそれぞれによりソースファイ
ル、中間ファイル、実行ファイルが順次作成されるに際
して、ソースファイル、中間ファイル、実行ファイルそ
れぞれが作成される過程で、該ファイルを構成している
情報をデータと見做し、該データの全てに対しファイル
種別対応に所定演算が施された上、演算結果が該当ファ
イルに付加される一方、これと同様にして、ソースファ
イル、中間ファイルおよび実行ファイルが別途作成され
た場合に、同一種別ファイル間で演算結果が比較される
ことによって、同一種別ファイル間でのファイル同一性
が検証されることで達成される。
ムウェア開発環境の下で、開発ツールとしてのエディ
タ、コンパイラ、リンカそれぞれによりソースファイ
ル、中間ファイル、実行ファイルが順次作成されるに際
して、ソースファイル、中間ファイル、実行ファイルそ
れぞれが作成される過程で、該ファイルを構成している
情報をデータと見做し、該データの全てに対しファイル
種別対応に所定演算が施された上、演算結果が該当ファ
イルに付加される一方、これと同様にして、ソースファ
イル、中間ファイルおよび実行ファイルが別途作成され
た場合に、同一種別ファイル間で演算結果が比較される
ことによって、同一種別ファイル間でのファイル同一性
が検証されることで達成される。
【０００８】上記第３の目的は、ソフトウェア／ファー
ムウェア開発環境の下で、開発ツールとしてのエディ
タ、コンパイラ、リンカそれぞれによりソースファイ
ル、中間ファイル、実行ファイルが順次作成されるに際
して、ソースファイル、中間ファイル、実行ファイルそ
れぞれが作成される過程で、そのファイルを構成してい
る情報をデータと見做し、そのデータの全てに対しファ
イル種別対応に所定演算が施された上、演算結果が該当
ファイルに付加される一方、これと同様にして、ソース
ファイル、中間ファイルおよび実行ファイルが別途作成
された場合に、演算結果が一致するまでの間、実行ファ
イル間、中間ファイル間、ソースファイル間で演算結果
の比較が順次行われることによって、同一種別ファイル
間でのファイル同一性に併せて、リンカ、コンパイラそ
れぞれの同一性が検証されることで達成される。
ムウェア開発環境の下で、開発ツールとしてのエディ
タ、コンパイラ、リンカそれぞれによりソースファイ
ル、中間ファイル、実行ファイルが順次作成されるに際
して、ソースファイル、中間ファイル、実行ファイルそ
れぞれが作成される過程で、そのファイルを構成してい
る情報をデータと見做し、そのデータの全てに対しファ
イル種別対応に所定演算が施された上、演算結果が該当
ファイルに付加される一方、これと同様にして、ソース
ファイル、中間ファイルおよび実行ファイルが別途作成
された場合に、演算結果が一致するまでの間、実行ファ
イル間、中間ファイル間、ソースファイル間で演算結果
の比較が順次行われることによって、同一種別ファイル
間でのファイル同一性に併せて、リンカ、コンパイラそ
れぞれの同一性が検証されることで達成される。
【０００９】
【発明の実施の形態】以下、本発明の実施形態を図１か
ら図４により詳細に説明する。先ず図２によりソフトウ
ェア開発環境の下で、ソフトウェア（ファームウェアを
含む）が開発される際での一般的な開発手順について説
明すれば、例えば図示の手順に従って、開発ツール１０
０としてのエディタ１０１、コンパイラ（アセンブラ）
１０２、リンカ１０３それぞれによりソースファイル１
１１、中間ファイル１１２、実行ファイル１１３の新規
作成、または作成済みのソースファイル１１１、中間フ
ァイル１１２、実行ファイル１１３の更新が行われるも
のとなっている。
ら図４により詳細に説明する。先ず図２によりソフトウ
ェア開発環境の下で、ソフトウェア（ファームウェアを
含む）が開発される際での一般的な開発手順について説
明すれば、例えば図示の手順に従って、開発ツール１０
０としてのエディタ１０１、コンパイラ（アセンブラ）
１０２、リンカ１０３それぞれによりソースファイル１
１１、中間ファイル１１２、実行ファイル１１３の新規
作成、または作成済みのソースファイル１１１、中間フ
ァイル１１２、実行ファイル１１３の更新が行われるも
のとなっている。
【００１０】即ち、より具体的にそれらファイルの新規
作成について説明すれば、先ずエディタ１０１によりソ
ースファイル１１１が作成され、次に、コンパイラ１０
２によりソースファイル１１１がコンパイル（アセンブ
ル）されることによって、ＣＰＵ命令から構成される中
間ファイル１１２が作成されるものとなっている。更
に、リンカ１０３によりリンクが行われ、中間ファイル
１１２からは実行ファイル１１３が作成されるものとな
っている。
作成について説明すれば、先ずエディタ１０１によりソ
ースファイル１１１が作成され、次に、コンパイラ１０
２によりソースファイル１１１がコンパイル（アセンブ
ル）されることによって、ＣＰＵ命令から構成される中
間ファイル１１２が作成されるものとなっている。更
に、リンカ１０３によりリンクが行われ、中間ファイル
１１２からは実行ファイル１１３が作成されるものとな
っている。
【００１１】さて、本発明について具体的に説明すれ
ば、図１は本発明に係るソフトウェア開発環境の構成概
念を示したものである。図示のように、ソースファイル
１１１、中間ファイル１１２、実行ファイル１１３がそ
れぞれ作成されるに際しては、それらファイル対応にチ
ェックコード（演算結果）を生成・付加するためのチェ
ックコード生成手段１２１〜１２３が新たに設けられた
ものとなっている。一般に、これらチェックコード生成
手段２２１〜１２３各々には各種のチェックコード生成
方式が適用可とされており、例えばファイル情報の全て
を数字（バイナリデータ）として扱った上、加算や減算
を実施することによりチェックコードを生成する方式
や、ＣＲＣを用いチェックコードを生成する方式、ハッ
シュ法を用いチェックコードを生成する方式が適用され
得るものとなっている。
ば、図１は本発明に係るソフトウェア開発環境の構成概
念を示したものである。図示のように、ソースファイル
１１１、中間ファイル１１２、実行ファイル１１３がそ
れぞれ作成されるに際しては、それらファイル対応にチ
ェックコード（演算結果）を生成・付加するためのチェ
ックコード生成手段１２１〜１２３が新たに設けられた
ものとなっている。一般に、これらチェックコード生成
手段２２１〜１２３各々には各種のチェックコード生成
方式が適用可とされており、例えばファイル情報の全て
を数字（バイナリデータ）として扱った上、加算や減算
を実施することによりチェックコードを生成する方式
や、ＣＲＣを用いチェックコードを生成する方式、ハッ
シュ法を用いチェックコードを生成する方式が適用され
得るものとなっている。
【００１２】具体的にファイル作成に際しては、先ずエ
ディタ１０１によりソースファイル１１１が作成される
過程で、ソースファイル１１１のファイル内容は全てデ
ータとして見做された上、チェックコード生成手段１２
１にてチェックコードが所定に生成されているが、その
チェックコードはソースファイル１１１上の特定エリ
ア、例えば最下部に付加・格納されたものとなってい
る。次に、コンパイラ１０２により中間ファイル１１２
が作成される過程では、ソースファイル１１１の場合と
同様にして、チェックコード生成手段１２２にてチェッ
クコードが生成された上、中間ファイル１１２上の特定
エリアに付加・格納されたものとなっている。リンカ１
０３により実行ファイル１１３が作成される過程でも、
チェックコード生成手段１２３にてチェックコードが生
成された上、実行ファイル１１３上の特定エリアに付加
・格納されているものである。因みに、チェックコード
生成手段１２１〜１２３各々では、内部演算処理により
チェックコードは極めて高速に生成され得るものとなっ
ている。
ディタ１０１によりソースファイル１１１が作成される
過程で、ソースファイル１１１のファイル内容は全てデ
ータとして見做された上、チェックコード生成手段１２
１にてチェックコードが所定に生成されているが、その
チェックコードはソースファイル１１１上の特定エリ
ア、例えば最下部に付加・格納されたものとなってい
る。次に、コンパイラ１０２により中間ファイル１１２
が作成される過程では、ソースファイル１１１の場合と
同様にして、チェックコード生成手段１２２にてチェッ
クコードが生成された上、中間ファイル１１２上の特定
エリアに付加・格納されたものとなっている。リンカ１
０３により実行ファイル１１３が作成される過程でも、
チェックコード生成手段１２３にてチェックコードが生
成された上、実行ファイル１１３上の特定エリアに付加
・格納されているものである。因みに、チェックコード
生成手段１２１〜１２３各々では、内部演算処理により
チェックコードは極めて高速に生成され得るものとなっ
ている。
【００１３】以上の如く、本発明に係るソフトウェア開
発環境では、ソースファイル１１１、中間ファイル１１
２、実行ファイル１１３が順次作成されるに際し、それ
らファイルにはそれぞれチェックコードが付加されてい
るが、そのソフトウェア開発環境でその後、同様にし
て、同一種別のファイルが作成された場合や、またはそ
れとは空間的に異なるソフトウェア開発環境で同様にし
て、別途同一種別のファイルが作成された場合には、同
一種別ファイル間でチェックコードがチェックコード比
較手段１３１で比較されることによって、同一種別ファ
イル間でのファイル同一性が速やかに検証されているも
のである。
発環境では、ソースファイル１１１、中間ファイル１１
２、実行ファイル１１３が順次作成されるに際し、それ
らファイルにはそれぞれチェックコードが付加されてい
るが、そのソフトウェア開発環境でその後、同様にし
て、同一種別のファイルが作成された場合や、またはそ
れとは空間的に異なるソフトウェア開発環境で同様にし
て、別途同一種別のファイルが作成された場合には、同
一種別ファイル間でチェックコードがチェックコード比
較手段１３１で比較されることによって、同一種別ファ
イル間でのファイル同一性が速やかに検証されているも
のである。
【００１４】ここで、例えばあるソフトウェア開発環境
の下で（旧）実行ファイル１１３１がリンカ１０３１に
より作成された後、これと同様にして、（新）実行ファ
イル１１３２がリンカ１０３２により作成された場合を
想定すれば、それら実行ファイル１１３１，１１３２の
みに着目した場合でのファイル検証方法を図３に示す。
図示のように、チェックコード比較手段１３１では、実
行ファイル１１３１，１１３２それぞれに付加されてい
るチェックコードが比較されているが、もしも、それら
チェックコードが一致している場合には、実行ファイル
１１３２が、実行ファイル１１３１と同一内容のものと
して正常に作成されたことが速やかに確認され得るもの
である。しかしながら、それらチェックコードが不一致
である場合は、実行ファイル１１３１が作成された時点
から実行ファイル１１３２が作成されるまでの間に、開
発ツール１００自体に何等かの変更が加えられたか、ま
たは（旧）ソースファイルと（新）ソースファイルが内
容上、異なっていると速やかに判断され得るものであ
る。一般に、ソフトウェア開発においては、新実行ファ
イルと旧実行ファイルとの内容比較は頻繁に行われてい
るが、本発明によるファイル検証方法によれば、チェッ
クコードの比較結果から速やかにそれらファイル内容が
同一であるか否かが判断され得ることから、ソフトウェ
ア開発が行われる上で、その開発能率の向上に大きく寄
与するものであることが判る。
の下で（旧）実行ファイル１１３１がリンカ１０３１に
より作成された後、これと同様にして、（新）実行ファ
イル１１３２がリンカ１０３２により作成された場合を
想定すれば、それら実行ファイル１１３１，１１３２の
みに着目した場合でのファイル検証方法を図３に示す。
図示のように、チェックコード比較手段１３１では、実
行ファイル１１３１，１１３２それぞれに付加されてい
るチェックコードが比較されているが、もしも、それら
チェックコードが一致している場合には、実行ファイル
１１３２が、実行ファイル１１３１と同一内容のものと
して正常に作成されたことが速やかに確認され得るもの
である。しかしながら、それらチェックコードが不一致
である場合は、実行ファイル１１３１が作成された時点
から実行ファイル１１３２が作成されるまでの間に、開
発ツール１００自体に何等かの変更が加えられたか、ま
たは（旧）ソースファイルと（新）ソースファイルが内
容上、異なっていると速やかに判断され得るものであ
る。一般に、ソフトウェア開発においては、新実行ファ
イルと旧実行ファイルとの内容比較は頻繁に行われてい
るが、本発明によるファイル検証方法によれば、チェッ
クコードの比較結果から速やかにそれらファイル内容が
同一であるか否かが判断され得ることから、ソフトウェ
ア開発が行われる上で、その開発能率の向上に大きく寄
与するものであることが判る。
【００１５】最後に、ソースファイル、中間ファイル、
実行ファイルそれぞれについてのチェックコードによる
ファイル種別毎の比較により、何れかのファイル内容が
異なっていることが判明した場合に、その要因を速やか
に究明する方法について説明すれば、図４はその際での
処理フローを示したものである。これによる場合、先ず
旧実行ファイル１１３１と新実行ファイル１１３２がチ
ェックコード比較手段１３１１で比較されるものとなっ
ている。この比較によりチェックコードが一致すれば、
これを以て正常であると判断され、特に問題は生じない
ものとなっている。しかしながら、チェックコードの不
一致を以て旧実行ファイル１１３１と新実行ファイル１
１３２の内容が異なると判断された場合、その要因とし
ては旧ソースファイル１１１１、新ソースファイル１１
１２間での内容相違か、または開発ツール１００におけ
るリンカ１０３、コンパイラ１０２の変更かが考えられ
るわけであるが、その要因を特定された状態として究明
しようというものである。
実行ファイルそれぞれについてのチェックコードによる
ファイル種別毎の比較により、何れかのファイル内容が
異なっていることが判明した場合に、その要因を速やか
に究明する方法について説明すれば、図４はその際での
処理フローを示したものである。これによる場合、先ず
旧実行ファイル１１３１と新実行ファイル１１３２がチ
ェックコード比較手段１３１１で比較されるものとなっ
ている。この比較によりチェックコードが一致すれば、
これを以て正常であると判断され、特に問題は生じない
ものとなっている。しかしながら、チェックコードの不
一致を以て旧実行ファイル１１３１と新実行ファイル１
１３２の内容が異なると判断された場合、その要因とし
ては旧ソースファイル１１１１、新ソースファイル１１
１２間での内容相違か、または開発ツール１００におけ
るリンカ１０３、コンパイラ１０２の変更かが考えられ
るわけであるが、その要因を特定された状態として究明
しようというものである。
【００１６】図示のように、旧実行ファイル１１３１と
新実行ファイル１１３２の内容が異なると判断された場
合での処理としては、チェックコード比較手段１３１２
により旧中間ファイル１１２１と新中間ファイル１１２
２が比較されるものとなっている。この比較によりチェ
ックコードが一致していれば、リンカ１０３の変更に要
因が求められるものである。また、もしも、チェックコ
ードが不一致の場合は、旧中間ファイル１１２１、新中
間ファイル１１２２それぞれが作成される際での基であ
る旧ソースファイル１１１１と新ソースファイル１１１
２がチェックコード比較手段１３１３により比較される
ものとなっている。この比較によりチェックコードが一
致していれば、コンパイラ１０２の変更に要因が求めら
れるものである。また、もしも、不一致の場合は、旧ソ
ースファイル１１１１、新ソースファイル１１１２間で
の内容相違に要因が求められるものである。
新実行ファイル１１３２の内容が異なると判断された場
合での処理としては、チェックコード比較手段１３１２
により旧中間ファイル１１２１と新中間ファイル１１２
２が比較されるものとなっている。この比較によりチェ
ックコードが一致していれば、リンカ１０３の変更に要
因が求められるものである。また、もしも、チェックコ
ードが不一致の場合は、旧中間ファイル１１２１、新中
間ファイル１１２２それぞれが作成される際での基であ
る旧ソースファイル１１１１と新ソースファイル１１１
２がチェックコード比較手段１３１３により比較される
ものとなっている。この比較によりチェックコードが一
致していれば、コンパイラ１０２の変更に要因が求めら
れるものである。また、もしも、不一致の場合は、旧ソ
ースファイル１１１１、新ソースファイル１１１２間で
の内容相違に要因が求められるものである。
【００１７】上述のように、ソフトウェア開発時におけ
るソースファイルの変更だけでなく、開発ツール自体の
変更も速やかに検出可とされているので、ソフトウェア
開発上、何等か問題が生じた際には、同一のソースファ
イルを用い、同一の開発ツールで実行ファイルが作成さ
れたかが速やかに確認され得、ソフトウェア開発能率が
より一層向上され得るものである。これ以外にも、各ソ
ースファイル、各中間ファイル、各実行ファイルに対し
チェックコードの再生成が行われた上、その結果が前回
生成されたチェックコードと比較される場合には、外部
からのファイル改ざんが容易に検出され得、ソフトウェ
ア開発上での安全性が向上されるものとなっている。
るソースファイルの変更だけでなく、開発ツール自体の
変更も速やかに検出可とされているので、ソフトウェア
開発上、何等か問題が生じた際には、同一のソースファ
イルを用い、同一の開発ツールで実行ファイルが作成さ
れたかが速やかに確認され得、ソフトウェア開発能率が
より一層向上され得るものである。これ以外にも、各ソ
ースファイル、各中間ファイル、各実行ファイルに対し
チェックコードの再生成が行われた上、その結果が前回
生成されたチェックコードと比較される場合には、外部
からのファイル改ざんが容易に検出され得、ソフトウェ
ア開発上での安全性が向上されるものとなっている。
【００１８】
【発明の効果】以上、説明したように、請求項１による
場合は、空間的に同一、あるいは異なるソフトウェア開
発環境の下で、開発ツールにより内容が同一であるべき
ファイルが２以上、作成されるに際し、それらファイル
が内容上、同一であるか否かが速やかに検証され得、ま
た、請求項２〜４による場合には、空間的に同一、ある
いは異なるソフトウェア開発環境の下で、開発ツールに
より内容が同一であるべきソースファイル、中間ファイ
ルおよび実行ファイルが２以上、作成されるに際し、そ
れらファイルが内容上、同一であるか否かが速やかに検
証され得、更に、請求項５による場合には、ファイルと
してのソースファイル、中間ファイル、実行ファイルの
うち、何れかが内容上、同一でない場合に、開発ツール
の何れの部分に相違があるのかが容易に識別され得るも
のとなっている。
場合は、空間的に同一、あるいは異なるソフトウェア開
発環境の下で、開発ツールにより内容が同一であるべき
ファイルが２以上、作成されるに際し、それらファイル
が内容上、同一であるか否かが速やかに検証され得、ま
た、請求項２〜４による場合には、空間的に同一、ある
いは異なるソフトウェア開発環境の下で、開発ツールに
より内容が同一であるべきソースファイル、中間ファイ
ルおよび実行ファイルが２以上、作成されるに際し、そ
れらファイルが内容上、同一であるか否かが速やかに検
証され得、更に、請求項５による場合には、ファイルと
してのソースファイル、中間ファイル、実行ファイルの
うち、何れかが内容上、同一でない場合に、開発ツール
の何れの部分に相違があるのかが容易に識別され得るも
のとなっている。
【図１】図１は、本発明に係るソフトウェア開発環境の
構成概念を示す図
構成概念を示す図
【図２】図２は、ソフトウェアが開発される際での一般
的な開発手順を示す図
的な開発手順を示す図
【図３】図３は、あるソフトウェア開発環境の下で
（旧）実行ファイルが作成された後、（新）実行ファイ
ルが作成された場合での実行ファイル検証方法を示す図
（旧）実行ファイルが作成された後、（新）実行ファイ
ルが作成された場合での実行ファイル検証方法を示す図
【図４】図４は、ファイル内容が異なっていることが判
明した場合に、その要因を究明するための処理フローを
示す図
明した場合に、その要因を究明するための処理フローを
示す図
１００…開発ツール、１０１…エディタ、１０２…コン
パイラ（アセンブラ）、１０３…リンカ、１１１…ソー
スファイル、１１２…中間ファイル（オブジェクトファ
イル）、１１３…実行ファイル、１２１〜１２３…チェ
ックコード生成手段、１３１、１３１１〜１３１３…チ
ェックコード比較手段、１１１１…旧ソースファイル、
１１１２…新ソースファイル、１１２１…旧中間ファイ
ル、１１２２…新中間ファイル、１１３１…旧実行ファ
イル、１１３２…新実行ファイル
パイラ（アセンブラ）、１０３…リンカ、１１１…ソー
スファイル、１１２…中間ファイル（オブジェクトファ
イル）、１１３…実行ファイル、１２１〜１２３…チェ
ックコード生成手段、１３１、１３１１〜１３１３…チ
ェックコード比較手段、１１１１…旧ソースファイル、
１１１２…新ソースファイル、１１２１…旧中間ファイ
ル、１１２２…新中間ファイル、１１３１…旧実行ファ
イル、１１３２…新実行ファイル
───────────────────────────────────────────────────── フロントページの続き (72)発明者 峯尾 正美 神奈川県横浜市戸塚区戸塚町180番地 日 立通信システム株式会社内
Claims (5)
- 【請求項１】 ソフトウェア／ファームウェア開発環境
の下で、開発ツールによりファイルが作成されるに際し
て、該ファイルが作成される過程で、該ファイルを構成
している情報をデータと見做し、該データの全てに対し
所定演算が施された上、演算結果が該ファイルに付加さ
れる一方、これと同様にして、上記ファイルと同一種別
のファイルが別途作成された場合に、それらファイル間
で演算結果が比較されることによって、それらファイル
間でのファイル同一性が検証されるようにしたファイル
検証方法。 - 【請求項２】 ソフトウェア／ファームウェア開発環境
の下で、開発ツールとしてのエディタ、コンパイラ、リ
ンカそれぞれによりソースファイル、中間ファイル、実
行ファイルが順次作成されるに際して、ソースファイ
ル、中間ファイル、実行ファイルそれぞれが作成される
過程で、該ファイルを構成している情報をデータと見做
し、該データの全てに対しファイル種別対応に所定演算
が施された上、演算結果が該当ファイルに付加される一
方、これと同様にして、ソースファイル、中間ファイル
および実行ファイルが別途作成された場合に、同一種別
ファイル間で演算結果が比較されることによって、同一
種別ファイル間でのファイル同一性が検証されるように
したファイル検証方法。 - 【請求項３】 ソフトウェア／ファームウェア開発環境
の下で、開発ツールとしてのエディタ、コンパイラ、リ
ンカそれぞれによりソースファイル、中間ファイル、実
行ファイルが順次作成されるに際して、ソースファイ
ル、中間ファイル、実行ファイルそれぞれが作成される
過程で、該ファイルを構成している情報をデータと見做
し、該データの全てに対しファイル種別対応に所定演算
が施された上、演算結果が該当ファイルに付加されるも
のとして、上記開発ツールによりソースファイル、中間
ファイルおよび実行ファイルが相異なる時点として作成
された場合に、同一種別ファイル間で演算結果が比較さ
れることによって、同一種別ファイル間でのファイル同
一性が検証されるようにしたファイル検証方法。 - 【請求項４】 ソフトウェア／ファームウェア開発環境
の下で、開発ツールとしてのエディタ、コンパイラ、リ
ンカそれぞれによりソースファイル、中間ファイル、実
行ファイルが順次作成されるに際して、ソースファイ
ル、中間ファイル、実行ファイルそれぞれが作成される
過程で、該ファイルを構成している情報をデータと見做
し、該データの全てに対しファイル種別対応に所定演算
が施された上、演算結果が該当ファイルに付加されるも
のとして、本来、同一であるべき開発ツール各々により
ソースファイル、中間ファイルおよび実行ファイルが相
互に独立に作成された場合に、同一種別ファイル間で演
算結果が比較されることによって、同一種別ファイル間
でのファイル同一性が検証されるようにしたファイル検
証方法。 - 【請求項５】 ソフトウェア／ファームウェア開発環境
の下で、開発ツールとしてのエディタ、コンパイラ、リ
ンカそれぞれによりソースファイル、中間ファイル、実
行ファイルが順次作成されるに際して、ソースファイ
ル、中間ファイル、実行ファイルそれぞれが作成される
過程で、該ファイルを構成している情報をデータと見做
し、該データの全てに対しファイル種別対応に所定演算
が施された上、演算結果が該当ファイルに付加される一
方、これと同様にして、ソースファイル、中間ファイル
および実行ファイルが別途作成された場合に、演算結果
が一致するまでの間、実行ファイル間、中間ファイル
間、ソースファイル間で演算結果の比較が順次行われる
ことによって、同一種別ファイル間でのファイル同一性
に併せて、リンカ、コンパイラそれぞれの同一性が検証
されるようにしたファイル検証方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP10000929A JPH11194933A (ja) | 1998-01-06 | 1998-01-06 | ファイル検証方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP10000929A JPH11194933A (ja) | 1998-01-06 | 1998-01-06 | ファイル検証方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH11194933A true JPH11194933A (ja) | 1999-07-21 |
Family
ID=11487387
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP10000929A Pending JPH11194933A (ja) | 1998-01-06 | 1998-01-06 | ファイル検証方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH11194933A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2008276525A (ja) * | 2007-04-27 | 2008-11-13 | Omron Corp | Ｐｌｃの制御プログラム開発支援装置 |
| JP2014010699A (ja) * | 2012-06-29 | 2014-01-20 | Fujitsu Ltd | 更新判定プログラムおよび更新判定装置 |
-
1998
- 1998-01-06 JP JP10000929A patent/JPH11194933A/ja active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2008276525A (ja) * | 2007-04-27 | 2008-11-13 | Omron Corp | Ｐｌｃの制御プログラム開発支援装置 |
| JP2014010699A (ja) * | 2012-06-29 | 2014-01-20 | Fujitsu Ltd | 更新判定プログラムおよび更新判定装置 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5559884A (en) | Method and system for generating and auditing a signature for a computer program | |
| US6978454B2 (en) | Checking computer program installation | |
| US6990600B2 (en) | Method for checking a computer system configuration | |
| JPH08161161A (ja) | 障害修正のためにコンピュータ・システム上でプロセスを再実行する方法 | |
| JP6477553B2 (ja) | プログラム開発支援装置、プログラム開発支援プログラムおよびプログラム開発支援方法 | |
| CN111309506A (zh) | 一种编译错误的定位方法、设备、服务器及可读存储介质 | |
| US20060259903A1 (en) | Method for creating unique identification for copies of executable code and management thereof | |
| JPH10507016A (ja) | ソフトウェア・コンパイル・ユニットを条件付きでコンパイルするシステム、方法およびコンパイラ・プリプロセッサ | |
| CN112416360B (zh) | 热补丁的生成方法、装置和服务器 | |
| US20060259900A1 (en) | Method for creating unique identification for copies of executable code and management thereof | |
| JPH11194933A (ja) | ファイル検証方法 | |
| CN110046496B (zh) | 一种软件开发方法、系统及区块链节点设备和存储介质 | |
| Yin et al. | Formal verification by reverse synthesis | |
| JPH06309193A (ja) | 機械語プログラムの動作検証方法および装置 | |
| US20050149811A1 (en) | System and method of ensuring quality control of software | |
| WO2024122045A1 (ja) | サービス連携装置およびサービス連携方法 | |
| CN112445761B (zh) | 一种文件校验方法、装置及存储介质 | |
| US7886282B1 (en) | Augmenting signature-based technologies with functional flow graphs | |
| JP2903721B2 (ja) | 情報処理装置の試験命令組み立て方法 | |
| JP2003091431A (ja) | テストシナリオ選択実行システム、方法、およびプログラム | |
| JPH03102429A (ja) | ロードモジュール生成処理方式 | |
| JPH0981371A (ja) | ソースコード自動バージョンアップ方法及び装置 | |
| JPH11175473A (ja) | 入力ファイルの妥当性確認方法 | |
| JP2000112750A (ja) | 情報処理装置 | |
| JP3711712B2 (ja) | データ版数整合方法及びシステム及びデータ版数整合プログラムを格納した記憶媒体 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A711 | Notification of change in applicant |
Free format text: JAPANESE INTERMEDIATE CODE: A712 Effective date: 20040730 |
|
| A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20041105 |
|
| A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20041105 |
|
| RD02 | Notification of acceptance of power of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7422 Effective date: 20060515 |
|
| RD04 | Notification of resignation of power of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7424 Effective date: 20060515 |
|
| A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20061226 |
|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20070130 |
|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20070529 |