JP2003316615A

JP2003316615A - 演算順序チェック装置およびその方法

Info

Publication number: JP2003316615A
Application number: JP2002126515A
Authority: JP
Inventors: Mitsuhiko Kikuchi; 光彦菊池
Original assignee: Nissan Motor Co Ltd
Current assignee: Nissan Motor Co Ltd
Priority date: 2002-04-26
Filing date: 2002-04-26
Publication date: 2003-11-07

Abstract

(57)【要約】【課題】プログラムの関数の演算順序が問題を起こす
可能性のある箇所を容易に発見可能とする。【解決手段】変数抽出部２でプログラムの各関数が書
き込みまたは読み込むグローバル変数を抽出し、この変
数ごとに関数抽出部３でその変数を書き込みまたは読み
込む関数を抽出する。処理判別部４は、抽出した関数が
上記変数を読み込むのか書き込むのかを判別する。演算
順序識別部５は、抽出した関数のプログラム中の演算順
序を識別し、演算順序チェック部６では、処理判別部４
の結果にしたがって関数に大小による関係付けを行い、
演算順序結果と比較して問題を起こす可能性のある箇所
を抽出する。この比較結果は表示部７に表示される。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、プログラム中の関
数がその演算順序で問題を起こす可能性のある箇所を発
見する演算順序チェック装置およびその方法に関する。

【０００２】

【従来の技術】電子制御装置では、これに内蔵するプロ
グラムが複数のモジュールから組み立てられて、モジュ
ールが周期的に実行されることがよく行われる。このモ
ジュールの周期的な実行は、ワンチップ・マイクロコン
ピュータに内蔵してあるタイマ、あるいは外付けしたタ
イマのクロック信号を利用して周期的に割り込みを発生
させ、その割り込みをトリガとしてモジュールを起動さ
せるようにして行なわれている。この場合、プログラム
の実行にリアルタイム・オペレーティング・システムを
用いるものでは、オペレーティング・システムが上記周
期時間を管理するとともに、周期的にモジュールを実行
させるようになっている。

【０００３】

【発明が解決しようとする課題】上記各モジュールは、
複数のサブモジュールから成り立っていることが多いの
で、モジュールの実行では多くのサブモジュールが周期
的に順を追って実行される。この場合、サブモジュール
の演算順序をどうプログラミングするかによっては、以
下の問題が生じる。

【０００４】すなわち、車両におけるテールランプの点
灯制御とその球切れの検出を行う電子制御装置を例に挙
げれば、図９に示すように、ドライバの手動によるスイ
ッチ１０１の操作に応じてスイッチ端子１０２がＯＮ
（Ｈレベル）またはＯＦＦ（Ｌレベル）の値をとる。こ
の値は、マイクロコンピュータ１０３へ入力される。マ
イクロコンピュータ１０３は、その入力されたスイッチ
端子１０２の値に応じて、テールランプ１０５制御用の
トランジスタ１０６のベースに接続された制御端子１０
４をＯＮ（Ｈレベル）状態あるいはＯＦＦ（Ｌレベル）
状態とする。

【０００５】すなわち、ドライバがテールランプ１０５
を点灯しようとスイッチ１０１をＯＮ操作すると、制御
端子１０４がＯＮ状態となってトランジスタ１０６をＯ
Ｎさせ、テールランプ１０５へ電流を流すことによりこ
れを点灯する。スイッチ１０１をＯＦＦ操作すれば、制
御端子１０４がＯＦＦ状態となり、トランジスタ１０６
をＯＦＦとしてテールランプ１０５へ電流が流れず、テ
ールランプ１０５は消灯状態となる。

【０００６】一方、マイクロコンピュータ１０３は、テ
ールランプ１０５とトランジスタ１０６との間に接続さ
れたモニタ端子１０７をモニタしており、テールランプ
１０５が点灯していればＯＦＦ（Ｌレベル）を検出し、
テールランプ１０５が点灯していなければＯＮ（Ｈレベ
ル）を検出する。したがって、テールランプ１０５が球
切れしていない状態では、スイッチ端子１０２がＯＮの
ときは、制御端子１０４がＯＮレベルで、モニタ端子１
０７がＯＦＦレベルとなる。これに対し、テールランプ
１０５が球切れしている状態では、スイッチ端子１０２
がＯＮのときは、制御端子１０４がＯＮレベルで、モニ
タ端子１０７がＯＮレベルとなる。

【０００７】上記モニタ端子の信号の検出結果に応じ
て、マイクロコンピュータ１０３は、前者の状態では警
告灯端子１０８をＯＦＦ（Ｌレベル）とすることにより
警告灯トランジスタ１０９をＯＦＦ状態に保つので、警
告灯１１０を点灯させることはない。これに対し、後者
の状態では、警告灯端子１０８をＯＮ（Ｈレベル）にす
ることにより警告灯トランジスタ１０９をＯＮさせ、警
告灯１１０を点灯する。

【０００８】図１０は、上記制御を実現するためのモジ
ュールの構成例を、変数および関数との関係で示す。こ
こでは、上記制御を実行するモジュールは、３つのサブ
モジュール（関数）から実現されるように構成されてい
る。すなわち、スイッチ端子１０２をマイクロコンピュ
ータ１０３の入力ポート変数Ｐに割り付け、この入力ポ
ート変数Ｐの値を関数Ａで読み込み、グローバル変数Ｘ
に保存する。また、モニタ端子１０７をマイクロコンピ
ュータ１０３の入力ポート変数Ｑに割り付け、この入力
ポート変数Ｑの値を関数Ｂで読み込み、グローバル変数
Ｙに保存する。

【０００９】関数Ｃはグローバル変数Ｘの値を読み込
み、制御端子１０４に割り当てた出力ポート変数Ｓへそ
の値を書き込むことにより、スイッチ端子１０２がＯＮ
であれば制御端子１０４をＯＮレベルとしてテールラン
プ１０５を点灯させ、スイッチ端子１０２がＯＦＦであ
れば逆にテールランプ１０５を消灯させる。また関数Ｃ
は、グローバル変数Ｙの値をも読み込んでテールランプ
１０５の球切れの判定を行い、警告灯端子１０８に割り
付けた出力ポート変数Ｒへその値を書き込むことによ
り、判定の結果が球切れであれば警告灯１０９を点灯さ
せ、球切れしていなければ警告灯を非点灯とする。

【００１０】ここで、上記サブモジュールの演算順序
が、たとえば図１１に示すように関数Ａ→関数Ｃ→関数
Ｂといった順となるようにプログラミングされたとす
る。なお、これらの関数は、上記順序で周期的な割り込
みごとに実行される。この場合、周期ｔ−３、ｔ−２、
ｔ−１（ただし、周期ｔ−３、ｔ−２は、周期ｔ−１よ
り前の周期であるが、図１１では省略してある）のとき
は、スイッチ１０１がＯＦＦであったとすると、周期ｔ
−１におけるグローバル変数Ｘの値はＯＦＦである。ま
た、このときテールランプ１０５の球切れが生じていな
ければ、グローバル変数Ｙの値はＯＮである。

【００１１】上記演算にあっては、まず関数Ａがスイッ
チ端子１０２に対応する入力ポート変数Ｐを読み込んで
グローバルグローバル変数Ｘとして保存し、次に関数Ｃ
がグローバル変数Ｘ、Ｙを読み込み、その後で関数Ｂが
入力ポート変数Ｑを読み込んでグローバルグローバル変
数Ｙとして保存するといった順序で関数が実行される。
このため、周期ｔ−１と周期ｔとの間でスイッチ１０１
がＯＦＦからＯＮに切り替えられた場合、周期ｔに関数
Ｃが読み込むグローバル変数Ｘ、Ｙの値は、グローバル
変数ＸではＯＦＦからＯＮに変わっているが、グローバ
ル変数Ｙでは関数Ｂで読み込んだ入力ポート変数Ｑが周
期ｔ−１のときにおける値のままでＯＮであり、ＯＦＦ
になっていない。

【００１２】したがって、周期ｔにおいて、関数Ｃは、
スイッチ１０１がＯＮでテールランプ１０５が点灯して
いるにもかかわらず、テールランプ１０５が点灯してい
ないと誤判断する。この結果、テールランプ１０５が球
切れしていないにもかかわらず、警告灯１１０を点灯さ
せてしまうといった不具合が生じる。これに対し、上記
関数の演算順序が上記の順序と異なり、関数Ａ→関数Ｂ
→関数Ｃの順でプログラミングされていれば、周期ｔに
おいて関数Ｃは、グローバル変数ＸがＯＮであり、かつ
グローバル変数ＹがＯＦＦであると認識するので、上記
のような誤判断をすることはない。

【００１３】以上の説明から明らかなように、関数の演
算順序によっては不具合が発生する場合があり得る。そ
こで、プログラムの開発者は、問題が生じるおそれのあ
る演算順序で作成してしまったプログラムの不具合箇所
があるか否かを確かめなければならず、従来は電子制御
装置を試作して実験しながら関数の演算順序をチェック
していた。このため、演算順序が問題が生じない順序か
ら逆転している可能性のある箇所を発見するには、非常
な困難を伴い、多数の工数を必要としていた。したがっ
て本発明は、演算順序が逆転する可能性のある箇所を自
動的に抽出可能な演算順序チェック装置およびその方法
を提供することを目的とする。

【００１４】

【課題を解決するための手段】このため、本発明では、
プログラム中の各関数が書き込み処理または読み込み処
理を行うグローバル変数を抽出し、このグローバル変数
ごとにその書き込み処理または読み込み処理を行う関数
を抽出して、これらが書き込み処理または読み込み処理
のいずれを行うのかを判別するものとし、この判別結果
と抽出した関数のプログラムにおける演算順序とに基づ
いて演算順序のチェックを行うものとした。

【００１５】

【発明の効果】本発明は、抽出した関数が書き込み処理
するのか読みとり処理をするのかを判別した結果とプロ
グラム中の当該関数の演算順序とを比較してチェックを
行うようにしたので、プログラム中、演算順序が逆転し
ている可能性のある箇所を自動的に抽出することが可能
となる。

【００１６】

【発明の実施の形態】以下、本発明の実施の形態につい
て説明する。図１は、実施の形態に係る演算順序チェッ
ク装置の構成を示すブロック図である。演算順序チェッ
ク装置１は、グローバル変数を抽出可能な変数抽出部２
と、関数を抽出可能な関数抽出部３と、関数の種類を判
別可能な処理判別部４と、関数の演算順序を識別可能な
演算順序識別部５と、演算順序のチェックが可能な演算
順序チェック部６と、演算順序のチェック結果を表示可
能な表示部７とを備えている。

【００１７】変数抽出部２は、プログラムの複数の関数
のそれぞれが書き込み処理または読み込み処理を行うグ
ローバル変数を抽出可能である。関数抽出部３は、変数
抽出部２で抽出されたグローバル変数をもとに、グロー
バル変数ごとにこれらのグローバル変数を書き込み処理
または読み込み処理を行う関数を抽出する。処理判別部
４は、関数抽出部３で抽出した関数をもとに、グローバ
ル変数ごとにそれらの関数がグローバル変数の書き込み
処理をするのか、読み込み処理をするのかを判別する。

【００１８】演算順序識別部５は、関数抽出部３で抽出
した関数をもとに、それらの関数の演算順序を識別す
る。この識別にあたっては、プログラム中における関数
が記述された行数を参照して演算順序を識別する。演算
順序チェック部６は、処理判別部４で得た判別結果と演
算順序識別部５で得た演算順序とを比較して演算順序の
チェックを行う。

【００１９】この演算順序のチェックにおいては、まず
関数抽出部３で抽出した関数につき変数ごとに処理判別
部４で判別した書き込み処理を行う関数か読み込み処理
を行う関数かに応じて、書き込み処理を行う関数が読み
込み処理を行う関数よりも小さくなるような大小による
関係付けを行う一方、演算順序識別部５で得た演算順序
に基づき演算順序が後になるにしたがって大きくなる数
値を各関数に付与する。続いて、上記関数の大小関係と
上記関数に付与した数値とを比較して、演算順序に問題
のある箇所を抽出する。表示部７は、上記チェック結果
をその画面に表示可能である。

【００２０】次に、上記演算順序チェック装置１で解析
される対象のプログラムとして、図２に示すソースリス
トを用いて説明する。このソースリストは、先の図９に
示したテールランプ制御の電子制御装置にかかるもの
で、Ｃ言語で作成してある。周期的に実行する一連のモ
ジュールとしては、関数Ａ（図２中、第１３行目から第
１６行目で定義されたＦｕｎｃ＿Ａ）、関数Ｂ（同図
中、第１８行目から第２１行目で定義されたＦｕｎｃ＿
Ｂ）、および関数Ｃ（同図中、第２３行目から第４２行
目で定義されたＦｕｎｃ＿Ｃ）の３つの関数からなって
いる。

【００２１】図２の第１行目から第４行目では、マイク
ロコンピュータの入出力ポートに接続した各種端子の入
出力ポートのアドレスを定義している。すなわち、スイ
ッチ端子の入力ポートのアドレスは０ｘ０１００に、モ
ニタ端子の入力ポートのアドレスは０ｘ０１０１に、警
告灯端子の出力ポートのアドレスは０ｘ０１０２に、そ
して制御端子の出力ポートのアドレスは０ｘ０１０３
に、それぞれ定義してある。

【００２２】第６行目から第７行目では、このモジュー
ルの関数で用いるグローバル変数Ｘ、Ｙを定義してい
る。第８行目から第１１行目では、上記各種の端子を変
数のように扱うべく別名を割り当てている。すなわち、
スイッチ端子を変数Ｐに、モニタ端子を変数Ｑに、警告
灯端子を変数Ｒに、また制御端子を変数Ｓにそれぞれ割
り当てている。

【００２３】第１３行目から第１６行目では、関数Ａを
定義している。すなわち、第１５行目にあるように関数
Ａの内部ではスイッチ端子の状態に対応する変数Ｐをグ
ローバル変数Ｘに保存するように定義している。また、
第１８行目から第２１行目では、関数Ｂを定義してい
る。すなわち、第２０行目にあるように関数Ｂの内部で
はモニタ端子の状態に対応する変数Ｑをグローバル変数
Ｙに保存するように定義している。

【００２４】第２３行目から第４２行目では、関数Ｃを
定義している。すなわち、関数Ｃでは、第２５行目にあ
るようにグローバル変数Ｘを読み込みこれがＯＮである
か否かを判定し、この判定結果がＯＮであれば第２７行
目にあるように変数ＳにＯＮと書き込んでテールランプ
を点灯させる。一方、この判定結果がＯＦＦであれば、
第４０行目にあるように変数ＳにＯＦＦと書き込むこと
によりテールランプを消灯する。

【００２５】また、第２８行目にあるようにグローバル
変数ＹがＯＦＦであるか否かを判定して、この判定結果
がＯＦＦであれば第３０行目にあるように変数ＲにＯＮ
と書き込んで警告灯を点灯する。一方、この判定結果が
ＯＮであれば第３４行目にあるように変数ＲにＯＦＦと
書き込むことにより警告灯をＯＦＦにする。なお、第４
６行目から第４８行目には、関数の演算の実行順序を関
数Ａ、関数Ｃ、関数Ｂの順序とするように定義してあ
る。

【００２６】次に、上記プログラムのソースリストを解
析して演算順序のチェックを行う処理を図３のフローチ
ャートにより説明する。ステップ１０１では、変数抽出
部２が、ソースリストを読み込んで、関数ごとに、各変
数が書き込み処理、あるいは読み込み処理を行うグロー
バル変数を抽出して、その抽出結果を出力する。

【００２７】より詳細には、図２のＣ言語のソースリス
トの第２０行目における代入式の右辺にあるグローバル
変数を“読み込み”として、“関数Ｂはグローバル変数
Ｑを読み込む”と処理する。同様に、左辺にあるグロー
バル変数を“書き込み”として、“関数Ｂはグローバル
変数Ｙに書き込む”と処理する。また、Ｃ言語の場合に
は、図２のソースリストの第２８行目のような条件文中
のグローバル変数も“読み込み”として“関数Ｃはグロ
ーバル関数Ｙを読み込む”と処理する。

【００２８】ステップ１０２では、上記変数の抽出結果
に基づき、関数別のグローバル変数アクセス表を得る。
このグローバル変数アクセス表は、図４に示すように関
数Ａ、関数Ｂ、関数Ｃごとに書き込み処理される変数と
読み込み処理される変数とを管理するテーブルとして作
成する。

【００２９】すなわち、関数Ａの書き込み変数の欄には
グローバル変数Ｘが、また関数Ａの読み込み変数の欄に
はグローバル変数Ｐがそれぞれ記録される。一方、関数
Ｂの書き込み欄にはグローバル変数Ｙが、また関数Ｂの
読み込み変数の欄にはグローバル変数Ｑがそれぞれ記録
される。さらに、関数Ｃの書き込み変数の欄には２つの
グローバル変数Ｒ、Ｓが、また関数Ｃの読み込み変数の
欄には２つのグローバル変数Ｘ、Ｙがそれぞれ記録され
る。

【００３０】ステップ１０３では、関数抽出部３が、図
４のテーブルを読み込み、グローバル変数ごとにその変
数の書き込み処理する関数と読み込み処理する関数とを
検索する。次いで、処理判別部４がその検索した関数が
書き込み処理をする関数であるのか、あるいは読み込み
処理をする関数であるのかを判別する。たとえば、上述
のグローバル変数Ｑについて説明すれば、図４のテーブ
ルからグローバル変数Ｑを読み込む関数として関数Ｂが
検索される。同様に、図４のテーブルからグローバル変
数Ｙについては、グローバル変数Ｙに対して値を書き込
む関数として関数Ｂが、またグローバル変数Ｙの値を読
み込む関数として関数Ｃが検出されるといった具合であ
る。

【００３１】ステップ１０４では、上記ステップ１０３
で得た判別結果に基づき、グローバル変数ごとにその変
数に書き込み処理している関数と読み込み処理をしてい
る関数とを管理するテーブルをアクセス表として作成す
る。このテーブルは、図５に示すように、グローバル変
数Ｐについては読み込み関数として関数Ａを、グローバ
ル変数Ｑについては読み込み関数として関数Ｂをそれぞ
れ記録する。さらにグローバル変数Ｘについては書き込
み関数として関数Ａを、また読み込み関数として関数Ｃ
を記録し、グローバル変数Ｙについては読み込み関数と
して関数Ｃを、また書き込み関数として関数Ｂをそれぞ
れ記録する。また、グローバル変数Ｒおよびグローバル
変数Ｓについては、いずれも書き込み関数として関数Ｃ
を記録する。

【００３２】ステップ１０５では、演算順序チェック部
６が、まず図５のアクセス表をもとに、複数の関数で共
有しているグローバル変数を検索する。ここで、上記
「複数の関数で共有しているグローバル変数」とは、関
数からの書き込み、および読み込みの両方に関係があ
り、かつそれらの関数が異なっているグローバル変数を
意味する。図５のアクセス表では、グローバル変数Ｘと
グローバル変数Ｙに、書き込み関数と読み込み関数の両
方の関係があるので、これらのグローバル変数Ｘ、Ｙが
共有グローバル変数として処理される。

【００３３】ステップ１０６では、ステップ１０５で得
た処理結果に基づき、データの流れに着目した関数の演
算順序表を作成する。ここでは、上記共有グローバル変
数ごとに、それらの共有グローバル変数に値を書き込む
関数を“先”、共有グローバル変数の値を読み込む関数
を“後”として演算順序を求める。すなわち、ここで
は、関数の大小による関係付けが、“先”を小、“後”
を大とする関係となるように設定するわけである。そし
て、このようにして求めた演算順序を、「データの流れ
に着目した関数の演算順序」と呼ぶことにする。

【００３４】この演算順序表は、図６に示すように、先
に演算すべき関数と後に演算すべき関数の順序関係を表
わすテーブルとして記憶される。すなわち、共有グロー
バル変数Ｘに着目すると、その値を書き込む関数Ａが
“先”の欄に、またその値を読み込む関数Ｃが“後”の
欄に記述される。一方、共有グローバル変数Ｙに着目す
ると、その値を書き込む関数Ｂが“先”の欄に、またそ
の値を読み込む関数Ｃが“後”の欄に記述される。

【００３５】この先後関係は、２つの関数間の相対的な
順序関係を表わしており、１番目、２番目といった絶対
的な順序関係を表わすものではない。したがって、図６
の演算順序表の場合、関数Ａと関数Ｃとの２つの関数間
では、関数Ａを関数Ｃより先に演算すべきであるという
情報を表わしているものの、関数Ａが１番目ということ
を表わしているわけではない。同様に、関数Ｂと関数Ｃ
との２つの関数間では、関数Ｂを関数Ｃより先に演算す
べきであるという情報だけを表わしている。ここでは、
関数Ａと関数Ｂの演算順序については、一切触れていな
い。

【００３６】一方、ステップ１０７では、演算順序識別
部５が、ソースリストから周期的に実行されるモジュー
ルを構成する一連の関数の演算の実行順序を抽出し、そ
の抽出結果を出力する。すなわち、図２のソースリスト
の第４６行目から第４８行目に、関数Ａ、関数Ｃ、関数
Ｂを実行順に記載してあるので、各関数の間ではそれが
記載された行の行番号を読みとることにより、演算の実
行順序を抽出することができる。

【００３７】ステップ１０８では、ステップ１０７で抽
出した結果に基づき、図７に示すように、関数Ａ、Ｂ、
Ｃの実行順序をそれぞれ１、３、２とするテーブルを作
成する。このテーブルは、ステップ１０６で求めた図６
の関数間の相対順序関係とは異なり、関数Ａの実行順序
は１番目、関数Ｃの実行順序は２番目、関数Ｂの実行順
序は３番目と絶対的な順序で記録される。

【００３８】ステップ１０９では、演算順序チェック部
６が図６の演算順序表と図７の演算順序のテーブルとを
比較して、異なる順序関係となっている箇所を抽出す
る。ここでは、図６の演算順序表にあっては関数Ａが関
数Ｃより先に、また関数Ｂが関数Ｃより先に実行される
と記述されているのに対し、図７のテーブルにあっては
１番目に実行される関数が関数Ａで、２番目に実行され
る関数が関数Ｃで、３番目に実行されるのが関数Ｂと記
述されていることから、これらの２つのテーブルを比較
すると、関数Ｂと関数Ｃの順序が異なることが抽出され
ることになる。

【００３９】すなわち、図６の演算順序表の関数に図７
のテーブルの演算順序を代入すると、１（＝関数Ａの演算順序）＜２（＝関数Ｃの演算順序）３（＝関数Ｂの演算順序）＜２（＝関数Ｃの演算順序）となる。この場合、後者の式から関数Ｂの演算順序と関
数Ｃの演算順序とが逆転している可能性があることが分
かり、これらを異なる順序関係となっている箇所として
抽出する。

【００４０】ステップ１１０では、ステップ１０９で得
たチェック結果を演算順序チェック部６が表示手段とし
ての表示部７へ出力し、表示部７の画面にそのチェック
結果を表示する。この表示部７への表示例を図８に示
す。この表示例をみることにより、共有グローバル変数
Ｙについての関数の実行順序について関数Ｃより関数Ｂ
が先になっているのに対し、ソースリストの実行順序で
は関数Ｂより関数Ｃが先になっており、関数Ｂと関すＣ
との間で順序関係が異なっていることが分かる。

【００４１】本実施の形態では、上記フローにおけるス
テップ１０１が発明の変数抽出手段を構成し、ステップ
１０２、１０３が関数抽出手段を、ステップ１０４が処
理判別手段を構成している。また、ステップ１０７が演
算順序識別手段を構成し、ステップ１０５、１０６、１
０８および１０９が演算順序チェック手段を構成してい
る。

【００４２】以上のように、本実施の形態では、変数と
この変数の読み込み処理、書き込み処理を実行する関数
とを抽出して、プログラム中の当該関数の演算順序とを
比較してチェックを行うようにしたので、プログラム
中、演算順序が逆転している可能性のある箇所を自動的
に抽出することが可能となる。そして、このチェック結
果を表示部７へ表示すれば、開発者が関数Ｂと関数Ｃと
の実行順序について再調査が必要であることを容易かつ
短時間に認識することができ、チェックの作業工数が大
幅に低減し、かつ再調査が必要な箇所の見落としを防止
することができる。

【００４３】また、上記演算順序のチェックにあたって
は、処理判別部４で判別した書き込み処理する関数と読
み込み処理する関数とを、書き込み処理を行う関数＜読
み込み処理を行う関数、として大小による関係付けを行
い、演算順序識別部５で識別した関数の演算順序に応じ
て関数ごとに大小の数値を付与して、この数値と大小関
係を比較するようにしたので、演算順序に逆転の可能性
がある箇所の抽出を、簡易な方法で実現することが可能
となる。

【００４４】そして演算順序識別部５では、関数がプロ
グラム中に記述されている行番号からその関数の演算順
序を識別するようにしたので、識別が簡単である。

【図面の簡単な説明】

【図１】本発明の実施の形態を示すブロック図である。

【図２】プログラムのソースリスト例を示す図である。

【図３】実施の形態における解析の流れを示すフローチ
ャートである。

【図４】関数ごとの書き込み変数と読み込み変数を表わ
したテーブルを示す図である。

【図５】グローバル変数ごとに書き込み関数と読み込み
関数とを表わしたテーブルを示す図である。

【図６】データの流れに着目した関数の演算順序を示す
図である。

【図７】関数ごとに実行順序の値を記述したテーブルを
示す図である。

【図８】関数の実行順序の表示部への表示例を示す図で
ある。

【図９】テールランプの制御装置の構成を示す図であ
る。

【図１０】制御モジュール例を示す図である。

【図１１】関数の演算順序による不具合を示す説明図で
ある。

【符号の説明】

１演算順序チェック装置２変数抽出部３関数抽出部４処理判別部５演算順序識別部６演算順序チェック部７表示部

Claims

【特許請求の範囲】

【請求項１】複数の関数を有するプログラムから、前
記各関数が書き込み処理または読み込み処理を行うグロ
ーバル変数を抽出する変数抽出手段と、該変数抽出手段
によって抽出したグローバル変数ごとに、該グローバル
変数の書き込み処理または読み込み処理を行う関数を抽
出する関数抽出手段と、該関数抽出手段により抽出した
関数が、前記グローバル変数を書き込み処理するのか、
あるいは前記グローバル変数を読み込み処理するのかを
判別する処理判別手段と、前記関数抽出手段によって抽
出した関数の演算順序を識別する演算順序識別手段と、
前記処理判別手段で得た関数の処理判別結果と前記演算
順序識別手段で得た関数の演算順序とに基づいて演算順
序のチェックを行う演算順序チェック手段とを有してい
ることを特徴とする演算順序チェック装置。
【請求項２】前記演算順序チェック手段は、前記処理
判別手段により判別した読み込み処理を行う関数と書き
込み処理を行う関数とを、書き込み処理を行う関数＜読み込み処理を行う関数とし
て大小による関係付けを行うとともに、前記演算順序識
別手段により識別した関数の演算順序に基づき、演算を
行う順序が後になるにしたがって大きくなる数値を各関
数に付与し、前記関数の大小関係と前記関数に付与した
数値とに基づいて演算順序のチェックを行うことを特徴
とする請求項１に記載の演算順序チェック装置。
【請求項３】前記演算順序識別手段は、前記関数が前
記プログラム中に記述された行番号から前記関数の演算
順序を識別することを特徴とする請求項１または２のい
ずれかに記載の演算順序チェック装置。
【請求項４】前記演算順序チェック手段による演算順
序のチェック結果を表示する表示手段を有していること
を特徴とする請求項１から３のいずれか１に記載の演算
順序チェック装置。
【請求項５】複数の関数を有するプログラムから、前
記各関数が書き込み処理または読み込み処理を行うグロ
ーバル変数を抽出し、該抽出したグローバル変数ごと
に、該グローバル変数の書き込み処理または読み込み処
理を行う関数を抽出し、該抽出した関数が、前記グロー
バル変数を書き込み処理するのか、あるいは該グローバ
ル変数を読み込み処理するのかを判別するとともに、前
記抽出した関数のプログラムにおける演算順序を識別し
て、前記関数が行う処理の判別結果と前記関数のプログ
ラムにおける演算順序とに基づいて演算順序のチェック
を行うようにしたことを特徴とする演算順序チェック方
法。
【請求項６】前記演算順序のチェックにおいては、前
記判別結果における書き込み処理を行う関数と読み込み
処理を行う関数とを、書き込み処理を行う関数＜読み込み処理を行う関数とし
て大小による関係付けを行うとともに、前記プログラム
における演算順序が後になるにしたがって大きくなる数
値を各関数に付与して、前記関数の大小関係と前記関数
に付与した数値とに基づいて演算順序のチェックを行う
ようにしたことを特徴する請求項５に記載の演算順序チ
ェック方法。
【請求項７】前記プログラムにおける演算順序は、前
記関数が前記プログラム中に記述された行番号から識別
するようにしたことを特徴とする請求項５または６に記
載の演算順序チェック方法。