JPH1055290A - エミュレータによるプログラムの不具合検出方法 - Google Patents

Abstract

(57)【要約】 【課題】 プログラムの検査が不十分であることによ
り、不具合箇所の検出漏れが発生するなどの課題があっ
た。 【解決手段】 命令比較部としての命令Ａ比較回路１３
及び命令群Ｂ比較回路１４と、イベント検出部としての
第１のイベント検出回路１５及び第２のイベント検出回
路１６により、命令群Ｂを実行する前に命令Ａが実行さ
れていないことを検出し、プログラム上の命令抜けを自
動的に検知する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】この発明は、単純な命令抜け
を自動的に検出し、製品量産後の不具合を未然に防止す
ることができるエミュレータによるプログラムの不具合
検出方法に関するものである。

【０００２】

【従来の技術】図３は例えば電化製品等に内蔵されるマ
イクロコンピュータのプログラム開発を行うときの状態
を示す構成図であり、１はマイクロコンピュータ１ａに
より制御される被開発装置としての電化製品、２は電化
製品１のマイクロコンピュータ１ａのプログラム開発に
当たり、マイクロコンピュータ１ａによる制御動作の代
わりに電化製品１の制御を行い、電化製品１の動作を確
認するエミュレータ、３はエミュレータ２と通信回線４
を介して接続され、エミュレータ２を制御するパーソナ
ルコンピュータもしくはワークステーションとしてのホ
ストマシン、５はホストマシン３上で動作するエミュレ
ータコントロールソフトウェア（以下コントロールソフ
トウェアという）である。

【０００３】次に動作について説明する。電化製品１の
マイクロコンピュータ１ａのプログラムを作成した後
に、コントロールソフトウェア５に基づいて動作するエ
ミュレータ２を使用し、電化製品１が正常に動作するか
否かを確認する。すなわち、電化製品１のマイクロコン
ピュータ１ａのプログラムの不具合箇所を検出し、不具
合箇所が認められた時に、ホストマシン３によりマイク
ロコンピュータ１ａのプログラムの不具合箇所を修正す
る。

【０００４】しかし、このエミュレータ２を使用してプ
ログラムの開発を行う場合、プログラムの検査が不十分
であることにより、不具合箇所の検出漏れが発生する場
合があった。特に、マイクロコンピュータ１ａのフラグ
やメモリの初期化忘れといったような単純な内容による
不具合が少なくなく、このような単純なミスであって
も、製品量産後に発見された場合は、重大なトラブルの
発生の要因となる。

【０００５】

【発明が解決しようとする課題】従来のエミュレータに
よるプログラムの不具合検出方法は以上のように構成さ
れているので、プログラムの検査が不十分であることに
より、不具合箇所の検出漏れが発生するなどの課題があ
った。

【０００６】この発明は上記のような課題を解決するた
めになされたもので、単純な命令抜けを自動的に検出
し、製品量産後の不具合を未然に防止するエミュレータ
によるプログラムの不具合検出方法を得ることを目的と
する。

【０００７】

【課題を解決するための手段】請求項１記載の発明に係
るエミュレータによるプログラムの不具合検出方法は、
実装されたマイクロコンピュータが第１の命令及びこの
第１の命令の実行によって影響を受ける第２の命令群を
実行したときに、第１の命令が実行されてから第２の命
令群が実行されたか否かを判断し、第１の命令が実行さ
れる前に第２の命令群が実行された場合には、ユーザに
対して警報を発するようにしたものである。

【０００８】請求項２記載の発明に係るエミュレータに
よるプログラムの不具合検出方法は、エミュレーション
メモリから第１の命令および第２の命令群を読み出すタ
イミングで出力される命令コードリード信号を検知した
ときに、プログラム実行のために読み出された第１の命
令および第２の命令群と予め検出したい第１の命令およ
び第２の命令群とをコンパレータで比較することによ
り、第１の命令および第２の命令群の実行を検知するよ
うにしたものである。

【０００９】請求項３記載の発明に係るエミュレータに
よるプログラムの不具合検出方法は、第１のイベント検
出回路では第１の命令が実行された後に第２の命令群が
実行されたか否かを判断するとともに、第２のイベント
検出回路では第２の命令群が単独で実行されたか否かを
判断し、ユーザに対して警報を発するようにしたもので
ある。

【００１０】

【発明の実施の形態】以下、この発明の実施の一形態を
説明する。 実施の形態１．図１はこの発明の実施の形態１によるエ
ミュレータによるプログラムの不具合検出方法を示す構
成図であり、図において、１１はユーザがプログラムを
作成する対象となるマイクロコンピュータとしてのター
ゲットＭＣＵであり、図３に示すエミュレータ２に実装
されるもので、このターゲットＭＣＵ１１の初期化を行
う命令Ａ（第１の命令）とこの命令Ａの実行によって影
響を受ける命令群Ｂ（第２の命令群）を有する。１２は
ユーザの作成したプログラムを格納するものであり、タ
ーゲットＭＣＵ１１に対応した命令群が記憶されている
エミュレーションメモリである。

【００１１】１３はターゲットＭＣＵ１１で命令Ａが実
行されたか否かを検出する命令Ａ比較回路、１４はター
ゲットＭＣＵ１１で命令群Ｂが実行されたか否かを検出
する命令群Ｂ比較回路、１５は命令Ａが実行されてから
命令群Ｂが実行されることを検出する第１のイベント検
出回路、１６は命令群Ｂの単独実行を検出する第２のイ
ベント検出回路である。

【００１２】次に動作について説明する。この実施の形
態１は、命令群Ｂを実行する前に命令Ａが実行されてい
ないことを検出し、プログラム上の命令抜けを自動的に
発見するものである。まず、ターゲットＭＣＵ１１はエ
ミュレーションメモリ１２に記憶されているユーザプロ
グラムを読み込み実行する。このとき、命令Ａ比較回路
１３及び命令群Ｂ比較回路１４は、ターゲットＭＣＵ１
１が命令Ａ及び命令群Ｂを実行することをそれぞれで検
出し、命令Ａ比較回路１３及び命令群Ｂ比較回路１４が
命令Ａおよび命令群Ｂをそれぞれ検出したときには、検
出信号１３ａおよび検出信号１４ａを出力する。

【００１３】図２はこの発明の実施の形態１によるエミ
ュレータによるプログラムの不具合検出方法の命令比較
部としての命令Ａ比較回路および命令群Ｂ比較回路の動
作を示すブロック図である。まず、ターゲットＭＣＵ１
１によってエミュレーションメモリ１２からプログラム
実行のために読み出された命令Ａおよび命令群Ｂの命令
コードは、ターゲットＭＣＵ１１のデータバス２１上に
出力される。そして、この命令コードおよびターゲット
ＭＣＵ１１から出力される命令コードリード信号２２を
コンパレータ２３に入力する。

【００１４】この命令コードリード信号２２はターゲッ
トＭＣＵ１１がエミュレーションメモリ１２から命令コ
ードを読み出すタイミングで出力される信号である。ま
た、予め検出したい命令Ａおよび命令群Ｂの命令コード
をホストマシン３からエミュレータ２に転送しておき、
ラッチ２４に記憶する。図２に示すように、ターゲット
ＭＣＵ１１から命令コードリード信号２２が出力されて
いるときに、ターゲットＭＣＵ１１のデータバス２１上
の命令Ａおよび命令群Ｂの命令コードとターゲットＭＣ
Ｕ１１が実行する命令コードとをコンパレータ２３で比
較することで、命令Ａおよび命令群Ｂの実行検出を行う
ことができる。そして、命令Ａ比較回路１３及び命令群
Ｂ比較回路１４が命令Ａおよび命令群Ｂを検出した時に
は、検出信号１３ａおよび検出信号１４ａを出力する。

【００１５】そして、第１のイベント検出回路１５では
検出信号１３ａおよび検出信号１４ａを入力したとき
に、命令Ａが実行された後に命令群Ｂが実行されるとい
う条件を検出した場合、検出信号１５ａを出力する。第
２のイベント検出回路１６では、検出信号１５ａおよび
命令群Ｂ比較回路１４からの検出信号１４ａを入力する
と、命令群Ｂの実行検出時に、命令Ａが実行されてから
命令群Ｂが実行されるという条件が同時に検出されなけ
れば、命令群Ｂが単独で実行されたとみなし、命令群Ｂ
が単独で実行されたことを示す検出信号１６ａをエミュ
レータ２（図３参照）に出力する。

【００１６】この検出信号１６ａが出力されることは、
初期化命令の実行時に影響を受ける命令群Ｂが、初期化
の命令Ａよりも前に実行されたことを示すものであるた
め、エミュレータ２が通信回線４を介してこの検出され
た事象をホストマシン３に転送することで、エミュレー
タ２の使用者に報告される。

【００１７】以上のように、この実施の形態１によれ
ば、命令比較部としての命令Ａ比較回路１３及び命令群
Ｂ比較回路１４と、イベント検出部としての第１のイベ
ント検出回路１５及び第２のイベント検出回路１６によ
り、命令群Ｂを実行する前に命令Ａが実行されていない
ことを検出し、プログラム上の命令抜けを自動的に発見
するため、製品量産後の不具合を未然に防止するなどの
効果が得られる。

【００１８】上記の実施の形態１では、ターゲットＭＣ
Ｕ１１の初期化命令に関するものについて説明したが、
初期化命令に限らず、ある任意の命令を実行する前に別
の任意な命令を実行しておく必要がある場合にも利用可
能である。すなわち、任意の命令の組み合わせにも応用
可能であり、命令の組み合わせ抜けを検出する場合にも
利用することができるため、より多くのプログラムの不
具合を検出することができるなどの効果が得られる。

【００１９】

【発明の効果】以上のように、請求項１記載の発明によ
れば、実装されたマイクロコンピュータが第１の命令及
びこの第１の命令の実行によって影響を受ける第２の命
令群を実行したときに、第１の命令が実行されてから第
２の命令群が実行されたか否かを判断し、第１の命令が
実行される前に第２の命令群が実行された場合には、ユ
ーザに対して警報を発するように構成したので、プログ
ラム上の命令抜けを自動的に発見するため、製品量産後
の不具合を未然に防止することができる効果がある。

【００２０】請求項２記載の発明によれば、エミュレー
ションメモリから第１の命令および第２の命令群を読み
出すタイミングで出力される命令コードリード信号を検
知したときに、プログラム実行のために読み出された第
１の命令および第２の命令群と予め検出したい第１の命
令および第２の命令群とをコンパレータで比較すること
により、第１の命令および第２の命令群の実行を検知す
るように構成したので、プログラム上の命令抜けを自動
的に発見するため、製品量産後の不具合を未然に防止す
ることができる効果がある。

【００２１】請求項３記載の発明によれば、第１のイベ
ント検出回路では第１の命令が実行された後に第２の命
令群が実行されたか否かを判断するとともに、第２のイ
ベント検出回路では第２の命令群が単独で実行されたか
否かを判断し、ユーザに対して警報を発するように構成
したので、プログラム上の命令抜けを自動的に発見する
ため、製品量産後の不具合を未然に防止することができ
る効果がある。

【図面の簡単な説明】

【図１】 この発明の実施の形態１によるエミュレータ
によるプログラムの不具合検出方法を示す構成図であ
る。

【図２】 この発明の実施の形態１によるエミュレータ
によるプログラムの不具合検出方法の命令比較部として
の命令Ａ比較回路および命令群Ｂ比較回路の動作を示す
ブロック図である。

【図３】 例えば電化製品等に内蔵されるマイクロコン
ピュータのプログラム開発を行うときの状態を示す構成
図である。

【符号の説明】

１１ ターゲットＭＣＵ（マイクロコンピュータ）、１
２ エミュレーションメモリ、１５ 第１のイベント検
出回路、１６ 第２のイベント検出回路、２２命令コー
ドリード信号、２３ コンパレータ。

Claims (3)

【特許請求の範囲】
1. 【請求項１】 実装されたマイクロコンピュータが第１
   の命令及びこの第１の命令の実行によって影響を受ける
   第２の命令群を実行したときに、上記第１の命令が実行
   されてから上記第２の命令群が実行されたか否かを判断
   し、上記第１の命令が実行される前に上記第２の命令群
   が実行された場合には、ユーザに対して警報を発するエ
   ミュレータによるプログラムの不具合検出方法。
2. 【請求項２】 エミュレーションメモリから第１の命令
   および第２の命令群を読み出すタイミングで出力される
   命令コードリード信号を検知したときに、プログラム実
   行のために読み出された上記第１の命令および上記第２
   の命令群と予め検出したい第１の命令および第２の命令
   群とをコンパレータで比較することにより、上記第１の
   命令および上記第２の命令群の実行を検知することを特
   徴とする請求項１記載のエミュレータによるプログラム
   の不具合検出方法。
3. 【請求項３】 第１のイベント検出回路では第１の命令
   が実行された後に第２の命令群が実行されたか否かを判
   断するとともに、第２のイベント検出回路では上記第２
   の命令群が単独で実行されたか否かを判断し、ユーザに
   対して警報を発することを特徴とする請求項２記載のエ
   ミュレータによるプログラムの不具合検出方法。