JPH0773032A - ソフトウェアシステムを動的に修正する方法 - Google Patents
ソフトウェアシステムを動的に修正する方法Info
- Publication number
- JPH0773032A JPH0773032A JP5292379A JP29237993A JPH0773032A JP H0773032 A JPH0773032 A JP H0773032A JP 5292379 A JP5292379 A JP 5292379A JP 29237993 A JP29237993 A JP 29237993A JP H0773032 A JPH0773032 A JP H0773032A
- Authority
- JP
- Japan
- Prior art keywords
- cco
- interpreter
- extensible
- rom
- based embedded
- 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
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Prevention of errors by analysis, debugging or testing of software
- G06F11/362—Debugging of software
- G06F11/3644—Debugging of software by instrumenting at runtime
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Abstract
(57)【要約】
【目的】 ＲＯＭベースの埋め込みソフトウェアシステ
ムのデバッグ・修正を容易に実現する。 【構成】 拡張可能インタプリタを使用し、ＲＯＭベー
スの埋め込みソフトウェアを通じて「カスタマイズ可能
コールアウト」（ＣＣＯ）の要求を挿入する。これによ
り、ＲＯＭベースの埋め込みソフトウェアシステムは、
実行時に容易に直接拡張することができ、実質的に無制
限の新たな機能を提供する。このシステムソフトウェア
には再構築または再ロードの必要がなく、デバッグ・修
正ソフトウェアの機能は、問題点の検出時や修正の実行
時に決定され、それ以前ではない。拡張可能インタプリ
タを使用することによって、ＲＯＭベースの埋め込みソ
フトウェアの拡張が実現される。すなわち、追加の外部
コンピュータプラットフォームやコンパイラを必要とせ
ず、直接にシステムに書き込まれロードされる。
ムのデバッグ・修正を容易に実現する。 【構成】 拡張可能インタプリタを使用し、ＲＯＭベー
スの埋め込みソフトウェアを通じて「カスタマイズ可能
コールアウト」（ＣＣＯ）の要求を挿入する。これによ
り、ＲＯＭベースの埋め込みソフトウェアシステムは、
実行時に容易に直接拡張することができ、実質的に無制
限の新たな機能を提供する。このシステムソフトウェア
には再構築または再ロードの必要がなく、デバッグ・修
正ソフトウェアの機能は、問題点の検出時や修正の実行
時に決定され、それ以前ではない。拡張可能インタプリ
タを使用することによって、ＲＯＭベースの埋め込みソ
フトウェアの拡張が実現される。すなわち、追加の外部
コンピュータプラットフォームやコンパイラを必要とせ
ず、直接にシステムに書き込まれロードされる。
Description
【０００１】
【産業上の利用分野】本発明は、ソフトウェアシステム
のデバッグおよび修正に関し、特に、読み出し専用メモ
リ（ＲＯＭ）ベースの埋め込みソフトウェアシステムの
デバッグおよび修正に関する。
のデバッグおよび修正に関し、特に、読み出し専用メモ
リ（ＲＯＭ）ベースの埋め込みソフトウェアシステムの
デバッグおよび修正に関する。
【０００２】
【従来の技術】ＲＯＭベースの埋め込みソフトウェアシ
ステムのデバッグおよび修正は困難なことが多い。シス
テムがＲＯＭ外で動作していれば、そのプログラムは修
正される。問題が生じた場合、開発者やデバッガは、そ
の問題の原因を決定するために、特殊な外部ハードウェ
アおよびソフトウェアに頼ることを必要とするか、また
は、同じくそのシステムに埋めこまれた所定のテストソ
フトウェアに頼らなければならないことが多い。第１の
方法には問題が多い。外部装置は、問題が起こった装置
の現場では通常は使用可能でない。また、外部装置は高
価である。第２の方法にも問題は多い。埋め込みテスト
・デバッグコードはまったく期待によるものである（開
発者は、開発時には、モニタ／デバッグソフトウェアが
すべきことを推測することができるのみである）。埋め
込みテスト／デバッグコードは製品内でスペースをと
る。システムは、組み込みモニタ／デバッガを有するこ
とが多い。これは汎用であるが、１６進データダンプ、
シングルステップ実行などしか可能でなく、ソフトウェ
アシステムのデータ構造やアーキテクチャの知識を有し
ない。埋め込みテスト／デバッグソフトウェアが不十分
であると分かれば、機能を追加するには新たなソフトウ
ェアロードが構築され、システムに再ロードしなければ
ならない。このような方法は時間がかかり、高価となる
ことが多い。
ステムのデバッグおよび修正は困難なことが多い。シス
テムがＲＯＭ外で動作していれば、そのプログラムは修
正される。問題が生じた場合、開発者やデバッガは、そ
の問題の原因を決定するために、特殊な外部ハードウェ
アおよびソフトウェアに頼ることを必要とするか、また
は、同じくそのシステムに埋めこまれた所定のテストソ
フトウェアに頼らなければならないことが多い。第１の
方法には問題が多い。外部装置は、問題が起こった装置
の現場では通常は使用可能でない。また、外部装置は高
価である。第２の方法にも問題は多い。埋め込みテスト
・デバッグコードはまったく期待によるものである（開
発者は、開発時には、モニタ／デバッグソフトウェアが
すべきことを推測することができるのみである）。埋め
込みテスト／デバッグコードは製品内でスペースをと
る。システムは、組み込みモニタ／デバッガを有するこ
とが多い。これは汎用であるが、１６進データダンプ、
シングルステップ実行などしか可能でなく、ソフトウェ
アシステムのデータ構造やアーキテクチャの知識を有し
ない。埋め込みテスト／デバッグソフトウェアが不十分
であると分かれば、機能を追加するには新たなソフトウ
ェアロードが構築され、システムに再ロードしなければ
ならない。このような方法は時間がかかり、高価となる
ことが多い。
【０００３】
【発明が解決しようとする課題】ＲＯＭベースのシステ
ム内のファームウェアプログラムの動的変更のための既
知の構成の１つが、米国特許第４，６０７，３３２号
（発行日：１９８６年８月１９日、発明者：イー．エ
ス．ゴールドバーグ(E. S. Goldberg)）に開示されてい
る。しかし、この構成は、修正すべきＲＯＭベースの埋
め込みソフトウェアの適切なソフトウェア置換を実現す
るために、外部コンピューティングプラットフォームや
コンパイラの使用を必要とする。結果として、開発者／
デバッガは、ＲＯＭベースの埋め込みソフトウェアシス
テムが存在する現場で利用可能でない追加のコンピュー
ティングおよびコンパイル装置へのアクセスを必要とす
る。
ム内のファームウェアプログラムの動的変更のための既
知の構成の１つが、米国特許第４，６０７，３３２号
（発行日：１９８６年８月１９日、発明者：イー．エ
ス．ゴールドバーグ(E. S. Goldberg)）に開示されてい
る。しかし、この構成は、修正すべきＲＯＭベースの埋
め込みソフトウェアの適切なソフトウェア置換を実現す
るために、外部コンピューティングプラットフォームや
コンパイラの使用を必要とする。結果として、開発者／
デバッガは、ＲＯＭベースの埋め込みソフトウェアシス
テムが存在する現場で利用可能でない追加のコンピュー
ティングおよびコンパイル装置へのアクセスを必要とす
る。
【０００４】
【課題を解決するための手段】いわゆるＲＯＭベースの
埋め込みソフトウェアシステムのための従来のデバッグ
／修正ソフトウェアシステムの問題点は、拡張可能イン
タプリタを使用し、ＲＯＭベースの埋め込みソフトウェ
アを通じて「カスタマイズ可能コールアウト」（ＣＣ
Ｏ）の要求を挿入することによって解決される。これに
より、ＲＯＭベースの埋め込みソフトウェアシステム
は、現場で実行時に容易に直接拡張することができ、拡
張によって実質的に無制限の新たな機能を提供する。本
発明の利点は、ＲＯＭベースの埋め込みシステムソフト
ウェアに再構築または再ロードの必要がなく、デバッグ
／修正ソフトウェアの機能は、問題点の検出時や修正の
実行時に決定され、それ以前ではない。さらに、本発明
によれば、拡張可能インタプリタを使用することによっ
て、ＲＯＭベースの埋め込みソフトウェアの拡張が実現
される。すなわち、追加の外部コンピュータプラットフ
ォームやコンパイラを必要とすることも使用することも
なく、直接にシステムに書き込まれロードされる。
埋め込みソフトウェアシステムのための従来のデバッグ
／修正ソフトウェアシステムの問題点は、拡張可能イン
タプリタを使用し、ＲＯＭベースの埋め込みソフトウェ
アを通じて「カスタマイズ可能コールアウト」（ＣＣ
Ｏ）の要求を挿入することによって解決される。これに
より、ＲＯＭベースの埋め込みソフトウェアシステム
は、現場で実行時に容易に直接拡張することができ、拡
張によって実質的に無制限の新たな機能を提供する。本
発明の利点は、ＲＯＭベースの埋め込みシステムソフト
ウェアに再構築または再ロードの必要がなく、デバッグ
／修正ソフトウェアの機能は、問題点の検出時や修正の
実行時に決定され、それ以前ではない。さらに、本発明
によれば、拡張可能インタプリタを使用することによっ
て、ＲＯＭベースの埋め込みソフトウェアの拡張が実現
される。すなわち、追加の外部コンピュータプラットフ
ォームやコンパイラを必要とすることも使用することも
なく、直接にシステムに書き込まれロードされる。
【０００５】
【実施例】図１に、単純化して、システム１００を示
す。システム１００は、ランダムアクセスメモリ（ＲＡ
Ｍ）１０１、読み出し専用メモリ（ＲＯＭ）１０２、拡
張可能インタプリタ１０３、マイクロプロセッサ１０４
およびいわゆる「ダム」端末１０５を有する。拡張可能
インタプリタ１０３がＲＡＭ１０１およびＲＯＭ１０２
の両方にわたって存在するように図示されていることに
注意すべきである。拡張可能インタプリタ１０３として
使用可能なものには、プログラミング言語Ｆｏｒｔｈの
修正Ｆｏｒｔｈ−８３標準処理系がある（後述）。プロ
グラミング言語Ｆｏｒｔｈは周知である（例えば、レオ
・ブロディ著「Ｆｏｒｔｈ入門」（プレンティス・ホー
ル社、１９８１年）という文献を参照）。本実施例で表
されているシステム１００は、埋め込みソフトウェアシ
ステムである。その基本システムソフトウェアはＲＯＭ
１０２内に固定されている。本実施例は、単一プログラ
ムに関して説明するが、本発明の原理は、マルチタスク
オペレーティングシステムおよび多くのタスクからなる
ソフトウェアアーキテクチャにも等しく適用可能であ
る。
す。システム１００は、ランダムアクセスメモリ（ＲＡ
Ｍ）１０１、読み出し専用メモリ（ＲＯＭ）１０２、拡
張可能インタプリタ１０３、マイクロプロセッサ１０４
およびいわゆる「ダム」端末１０５を有する。拡張可能
インタプリタ１０３がＲＡＭ１０１およびＲＯＭ１０２
の両方にわたって存在するように図示されていることに
注意すべきである。拡張可能インタプリタ１０３として
使用可能なものには、プログラミング言語Ｆｏｒｔｈの
修正Ｆｏｒｔｈ−８３標準処理系がある（後述）。プロ
グラミング言語Ｆｏｒｔｈは周知である（例えば、レオ
・ブロディ著「Ｆｏｒｔｈ入門」（プレンティス・ホー
ル社、１９８１年）という文献を参照）。本実施例で表
されているシステム１００は、埋め込みソフトウェアシ
ステムである。その基本システムソフトウェアはＲＯＭ
１０２内に固定されている。本実施例は、単一プログラ
ムに関して説明するが、本発明の原理は、マルチタスク
オペレーティングシステムおよび多くのタスクからなる
ソフトウェアアーキテクチャにも等しく適用可能であ
る。
【０００６】図２に、単純化して、本発明の動作状況を
示す。特に、ＲＯＭ１０２は、埋め込み固定装置システ
ムプログラム２０１、ならびに、拡張可能インタプリタ
１０３の一部、すなわち、修正Ｆｏｒｔｈカーネル２０
５および定義されたＣＣＯである“ｙ”（ＤＡＴＡ）２
０７を含む。ＲＡＭ２０１もまた拡張可能インタプリタ
１０３の一部を含み、この例では、定義されたＣＣＯで
ある“ｘ”（ＤＡＴＡ）２０６、“ｗ”（ＤＡＴＡ）２
０９および“ｚ”（ＤＡＴＡ）２１０を含む。“ｘ”
（ＤＡＴＡ）という記法は、論理関数“ｘ”をコール
し、パラメータ（ない場合もある）を渡すことを示すた
めに使用される。
示す。特に、ＲＯＭ１０２は、埋め込み固定装置システ
ムプログラム２０１、ならびに、拡張可能インタプリタ
１０３の一部、すなわち、修正Ｆｏｒｔｈカーネル２０
５および定義されたＣＣＯである“ｙ”（ＤＡＴＡ）２
０７を含む。ＲＡＭ２０１もまた拡張可能インタプリタ
１０３の一部を含み、この例では、定義されたＣＣＯで
ある“ｘ”（ＤＡＴＡ）２０６、“ｗ”（ＤＡＴＡ）２
０９および“ｚ”（ＤＡＴＡ）２１０を含む。“ｘ”
（ＤＡＴＡ）という記法は、論理関数“ｘ”をコール
し、パラメータ（ない場合もある）を渡すことを示すた
めに使用される。
【０００７】固定装置システムプログラム（以下「固定
プログラム」という）２０１は、固定プログラムの「標
準」動作ステップを含み、さらに、いわゆる「カスタマ
イズ可能コールアウト」（ＣＣＯ）を呼び出す試行を行
うことによって本発明の原理を実行するステップを含
む。例えば、動作１（ステップ２０２）、動作２（ステ
ップ２０３）から動作Ｎ（ステップ２１４）まではいわ
ゆる「標準動作ステップ」である。固定プログラム２０
１には、ＣＣＯである“ｘ”（ＤＡＴＡ）２０４の要求
も含まれる。この例では固定プログラム２０１内にただ
１つのＣＣＯ要求のみが図示されているが、作成者の決
定によって、任意数のＣＣＯの要求を所望の位置に挿入
することが可能である。また、固定プログラム２０１に
は、結果に基づく実行条件分岐ステップ２０８が含まれ
る。実行は、呼出試行中の特定ＣＣＯの結果に依存す
る。存在し呼び出されているＣＣＯに依存して、ステッ
プ２０８は所望の数の動作、例えば、動作３Ａ（２１
１）、動作３Ｂ（２１２）または動作３Ｃ（２１３）を
実行することができる。例えば、この例の動作３Ｂ（２
１２）は、固定プログラム２０１内の動作であり、これ
はＣＣＯ“ｘ”（ＤＡＴＡ）２０４が定義されていない
場合に実行される。同様に、ＲＡＭ１０１内のＣＣＯ
“ｘ”（ＤＡＴＡ）２０６が定義されており、結果の値
を返した場合、動作３Ａ（２１１）または動作３Ｃ（２
１３）のいずれかが実行されることがある（後述）。特
定のＣＣＯによって任意数のプログラムステップを定義
することができ、固定プログラム２０１は特定の定義さ
れたプログラムステップから再入可能であることは明ら
かである。固定プログラム２０１が書かれているときに
は、おそらく“ｘ”（ＤＡＴＡ）が提供する機能は未知
である。実際、“ｘ”（ＤＡＴＡ）は存在しないことも
ある。固定プログラム２０１はこのいわゆる「フッ
ク」、すなわち、ＣＣＯ“ｘ”（ＤＡＴＡ）２０４の要
求を適所に有するのみである。ＣＣＯ“ｘ”（ＤＡＴ
Ａ）２０４の要求が固定プログラム２０１によって入力
されると、拡張可能インタプリタ１０３およびその中の
修正Ｆｏｒｔｈカーネル２０５は、ＣＣＯ“ｘ”（ＤＡ
ＴＡ）が（ＲＡＭ１０１またはＲＯＭ１０２内に）存在
するかどうか判定する。この例では、“ｘ”（ＤＡＴ
Ａ）２０６がＲＡＭ１０１内に存在する。“ｘ”（ＤＡ
ＴＡ）２０６が存在するため、これはＲＡＭ１０１内で
実行され、結果値をセットすることができる。その後、
制御は修正Ｆｏｒｔｈカーネル２０５に戻り、続いて、
固定プログラム２０１、特に、ステップ２０８に戻る。
例えば、“ｘ”（ＤＡＴＡ）がＲＡＭ１０１にもＲＯＭ
１０２にも存在しなかった場合、制御は固定プログラム
２０１に戻り、ステップ２０８によって、「標準」固定
プログラム動作（例えば動作３Ｂ（２１２））を実行す
る。修正Ｆｏｒｔｈカーネル２０５およびその動作の詳
細は図３に関して後述する。任意の時刻に、任意数（０
を含む）ＣＣＯが実際に定義されている。いくつかのＣ
ＣＯは、“ｙ”（ＤＡＴＡ）２０７のようにＲＯＭ１０
２内にあり、いくつかは、例えば“ｘ”（ＤＡＴＡ）２
０６、“ｗ”（ＤＡＴＡ）２０９および“ｚ”（ＤＡＴ
Ａ）２１０のようにＲＡＭ１０１内にある。さらに、お
そらく少なくとも１つのＣＣＯ（例えば“ｙ”（ＤＡＴ
Ａ）２０７）は固定プログラム２０１内に定義される。
この少なくとも１つの定義されたＣＣＯは、ユーザが拡
張可能インタプリタ１０３と対話することを可能にする
ために使用され、修正Ｆｏｒｔｈカーネル２０５によっ
てＲＡＭ１０１内にＣＣＯを定義することが可能とな
る。拡張可能インタプリタ１０３は、ＣＣＯを直接現場
で作成することを可能にし、それによって、追加の外部
コンピュータプラットフォームやコンパイラの必要なし
に、固定プログラム２０１の拡張によって無制限に新た
な機能を提供することができる。
プログラム」という）２０１は、固定プログラムの「標
準」動作ステップを含み、さらに、いわゆる「カスタマ
イズ可能コールアウト」（ＣＣＯ）を呼び出す試行を行
うことによって本発明の原理を実行するステップを含
む。例えば、動作１（ステップ２０２）、動作２（ステ
ップ２０３）から動作Ｎ（ステップ２１４）まではいわ
ゆる「標準動作ステップ」である。固定プログラム２０
１には、ＣＣＯである“ｘ”（ＤＡＴＡ）２０４の要求
も含まれる。この例では固定プログラム２０１内にただ
１つのＣＣＯ要求のみが図示されているが、作成者の決
定によって、任意数のＣＣＯの要求を所望の位置に挿入
することが可能である。また、固定プログラム２０１に
は、結果に基づく実行条件分岐ステップ２０８が含まれ
る。実行は、呼出試行中の特定ＣＣＯの結果に依存す
る。存在し呼び出されているＣＣＯに依存して、ステッ
プ２０８は所望の数の動作、例えば、動作３Ａ（２１
１）、動作３Ｂ（２１２）または動作３Ｃ（２１３）を
実行することができる。例えば、この例の動作３Ｂ（２
１２）は、固定プログラム２０１内の動作であり、これ
はＣＣＯ“ｘ”（ＤＡＴＡ）２０４が定義されていない
場合に実行される。同様に、ＲＡＭ１０１内のＣＣＯ
“ｘ”（ＤＡＴＡ）２０６が定義されており、結果の値
を返した場合、動作３Ａ（２１１）または動作３Ｃ（２
１３）のいずれかが実行されることがある（後述）。特
定のＣＣＯによって任意数のプログラムステップを定義
することができ、固定プログラム２０１は特定の定義さ
れたプログラムステップから再入可能であることは明ら
かである。固定プログラム２０１が書かれているときに
は、おそらく“ｘ”（ＤＡＴＡ）が提供する機能は未知
である。実際、“ｘ”（ＤＡＴＡ）は存在しないことも
ある。固定プログラム２０１はこのいわゆる「フッ
ク」、すなわち、ＣＣＯ“ｘ”（ＤＡＴＡ）２０４の要
求を適所に有するのみである。ＣＣＯ“ｘ”（ＤＡＴ
Ａ）２０４の要求が固定プログラム２０１によって入力
されると、拡張可能インタプリタ１０３およびその中の
修正Ｆｏｒｔｈカーネル２０５は、ＣＣＯ“ｘ”（ＤＡ
ＴＡ）が（ＲＡＭ１０１またはＲＯＭ１０２内に）存在
するかどうか判定する。この例では、“ｘ”（ＤＡＴ
Ａ）２０６がＲＡＭ１０１内に存在する。“ｘ”（ＤＡ
ＴＡ）２０６が存在するため、これはＲＡＭ１０１内で
実行され、結果値をセットすることができる。その後、
制御は修正Ｆｏｒｔｈカーネル２０５に戻り、続いて、
固定プログラム２０１、特に、ステップ２０８に戻る。
例えば、“ｘ”（ＤＡＴＡ）がＲＡＭ１０１にもＲＯＭ
１０２にも存在しなかった場合、制御は固定プログラム
２０１に戻り、ステップ２０８によって、「標準」固定
プログラム動作（例えば動作３Ｂ（２１２））を実行す
る。修正Ｆｏｒｔｈカーネル２０５およびその動作の詳
細は図３に関して後述する。任意の時刻に、任意数（０
を含む）ＣＣＯが実際に定義されている。いくつかのＣ
ＣＯは、“ｙ”（ＤＡＴＡ）２０７のようにＲＯＭ１０
２内にあり、いくつかは、例えば“ｘ”（ＤＡＴＡ）２
０６、“ｗ”（ＤＡＴＡ）２０９および“ｚ”（ＤＡＴ
Ａ）２１０のようにＲＡＭ１０１内にある。さらに、お
そらく少なくとも１つのＣＣＯ（例えば“ｙ”（ＤＡＴ
Ａ）２０７）は固定プログラム２０１内に定義される。
この少なくとも１つの定義されたＣＣＯは、ユーザが拡
張可能インタプリタ１０３と対話することを可能にする
ために使用され、修正Ｆｏｒｔｈカーネル２０５によっ
てＲＡＭ１０１内にＣＣＯを定義することが可能とな
る。拡張可能インタプリタ１０３は、ＣＣＯを直接現場
で作成することを可能にし、それによって、追加の外部
コンピュータプラットフォームやコンパイラの必要なし
に、固定プログラム２０１の拡張によって無制限に新た
な機能を提供することができる。
【０００８】図３は、図２の修正Ｆｏｒｔｈカーネル２
０５の動作ステップを説明する単純化した流れ図であ
る。この例では、修正Ｆｏｒｔｈカーネル２０５は、図
２の“ｘ”（ＤＡＴＡ）２０４のＣＣＯ要求によって開
始される。ただし、Ｆｏｒｔｈカーネルは、端末１０５
（図１）によって関係することも可能である。次に、条
件分岐点３０１は、ＦｏｒｔｈがＣＣＯから呼び出され
たかどうか判定するテストをする。そのテスト結果が偽
である場合、ステップ３０２によって、本配置は、端末
１０５を通じてユーザと通常のＦｏｒｔｈ対話を実行す
る。この対話によって、ユーザは、とりわけ、Ｆｏｒｔ
ｈ言語で書かれたＣＣＯを定義し、ＲＡＭ１０１内に拡
張可能インタプリタ１０３を拡張することができる。ス
テップ３０１のテスト結果が真である場合、Ｆｏｒｔｈ
がＣＣＯ“ｘ”（ＤＡＴＡ）２０４から呼び出され、条
件分岐点３０４は、そのＣＣＯが定義されているかどう
か判定するテストをする。ステップ３０４のテスト結果
が偽である場合、そのＣＣＯはステップ３０５は、結果
値「発見されず」を固定プログラム２０１に、特にステ
ップ２０８に返す。上記のように、このＣＣＯが定義さ
れていないため、固定プログラム２０１は、いわゆる
「標準」プログラムステップ（この例では動作３Ｂ（２
１２））を実行することになる。ステップ３０４のテス
ト結果が真である場合、ステップ３０６は以前の結果を
クリアする。その後、ステップ３０７がその特定ＣＣＯ
（この例では、ＲＡＭ１０１内のＣＣＯ“ｘ”（ＤＡＴ
Ａ）２０６）を実行する。ＣＣＯは、呼び出している固
定プログラムによって使用可能な結果値をセットするこ
とができる。これによって、結果に基づく実行条件分岐
ステップ２０８が可能となる。実行後、制御はステップ
３０７に戻り、その後、固定プログラム２０１のステッ
プ２０８（図２）に戻る。結果に基づく実行条件分岐ス
テップ２０８は、“ｘ”（ＤＡＴＡ）２０６で定義され
る動作に依存して、任意数の動作を実行することができ
る。この例では、動作３Ａ（２１１）または３Ｃ（２１
３）である。特定の定義された動作を実行した後は、固
定プログラムは、特定ＣＣＯで定義されるように、他の
動作ステップから開始されることも可能である。特定の
ＣＣＯで定義されている特定プログラムはユーザが入力
したＦｏｒｔｈプログラムである。従って、追加の外部
コンピューティングプラットフォームやコンパイラを必
要とせずに、装置システムソフトウェアの実行中に、開
始する所望の時刻に、完全にカスタマイズすることが可
能である。
０５の動作ステップを説明する単純化した流れ図であ
る。この例では、修正Ｆｏｒｔｈカーネル２０５は、図
２の“ｘ”（ＤＡＴＡ）２０４のＣＣＯ要求によって開
始される。ただし、Ｆｏｒｔｈカーネルは、端末１０５
（図１）によって関係することも可能である。次に、条
件分岐点３０１は、ＦｏｒｔｈがＣＣＯから呼び出され
たかどうか判定するテストをする。そのテスト結果が偽
である場合、ステップ３０２によって、本配置は、端末
１０５を通じてユーザと通常のＦｏｒｔｈ対話を実行す
る。この対話によって、ユーザは、とりわけ、Ｆｏｒｔ
ｈ言語で書かれたＣＣＯを定義し、ＲＡＭ１０１内に拡
張可能インタプリタ１０３を拡張することができる。ス
テップ３０１のテスト結果が真である場合、Ｆｏｒｔｈ
がＣＣＯ“ｘ”（ＤＡＴＡ）２０４から呼び出され、条
件分岐点３０４は、そのＣＣＯが定義されているかどう
か判定するテストをする。ステップ３０４のテスト結果
が偽である場合、そのＣＣＯはステップ３０５は、結果
値「発見されず」を固定プログラム２０１に、特にステ
ップ２０８に返す。上記のように、このＣＣＯが定義さ
れていないため、固定プログラム２０１は、いわゆる
「標準」プログラムステップ（この例では動作３Ｂ（２
１２））を実行することになる。ステップ３０４のテス
ト結果が真である場合、ステップ３０６は以前の結果を
クリアする。その後、ステップ３０７がその特定ＣＣＯ
（この例では、ＲＡＭ１０１内のＣＣＯ“ｘ”（ＤＡＴ
Ａ）２０６）を実行する。ＣＣＯは、呼び出している固
定プログラムによって使用可能な結果値をセットするこ
とができる。これによって、結果に基づく実行条件分岐
ステップ２０８が可能となる。実行後、制御はステップ
３０７に戻り、その後、固定プログラム２０１のステッ
プ２０８（図２）に戻る。結果に基づく実行条件分岐ス
テップ２０８は、“ｘ”（ＤＡＴＡ）２０６で定義され
る動作に依存して、任意数の動作を実行することができ
る。この例では、動作３Ａ（２１１）または３Ｃ（２１
３）である。特定の定義された動作を実行した後は、固
定プログラムは、特定ＣＣＯで定義されるように、他の
動作ステップから開始されることも可能である。特定の
ＣＣＯで定義されている特定プログラムはユーザが入力
したＦｏｒｔｈプログラムである。従って、追加の外部
コンピューティングプラットフォームやコンパイラを必
要とせずに、装置システムソフトウェアの実行中に、開
始する所望の時刻に、完全にカスタマイズすることが可
能である。
【０００９】簡潔に言えば、以下の例では、周知のプロ
グラミング言語Ｃのような手続型プログラム言語におい
て、プログラムは一連の関数からなり、それぞれおそら
く引数すなわちパラメータとともにコールされる。ある
場合には、これらのパラメータの妥当性は自明でなく、
非常に時間がかかる。従って、すべての関数がそれぞれ
入力パラメータの妥当性検査を実行することは好ましく
ないことが多い。その理由は、そのような妥当性検査は
システム性能に影響するおそれがあり、パラメータが妥
当であることを示す結果を得ることがほとんどであるた
めである。換言すれば、プログラムにパラメータ妥当性
検査を組み込むと、パラメータが妥当であることがほと
んどであるにもかかわらず、妥当性検査をずっと実行す
ることになる。しかし、このようなパラメータ妥当性検
査を使用しないと、パラメータがいつどのようにして不
正確にプログラムにおいて渡されているかをすばやく識
別することが困難である。以前は、妥当性検査アルゴリ
ズムを含まない埋め込みシステムソフトウェアは、この
ような妥当性検査アルゴリズムを付加されると、再構築
され、特定の機器に再ロードされる必要があったが、カ
スタマイズ可能コールアウト（ＣＣＯ）によって、より
便利で、実現可能性があり、時間およびコストが低い妥
当性検査方法が提供される。特定の関数はそれぞれ唯一
のＣＣＯを呼び出す。通常、こうしたＣＣＯは定義され
ておらず、固定プログラムは性能に影響を与えずに動作
することが可能である。関数のパラメータの妥当性検査
を導入する必要が生じたときには、そのときにＣＣＯが
定義される（一方で、その製品は動作中であり、固定プ
ログラムを実行している）。
グラミング言語Ｃのような手続型プログラム言語におい
て、プログラムは一連の関数からなり、それぞれおそら
く引数すなわちパラメータとともにコールされる。ある
場合には、これらのパラメータの妥当性は自明でなく、
非常に時間がかかる。従って、すべての関数がそれぞれ
入力パラメータの妥当性検査を実行することは好ましく
ないことが多い。その理由は、そのような妥当性検査は
システム性能に影響するおそれがあり、パラメータが妥
当であることを示す結果を得ることがほとんどであるた
めである。換言すれば、プログラムにパラメータ妥当性
検査を組み込むと、パラメータが妥当であることがほと
んどであるにもかかわらず、妥当性検査をずっと実行す
ることになる。しかし、このようなパラメータ妥当性検
査を使用しないと、パラメータがいつどのようにして不
正確にプログラムにおいて渡されているかをすばやく識
別することが困難である。以前は、妥当性検査アルゴリ
ズムを含まない埋め込みシステムソフトウェアは、この
ような妥当性検査アルゴリズムを付加されると、再構築
され、特定の機器に再ロードされる必要があったが、カ
スタマイズ可能コールアウト（ＣＣＯ）によって、より
便利で、実現可能性があり、時間およびコストが低い妥
当性検査方法が提供される。特定の関数はそれぞれ唯一
のＣＣＯを呼び出す。通常、こうしたＣＣＯは定義され
ておらず、固定プログラムは性能に影響を与えずに動作
することが可能である。関数のパラメータの妥当性検査
を導入する必要が生じたときには、そのときにＣＣＯが
定義される（一方で、その製品は動作中であり、固定プ
ログラムを実行している）。
【００１０】さらに、必要な妥当性検査を実行するＣＣ
Ｏは必要に応じて付加されるため、そのような妥当性検
査手続が初期開発中に固定プログラム２０１に挿入され
た場合よりもうまく動作することができる。例えば、５
回に１回、ある関数のパラメータに値１０が渡されてお
り、そのパラメータは実際には値１２を有するべきであ
る場合、ＣＣＯによって付加された妥当性検査プロセス
がこれに備えることができる。ソフトウェア中のバグに
対するこのような洞察は、最初のプログラムを開発中に
は有することが難しい。実際、このような場合には、最
初にはバグが存在しない。システムが、本発明の実施中
にＣＣＯを使用してデバッグされ、その位置が分かった
後、装置の固定プログラム２０１の１回の再構築および
再ロードをするだけでよい。
Ｏは必要に応じて付加されるため、そのような妥当性検
査手続が初期開発中に固定プログラム２０１に挿入され
た場合よりもうまく動作することができる。例えば、５
回に１回、ある関数のパラメータに値１０が渡されてお
り、そのパラメータは実際には値１２を有するべきであ
る場合、ＣＣＯによって付加された妥当性検査プロセス
がこれに備えることができる。ソフトウェア中のバグに
対するこのような洞察は、最初のプログラムを開発中に
は有することが難しい。実際、このような場合には、最
初にはバグが存在しない。システムが、本発明の実施中
にＣＣＯを使用してデバッグされ、その位置が分かった
後、装置の固定プログラム２０１の１回の再構築および
再ロードをするだけでよい。
【００１１】以下に、上記の例のＣ言語ソースコードに
よる実現を示す。
よる実現を示す。
【表１】
【００１２】以下に、上記の例のＦｏｒｔｈ言語による
ＣＣＯの定義を示す。
ＣＣＯの定義を示す。
【表２】
【００１３】本発明によって導入されるもう１つの強力
な機能は、ソフトウェアブレークポイントを定義する能
力である。例えば、開発者は、パラメータ２が大きすぎ
る場合に、上記のシステムのＦｏｒｔｈベースのデバッ
ガ以外の実行を停止させたい場合、以下のＣＣＯを定義
することができる。
な機能は、ソフトウェアブレークポイントを定義する能
力である。例えば、開発者は、パラメータ２が大きすぎ
る場合に、上記のシステムのＦｏｒｔｈベースのデバッ
ガ以外の実行を停止させたい場合、以下のＣＣＯを定義
することができる。
【００１４】
【表３】 上記の例では、正しく定義されたＦｏｒｔｈワード「ａ
ｂｏｒｔ」が、ブレークポイントを実現するために使用
されている。
ｂｏｒｔ」が、ブレークポイントを実現するために使用
されている。
【００１５】
【発明の効果】以上述べたごとく、本発明によれば、Ｒ
ＯＭベースの埋め込みソフトウェアシステムのデバッグ
および修正が容易に実現される。重要なことは、ＣＣＯ
の複雑さが、もとの装置システムソフトウェア内にはな
く、ＲＯＭ１０２に埋めこまれた装置システムソフトウ
ェア中に組み込まれないことである。ＣＣＯは、実行時
にのみ、必要なときにのみ、必要な作業を実行するのに
必要な機能とともにのみ、付加され、他の外部のコンピ
ュータプラットフォームやコンパイラを要しない。
ＯＭベースの埋め込みソフトウェアシステムのデバッグ
および修正が容易に実現される。重要なことは、ＣＣＯ
の複雑さが、もとの装置システムソフトウェア内にはな
く、ＲＯＭ１０２に埋めこまれた装置システムソフトウ
ェア中に組み込まれないことである。ＣＣＯは、実行時
にのみ、必要なときにのみ、必要な作業を実行するのに
必要な機能とともにのみ、付加され、他の外部のコンピ
ュータプラットフォームやコンパイラを要しない。
【図面の簡単な説明】
【図１】システム配置の図である。
【図２】システムの動作を説明する流れ図である。
【図３】システムで使用されるＦＯＲＴＨカーネルへの
修正を説明する図である。
修正を説明する図である。
１００ システム １０１ ランダムアクセスメモリ（ＲＡＭ） １０２ 読み出し専用メモリ（ＲＯＭ） １０３ 拡張可能インタプリタ １０４ マイクロプロセッサ １０５ ダム端末 ２０１ 埋め込み固定装置システムプログラム ２０５ 修正Ｆｏｒｔｈカーネル
Claims (11)
- 【請求項１】 読み出し専用メモリ（ＲＯＭ）ベースの
埋め込みソフトウェアシステムへの少なくとも１つの動
的な拡張機能を呼び出すステップが、 前記システム内のカスタマイズ可能コールアウト（ＣＣ
Ｏ）に対する要求を、そのＣＣＯの識別情報を渡して実
行した後、拡張可能インタプリタに制御を移すステップ
と、 拡張可能インタプリタによって、そのＣＣＯが定義され
ているかどうかを判定するステップと、 そのＣＣＯが定義されている場合には次のステップに進
み、そうでない場合は前記システムに復帰するステップ
と、 そのＣＣＯに制御を移すステップとからなることを特徴
とする、ＲＯＭベースの埋め込みソフトウェアシステム
を動的に修正する方法。 - 【請求項２】 拡張可能インタプリタに制御を移すステ
ップがＣＣＯを要求するステップを含み、前記方法が、
定義されたＣＣＯを実行するステップをさらに含むこと
を特徴とする請求項１の方法。 - 【請求項３】 拡張可能インタプリタは、他の外部のコ
ンピュータプラットフォームまたはコンパイラを必要と
せずに、ＣＣＯを直接定義するために使用されることを
特徴とする請求項２の方法。 - 【請求項４】 拡張インタプリタは、前記システムにソ
フトウェアブレークポイントを設定するために使用され
ることを特徴とする請求項３の方法。 - 【請求項５】 拡張可能インタプリタは、プログラム言
語Ｆｏｒｔｈで作成されていることを特徴とする請求項
４の方法。 - 【請求項６】 読み出し専用メモリ（ＲＯＭ）、ランダ
ムアクセスメモリ（ＲＡＭ）、マイクロプロセッサおよ
び端末からなる装置において、カスタマイズ可能コール
アウト（ＣＣＯ）に対する要求がＲＯＭベースの埋め込
みソフトウェアシステムに挿入されており、 前記システム内のカスタマイズ可能コールアウト（ＣＣ
Ｏ）に対する要求を、そのＣＣＯの識別情報を渡して実
行した後、拡張可能インタプリタに制御を移すステップ
と、 拡張可能インタプリタによって、そのＣＣＯが定義され
ているかどうかを判定するステップと、 そのＣＣＯが定義されている場合には次のステップに進
み、そうでない場合は前記システムに復帰するステップ
と、 そのＣＣＯに制御を移すステップとからなることを特徴
とする、ＲＯＭベースの埋め込みソフトウェアシステム
を動的に修正する方法。 - 【請求項７】 拡張可能インタプリタはＲＯＭ内および
ＲＡＭ内に存在し、拡張可能インタプリタに制御を移す
ステップがＣＣＯを要求するステップを含み、さらに、
定義されたＣＣＯを実行するステップを含むことを特徴
とする請求項６の方法。 - 【請求項８】 他の外部のコンピュータプラットフォー
ムまたはコンパイラを必要とせずに、拡張可能インタプ
リタをＲＡＭ内に拡張して新たなＣＣＯを直接定義する
ために、マイクロプロセッサおよび端末によって拡張可
能インタプリタと対話することが可能なＣＣＯがＲＯＭ
内に存在することを特徴とする請求項７の方法。 - 【請求項９】 拡張可能インタプリタは、前記新たなＣ
ＣＯに対する要求が前記システム内で実行され、そのＣ
ＣＯの識別情報が拡張可能インタプリタに転送された
後、前記新たなＣＣＯを呼び出すことができることを特
徴とする請求項８の方法。 - 【請求項１０】 拡張インタプリタは、前記システムに
ソフトウェアブレークポイントを設定するために使用さ
れることを特徴とする請求項９方法。 - 【請求項１１】 拡張可能インタプリタは、プログラム
言語Ｆｏｒｔｈで作成されていることを特徴とする請求
項１０の方法。
Applications Claiming Priority (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| US96802492A | 1992-10-29 | 1992-10-29 | |
| US968024 | 1992-10-29 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0773032A true JPH0773032A (ja) | 1995-03-17 |
Family
ID=25513605
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP5292379A Pending JPH0773032A (ja) | 1992-10-29 | 1993-10-29 | ソフトウェアシステムを動的に修正する方法 |
Country Status (4)
| Country | Link |
|---|---|
| US (1) | US5740351A (ja) |
| EP (1) | EP0595540A1 (ja) |
| JP (1) | JPH0773032A (ja) |
| CA (1) | CA2101716A1 (ja) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5963741A (en) * | 1997-01-29 | 1999-10-05 | Nec Corporation | Information processor which rewrites instructions in program to dynamically change program structure and method therefor |
| US6715051B2 (en) | 1999-12-24 | 2004-03-30 | Matsushita Electric Industrial Co., Ltd. | Program modification device |
| JP2011504621A (ja) * | 2007-11-02 | 2011-02-10 | テルコーディア ライセンシング カンパニー， リミテッド ライアビリティ カンパニー | ポリシーが与えられたプログラミングのための方法及びシステム |
Families Citing this family (13)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5896535A (en) * | 1996-08-20 | 1999-04-20 | Telefonaktiebolaget L M Ericsson (Publ) | Method and system for testing computer system software |
| US6754891B1 (en) | 1998-08-31 | 2004-06-22 | Red Hat, Inc. | Debugger system using tracepoints for computer software |
| US7143407B2 (en) * | 2001-07-26 | 2006-11-28 | Kyocera Wireless Corp. | System and method for executing wireless communications device dynamic instruction sets |
| US7404178B2 (en) * | 2004-02-18 | 2008-07-22 | Hewlett-Packard Development Company, L.P. | ROM-embedded debugging of computer |
| US7546596B2 (en) * | 2004-03-29 | 2009-06-09 | International Business Machines Corporation | Non-disruptive method, system and program product for overlaying a first software module with a second software module |
| US8539469B2 (en) | 2004-05-11 | 2013-09-17 | Microsoft Corporation | Efficient patching |
| US7559058B2 (en) | 2004-05-11 | 2009-07-07 | Microsoft Corporation | Efficient patching |
| US7890946B2 (en) * | 2004-05-11 | 2011-02-15 | Microsoft Corporation | Efficient patching |
| US8863115B2 (en) * | 2008-03-20 | 2014-10-14 | Sap Ag | Execution of program code having language-level integration of program models |
| US8117587B1 (en) | 2008-06-03 | 2012-02-14 | Richard Paul Testardi | Microcontroller-resident software development environment supporting application-level asynchronous event handling, interactive debugging and pin variables for embedded systems |
| US8806446B2 (en) * | 2010-03-22 | 2014-08-12 | Analog Devices, Inc. | Methods and apparatus for debugging programs in shared memory |
| FR3105853B1 (fr) * | 2019-12-31 | 2023-01-06 | Proton World Int Nv | Système embarqué |
| FR3105854B1 (fr) * | 2019-12-31 | 2024-07-19 | St Microelectronics Rousset | Système embarqué |
Family Cites Families (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US4312066A (en) * | 1979-12-28 | 1982-01-19 | International Business Machines Corporation | Diagnostic/debug machine architecture |
| US4589068A (en) * | 1983-10-03 | 1986-05-13 | Digital Equipment Corporation | Segmented debugger |
| US4719564A (en) * | 1984-12-10 | 1988-01-12 | Nec Corportion | Interpreter linkage system for linking extension interpreters to a basic interpreter |
| US4819234A (en) * | 1987-05-01 | 1989-04-04 | Prime Computer, Inc. | Operating system debugger |
-
1993
- 1993-07-30 CA CA002101716A patent/CA2101716A1/en not_active Abandoned
- 1993-10-20 EP EP93308344A patent/EP0595540A1/en not_active Withdrawn
- 1993-10-29 JP JP5292379A patent/JPH0773032A/ja active Pending
-
1995
- 1995-09-13 US US08/527,463 patent/US5740351A/en not_active Expired - Lifetime
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5963741A (en) * | 1997-01-29 | 1999-10-05 | Nec Corporation | Information processor which rewrites instructions in program to dynamically change program structure and method therefor |
| US6715051B2 (en) | 1999-12-24 | 2004-03-30 | Matsushita Electric Industrial Co., Ltd. | Program modification device |
| JP2011504621A (ja) * | 2007-11-02 | 2011-02-10 | テルコーディア ライセンシング カンパニー， リミテッド ライアビリティ カンパニー | ポリシーが与えられたプログラミングのための方法及びシステム |
| US8448159B2 (en) | 2007-11-02 | 2013-05-21 | Tti Inventions C Llc | Method and system for policy enabled programming |
Also Published As
| Publication number | Publication date |
|---|---|
| CA2101716A1 (en) | 1994-04-30 |
| US5740351A (en) | 1998-04-14 |
| EP0595540A1 (en) | 1994-05-04 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US6141794A (en) | System and method for synchronizing access to shared variables in a virtual machine in a digital computer system | |
| JP4398538B2 (ja) | 命令セット内の命令に応答してプロセスを実行するデータ処理システムおよびその命令処理方法 | |
| US5504901A (en) | Position independent code location system | |
| JPH0773032A (ja) | ソフトウェアシステムを動的に修正する方法 | |
| US6738965B1 (en) | Trace information in a virtual machine | |
| US7757225B2 (en) | Linktime recognition of alternative implementations of programmed functionality | |
| US5583988A (en) | Method and apparatus for providing runtime checking features in a compiled programming development environment | |
| US9639329B2 (en) | System and method for automatic invocation of constructor code for superclasses | |
| US8271965B2 (en) | Apparatus to guarantee type and initialization safety in multithreaded programs | |
| JPH08179940A (ja) | コンピュータ・アプリケーション・プログラムをデバッグする方法およびコンピュータ・システム | |
| JPH0836488A (ja) | ダイナミック・パッチングを使用するランタイム・エラー・チェック方法と装置 | |
| WO1995001598A1 (en) | System for object oriented dynamic linking based upon a catalog of registered function set or class identifiers | |
| US7124407B1 (en) | Method and apparatus for caching native code in a virtual machine interpreter | |
| US7051323B2 (en) | Method and apparatus for initializing romized system classes at virtual machine build time | |
| Chiba et al. | Using HotSwap for implementing dynamic AOP systems | |
| CN112052051B (zh) | 插件处理方法、装置、设备及存储介质 | |
| JP2919302B2 (ja) | Ｃｐｕシミュレーション方法 | |
| US5388263A (en) | Procedure state descriptor system for digital data processors | |
| Lawall et al. | Tarantula: Killing driver bugs before they hatch | |
| KR100303307B1 (ko) | 실시간 오퍼레이팅 시스템에서 디버깅동작을 위한 다운로드장치 및 방법 | |
| US7039905B1 (en) | Compiler device and computer-readable recording medium recorded with compiler program | |
| CN114996128B (zh) | 基于asm框架的脚本处理方法、装置、设备及存储介质 | |
| US6948095B2 (en) | Methods and apparatus for dynamically loading a file on a target computer system | |
| CN113031956A (zh) | 程序编译方法和装置以及程序运行方法和装置 | |
| JPH06103109A (ja) | データプロセッサ、及びこれを用いるデバッグ装置 |