JP2002351695A

JP2002351695A - プログラムのデバッグ方法、デバッグ装置およびプログラムデバッグ用の記録媒体

Info

Publication number: JP2002351695A
Application number: JP2001157591A
Authority: JP
Inventors: Masayoshi Kodama; 将義小玉
Original assignee: Matsushita Electric Industrial Co Ltd
Current assignee: Panasonic Holdings Corp
Priority date: 2001-05-25
Filing date: 2001-05-25
Publication date: 2002-12-06

Abstract

(57)【要約】【課題】リアルタイムＯＳを使用したマルチタスク・
システムのデバッグにおいて、関数ステップを実行した
場合に、ディスパッチ先タスクで実行を停止したり、複
数のタスクから共用される関数では他タスクにディスパ
ッチしているときはプログラムを停止しないようなデバ
ッグ方法を提供する。【解決手段】現在のＳＰレジスタ値を保存するステッ
プＳ３０１と、ＯＳのディスパッチャに実行ブレークを
設定するステップＳ３０３と、ＯＳのプログラムコード
領域外までプログラムの実行を進めるステップＳ３０７
と、前記ステップＳ３０７でのＳＰ値と、前記ステップ
Ｓ３０１でのＳＰ値との比較を行うステップＳ３０８と
を少なくとも含んでいる。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、プログラムのデバ
ッグ方法、特にリアルタイムＯＳ上で並列に実行される
複数のタスクを持つアプリケーションをデバッグする方
法に関する。

【０００２】

【従来の技術】プログラムの開発を行う場合、通常、１
つの大きなプログラムは、多くの小さなサブプログラム
に分割した状態で開発される。サブプログラムの大半
は、その中でさらに別のサブプログラムを呼び出して処
理が行われる。このようなプログラムのデバッグにおい
ては、最初から大きなプログラムの全体をデバッグする
のではなく、下層にあるサブプログラムから順次上層の
サブプログラムに向かってデバッグしていくことが多
い。この場合、デバッグが完了した下層のサブプログラ
ムには不具合が存在しないため、より上層のサブプログ
ラムをデバッグするときには、デバッグが完了した下層
のサブプログラムをブラックボックスとして扱っても問
題はない。

【０００３】プログラムのデバッグ作業においては、プ
ログラムを１命令ずつ実行してレジスタやメモリなどの
変化を調べていくステップ実行がよく用いられる。この
場合、デバッグが完了したサブプログラムに対しては、
サブプログラムをステップ実行して変化を確認する必要
はなく、サブプログラムを一度に実行した後で変化を確
認すればよい。このため、プログラムのデバッグ作業を
行うほとんどのデバッガには、ステップ実行をしようと
している命令がサブプログラムの呼出し命令であった場
合、そのサブプログラム内を一度に実行してしまう関数
ステップ実行と呼ばれる機能をもっている。

【０００４】ところで、プログラムの構成上いくつかの
並列的に行われる処理や、時間経過の管理を伴うような
処理を必要とする場合に、リアルタイムＯＳが使用され
ることがある。リアルタイムＯＳとは、タスクという単
位に分割された複数のプログラムを状況により切替えな
がら動作させるＯＳ（オペレーティングシステム）であ
る。リアルタイムＯＳにおいては、ＯＳに対するシステ
ムコールの発行や、割込みによるイベントの発生によ
り、実行中のタスクが切替えられる。このようなタスク
も、通常のプログラムと同様に幾つかのサブプログラム
に分割されて開発される。

【０００５】このようなリアルタイムＯＳ上で並列動作
する複数のタスクをデバッグする場合に、タスクを構成
するメインプログラム中にシステムコールが含まれてい
ると、そのシステムコールがＣＡＬＬ命令で呼出したメ
インプログラムに戻らないようなものであった場合で
も、その処理を正常に終了できるようにすることが要求
される。

【０００６】具体的に説明するために、図８にＯＳを使
用しないプログラムの関数ステップについて、また、図
９にＯＳを使用したプログラムの関数ステップについ
て、それぞれのプログラムの挙動を示す。

【０００７】まず図８において、ステップＳ８０１の命
令を実行するところで関数ステップを実行する。ＯＳを
使用しないプログラムでは、図示のようにステップＳ８
０２，Ｓ８０３と階層的に関数呼出しが行われようと
も、必ず元のステップＳ８０１のＣＡＬＬ命令の次にリ
ターンして戻ってくる。このような状況においては、現
状の関数ステップ機能はデバッグ作業者の意図通りの動
作を実現している。

【０００８】一方、図９に示すようなＯＳを用いたプロ
グラムにおいて、第１のタスク第１のタスクtask1を実
行中にステップＳ９０１の命令を実行するところで図８
の場合と同様の関数ステップを実行したとする。ＯＳを
使用するプログラムでは、その関数がシステムコールの
場合には、そのシステムコールの呼出しによってＯＳ内
部コード領域に制御が移り（ステップＳ９０３）、さら
にディスパッチが発生して他のタスクに制御が移る場合
がある（task1→ task2）。次に、第２のタスクtask2に
おいてステップＳ９０２の命令（システムコール呼出
し）が実行されると、再度、ＯＳ内部コード領域に制御
が移り、元の第１のタスクtask1に戻る。従来の関数ス
テップ機能では、この第１のタスクtask1に戻ってきた
時点で初めてプログラムの実行が停止するが、他のタス
クの挙動次第やシステムコールの種類によっては、第１
のタスクtask1に戻って来るという保証はない。

【０００９】さらに、第１のタスクtask1から第２のタ
スクtask2へ、あるいはその逆に、第２のタスクtask2か
ら第１のタスクtask1へといった、タスクの遷移を意識
しながらのデバッグを行いたい場合もあるが、従来の関
数ステップ機能では、そういったタスクの挙動を追跡す
ることも容易ではない。なぜなら、そのためにはＯＳ内
部コード領域内を１命令ステップで追って行くことで
（Ｓ９０１→Ｓ９０３→Ｓ９０２）、他のタスクにディ
スパッチするまでの過程をデバッグ作業者が追跡する必
要があるからである。

【００１０】しかし、多くの場合、アプリケーションの
デバッグ作業者は、ＯＳのプログラムコードをブラック
ボックス的に使用する。また、ＯＳのシステムコールの
動作そのものは安定している場合が多い。したがって、
ＯＳのプログラムコード領域内をステップ実行で追跡し
ていくことは、工数的にも無駄な作業であると言える。

【００１１】こういった要求の一部を実現した従来技術
として、特開平１１−２３８００３号公報に開示される
プロシージャ・ステップ処理方法がある。図１０はこの
プロシージャ・ステップ処理方法を実施するデバッガの
動作処理フローを示したものである。

【００１２】まず、プロシージャ・ステップ実行部Ｎ１
１における命令判別部Ｎ１２では、ステップ実行中のプ
ログラムにおいて、実行する命令がＣＡＬＬ命令かどう
かを判別し（ステップＳ１０１）、ＣＡＬＬ命令でなけ
れば（Ｎｏ）、その命令だけをステップ実行部Ｎ１３で
実行し（ステップＳ１０２）、次いで終了する。

【００１３】ＣＡＬＬ命令の場合（Ｙｅｓ）は、関数判
別部Ｎ１４がＯＳ情報テーブルＩＴから「システムコー
ルを特定するためのルール」、「自タスク終了システム
コールの情報」を読み出し、自タスク終了システムコー
ルかどうかを判別する（ステップＳ１０３）。その結
果、自タスク終了システムコールでないと判別された場
合は、通常関数実行部Ｎ１５に通常の関数ステップを実
行させる（ステップＳ１０４）。通常の関数ステップ実
行の方法については公知であるので、説明を省略する。

【００１４】自タスク終了システムコール（Ｙｅｓ）で
あれば、タスク終了関数実行部Ｎ１６は、ユーザが設定
したイベントを退避し、全てのイベントブレークを解除
すなわち無効にする（ステップＳ１０５）。

【００１５】次にＯＳ情報テーブルＩＴを参照して、自
タスク終了システムコールの終了位置情報（シンボル／
アドレス）を抽出し、ＯＳ終了アドレスを計算し、その
アドレスへ実行後イベントブレークを設定する（ステッ
プＳ１０６）。

【００１６】タスク終了関数実行部Ｎ１６およびリアル
タイム・エミュレーション部Ｎ１７は、タスク終了関数
のリアルタイム・エミュレーションを開始する（ステッ
プＳ１０７）。

【００１７】ＯＳ終了アドレスをアクセスしたことによ
り、実行後イベントブレークを検出すると（ステップＳ
１０８）、リアルタイム・エミュレーションを中断する
（ステップＳ１０９）。

【００１８】次に、ステップＳ１０６で設定した実行後
イベントブレークを解除する（ステップＳ１１０）。

【００１９】最後に、ステップＳ１０５で退避したユー
ザのイベントを復元し（ステップＳ１１１）、タスク終
了関数の実行を終了する。

【００２０】以上で説明した方法により、自タスク終了
システムコールが呼び出されても、リアルタイムＯＳの
処理が終了した時点でプログラムの実行を中断させるこ
とができる。

【００２１】さらに、もう１つの状況について説明す
る。１つのサブプログラムとして関数funcがあり、この
関数funcが第１および第２の２つのタスクtask1，task2
から共用して使われている場合を考える（図１１）。ま
ず、第１のタスクtask1から共用関数funcを呼出す（Ｓ
１００１→Ｓ１００２）。呼出された関数funcの内部で
自タスクを待ち状態に移行させるシステムコールwai_fl
gを発行する（ステップＳ１００３）。このシステムコ
ールwai_flgの呼出しに対して関数ステップを実行する
と、デバッガはステップＳ１００６のブレーク位置に実
行ブレークを設定する。その後、関数ステップはプログ
ラムの実行を開始し、ＯＳ内部コード領域を経て（ステ
ップＳ１００４）、第２のタスクtask2へディスパッチ
する。

【００２２】ここで第２のタスクtask2でも同様に共用
関数funcを呼出す（ステップＳ１００５）。第１のタス
クtask1の場合と同じようにステップＳ１００２，Ｓ１
００３を経由してＯＳ内部コード領域に入る。もしここ
でステップＳ１００３のシステムコールwai_flgの条件
を満たしているために第２のタスクtask２が待ち状態に
入らない場合は、ディスパッチは起こらずに、デバッガ
は第１のタスクtask1の実行時に設定した実行ブレーク
を検出し（ステップＳ１００６）、プログラムの実行を
停止する。

【００２３】しかし、今は第２のタスクtask２の実行中
であり、第１のタスクtask1の実行中以外での実行停止
はデバッグ作業者の意図とは異なっている。このような
挙動はデバッグ作業における混乱を招くと同時に、デバ
ッグにかかる工数を大きくしてしまう。

【００２４】このような不都合を避けたいとする要求を
実現する従来技術として、イベントブレークを設定する
ときに、現在実行状態にあるタスクのＩＤもイベントブ
レークの付加情報として保持しておく方法がある。先ほ
どの例で言えば、第１のタスクtask1の実行中に関数ス
テップを実行する際に（ステップＳ１００３）、イベン
トブレークを設定すると同時にＯＳ内部情報を参照して
現在のタスクＩＤを保持する。次に、第２のタスクtask
２の実行中にイベントブレークを検出した場合は（ステ
ップＳ１００６）、再度、ＯＳ内部情報を参照して現在
のタスクＩＤを獲得し、先ほど保持しておいたタスクＩ
Ｄと比較する。タスクＩＤを比較した結果、その値が一
致していれば同じタスクの実行中にプログラムが実行ブ
レークを検出したということが言えるため、プログラム
の実行を停止する。一方、タスクＩＤが一致していない
場合は、プログラムを停止させずに、再度プログラムの
実行を開始する。

【００２５】以上で説明した内容により、共用のサブプ
ログラムがあった場合でも、デバッグ作業者の意図通り
に、同一タスクを実行中にのみプログラムの実行を停止
させることができる。

【００２６】

【発明が解決しようとする課題】図１０に示した自タス
ク終了システムコールを検出する従来の方法では、ＯＳ
内部でプログラムの実行が停止してしまうため、サブプ
ログラムであるリアルタイムＯＳのシステムコールをブ
ラックボックス的に使用することができない。さらに、
マルチタスク・システムでは、自タスク終了システムコ
ール以外でも、システムコールを発行したタスクに制御
が戻ってこない場合がある。

【００２７】例えば他タスクを終了させる場合を考え
る。図１２にその動作フローを示す。まず最初に第１の
タスクtask1が動作しているものとする。ここで自タス
クが待ち状態に入るシステムコールとしてwai_flgを実
行（ステップＳ２０１）し、第２のタスクtask２にディ
スパッチする。第２のタスクtask２では第１のタスクta
sk1を終了させるシステムコールとしてter_tskを実行
（ステップＳ２０２）する。その後も第２のタスクtask
２はそのまま処理を続行する。

【００２８】このような状況において、ステップＳ２０
１のwai_flgシステムコールを発行するところで、前記
のプロシージャ・ステップを実行した場合、wai_flgシ
ステムコール自体は「自タスクを終了するシステムコー
ル」ではないために、デバッガは通常の関数ステップと
して処理を行う。しかし、第２のタスクtask２の中で第
１のタスクtask1が終了してしまうため、従来の方法で
はプロシージャ・ステップ実行を停止させることができ
ない。

【００２９】また、図９のところで説明したように、タ
スクの遷移を意識しながらステップ実行させる場合に
は、タスクが切替わる瞬間を捉え、ディスパッチ先タス
クがシステムコールから復帰したときに実行を停止させ
るようにすることが要求されるが、これを解決する有効
な方法は確立されていない。

【００３０】さらに、図１１のところで説明したよう
に、複数のタスクから共通に呼出される可能性のある共
用関数のデバッグ方法についても、従来の方法では各実
行ブレークを設定する毎に、タスクＩＤを保持する領域
を別途設ける必要がある。また、現在実行中のタスクＩ
ＤをリアルタイムＯＳから取得する方法が必要となり、
デバッグシステムがリアルタイムＯＳに強く依存したも
のになってしまう。

【００３１】本発明の目的は、リアルタイムＯＳを使用
したマルチタスク・システムにおいて、システムコール
の種類に関係なく、ディスパッチ先タスクで実行を停止
させることで、タスクの遷移を把握することができるデ
バッグ方法および装置を提供することにある。

【００３２】さらに、複数のタスクから共通に利用され
る共用関数があるようなマルチタスク・システムにおい
て、同一タスクでのみ実行が停止する関数ステップが可
能なデバッグ方法および装置を提供することにある。

【００３３】本発明の他の目的は、こういったデバッグ
方法を実施するプログラムを記録した記録媒体を提供す
ることにある。

【００３４】

【課題を解決するための手段】本発明のリアルタイムＯ
Ｓ上で並列に実行される複数のタスクをデバッグする方
法は、次のような複数のステップを含んだものである。
すなわち、現在のスタックポインタ値を保存するステッ
プと、リアルタイムＯＳの内部情報を保持するステップ
と、現在のプログラムカウンタが指している命令の次の
命令位置に第１の実行ブレークを設定し、かつ同時に前
記内部情報を参照してリアルタイムＯＳ内部にも第２の
実行ブレークを設定してプログラムの実行を開始するス
テップと、プログラムの実行がブレークによって停止し
たときに前記第１実行ブレークと前記第２実行ブレーク
の設定解除を行い、そのときのブレーク要因が前記第１
の実行ブレークか前記第２の実行ブレークかを判別する
ステップと、前記第２の実行ブレークでプログラムが停
止したのであれば、前記内部情報を参照してリアルタイ
ムＯＳプログラムコード領域から、アプリケーションプ
ログラムコード領域までプログラムカウンタを進めるス
テップと、前記アプリケーションプログラムコード領域
までプログラムカウンタが進んだ後に、現在のスタック
ポインタ値と予め保存しておいたスタックポインタの値
が一致すれば関数ステップの実行を終了するステップと
を含んでいる。

【００３５】リアルタイムＯＳ上で並列に実行される複
数のタスクをデバッグする装置は、次のような複数の手
段を備えている。すなわち、現在のスタックポインタ値
を保存する手段と、リアルタイムＯＳの内部情報を保持
する手段と、現在のプログラムカウンタが指している命
令の次の命令位置に第１の実行ブレークを設定し、かつ
同時に前記内部情報を参照してリアルタイムＯＳ内部に
も第２の実行ブレークを設定してプログラムの実行を開
始する手段と、プログラムの実行がブレークによって停
止したときに前記第１実行ブレークと前記第２実行ブレ
ークの設定解除を行い、そのときのブレーク要因が前記
第１の実行ブレークか前記第２の実行ブレークかを判別
する手段と、前記第２の実行ブレークでプログラムが停
止したのであれば、前記内部情報を参照してリアルタイ
ムＯＳプログラムコード領域から、アプリケーションプ
ログラムコード領域までプログラムカウンタを進める手
段と、前記アプリケーションプログラムコード領域まで
プログラムカウンタが進んだ後に、現在のスタックポイ
ンタ値と予め保存しておいたスタックポインタの値が一
致すれば関数ステップの実行を終了する手段とを有して
いる。

【００３６】さらに本発明のリアルタイムＯＳ上で並列
に実行される複数のタスクをデバッグするプログラムを
記録した記録媒体は、次のような複数のステップを含ん
だプログラムを記録している。すなわち、現在のスタッ
クポインタ値を保存するステップと、リアルタイムＯＳ
の内部情報を保持するステップと、現在のプログラムカ
ウンタが指している命令の次の命令位置に第１の実行ブ
レークを設定し、かつ同時に前記内部情報を参照してリ
アルタイムＯＳ内部にも第２の実行ブレークを設定して
プログラムの実行を開始するステップと、プログラムの
実行がブレークによって停止したときに前記第１実行ブ
レークと前記第２実行ブレークの設定解除を行い、その
ときのブレーク要因が前記第１の実行ブレークか前記第
２の実行ブレークかを判別するステップと、前記第２の
実行ブレークでプログラムが停止したのであれば、前記
内部情報を参照してリアルタイムＯＳプログラムコード
領域から、アプリケーションプログラムコード領域まで
プログラムカウンタを進めるステップと、前記アプリケ
ーションプログラムコード領域までプログラムカウンタ
が進んだ後に、現在のスタックポインタ値と予め保存し
ておいたスタックポインタの値が一致すれば関数ステッ
プの実行を終了するステップとを含んだ構成のプログラ
ムを記録している記録媒体である。

【００３７】本発明によれば、デバッガにリアルタイム
ＯＳの内部情報をもたせ、現在のプログラムカウンタが
指している命令の次の命令位置と、ＯＳ内部ディスパッ
チャ関数に実行ブレークを設定して、リアルタイムＯＳ
における関数ステップを実行し、後者の実行ブレークで
実行が停止した場合は、プログラムカウンタをリアルタ
イムＯＳプログラムコード領域外を指すところまで進め
ることにより、システムコールの種類に関係なく、ディ
スパッチ先タスクでプログラムの実行を停止させる。

【００３８】さらに、リアルタイムＯＳにおける関数ス
テップ実行を、現在のスタックポインタの値を保存し、
デバッガにリアルタイムＯＳの内部情報をもたせ、現在
のプログラムカウンタが指している命令の次の命令位置
と、ＯＳ内部ディスパッチャ関数に実行ブレークを設定
して実行し、後者の実行ブレークで実行が停止した場合
は、プログラムカウンタをリアルタイムＯＳプログラム
コード領域外を指すところまで進め、この時点でのスタ
ックポインタの値が予め保存しておいたスタックポイン
タの値と一致するならばプログラムの実行を停止するこ
とにより、あるタスクの中で行った関数ステップが他の
タスクが同じ場所を通過したことによって実行停止して
しまうことを防ぐ。

【００３９】

【発明の実施の形態】以下、本発明の実施の形態を総括
的に説明する。

【００４０】本願第１の発明のプログラムのデバッグ方
法は、リアルタイムＯＳ上で並列に実行される複数のタ
スクを持つアプリケーションをデバッグする方法におい
て、リアルタイムＯＳの内部情報として、リアルタイム
ＯＳプログラムコード領域の先頭アドレスと、リアルタ
イムＯＳプログラムコード領域の末尾アドレスと、ディ
スパッチを行うサブルーチンの先頭アドレスとを保持さ
せるステップと、現在のプログラムカウンタが指してい
る命令の次の命令位置に第１の実行ブレークを設定し、
かつ同時に前記内部情報を参照してリアルタイムＯＳ内
部にも第２の実行ブレークを設定して、プログラムの実
行を開始するステップと、プログラムの実行がブレーク
によって停止したときに前記第１実行ブレークと前記第
２実行ブレークの設定解除を行い、そのときのブレーク
要因が前記第１の実行ブレークか前記第２の実行ブレー
クかを判別するステップと、前記第２の実行ブレークで
プログラムが停止したのであれば、前記内部情報を参照
してリアルタイムＯＳプログラムコード領域からアプリ
ケーションプログラムコード領域までプログラムカウン
タを進めるステップと、前記アプリケーションプログラ
ムコード領域までプログラムカウンタが進んだ後に、関
数ステップの実行を終了するステップとを含むものとな
っている。

【００４１】この第１の発明によると、次のような作用
がある。すなわち、実行しているプログラムは、ブレー
クによって停止するが、その停止にかかわるブレーク要
因が第１の実行ブレークであるのか第２の実行ブレーク
であるのかに応じて次の対応をとる。

【００４２】第１の実行ブレークは、関数ステップ実行
に移行する直前にプログラムカウンタが指している命令
の次の命令位置に設定されたものである。したがって、
第１の実行ブレークによってプログラムが停止したとき
には、第２の実行ブレークは通過しておらず、したがっ
てタスクディスパッチは発生しておらず、通常の関数コ
ールから単純にリターンしてきたことが分かる。このよ
うな状況では、既存のデバッグシステムが持つ通常の関
数ステップと同様の振舞いをすればよいので、この段階
でリアルタイムＯＳ対応の関数ステップの処理を終了す
ればよい。

【００４３】一方、第２の実行ブレークによってプログ
ラムが停止したときには、関数ステップを実行している
途中で、タスクディスパッチが発生したことを意味して
いる。このときは、ＯＳ内部情報を参照して、リアルタ
イムＯＳプログラムコード領域からプログラムカウンタ
がリアルタイムＯＳプログラムコード領域外へ出るまで
プログラムの実行を進め、アプリケーションプログラム
コード領域に至ると、関数ステップ実行を終了する。

【００４４】以上の結果として、システムコールの種類
に関係なく、ディスパッチ先タスクでプログラムの実行
を停止させることが可能となる。

【００４５】本願第２の発明のプログラムのデバッグ方
法は、上記第１の発明において、前記リアルタイムＯＳ
プログラムコード領域からアプリケーションプログラム
コード領域までプログラムカウンタを進める前記ステッ
プは、機械語１命令を実行する毎にプログラムの実行を
停止するステップと、プログラムの実行が停止したとき
のプログラムカウンタの値が前記内部情報より得られる
リアルタイムＯＳプログラムコード領域内であるかどう
かを判別し、領域内であれば前記機械語１命令実行のス
テップに戻り、領域外になったときにはプログラムの実
行を終了するステップとを含むものとなっている。これ
は、上記第１の発明をより具体的レベルで記述したもの
に相当する。

【００４６】本願第３の発明のプログラムのデバッグ方
法は、上記第１の発明において、前記リアルタイムＯＳ
プログラムコード領域からアプリケーションプログラム
コード領域までプログラムカウンタを進める前記ステッ
プは、スタックポインタのレジスタ値が書き換わる個所
まで、機械語命令を１命令ずつ実行してプログラムカウ
ンタを進めるステップと、前記ステップで得られたスタ
ックポインタが指すスタック領域を解析して、関数呼出
し履歴テーブルを作成し、前記履歴テーブルから親関数
へのリターンアドレスを特定し、前記親関数へのリター
ンアドレスがリアルタイムＯＳプログラムコード領域外
であれば、前記リターンアドレスに第３の実行ブレーク
を設定するステップと、前記第３の実行ブレーク位置で
プログラムの実行が停止したときに、前記第３の実行ブ
レークの設定解除を行うステップとを含むものとなって
いる。

【００４７】この第３の発明による作用は次のとおりで
ある。すなわち、リアルタイムＯＳを使用したマルチタ
スク・システムにおいて、複数のタスクから共通に使用
されるサブプログラムの中で関数ステップ機能を実行し
た場合でも、関数ステップ機能を実行したときに実行状
態にあったタスクでのみプログラムの実行を停止させる
ことができる。

【００４８】本願第４の発明のプログラムのデバッグ方
法は、上記第１の発明において、関数ステップを実行す
る前に現在のスタックポインタの値を保存しておくステ
ップを含むものとなっている。これによれば、プログラ
ムカウンタをリアルタイムＯＳプログラムコード領域外
を指すところまで進めた時点で、スタックポインタの値
を予め保存しておいたスタックポインタの値と比較し、
一致するならばプログラムの実行を停止することによ
り、あるタスクの中で行った関数ステップが他のタスク
が同じ場所を通過したことによって実行停止してしまう
ことを防ぐことが可能となる。

【００４９】本願第５の発明のプログラムのデバッグ方
法は、上記第４の発明において、前記リアルタイムＯＳ
プログラムコード領域からアプリケーションプログラム
コード領域までプログラムカウンタを進める前記ステッ
プは、第３の実行ブレーク位置までプログラムカウンタ
を進めた後に、現在のスタックポインタの値が上記第４
の発明で保存しておいたスタックポインタの値と等しい
かどうかを判別し、異なっていた場合には、再度前記第
１実行ブレークと第２実行ブレークの設定から関数ステ
ップを再開するステップを含むものとなっている。

【００５０】この第５の発明によると、異なるタスクで
のプログラムの停止を回避することが可能となる。

【００５１】本願第６の発明は、上記第１の発明のプロ
グラムのデバッグ方法に対応したデバッグ装置にかかわ
るものであって、第１の発明における「ステップ」なる
文言を「手段」なる文言に置き換えて記述したものに相
当しており、第１の発明の方法を実施して、同第１の発
明による作用を達成することができる。

【００５２】本願第７の発明は、上記第２の発明のプロ
グラムのデバッグ方法に対応したデバッグ装置にかかわ
るものであって、第２の発明における「ステップ」なる
文言を「手段」なる文言に置き換えて記述したものに相
当しており、第２の発明の方法を実施して、同第２の発
明による作用を達成することができる。

【００５３】本願第８の発明は、上記第３の発明のプロ
グラムのデバッグ方法に対応したデバッグ装置にかかわ
るものであって、第３の発明における「ステップ」なる
文言を「手段」なる文言に置き換えて記述したものに相
当しており、第３の発明の方法を実施して、同第３の発
明による作用を達成することができる。

【００５４】本願第９の発明は、上記第４の発明のプロ
グラムのデバッグ方法に対応したデバッグ装置にかかわ
るものであって、第４の発明における「ステップ」なる
文言を「手段」なる文言に置き換えて記述したものに相
当しており、第４の発明の方法を実施して、同第４の発
明による作用を達成することができる。

【００５５】本願第１０の発明は、上記第５の発明のプ
ログラムのデバッグ方法に対応したデバッグ装置にかか
わるものであって、第５の発明における「ステップ」な
る文言を「手段」なる文言に置き換えて記述したものに
相当しており、第５の発明の方法を実施して、同第５の
発明による作用を達成することができる。

【００５６】本願第１１から第１５までの発明は、コン
ピュータ読み取り可能なプログラムデバッグ用の記録媒
体にかかわるものである。

【００５７】本願第１１の発明のコンピュータ読み取り
可能なプログラムデバッグ用の記録媒体は、上記第１の
発明における各ステップを含むプログラムを記録したも
のとなっており、この記録媒体に記録されているプログ
ラムをデバッグ装置にインストールすることにより、第
１の発明の方法を実施して、同第１の発明による作用を
達成することができる。

【００５８】本願第１２の発明のコンピュータ読み取り
可能なプログラムデバッグ用の記録媒体は、上記第２の
発明における各ステップを含むプログラムを記録したも
のとなっており、この記録媒体に記録されているプログ
ラムをデバッグ装置にインストールすることにより、第
２の発明の方法を実施して、同第２の発明による作用を
達成することができる。

【００５９】本願第１３の発明のコンピュータ読み取り
可能なプログラムデバッグ用の記録媒体は、上記第３の
発明における各ステップを含むプログラムを記録したも
のとなっており、この記録媒体に記録されているプログ
ラムをデバッグ装置にインストールすることにより、第
３の発明の方法を実施して、同第３の発明による作用を
達成することができる。

【００６０】本願第１４の発明のコンピュータ読み取り
可能なプログラムデバッグ用の記録媒体は、上記第４の
発明における各ステップを含むプログラムを記録したも
のとなっており、この記録媒体に記録されているプログ
ラムをデバッグ装置にインストールすることにより、第
４の発明の方法を実施して、同第４の発明による作用を
達成することができる。

【００６１】本願第１５の発明のコンピュータ読み取り
可能なプログラムデバッグ用の記録媒体は、上記第５の
発明における各ステップを含むプログラムを記録したも
のとなっており、この記録媒体に記録されているプログ
ラムをデバッグ装置にインストールすることにより、第
５の発明の方法を実施して、同第５の発明による作用を
達成することができる。

【００６２】（具体的な実施の形態）以下、本発明にか
かわるプログラムのデバッグ装置の具体的な実施の形態
を図面に基づいて説明する。

【００６３】（実施の形態１）図１は、本発明のプログ
ラムのデバッグ装置（またはデバッガ）の機能ブロック
図である。図１において、符号のＭ１１はデバッグ命令
解析部、Ｍ１２はプログラム実行部、Ｍ１３は１命令ス
テップ実行部、Ｍ１４は関数ステップ実行部、Ｍ１５は
ブレーク判別部、Ｍ１６はＯＳコード領域脱出部、Ｍ１
７はタスク判別部、Ｍ１９はＯＳ情報テーブルである。
本発明の実施の形態１のデバッガにおいては、従来のデ
バッガに比べて、ＯＳ対応関数ステップ実行部Ｍ１８が
新しくなっている。ＯＳ対応関数ステップ実行部Ｍ１８
は、複数設定された実行ブレークのうちどの実行ブレー
クで実行が停止したかを判別するブレーク判別部Ｍ１５
と、プログラムカウンタ（ＰＣ）がＯＳプログラムコー
ド領域外を指すまでプログラムの実行を進めるＯＳコー
ド領域脱出部Ｍ１６と、プログラムの実行が停止したと
きに実行状態にあるタスクがどのタスクかを特定するタ
スク判別部Ｍ１７とからなる。

【００６４】図２は、図１のＯＳ対応関数ステップ実行
部Ｍ１８の動作を示すフローチャートである。ここで
は、現在のプログラムカウンタが指している位置にＣＡ
ＬＬ命令がある（つまり関数呼出しがある）ことを前提
とする。

【００６５】本関数ステップでは、まず現在のスタック
ポインタ（ＳＰ）レジスタの値を保存する（ステップＳ
３０１）。これは、ステップＳ３０８で詳しく説明する
が、図１のタスク判別部Ｍ１７で現在実行中のタスクを
特定するために使用される。

【００６６】次に、現在のプログラムカウンタが指して
いる命令の次の命令位置に第１の実行ブレークを設定す
る（ステップＳ３０２）。同様に、ＯＳ内部情報Ｍ２０
を参照して、カーネルプログラムのディスパッチャ関数
のシンボル位置に第２の実行ブレークを設定する（ステ
ップＳ３０３）。

【００６７】以上の設定を行った後にプログラムの実行
を開始する（ステップＳ３０４）。

【００６８】前記の実行ブレークの検出によってプログ
ラムの実行が停止したら、どちらの実行ブレークでプロ
グラムの実行が停止されたかを判定する。このとき、予
め前記第１の実行ブレークと前記第２の実行ブレークの
設定を解除しておき（ステップＳ３０５）、次いで、第
１の実行ブレークと第２の実行ブレークのうちどちらの
ブレークで実行が停止したのかの判定を行う（ステップ
Ｓ３０６）。ステップＳ３０６は図１におけるブレーク
判別部Ｍ１５に対応している。

【００６９】ここで、プログラムの実行が停止したとき
のプログラムカウンタの値と、前記第１の実行ブレーク
を設定したアドレスが一致していれば、第１の実行ブレ
ークによってプログラムの実行が停止したと判断するこ
とができる。この場合は、前記第２の実行ブレークを通
過していないことから、タスクディスパッチが発生して
いないことが分かり、通常の関数コールから単純にリタ
ーンしてきたことが分かる。このような状況では、既存
のデバッグシステムが持つ通常の関数ステップと同様の
振舞いをすればよいので、この段階でリアルタイムＯＳ
対応関数ステップの処理を終了する（ステップＳ３０６
から直ちに終了へ）。

【００７０】一方、プログラムの実行が停止したときの
プログラムカウンタの値と、前記第２の実行ブレークを
設定したアドレスが一致していれば、第２の実行ブレー
クによってプログラムの実行が停止したと判断すること
ができる。この場合は、関数ステップを実行している途
中で、タスクディスパッチが発生したことを意味してい
る（ステップＳ３０６からステップＳ３０７へ）。

【００７１】タスクディスパッチが発生していることが
判明すると、次にＯＳ内部情報Ｍ２０を参照して、プロ
グラムカウンタがリアルタイムＯＳプログラムコード領
域外へ出るまで、プログラムの実行を進める（ステップ
Ｓ３０７）。ステップＳ３０７は図１におけるＯＳコー
ド領域脱出部Ｍ１６に対応している。本ステップの詳細
は後記する。

【００７２】プログラムカウンタがリアルタイムＯＳプ
ログラムコード領域外まで進んだら、次はその時点での
スタックポインタの値が、ステップＳ３０１で保存して
おいたスタックポインタの値と一致するかどうかを調べ
る（ステップＳ３０８）。このステップＳ３０８は、リ
アルタイムＯＳ関数ステップを開始したときに実行状態
にあったタスクと現在プログラムの実行が停止している
状態で実行状態にあるタスクとが同一か否かを判別する
ためのものである。ステップＳ３０８は図１におけるタ
スク判別部Ｍ１７に対応している。

【００７３】もし、このステップＳ３０８でスタックポ
インタの値が一致している場合は、リアルタイムＯＳ関
数ステップを開始したときに実行状態にあったタスク
と、現在プログラムの実行が停止している状態で実行状
態にあるタスクとが同一のタスクであると言える。その
理由は次のとおりである。

【００７４】その理由を図３によって説明する。複数の
タスクがリアルタイムＯＳのもとに共有資源を並列的に
使用している。それぞれのタスクは、リアルタイムＯＳ
において個々に自プログラム領域と自スタック領域を保
持している。このことから、スタックポインタの値が一
致する場合というのは、同一のタスクが実行状態にあ
り、かつ関数ステップ実行時の関数呼出しからリターン
によって戻ってきた直後である場合しかあり得ない。

【００７５】以上のことから、ステップＳ３０１で保存
しておいたスタックポインタの値と、プログラムの実行
が停止したときのスタックポインタを比較することで、
本関数ステップを開始したときと同一のタスクが実行中
であるかどうかを判定することができる。そしてこの場
合、この段階でリアルタイムＯＳ対応関数ステップの処
理を終了する。

【００７６】一方、ステップＳ３０８において、スタッ
クポインタの値が一致していない場合は、リアルタイム
ＯＳ関数ステップを開始したときに実行状態にあったタ
スクと、現在プログラムの実行が停止している状態で実
行状態にあるタスクとが、異なるタスクであることが分
かる。その理由は前記の通りである。そのため、前記ス
テップＳ３０３から再度、リアルタイムＯＳ対応関数ス
テップの処理を再開する。

【００７７】以上の処理の中で、ステップＳ３０７に対
応するＯＳコード領域脱出部Ｍ１６については、以下で
さらに詳しく述べる。

【００７８】ステップＳ３０７の第１の方法について、
その動作フローを図４に示す。

【００７９】ここでは、まず１命令分のみステップ実行
を行う（ステップＳ４０１）。

【００８０】次に、ＯＳ内部情報Ｍ２０を参照して、現
在のプログラムカウンタが、ＯＳコード領域内を指して
いるかどうか（ＯＳコード領域内を実行中かどうか）を
判定する（ステップＳ４０２）。具体的には、現在のプ
ログラムカウンタがＯＳコード領域の先頭アドレスより
大きく、かつ現在のプログラムカウンタがＯＳコード領
域の末尾アドレスよりも小さいかどうかを調べる。その
結果、現在のプログラムカウンタがＯＳコード領域内を
指しているのであれば、再度前記１命令分のみのステッ
プ実行を行うステップＳ４０１に戻る。一方、現在のプ
ログラムカウンタがＯＳコード領域外を指すのであれ
ば、ＯＳコード領域脱出部Ｍ１６を終了する。

【００８１】以上、説明したデバッガによれば、リアル
タイムＯＳを使用したマルチタスク・システムにおい
て、複数のタスクから共通に使用されるサブプログラム
の中で関数ステップ機能を実行した場合でも、関数ステ
ップ機能を実行したときに実行状態にあったタスクでの
みプログラムの実行を停止させることができる。

【００８２】この実施の形態１をさらに展開すると、図
２において、スタックポインタを保存するステップＳ３
０１と、スタックポインタの値を比較するステップＳ３
０８の両方を取り外した動作フローを実現することによ
り、タスクディスパッチが発生した場合に、ディスパッ
チ先タスクでプログラムの実行が停止するような関数ス
テップを実現することができる。

【００８３】また、このようなデバッガは、プログラム
で構成することができる。

【００８４】（発明の実施の形態２）前記発明の実施の
形態１で示したデバッグシステムにおいて、図２のステ
ップＳ３０７を以下の第２の方法で実現することもでき
る。その動作フローを図５に示す。

【００８５】ここでも、まずは１命令分のみステップ実
行を行う（ステップＳ５０１）。

【００８６】次にステップＳ５０１で実行した命令によ
って、スタックポインタが書換えられたかどうかを判定
する（ステップＳ５０２）。これは実行した命令の種類
を機械語コードから判定することで可能である。具体的
には以下のような命令が実行されたかどうかを判定す
る。これらの命令は使用しているマイクロプロセッサの
種類により異なる。

【００８７】例１）ＭＯＶ（０，Ａ０），ＳＰ例２）ＭＯＶＡ０，ＳＰ判定の結果、ＳＰを書き換える命令を実行していない場
合は、ディスパッチャ関数の中でまだスタックの切替え
が行われていないと判断できるため、前記ステップＳ５
０１に戻り、再度１命令のステップ実行を繰り返す。

【００８８】判定の結果、ＳＰを書き換える命令を実行
した場合は、実際にタスクのディスパッチが行われたこ
とを意味する。つまり、ＳＰは既にディスパッチ先のタ
スクスタックを指していることになる。次のステップで
は、このＳＰが指しているスタックフレームを解析し
て、関数呼出しの履歴テーブル（バックトレーステーブ
ル）を作成する（ステップＳ５０３）。この機能は、一
般的なデバッガが持っているバックトレースと呼ばれる
機能そのものであり、ここではバックトレーステーブル
作成の原理については言及しない。

【００８９】作成されたバックトレーステーブルの内容
について説明すると、ディスパッチ先のタスクが図６に
示すような関数呼出しをしている場合、バックトレース
テーブルには図７に示すような情報が格納される。ここ
で必要となるのは、それぞれの子関数から親関数へリタ
ーンするときのリターンアドレスである。

【００９０】より具体的には、図６においてタスクtask
が実行を開始し、関数func_Aの実行を開始する（Ｓ６０
１）。関数func_A内ではfunc_Bへの関数呼出しがあり
（Ｓ６０２）、関数func_Bの実行を開始する（Ｓ６０
５）。同様に関数func_B内でfunc_Cへの関数呼出しがあ
り（Ｓ６０６）、関数func_Cの実行を開始する（Ｓ６０
９）。さらに関数func_C内ではシステムコールwai_flg
の関数呼出しがあり（Ｓ６１０）、関数wai_flgの実行
を開始する（Ｓ６１３）。この関数wai_flg内でタスク
ディスパッチが発生した場合は、この関数内でプログラ
ムの実行が停止し、前記のバックトレーステーブルの作
成が行われる。このとき、上記のように階層的に関数呼
出しが行われた場合は、現在実行中であったタスクtask
のスタック領域に、各関数への戻りアドレスが退避され
ている。具体的には、１つ目の関数呼出しＳ６０２によ
って、その戻りアドレス0x40001000（Ｓ６０３）がスタ
ックに退避される。次に２つ目の関数呼出しＳ６０６に
よって、その戻りアドレス0x40002000（Ｓ６０７）がス
タックに退避される。さらに３つ目の関数呼出しＳ６１
０によって、その戻りアドレス0x40003000（Ｓ６１１）
がスタックに退避される。

【００９１】上記で示したスタック領域をデバッガが持
つバックトレース機能を使うことで図７に示すようなテ
ーブルが作成される。まず最下階層４には、現在のプロ
グラムカウンタからwai_flg関数実行中であることと、
スタックに退避されたリターンアドレスＣ（0x4000300
0）が明確にされる。次に階層３には、前記リターンア
ドレスＣからfunc_C関数がその親関数であることと、ス
タックに退避されたリターンアドレスＢ（0x40002000）
が明確になる。次に階層２には、前記リターンアドレス
Ｂからfunc_B関数がさらなる親関数であることと、スタ
ックに退避されたリターンアドレスＡ（0x40001000）が
明確になる。最後の階層１には、前記リターンアドレス
Ａからfunc_A関数がさらなる親関数であることが明確に
なる。

【００９２】次のステップでは、Ｓ５０３によって作成
されたバックトレーステーブルにおいて、階層の最も深
い所（図７の場合は階層４）にある子関数からその親関
数へのリターンアドレスを取り出し、次のステップへ渡
す（ステップＳ５０４）。

【００９３】次に、ＯＳ内部情報Ｍ２０を参照して、前
記親関数へのリターンアドレスが、ＯＳコード領域内を
指しているかどうかを判定する（ステップＳ５０５）。
具体的には、前記親関数へのリターンアドレスがＯＳコ
ード領域の先頭アドレスより大きく、かつ前記親関数へ
のリターンアドレスがＯＳコード領域の末尾アドレスよ
りも小さいかどうかを調べる。その結果、親関数へのリ
ターンアドレスがＯＳコード領域内を指しているのであ
れば、再度前記バックトレーステーブル参照に戻り、次
の候補となるエントリを取得する。

【００９４】一方、親関数へのリターンアドレスがＯＳ
コード領域外を指しているのであれば、そのリターンア
ドレスに第３の実行ブレークを設定して、プログラムの
実行を開始する（ステップＳ５０６、ステップＳ５０
７）。

【００９５】プログラムの実行が停止したら、Ｓ５０６
で設定した第３の実行ブレークの設定を解除する（ステ
ップＳ５０８）。この時点で、プログラムカウンタは確
実にリアルタイムＯＳプログラムコード領域外を指して
いるため、以上をもって、ＯＳコード領域脱出部Ｍ１６
の動作を終了する。

【００９６】以上、説明したデバッガによっても、リア
ルタイムＯＳを使用したマルチタスク・システムにおい
て、複数のタスクから共通に使用されるサブプログラム
の中で関数ステップ機能を実行した場合でも、関数ステ
ップ機能を実行したときに実行状態にあったタスクでの
みプログラムの実行を停止させることができる。

【００９７】この実施の形態２をさらに展開すると、図
２において、スタックポインタを保存するステップＳ３
０１と、スタックポインタの値を比較するステップＳ３
０８の両方を取り外した動作フローを実現することによ
り、タスクディスパッチが発生した場合に、ディスパッ
チ先タスクでプログラムの実行が停止するような関数ス
テップを実現することもできる。

【００９８】また、このようなデバッガも、プログラム
で構成することができる。

【００９９】

【発明の効果】以上の説明によれば、この発明の第１の
効果は、リアルタイムＯＳを用いたアプリケーションの
デバッグにおいて関数ステップを実行する際に、自タス
クを終了させるようなシステムコールであるか否かと
か、他タスクにディスパッチしてしまうようなシステム
コールであるか否かに注意する必要がなくなり、デバッ
グ作業時の負担を軽減することができると同時に、タス
クの遷移を意識しながらのデバッグ作業が可能となる。
その理由は、関数ステップに対応する命令列のアドレス
範囲だけでなく、ディスパッチが起きる個所にブレーク
を発生させ、さらにリアルタイムＯＳプログラムコード
領域外の位置までプログラムカウンタを進めるからであ
る。

【０１００】さらにこの発明の第２の効果は、複数のタ
スクから共通に利用され得るサブプログラムのデバッグ
において関数ステップを実行する際に、他のタスクが当
該サブプログラムコードを通過した場合でもプログラム
の実行を停止させることなく、関数ステップを実行した
ときのタスクが当該サブプログラムコードを通過したと
きのみ、プログラムの実行を停止させることが可能とな
る。その理由は、関数ステップを実行したときのスタッ
クポインタの値と、実行ブレークによってプログラムの
実行が停止したときのスタックポインタの値を比較する
ことで、両者のタスクが同一であるか否かを判定するか
らである。

【図面の簡単な説明】

【図１】本発明の実施の形態１におけるプログラムの
デバッグ装置の基本ブロック図

【図２】本発明の実施の形態１におけるリアルタイム
ＯＳ対応関数ステップの動作を示すフローチャート

【図３】本発明の実施の形態１における被デバッグプ
ログラムを示す図

【図４】本発明の実施の形態１におけるＯＳコード領
域脱出部の方法を示すフローチャート

【図５】本発明の実施の形態２におけるＯＳコード領
域脱出部の方法を示すフローチャート

【図６】本発明の実施の形態２における関数呼出しの
状況を示す動作フロー図

【図７】図６におけるバックトレーステーブルの内容

【図８】本発明の実施の形態２におけるＯＳを使用し
ていないシステムでの関数ステップの実行例

【図９】本発明の実施の形態２におけるＯＳを使用し
ているシステムでの関数ステップの実行例

【図１０】従来のプロシージャ・ステップ処理方法の
動作を示すフローチャート

【図１１】本発明の実施の形態２における共用関数の
中での関数ステップの実行例

【図１２】従来の技術において他タスクを終了するシ
ステムの動作フロー図

【符号の説明】

Ｓ３０１現在のスタックポインタの値を保存するステ
ップＳ３０２現在のプログラムカウンタの次の命令位置に
実行ブレークを設定するステップＳ３０３ＯＳのディスパッチャ部に第２の実行ブレー
クを設定するステップＳ３０４プログラムの実行を開始するステップＳ３０５Ｓ３０２・Ｓ３０３で設定した実行ブレーク
を解除するステップＳ３０６プログラムが停止した実行ブレークを特定す
るステップＳ３０７ＯＳのプログラムコード領域外まで実行を進
めるステップＳ３０８Ｓ３０１のＳＰ値と、現在のＳＰ値とを比較
するステップＳ４０１プログラムコードを１命令分のみステップ実
行するステップＳ４０２現在のＰＣ値がＯＳコード領域内か否かを判
定するステップＳ５０１プログラムコードを１命令分のみステップ実
行するステップＳ５０２Ｓ５０１でＳＰ書換え命令を実行したか否か
を判定するステップＳ５０３ＳＰが指すスタックフレームからバックトレ
ーステーブルを作成するステップＳ５０４バックトレーステーブルからリターンアドレ
スを１エントリずつ取得するステップＳ５０５Ｓ５０４のリターンアドレスがＯＳコード領
域内か否かを判定するステップＳ５０６Ｓ５０５のリターンアドレスに第３の実行ブ
レークを設定するステップＳ５０７プログラムの実行を開始するステップＳ５０８Ｓ５０６で設定した第３の実行ブレークを解
除するステップＳ６０１関数func_Aの入口処理を行うブロックＳ６０２関数func_Aから関数func_BをＣＡＬＬする命
令Ｓ６０３Ｓ６０２におけるリターンアドレスＳ６０４関数func_Aの出口処理を行うブロックＳ６０５関数func_Bの入口処理を行うブロックＳ６０６関数func_Bから関数func_CをＣＡＬＬする命
令Ｓ６０７Ｓ６０６におけるリターンアドレスＳ６０８関数func_Bの出口処理を行うブロックＳ６０９関数func_Cの入口処理を行うブロックＳ６１０関数func_Cからしステムコールwai_flgをＣ
ＡＬＬする命令Ｓ６１１Ｓ６１０におけるリターンアドレスＳ６１２関数func_Cの出口処理を行うブロックＳ６１３システムコールwai_flgの入口処理を行うブ
ロックＳ６１４システムコールwai_flgの出口処理を行うブ
ロックＳ８０１関数sub_func1を呼出す命令Ｓ８０２関数sub_func2を呼出す命令Ｓ８０３関数sub_func2本体Ｓ８０４関数sub_func2からその親関数へ戻るための
命令Ｍ１１デバッグ命令解析部Ｍ１２プログラム実行部Ｍ１３１命令ステップ実行部Ｍ１４関数ステップ実行部Ｍ１５ブレーク判別部Ｍ１６ＯＳコード領域脱出部Ｍ１７タスク判別部Ｍ１８ＯＳ対応関数ステップ実行部Ｍ１９ＯＳ情報テーブル

Claims

【特許請求の範囲】

【請求項１】リアルタイムＯＳ上で並列に実行される
複数のタスクを持つアプリケーションをデバッグする方
法において、リアルタイムＯＳの内部情報として、リアルタイムＯＳ
プログラムコード領域の先頭アドレスと、リアルタイム
ＯＳプログラムコード領域の末尾アドレスと、ディスパ
ッチを行うサブルーチンの先頭アドレスとを保持させる
ステップと、現在のプログラムカウンタが指している命令の次の命令
位置に第１の実行ブレークを設定し、かつ同時に前記内
部情報を参照してリアルタイムＯＳ内部にも第２の実行
ブレークを設定して、プログラムの実行を開始するステ
ップと、プログラムの実行がブレークによって停止したときに前
記第１実行ブレークと前記第２実行ブレークの設定解除
を行い、そのときのブレーク要因が前記第１の実行ブレ
ークか前記第２の実行ブレークかを判別するステップ
と、前記第２の実行ブレークでプログラムが停止したのであ
れば、前記内部情報を参照してリアルタイムＯＳプログ
ラムコード領域からアプリケーションプログラムコード
領域までプログラムカウンタを進めるステップと、前記アプリケーションプログラムコード領域までプログ
ラムカウンタが進んだ後に、関数ステップの実行を終了
するステップと、を含むことを特徴とするプログラムのデバッグ方法。
【請求項２】前記リアルタイムＯＳプログラムコード
領域からアプリケーションプログラムコード領域までプ
ログラムカウンタを進める前記ステップは、機械語１命令を実行する毎にプログラムの実行を停止す
るステップと、プログラムの実行が停止したときのプロ
グラムカウンタの値が前記内部情報より得られるリアル
タイムＯＳプログラムコード領域内であるかどうかを判
別し、領域内であれば前記機械語１命令実行のステップ
に戻り、領域外になったときにはプログラムの実行を終
了するステップとを含むことを特徴とする請求項１記載
のプログラムのデバッグ方法。
【請求項３】前記リアルタイムＯＳプログラムコード
領域からアプリケーションプログラムコード領域までプ
ログラムカウンタを進める前記ステップは、スタックポインタのレジスタ値が書き換わる個所まで、
機械語命令を１命令ずつ実行してプログラムカウンタを
進めるステップと、前記ステップで得られたスタックポインタが指すスタッ
ク領域を解析して、関数呼出し履歴テーブルを作成し、
前記履歴テーブルから親関数へのリターンアドレスを特
定し、前記親関数へのリターンアドレスがリアルタイム
ＯＳプログラムコード領域外であれば、前記リターンア
ドレスに第３の実行ブレークを設定するステップと、前記第３の実行ブレーク位置でプログラムの実行が停止
したときに、前記第３の実行ブレークの設定解除を行う
ステップとを含むことを特徴とする請求項１記載のプロ
グラムのデバッグ方法。
【請求項４】リアルタイムＯＳ上で並列に実行される
複数のタスクを持つアプリケーションをデバッグする方
法において、関数ステップを実行する前に、現在のスタ
ックポインタの値を保存しておくステップを含むことを
特徴とする請求項１記載のプログラムのデバッグ方法。
【請求項５】前記リアルタイムＯＳプログラムコード
領域からアプリケーションプログラムコード領域までプ
ログラムカウンタを進める前記ステップにおいて、第３
の実行ブレーク位置までプログラムカウンタを進めた後
に、現在のスタックポインタの値が前記請求項４で保存
しておいたスタックポインタの値と等しいかどうかを判
別し、異なっていた場合には、再度前記第１実行ブレー
クと第２実行ブレークの設定から関数ステップを再開す
るステップを含むことを特徴とする請求項４記載のプロ
グラムのデバッグ方法。
【請求項６】リアルタイムＯＳ上で並列に実行される
複数のタスクを持つアプリケーションをデバッグする装
置において、リアルタイムＯＳの内部情報として、リアルタイムＯＳ
プログラムコード領域の先頭アドレスと、リアルタイム
ＯＳプログラムコード領域の末尾アドレスと、ディスパ
ッチを行うサブルーチンの先頭アドレスとを保持させる
手段と、現在のプログラムカウンタが指している命令の次の命令
位置に第１の実行ブレークを設定し、かつ同時に前記内
部情報を参照してリアルタイムＯＳ内部にも第２の実行
ブレークを設定して、プログラムの実行を開始する手段
と、プログラムの実行がブレークによって停止したときに、
前記第１実行ブレークと前記第２実行ブレークの設定解
除を行い、そのときのブレーク要因が前記第１の実行ブ
レークか、前記第２の実行ブレークかを判別する手段
と、前記第２の実行ブレークでプログラムが停止したのであ
れば、前記内部情報を参照してリアルタイムＯＳプログ
ラムコード領域から、アプリケーションプログラムコー
ド領域までプログラムカウンタを進める手段と、前記アプリケーションプログラムコード領域までプログ
ラムカウンタが進んだ後に、関数ステップの実行を終了
する手段と、を有することを特徴とするプログラムのデバッグ装置。
【請求項７】前記リアルタイムＯＳプログラムコード
領域から、アプリケーションプログラムコード領域まで
プログラムカウンタを進める前記手段は、機械語１命令を実行する毎にプログラムの実行を停止す
る手段と、プログラムの実行が停止したときのプログラ
ムカウンタの値が前記内部情報より得られるリアルタイ
ムＯＳプログラムコード領域内であるかどうかを判別
し、領域内であれば前記機械語１命令実行のステップに
戻り、領域外になったときにはプログラムの実行を終了
する手段とを有することを特徴とする請求項６記載のプ
ログラムのデバッグ装置。
【請求項８】前記リアルタイムＯＳプログラムコード
領域から、アプリケーションプログラムコード領域まで
プログラムカウンタを進める前記手段は、スタックポインタのレジスタ値が書き換わる個所まで、
機械語命令を１命令ずつ実行してプログラムカウンタを
進める手段と、前記ステップで得られたスタックポインタが指すスタッ
ク領域を解析して、関数呼出し履歴テーブルを作成し、
前記履歴テーブルから親関数へのリターンアドレスを特
定し、前記親関数へのリターンアドレスがリアルタイム
ＯＳプログラムコード領域外であれば、前記リターンア
ドレスに第３の実行ブレークを設定する手段と、前記第３の実行ブレーク位置でプログラムの実行が停止
したときに、前記第３の実行ブレークの設定解除を行う
手段とを有することを特徴とする請求項６記載のプログ
ラムのデバッグ装置。
【請求項９】リアルタイムＯＳ上で並列に実行される
複数のタスクを持つアプリケーションをデバッグする装
置において、関数ステップを実行する前に、現在のスタ
ックポインタの値を保存しておく手段を有することを特
徴とする請求項６記載のプログラムのデバッグ装置。
【請求項１０】前記リアルタイムＯＳプログラムコー
ド領域から、アプリケーションプログラムコード領域ま
でプログラムカウンタを進める前記手段において、第３
の実行ブレーク位置までプログラムカウンタを進めた後
に、現在のスタックポインタの値が前記請求項９で保存
しておいたスタックポインタの値と等しいかどうかを判
別し、異なっていた場合には、再度前記第１実行ブレー
クと第２実行ブレークの設定から関数ステップを再開す
る手段を有することを特徴とする請求項９記載のプログ
ラムのデバッグ装置。
【請求項１１】リアルタイムＯＳ上で並列に実行され
る複数のタスクを持つアプリケーションをデバッグする
プログラムを記録したコンピュータ読み取り可能な記録
媒体であって、リアルタイムＯＳの内部情報として、リアルタイムＯＳ
プログラムコード領域の先頭アドレスと、リアルタイム
ＯＳプログラムコード領域の末尾アドレスと、ディスパ
ッチを行うサブルーチンの先頭アドレスとを保持させる
ステップと、現在のプログラムカウンタが指している命令の次の命令
位置に第１の実行ブレークを設定し、かつ同時に前記内
部情報を参照してリアルタイムＯＳ内部にも第２の実行
ブレークを設定して、プログラムの実行を開始するステ
ップと、プログラムの実行がブレークによって停止したときに、
前記第１実行ブレークと前記第２実行ブレークの設定解
除を行い、そのときのブレーク要因が前記第１の実行ブ
レークか、前記第２の実行ブレークかを判別するステッ
プと、前記第２の実行ブレークでプログラムが停止したのであ
れば、前記内部情報を参照してリアルタイムＯＳプログ
ラムコード領域から、アプリケーションプログラムコー
ド領域までプログラムカウンタを進めるステップと、前記アプリケーションプログラムコード領域までプログ
ラムカウンタが進んだ後に、関数ステップの実行を終了
するステップと、を含むプログラムを記録したコンピュータ読み取り可能
なプログラムデバッグ用の記録媒体。
【請求項１２】前記リアルタイムＯＳプログラムコー
ド領域から、アプリケーションプログラムコード領域ま
でプログラムカウンタを進める前記ステップは、機械語１命令を実行する毎にプログラムの実行を停止す
るステップと、プログラムの実行が停止したときのプログラムカウンタ
の値が前記内部情報より得られるリアルタイムＯＳプロ
グラムコード領域内であるかどうかを判別し、領域内で
あれば前記機械語１命令実行のステップに戻り、領域外
になったときにはプログラムの実行を終了するステップ
とを含むことを特徴とする請求項１１記載のプログラム
デバッグ用の記録媒体。
【請求項１３】前記リアルタイムＯＳプログラムコー
ド領域から、アプリケーションプログラムコード領域ま
でプログラムカウンタを進める前記ステップは、スタックポインタのレジスタ値が書き換わる個所まで、
機械語命令を１命令ずつ実行してプログラムカウンタを
進めるステップと、前記ステップで得られたスタックポインタが指すスタッ
ク領域を解析して、関数呼出し履歴テーブルを作成し、
前記履歴テーブルから親関数へのリターンアドレスを特
定し、前記親関数へのリターンアドレスがリアルタイム
ＯＳプログラムコード領域外であれば、前記リターンア
ドレスに第３の実行ブレークを設定するステップと、前記第３の実行ブレーク位置でプログラムの実行が停止
したときに、前記第３の実行ブレークの設定解除を行う
ステップとを含むことを特徴とする請求項１１記載のプ
ログラムデバッグ用の記録媒体。
【請求項１４】リアルタイムＯＳ上で並列に実行され
る複数のタスクを持つアプリケーションをデバッグする
プログラムを記録した記録媒体において、関数ステップ
を実行する前に、現在のスタックポインタの値を保存し
ておくステップを含むことを特徴とする請求項１１記載
のプログラムデバッグ用の記録媒体。
【請求項１５】前記リアルタイムＯＳプログラムコー
ド領域から、アプリケーションプログラムコード領域ま
でプログラムカウンタを進める前記ステップにおいて、
第３の実行ブレーク位置までプログラムカウンタを進め
た後に、現在のスタックポインタの値が前記請求項１４
で保存しておいたスタックポインタの値と等しいかどう
かを判別し、異なっていた場合には、再度前記第１実行
ブレークと第２実行ブレークの設定から関数ステップを
再開するステップを含むことを特徴とする請求項１４記
載のプログラムデバッグ用の記録媒体。