JPH0916382A - プログラム開発支援システム - Google Patents

Abstract

(57)【要約】 【目的】 装置組み込みソフトウェアを容易に簡便に記
述し、自動的にそのソースプログラムコードを得る。 【構成】 マトリクスエディタ２を用いて入力するプロ
グラムは、丁度表計算ソフトのような表形式で表現され
る。ＷＳ上にビジュアルに記述される表の各欄に記入さ
れた処理を先頭から順に実行すればプログラムが実行で
きる。マトリクスコンパイラ４は、この表やその他の定
義図等に対応するプログラム辞書３を一定の規則に従っ
て、例えばＣ言語によるソースプログラムコードに変換
する。また、ファームウェアの特殊性からメカ制御専用
言語によるソースプログラムコードの生成も行う。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、プログラム開発、特に
装置組み込みソフトウェアの開発支援に利用されるプロ
グラム開発支援システムに関する。

【０００２】

【従来の技術】ソフトウェアの１分野に装置組み込みソ
フトと言われるものがある。これは、ファームウェアと
呼ばれている。ファームウェアはハードウェアとアプリ
ケーションソフトウェアの中間に位置し、メカ制御、通
信制御、入出力制御等のハードウェア制御を主に担当す
る。このファームウェアは一般のソフトウェアと比べて
リアルタイム性の強い要求があり、マルチＣＰＵ、マル
チタスクといった並行処理が望ましく、ハードウェアに
密着しクロス開発環境を要求するといった特徴がある。
従って、一般のソフトウェアがハードウェアの独立化標
準化に伴ってパッケージ化の傾向にあるのに対し、ファ
ームウェアは処理時間やハードウェア資源の強い制約の
ため、装置毎に最適な構成がとられ、標準化及び生産性
向上が困難な特徴を持つ。

【０００３】従って、一般の汎用性の高いソフトウェア
については、各種の簡便な開発ツールが登場し利用され
ているが、ファームウェアの開発支援のためには、例え
ばプログラムのフローチャートを解析してソースプログ
ラムのコードを得るといったものが紹介されているに過
ぎず（特公平６−４０３０２号公報）、より具体的な簡
便なものは実用化されていない。

【０００４】

【発明が解決しようとする課題】ところで、上記のよう
な従来のプログラム開発支援システムには次のような解
決すべき課題があった。プログラム開発支援は、プログ
ラマーに対し比較的簡単なプログラム内容の記述を要求
して、これを自動的に変換処理してソースプログラムコ
ード等を得ることを目的とする。従って、プログラムを
どう表現して開発支援システムに入力するかという点が
問題となる。従来、このようなプログラムの表現が専門
的な詳細な知識を必要とし、多くの変数の値に対する条
件を満たすバグの無いプログラムを作成するためには、
高度に熟練をする必要があった。

【０００５】また、ファームウェア開発の生産性を上げ
るためには、できるだけ開発済みのファームウェアを流
用することが重要である。しかしながら、作成済みのソ
ースコードプログラムは必ずしもその処理内容を正確に
短時間に把握することが容易でないという問題があっ
た。

【０００６】

【課題を解決するための手段】本発明は以上の点を解決
するため次の構成を採用する。本発明のプログラム開発
支援システムは、プログラムを構成する各処理の内容を
表の各欄に記入して、先頭から順にその表の内容を実行
することにより、そのプログラムを実行できるように表
示した表を入力するマトリクスエディタと、このマトリ
クスエディタで入力され生成されたプログラム辞書に、
ソースコード生成規則を適用して、表に対応するソース
プログラムコードを生成するマトリクスコンパイラとを
備える。

【０００７】本発明の別のプログラム開発支援システム
は、プログラムを構成する各処理の内容を表の各欄に記
入して、先頭から順にその表の内容を実行することによ
り、そのプログラムを実行できるように表示した表を入
力するマトリクスエディタと、このマトリクスエディタ
で入力され生成されたプログラム辞書に、シミュレータ
実行形式コード生成規則を適用して、表に対応するシミ
ュレーション実行形式コードを生成するマトリクスコン
パイラとを備える。

【０００８】なお、マトリクスエディタは、モジュール
定義図とデータ形式定義図と構造体定義図とデータ意味
定義図と表の入力を行い、Ｃ言語によるソースプログラ
ムコード生成のための意味解釈用のプログラム辞書を生
成することが好ましい。また、メカ動作規則とシミュレ
ータ実行形式コードとを参照して、プログラムの各命令
が実行されたときの制御対象装置の各部の状態を表す状
態情報を生成する状態更新部と、状態情報に従って状態
図を生成してプログラムの任意のステップでその状態図
を表示することが好ましい。

【０００９】

【作用】マトリクスエディタを用いて入力するプログラ
ムは、丁度表計算ソフトのような表形式で表現される。
ＷＳ（ワークステーション）上にビジュアルに記述され
る表の各欄に記入された処理を先頭から順に実行すれば
プログラムが実行できる。マトリクスコンパイラは、こ
の表やその他の定義図等に対応するプログラム辞書を一
定の規則に従って、例えばＣ言語によるソースプログラ
ムコードに変換する。また、ファームウェアの特殊性か
らメカ制御専用言語によるソースプログラムコードの生
成も行う。更に、プログラムのデバッグ作業を容易にす
るために、シミュレーション実行形式コードを生成す
る。例えば、１ステップずつシミュレーションが実行さ
れると、プログラムの制御の対象となる装置各部の状態
をアニメーション化して表示する。これらにより、分か
りやすく漏れが無くバグの少ないプログラム開発が可能
となる。

【００１０】

【実施例】以下、本発明を図の実施例を用いて詳細に説
明する。 〈システム構成〉図１は、本発明のプログラム開発支援
システムの具体例を示すブロック図である。図のシステ
ムは、コンソール１と、これを用いてプログラムを表現
するための表を入力するマトリクスエディタ２と、これ
に生成されたプログラム辞書３、マトリクスコンパイラ
４、日本語変換辞書５、コード生成規則群６、マトリク
スコンパイラにより生成されたＣ言語によるソースプロ
グラムコード１１、メカ制御専用言語によるソースプロ
グラムコード１２、シミュレーション実行形式コード１
３、デバッグ作業のためのシミュレーションデバッガ１
４等から構成される。なお、図に示すディスプレイ１６
はコンソール１に設けられたものを説明の都合上、右側
にも示したものである。

【００１１】なお、このシステムは、例えば図２に示し
たようなハードウェアにより実現する。図２は、本発明
の実施のためのハードウェア説明図である。図の左側に
は、よく知られたワークステーション等のディスプレイ
２１、制御部本体２２及びキーボード２３が斜視図で表
示されている。なお、キーボード２３の他に、この装置
を操作するためにマウス２６も利用される。また、この
装置の制御部本体２２の内部には、図に示すように、中
央処理装置（ＣＰＵ）２４やハードディスク装置（ＨＤ
Ｄ）２５等が設けられている。

【００１２】図１に示すコンソール１は、図２に示した
ワークステーション本体を示す。また、マトリクスエデ
ィタ２やマトリクスコンパイラ４、シミュレーションデ
バッガ１４等は、ハードディスク装置２５の中に格納さ
れた処理用プログラムによって構成される。プログラム
辞書３、日本語変換辞書５、コード生成規則群６や、マ
トリクスコンパイラ４により生成されたソースプログラ
ムコード１１，１２、シミュレーション実行形式コード
１３等は、ハードディスク装置２５やその他の記憶装置
に格納される。

【００１３】このシステムは、開発支援の対象となるプ
ログラムを表示する定義図や表のような各種チャートの
編集機能と、プログラムソースコードの生成機能及びシ
ミュレーションデバッグ機能を持つ。各種チャートの編
集は、マトリクスエディタ２により行う。プログラムソ
ースコードの生成は、マトリクスコンパイラ４により行
う。また、シミュレーションデバッグはシミュレーショ
ンデバッガ１４により行う。

【００１４】〈マトリクスエディタの機能〉本発明で
は、ファームウェアを如何に分かりやすく見せるかをフ
ァームウェア生産性向上のキーファクタとして捉え、フ
ァームウェアにマッチした表現形式として表を使用し
た。表はテキストスタイルの表現でありながら、絵的で
分かりやすい自然な表現である。表によりきちんと書い
たプログラムは分かりやすく漏れがなく、バグが少な
い。マトリクスエディタ２は、この目的のために、プロ
グラマーの操作によるモジュール定義図、データ形式定
義図、構造体型ページ図、データ意味定義図、表等の作
成図の入力を受け付け、対応するプログラム辞書を生成
する。このシステムでは、プログラミングを、プログラ
ム解釈のための辞書を作る過程と定義する。このプログ
ラム辞書とは、プログラマーがマトリクスエディタ２に
よって作るモジュール定義、データ定義や表の内容を記
述した情報である。

【００１５】以下、プログラムをＣ言語で記述するため
に入力すべき表の具体例を説明する。 〈表の具体例〉図３〜図９は、マトリクスエディタで入
力される表の具体例を示す。図３は、モジュール定義図
の説明図、図４は、データ形式定義図の説明図、図５
は、構造体型定義図の説明図、図６は、データ意味定義
図の説明図、図７は表の例説明図である。なお、本発明
においては、上記モジュール定義図、データ形式定義
図、構造体型定義図、データ意味定義図及びその後で説
明するマトリクス状の表を含めて単に表というように表
現している。即ち、これらの表がマトリクスエディタに
より入力されることによって、最終的に図１に示すマト
リクスコンパイラが動作して必要なソースプログラムコ
ード等が生成される。

【００１６】図３に示すモジュール定義図は、これから
開発しようとするプログラムモジュール毎の入力３１
と、これを処理するためのモジュール３２と、出力３３
との概要を明らかにしたものである。即ち、例えば図に
示すような入力変数Ａ、入力変数Ｂ等を使用してモジュ
ールで一定の演算処理を実行し、その結果を出力する。
この場合の入力変数の概要やモジュールの処理概要、出
力されたデータの概要を図解しておくことによって、各
モジュールの役割をプログラマー本人や第三者が容易に
確認できるようにする。

【００１７】図４に示すデータ形式定義図では、ファイ
ルポインタ３４、変数３５，３６、配列３７、ポインタ
３８等が定義され表形式に表現されている。これによ
り、データの形式やファイル形式を明確に表現する。こ
の例ではファイルポインタ３４に“ファイルポインタ
Ａ”が設定され、変数３５には整数の“変数Ａ”が設定
されるといった要領で定義が行われている。図５に示す
構造体型定義図によれば、構造体型名４０や、メンバ名
４１、メンバの型４２、変数４３、ポインタ４４等が表
形式で明らかにされている。この例では、構造体型名４
０には“構造体型Ａ”が設定され、以下、同様に変数等
が設定されている。

【００１８】図３に示すモジュール定義図の入力３１で
示した入力変数は、図４に示すデータ形式定義図等によ
って詳細に定義される。また、モジュール３２の機能
は、図５に示した構造体型定義図等によって具体的に定
義される。そして、その処理の結果として得られる出力
３３は、図６に示すようなデータ意味定義図によって明
確化される。即ち、図６の出力値の概要によれば、セン
サの出力４５の意味がその下に具体的に表現されてい
る。即ち、出力の値が“１”であればセンサがＯＮの状
態であり、出力値が“０”の場合にはセンサがＯＦＦの
状態である。

【００１９】図７に示した表は、モジュールによる具体
的な処理内容を表形式に記述したものである。例えば、
この表５０は図に示すように、Ｔ＝１から１０までの範
囲でＴをインクリメントしながら、処理５１と処理５２
を繰り返すといった内容になっている。処理５１の内容
は、ある演算処理ＡＢＣとする。また、処理５２の内容
は、パラメータＸ，Ｙの内容に応じて４種類に分けられ
ている。このような表形式のプログラム表記は、例えば
次のような基本形を組み合わせて行う。図７に示す処理
の内容は次の基本形の説明によって明らかにする。

【００２０】図８には、基本形Ｔ１と基本形Ｔ２とを示
した。図８（ａ）は、基本形Ｔ１の内容を示し、左側が
条件記述欄、右側が処理内容の記述欄を示している。即
ち、図の例では、Ｘが１のときと２のときで処理内容を
分けている。Ｘが１のときは処理ＡＢＣを実行し、Ｘが
２のときは処理ＤＥＦを実行する。

【００２１】（ｂ）は基本形Ｔ２の内容を示し、ＸとＹ
をパラメータとしてそれぞれその組合せによって処理の
内容を切り換えている。即ち、Ｘが１でＹが１の場合に
は、処理ＡＢＣを実行し、Ｘが１でＹが２の場合には、
処理ＤＥＦを実行する。また、Ｘが２でＹが１の場合に
は、処理ＧＨｉを実行し、Ｘが２でＹが２のとき、処理
ＪＫＬを実行する。（ａ）に示す例の場合、ソースコー
ドで記述しても表現上大きな差はないが、（ｂ）のよう
な内容になると、ソースコードで記述した場合とこのよ
うな表形式で記述した場合とでは、まず一見して理解し
易いかどうかに大きな差がある。しかも、表形式の場
合、全ての条件を網羅し易く、記入漏れや記述ミスが生
じにくい。

【００２２】図９には、基本形Ｔ３，Ｔ４，Ｔ５の説明
図を示す。（ａ）に示す基本形Ｔ３では、表を用いて繰
り返し演算を表現している。即ち、Ｔ＝１から１０まで
の範囲でＴをインクリメントし、処理ＡＢＣと処理ＤＥ
Ｆとを実行するといった内容になっている。特に、この
ような表の中に更に表を埋め込むネスト表現を実行する
場合、ソースプログラムコードでは、繰返し命令、繰返
し演算処理の仕切り、その他が入り乱れて、解釈も容易
でなく煩雑になる。しかしながら、このような表形式で
表現する場合には、図のＡＢＣという処理の中にこの図
と同様の繰返し表現をはめ込めばよいだけで、どの繰返
し表現がどの繰返し表現中に含まれるかあるいはどの繰
返し表現が何回繰返されるか等、極めて容易にビジュア
ルに認識し区別できるといった効果がある。

【００２３】（ｂ）に示す基本形Ｔ４は、条件がアンド
やオアで組み合わされているとき、その条件に合えばい
くつかの処理を合わせて実行するといった表現を例示し
ている。即ち、ここでは、Ｘが“１”でＹが“１”の両
方の条件が成立した場合に、処理ＡＢＣと処理ＤＥＦと
を順に実行する。なお、図（ｃ）に示す基本形Ｔ５は、
これまでそれぞれ組合せとして説明した１個の欄に１個
の処理の内容を記述したもので、無条件に処理ＡＢＣを
実行するといった表現となっている。ほとんど全てのプ
ログラムは、上記のような表を組み合わせ連結すること
で表現できる。しかも、これにより分かり易く論理的な
ミスを生じにくいといった特徴を持つ。

【００２４】〈マトリクスコンパイラの機能〉マトリク
スコンパイラは、マトリクスエディタ２が生成したプロ
グラム辞書から図１に示すようなＣ言語によるソースプ
ログラムコード１１、メカ制御専用言語によるソースプ
ログラムコード１２、シミュレーション実行形式コード
１３を生成する部分である。

【００２５】このマトリクスコンパイラ４は、一種のプ
ロダクションシステムである。各生成対象毎に、各コー
ド生成のための規則をプロダクションルールの形で持
つ。即ち、図１に示すコード生成規則群６には、Ｃ言語
によるソースプログラムコード１１を生成するためのＣ
言語ソースプログラムコード生成規則と、メカ制御専用
言語によるソースプログラムコード１２を生成するため
のメカ制御専用言語プログラムコード生成規則８と、シ
ミュレーション実行形式コード１３を生成するためのシ
ミュレーション実行形式コード生成規則９とを参照する
構成になっている。各生成規則は、ＩＦ部とＴＨＥＮ部
とから構成されている。ＩＦ部にはマッチング条件のパ
ターンリストを含める。ＴＨＥＮ部には当該条件にマッ
チした場合のソースプログラムコード等への変換方法を
記述する。その具体的内容は後で説明する。

【００２６】即ち、マトリクスコンパイラ４は、例えば
マトリクスエディタ２により生成されたプログラム辞書
をＣ言語によるソースプログラムコード１１に変換する
場合には、Ｃ言語ソースプログラムコード生成規則７を
参照しながら変換処理を進める。即ち、プログラム辞書
の各項目と同一のパターンとなるＩＦ部を含む生成規則
を、Ｃ言語ソースプログラムコード生成規則７から検索
する。そして、該当する規則が見つかった場合、そのＴ
ＨＥＮ部のソースプログラムコードを出力として得る。
こうして、プログラム辞書をＣ言語によるソースプログ
ラムコード１１に変換できる。メカ制御専用言語による
ソースプログラムコード１２の生成やシミュレーション
実行形式コード１３の生成も同様にして行うことができ
る。

【００２７】なお、以下の例では、ファームウェア全般
にプログラム言語として汎用され、その中で最も普及し
ているＣ言語を例にして説明を行う。しかしながら、こ
のような言語の如何を問わず、マトリクスコンパイラは
対応するコード生成規則があれば、任意のソースプログ
ラムコードを得ることが可能である。

【００２８】〈シミュレーションデバッガの機能〉シミ
ュレーションデバッガ１４はマトリクスコンパイラ４が
生成したシミュレーション実行形式コード１３を解析し
実行するインタプリタである。このようなシミュレーシ
ョンデバッガ１４は、従来よりプログラム開発支援に不
可欠なものとして広く使用されてきている。その具体的
な使用法としては、プログラムを１ステップずつ実行さ
せその結果を出力させたり、あるいはプログラム中にブ
レークポイントを指定しそこまでプログラムを実行させ
た後、その時点での出力や状態を表示させるといった用
い方がされる。

【００２９】本発明では、このようなシミュレーション
デバッグの機能を更に進め、メカ制御用ソフトウェアの
開発支援としてより実用的なメカ動作のアニメーション
やタイムチャート等を表示できる構成にしている。図１
０には、このようなシミュレーションデバッガの構造を
示すブロック図を図示した。このシミュレーションデバ
ッガは、状態更新部６４と、状態表示部６７を備えてい
る。状態更新部６４はメカ動作規則６１やシミュレータ
実行形式コード６２、ブレーク条件６３等を元にメカ制
御プログラム状態６５やメカ状態６６を生成する部分で
ある。また、状態表示部６７はメカ制御プログラム状態
６５やメカ状態６６の内容を表示部６９に表示する部分
である。なお、このような表示内容は、表示内容定義６
８等を参照して決定する。

【００３０】即ち、状態更新部６４は、シミュレーショ
ン実行形式コードを１命令ずつ実行すると、その都度そ
の時点でのメカ制御プログラム状態６５、メカ状態６６
にメカ動作規則６１を適用しながら、その内容を更新し
ていく。これによって、１ステップ毎にこのような状態
を監視できる。また、ブレーク条件６３を判定して、ブ
レークポインタにおいて、オペレータからの入力を待
つ。状態表示部６７は、例えばメカ状態６６の内容を参
照し、メカの動きや状態等を表示内容定義６８に従って
アニメーション等を用いて表示する。即ち、例えばカー
ド等の媒体を搬送路上で搬送するようなプログラムの場
合、プログラムが１ステップ実行される度に、その際の
カードの位置を搬送路も含めてそのままビジュアルに表
示する。これによって、プログラマーはメカ状態が一見
して把握でき、プログラム開発が容易になる。なお、メ
カ動作規則６１は、例えばステッピングモータの動作条
件、ステッピングモータ同士の連結関係、センサ情報等
を定義した内容のものである。

【００３１】〈具体的な動作例〉図１１に、具体的な操
作画面例（その１）を示す。この図に示す操作画面は、
先に説明したマトリクスエディタ２によりモジュール定
義図を入力する場合の画面を示す。図に示すように、モ
ジュール定義図を入力する場合には、このような操作画
面を利用して、入力３１、モジュール３２、出力３３等
の定義を記入する。なお、これはソースプログラムコー
ド生成のみならずプログラム作成者本人あるいは第三者
がプログラムの内容を容易に理解できるようにするため
の記述として利用される。

【００３２】図１２には、具体的な操作画面例（その
２）を示す。この画面には、プログラムの実行手順を示
す具体的な表が図示されている。ここでは、伝票とか通
帳のような媒体を吸入してこれが搬送路上を搬送されて
いる状態を検出し、必要な情報を印字して排出するとい
ったメカニズム制御のためのプログラムを示している。
このモジュールは、媒体の吸入処理に関する操作を示す
部分である。その処理は表の上から順に実行される。即
ち、最初のステップＳ１においては、媒体の状態を媒体
無しというように初期化しておく。

【００３３】そして、次のステップＳ２は媒体が無い状
態で媒体吸入を検出するための処理を行う。これは、一
定の時間おきに媒体無しの状態が続く間繰り返し実行さ
れる。まず、ステップＳ３で、センサ状態をセンスす
る。このセンサは媒体搬送路上に設けられた特定のセン
サである。そして、その結果を利用して次のステップＳ
４の処理を行う。ステップＳ４の処理はセンサ１とセン
サ２の状態に応じて４通りに分かれている。両方のセン
サがＯＦＦの場合は何もしない。センサ１がＯＦＦでセ
ンサ２がＯＮの場合には、媒体の状態をクランプという
状態に切り換える。ＭＧ２と指定したマグネットをＯＮ
する。即ち、マグネットをＯＮすることによって媒体を
クランプして媒体の搬送を実行する。一方、センサ１が
ＯＮでセンサ２がＯＦＦの場合には、ＭＧ２と表示した
マグネットをＯＮし、次にそのマグネットをＯＦＦす
る。また、センサ１も２もＯＮの場合には、同様にＭＧ
２と表示したマグネットをＯＮし、その次にこれをＯＦ
Ｆする。

【００３４】このように、搬送路上のマグネットのＯＮ
とＯＦＦを繰り返し、媒体をつかんで搬送路上に吸入す
る。次に、ステップＳ５において、搬送起動を行う。こ
こでは、媒体の先端をどこまで送り込むか、先端目標位
置や媒体の後端目標位置、最大移動量等を規定した上
で、搬送機構を起動させる。次のステップＳ６では、モ
ータの状態が動作中の間、ステップＳ７に示すような手
順が実行される。即ち、ここでは媒体先端位置をステッ
ピングモータに供給されるパルス数等でカウントし、そ
の数が１２２７に達すると、記号ＭＧ３と表示したマグ
ネットをＯＮする。その他の場合は、ＭＧ３と表示した
マグネットをＯＦＦにしておく。

【００３５】以上のように、表形式によれば、非常に簡
単に正確なプログラミングが可能となる。図１３には、
シミュレーションデバッガの出力例説明図を示す。上記
のような媒体の搬送等のメカニズムを制御するプログラ
ムでは、その動作を解析する場合、媒体の位置、搬送路
の状態、センサ等の状態をプログラムの任意のステップ
で一見して理解できるように表示することが好ましい。
そこで、本発明のシミュレーションデバッガは、図１３
に示すような搬送路７０とその搬送路のスケール７１と
を表示する。１番上に示したのは搬送路、２番目に示し
たのは搬送路のスケールで、搬送路のスケール７１はス
テッピングモータに供給されるパルス数を基準にして表
示されている。

【００３６】また、搬送路７０上には、媒体７２の位置
を検出するセンサＭＳ２，ＭＳ４，ＭＳ７等が設けられ
ている。更に、媒体７２を搬送駆動するローラを制御す
るためのマグネットＭＧ２，ＭＧ３，ＭＧ４等が設けら
れている。これらの各マグネットがＯＮＯＦＦする状態
も、この図の下側に示すようにタイムチャートで表示さ
れる。タイムチャートのロウレベルはＯＦＦ、ハイレベ
ルはＯＮの状態である。シミュレーションデバッガが各
処理ステップ毎に、そのステップが終了したときの状態
を図に示すような要領でアニメーション化する。そし
て、プログラマーの希望に従って表示する。これによ
り、媒体の挿入、検知、搬送、印字制御等を直接図解し
て見ることができ、プログラム製作作業の効率化が図ら
れる。

【００３７】図１４には、図１２のＳ１に示した部分か
らソースプログラムコード出力を得るための具体的なマ
トリクスコンパイラの動作説明図を図示した。図の
（ａ）はプログラム辞書、（ｂ）は日本語変換辞書、
（ｃ）はマトリクスコンパイラのルール（シミュレーシ
ョン実行形式コード生成規則）、（ｄ）はソースプログ
ラムコード出力を示している。図１２のＳ１に示した命
令は、「媒体状態＝媒体無し」という命令である。これ
は、即ち「媒体状態」という変数に対し媒体無しという
データを入力するための命令である。このような表形式
のデータは、図１４（ａ）に示すように記述される。図
の１行目のｎａｍｅ ＄ｗｈａｔは、この表の名称を表
している。また、次の行のｔｙｐｅ ｉｆ−ｗｈａｔ
は、表の種類を示している。次のｔ−ｗｉｄｔｈ １６
８ ｔｏｐは、この表の幅を示している。

【００３８】そして、この表の欄に記入された文字は５
行目の“”に挟まれた媒体状態＝媒体無しという文字で
表現されている。表の内容を記述する方法はどのような
方法でもよいが、このような記述によって表のデータが
コンピュータの認識できる文字データとなる。従って、
逆にこのプログラム辞書を読み取ることによって、図１
２に示すような表が描かれる。このようなプログラム辞
書の作成方法自体は従来より表計算ソフトウェア等でよ
く知られており、どのような方法を使用しても差し支え
ない。

【００３９】ここで、このプログラム辞書からソースプ
ログラムコードを得るために、（ｃ）に示すマトリクス
コンパイラのルールが適用される。ところが、ソースプ
ログラムコードに日本語を含めてよい場合と、日本語は
使用できない場合とがある。いずれの場合にもソースプ
ログラムコードの生成を可能にするためには、プログラ
ム辞書に含まれている日本語を英語等に変換しておくこ
とが好ましい。このために、（ｂ）に示す日本語変換辞
書が使用される。従って、プログラム辞書の中で「媒体
状態」という言葉と「媒体無し」という言葉が英語に変
換される。

【００４０】日本語変換辞書はこのような目的のため
に、表の中で使用される言葉に対応する英語を用意す
る。図の矢印によって示した「媒体状態」という単語
は、ｂ＿ｓｔａｔｕｓという英語に置き換えられる。
「媒体無し」という単語はこの日本語変換辞書には用意
されていない。そこで、マトリクスコンパイラは自動的
にこの媒体無しという言葉に対応する変数を他の言葉と
重複しないように設定してしまう。例えば、その変数を
Ｊｇ６７と定める。このような準備を行った後、（ｃ）
に示すルールが適用される。マトリクスコンパイラには
多数のルールが設けられており、先に説明したように、
そのＩＦ部が適用される場合に、ＴＨＥＮ部に置き換え
られたソースプログラムコードが出力される。

【００４１】この（ｃ）の１行目は表の名前で、（ａ）
に示した２行目と一致する。ＩＦ部には％ｋｅｙという
言葉がある。これは１つの命令であって、その次に続く
ｂｏｄｙという言葉を見つけなさいという命令である。
同様にして、ｔｈｅｎという言葉とｗｈａｔという言葉
を続けて見つけなさいという命令が続く。そして、ｗｈ
ａｔという言葉を見つけた場合に、これに続く言葉を＆
ｒｅｓｔという変数に代入しなさいという命令になる。
これによって＆ｒｅｓｔという変数に「媒体状態＝媒体
無し」という部分が代入される。なお、これは、先に説
明したように、先にｂ＿ｓｔａｔｕｓ＝Ｊｇ６７という
式に変換されている。

【００４２】ここで、（ｃ）に示すＴＨＥＮ部が実行さ
れる。即ち、ここでは、ａｐｐｅｎｄという命令によっ
て＆ｒｅｓｔという変数の中身に“；”を後ろに付けて
出力するといった内容になる。これは、即ち、（ｄ）に
示すような式をソースプログラムコードとして出力する
ことになる。これによって、図１４（ａ）に示すような
プログラム辞書からこの（ｄ）に示すようなソースプロ
グラムコードが得られる。他の部分についても全く同様
にプログラム辞書に含まれた日本語を一旦英語に変換
し、その後マトリクスコンパイラに用意された各種のル
ールに従って各部を順次変換することによってソースプ
ログラムコードが得られる。

【００４３】図１５は日本語変換辞書の一部の例を示
し、図１６〜図２０は図１２の表に対応するその他の部
分のプログラム辞書の例を示す。また、図２１，図２２
は、図１２のＳ４の部分を変換するために使用されるル
ールのリストであり、図２３，図２４は、マトリクスコ
ンパイラの出力として得られたソースプログラムコード
の例を示す。プログラム辞書中、Ｓ４と示した部分は、
図２１，図２２に示すマトリクスコンパイラのルールに
従って変換され、図２３，図２４に示すＳ４と印をした
ソースプログラムコードに置き換えられる。その手順等
は先に説明した通りである。

【００４４】本発明は以上の実施例に限定されない。上
記実施例においては、メカ動作制御のためのプログラム
作成に本発明を利用した例を示したが、この他、例えば
ワードプロセッサのような文書データの加工処理、その
他各種の情報処理のためのプログラム作成に利用でき
る。また、プログラム言語はＣ言語を用いて説明した
が、Ｃ言語の改良型であるＣ＋＋、その他Ｃ言語系のプ
ログラムやこれ以外の各種の汎用されているプログラム
作成に利用することが可能である。

【００４５】

【発明の効果】以上説明した本発明のプログラム開発支
援システムによれば、プログラムのロジックの表記を表
形式により分かり易く行い、これを自動的にプログラム
ソースコードに変換する構成にしたので、プログラムの
表現について専門的な知識を持たないものにも分かり易
い誤りの無いプログラムの記述ができる。また、第三者
も容易に分かり易いプログラムの記述が可能となる。更
に、プログラムの各命令が実行されたときに、制御対象
装置の各部の状態を表す状態情報等を具体的に表示する
シミュレーションデバッガを用意することによって、プ
ログラムの開発をより容易に具体的に行うことが可能に
なる。

【図面の簡単な説明】

【図１】本発明のプログラム開発支援システム実施例を
示すブロック図である。

【図２】本発明の実施のためのハードウェア説明図であ
る。

【図３】モジュール定義図の説明図である。

【図４】データ形式定義図の説明図である。

【図５】構造体型定義図の説明図である。

【図６】データ意味定義図の説明図である。

【図７】表の例説明である。

【図８】表の基本形説明図（その１）である。

【図９】表の基本形説明図（その２）である。

【図１０】シミュレーションデバッガの構造を示すブロ
ック図である。

【図１１】具体的な操作画面例（その１）である。

【図１２】具体的な操作画面例（その２）である。

【図１３】シミュレーションデバッガの出力例説明図で
ある。

【図１４】具体的なマトリクスコンパイラの動作説明図
である。

【図１５】日本語変換辞書の例説明図である。

【図１６】プログラム辞書の例説明図（その１）であ
る。

【図１７】プログラム辞書の例説明図（その２）であ
る。

【図１８】プログラム辞書の例説明図（その３）であ
る。

【図１９】プログラム辞書の例説明図（その４）であ
る。

【図２０】プログラム辞書の例説明図（その５）であ
る。

【図２１】マトリクスコンパイラのルールの例説明図
（その１）である。

【図２２】マトリクスコンパイラのルールの例説明図
（その２）である。

【図２３】ソースプログラムコード出力の例説明図（そ
の１）である。

【図２４】ソースプログラムコード出力の例説明図（そ
の２）である。

【符号の説明】

１ コンソール ２ マトリクスエディタ ３ プログラム辞書 ４ マトリクスコンパイラ ６ コード生成規則群 １１ Ｃ言語によるソースプログラムコード １２ メカ制御専用言語によるソースプログラムコード １３ シミュレーション実行形式コード １４ シミュレーションデバッガ

Claims (4)

【特許請求の範囲】
1. 【請求項１】 プログラムを構成する各処理の内容を表
   の各欄に記入して、先頭から順にその表の内容を実行す
   ることにより、そのプログラムを実行できるように表示
   した表を入力するマトリクスエディタと、 このマトリクスエディタで入力され生成されたプログラ
   ム辞書に、ソースコード生成規則を適用して、前記表に
   対応するソースプログラムコードを生成するマトリクス
   コンパイラとを備えたことを特徴とするプログラム開発
   支援システム。
2. 【請求項２】 プログラムを構成する各処理の内容を表
   の各欄に記入して、先頭から順にその表の内容を実行す
   ることにより、そのプログラムを実行できるように表示
   した表を入力するマトリクスエディタと、 このマトリクスエディタで入力され生成されたプログラ
   ム辞書に、シミュレータ実行形式コード生成規則を適用
   して、前記表に対応するシミュレーション実行形式コー
   ドを生成するマトリクスコンパイラとを備えたことを特
   徴とするプログラム開発支援システム。
3. 【請求項３】 マトリクスエディタは、 モジュール定義図とデータ形式定義図と構造体定義図と
   データ意味定義図と表の入力を行い、Ｃ言語によるソー
   スプログラムコード生成のための意味解釈用のプログラ
   ム辞書を生成することを特徴とする請求項１記載のプロ
   グラム開発支援システム。
4. 【請求項４】 メカ動作規則とシミュレータ実行形式コ
   ードとを参照して、プログラムの各命令が実行されたと
   きの制御対象装置の各部の状態を表す状態情報を生成す
   る状態更新部と、 前記状態情報に従って状態図を生成してプログラムの任
   意のステップでその状態図を表示する請求項２記載のプ
   ログラム開発支援システム。