JPH07168709A - プログラムジェネレータ利用仕様シミュレーション方法およびその装置 - Google Patents
プログラムジェネレータ利用仕様シミュレーション方法およびその装置Info
- Publication number
- JPH07168709A JPH07168709A JP5342832A JP34283293A JPH07168709A JP H07168709 A JPH07168709 A JP H07168709A JP 5342832 A JP5342832 A JP 5342832A JP 34283293 A JP34283293 A JP 34283293A JP H07168709 A JPH07168709 A JP H07168709A
- Authority
- JP
- Japan
- Prior art keywords
- program
- state
- simulation
- control
- specifications
- 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.)
- Granted
Links
Landscapes
- Stored Programmes (AREA)
- Debugging And Monitoring (AREA)
Abstract
(57)【要約】
【目的】 作成したプログラム仕様の確認を手軽かつ迅
速に行えるようにする。 【構成】 仕様エディタ１は、プログラムの仕様９と、
状態を遷移させる為のデータを入力して状態遷移を制御
し且つ現状態を通知する為の仕様10とを作成する。作成
された仕様9,10は生成部２によって仕様記述言語11に変
換された後、何れかのプログラムジェネレータ3-1 〜3-
n で、仕様９に対応する本体12b と制御用仕様10に対応
する制御プログラム12a とを含むシミュレーションプロ
グラム12に変換され、実行部５で実行される。実行中
に、キーボード８から状態を遷移させる為のデータを入
力すると、制御部６はそれをシミュレーションプログラ
ム12に伝達し、制御プログラム12a がそれに応じて本体
12b の状態を遷移させ、且つ遷移後の状態を制御部６に
通知する。制御部６はＣＲＴ７上に表示した仕様９上で
前記通知された現状態を指示すると共に、今までの状態
遷移の順序を併せて表示する。
速に行えるようにする。 【構成】 仕様エディタ１は、プログラムの仕様９と、
状態を遷移させる為のデータを入力して状態遷移を制御
し且つ現状態を通知する為の仕様10とを作成する。作成
された仕様9,10は生成部２によって仕様記述言語11に変
換された後、何れかのプログラムジェネレータ3-1 〜3-
n で、仕様９に対応する本体12b と制御用仕様10に対応
する制御プログラム12a とを含むシミュレーションプロ
グラム12に変換され、実行部５で実行される。実行中
に、キーボード８から状態を遷移させる為のデータを入
力すると、制御部６はそれをシミュレーションプログラ
ム12に伝達し、制御プログラム12a がそれに応じて本体
12b の状態を遷移させ、且つ遷移後の状態を制御部６に
通知する。制御部６はＣＲＴ７上に表示した仕様９上で
前記通知された現状態を指示すると共に、今までの状態
遷移の順序を併せて表示する。
Description
【０００１】
【産業上の利用分野】本発明は電子計算機におけるプロ
グラムの開発を支援する技術に関し、特に状態遷移図な
どで表現されたプログラムの検証作業に好適なプログラ
ムジェネレータ利用仕様シミュレーション方法およびそ
の装置に関するものである。
グラムの開発を支援する技術に関し、特に状態遷移図な
どで表現されたプログラムの検証作業に好適なプログラ
ムジェネレータ利用仕様シミュレーション方法およびそ
の装置に関するものである。
【０００２】
【従来の技術】電子計算機におけるプログラムの開発を
支援するための技術として、従来より種々の技術が提案
されている。例えば特願平３−６９１３５号において提
案されているプログラムジェネレータと呼ばれる技術も
その一つであり、仕様記述言語で記述された仕様をプロ
グラム言語で記述されたプログラムに自動的に変換す
る。
支援するための技術として、従来より種々の技術が提案
されている。例えば特願平３−６９１３５号において提
案されているプログラムジェネレータと呼ばれる技術も
その一つであり、仕様記述言語で記述された仕様をプロ
グラム言語で記述されたプログラムに自動的に変換す
る。
【０００３】ところで、この種のプログラムジェネレー
タを使用したプログラム開発においては、先ず利用者
は、手元の設計書等を参照しながら、エディタを用いて
画面上にプログラムの仕様を作成する。この仕様は種々
の形式で作成されるが、例えば状態遷移図の形式を用い
る場合、そのプログラムが取りうる状態と、各状態にお
いてどういうイベントが発生したときにどういった処理
を行ってどの状態に遷移するかといったことを表の形式
で作成していく。そして、この作成した状態遷移図で表
現された仕様を所定の仕様記述言語に変換してプログラ
ムジェネレータによってプログラム言語で記述されたプ
ログラムに変換する。このとき、思い違いや打ち間違い
などによって状態遷移図が誤っていることがあるので、
状態遷移図を一応作成し終えた時点で、その正当性を確
認する作業を行う。
タを使用したプログラム開発においては、先ず利用者
は、手元の設計書等を参照しながら、エディタを用いて
画面上にプログラムの仕様を作成する。この仕様は種々
の形式で作成されるが、例えば状態遷移図の形式を用い
る場合、そのプログラムが取りうる状態と、各状態にお
いてどういうイベントが発生したときにどういった処理
を行ってどの状態に遷移するかといったことを表の形式
で作成していく。そして、この作成した状態遷移図で表
現された仕様を所定の仕様記述言語に変換してプログラ
ムジェネレータによってプログラム言語で記述されたプ
ログラムに変換する。このとき、思い違いや打ち間違い
などによって状態遷移図が誤っていることがあるので、
状態遷移図を一応作成し終えた時点で、その正当性を確
認する作業を行う。
【０００４】この確認作業は、例えば或る状態において
発生するイベントおよび後続のイベントとを想定し、画
面上の状態遷移図を目で追いながら、状態遷移図上では
どういう遷移になるかを調べることで行われる。
発生するイベントおよび後続のイベントとを想定し、画
面上の状態遷移図を目で追いながら、状態遷移図上では
どういう遷移になるかを調べることで行われる。
【０００５】
【発明が解決しようとする課題】しかしながら、或る状
態においてこのイベントが発生すると状態遷移図上では
この状態になり、次にこの状態でこのイベントが発生す
ると状態遷移図上では次にはこの状態になるといったよ
うに、画面上の状態遷移図を目で追いながら、幾つかの
事例について確認していくことは大変であり、結果とし
て十分な確認が行えないのが現状であった。
態においてこのイベントが発生すると状態遷移図上では
この状態になり、次にこの状態でこのイベントが発生す
ると状態遷移図上では次にはこの状態になるといったよ
うに、画面上の状態遷移図を目で追いながら、幾つかの
事例について確認していくことは大変であり、結果とし
て十分な確認が行えないのが現状であった。
【０００６】本発明はこのような事情に鑑みて提案され
たものであり、その目的は、作成した仕様の確認作業
を、より手軽かつ迅速に行うことができるようにするこ
とにある。
たものであり、その目的は、作成した仕様の確認作業
を、より手軽かつ迅速に行うことができるようにするこ
とにある。
【０００７】
【課題を解決するための手段】本発明のプログラムジェ
ネレータ利用仕様シミュレーション方法は上記の目的を
達成するために、仕様によって表現されたプログラムの
状態を遷移させるためのデータを外部から入力して前記
プログラムの状態を遷移させると共に前記プログラムの
現状態を外部に通知する制御のための仕様を作成し、こ
の作成した制御のための仕様を前記プログラムの仕様に
付加してプログラムジェネレータに入力して所定のプロ
グラム言語で記述されたシミュレーションプログラムを
作成し、この作成したシミュレーションプログラムを実
行してその実行中に入力装置から状態を遷移させるデー
タをシミュレーションプログラムに入力することで状態
の遷移を行わせ、且つ、シミュレーションプログラムか
ら通知される現状態を表示装置に表示させるようにして
いる。
ネレータ利用仕様シミュレーション方法は上記の目的を
達成するために、仕様によって表現されたプログラムの
状態を遷移させるためのデータを外部から入力して前記
プログラムの状態を遷移させると共に前記プログラムの
現状態を外部に通知する制御のための仕様を作成し、こ
の作成した制御のための仕様を前記プログラムの仕様に
付加してプログラムジェネレータに入力して所定のプロ
グラム言語で記述されたシミュレーションプログラムを
作成し、この作成したシミュレーションプログラムを実
行してその実行中に入力装置から状態を遷移させるデー
タをシミュレーションプログラムに入力することで状態
の遷移を行わせ、且つ、シミュレーションプログラムか
ら通知される現状態を表示装置に表示させるようにして
いる。
【０００８】また本発明のプログラムジェネレータ利用
仕様シミュレーション装置は上記の目的を達成するため
に、プログラムの仕様と、該仕様によって表現されたプ
ログラムの状態を遷移させるためのデータを外部から入
力して前記プログラムの状態を遷移させると共に前記プ
ログラムの現状態を外部に通知する制御のための仕様と
を作成する仕様エディタと、該仕様エディタによって作
成された前記プログラムの仕様と前記制御のための仕様
とを仕様記述言語に変換する仕様記述言語生成部と、該
仕様記述言語生成部で生成された仕様記述言語で表現さ
れたプログラムを、プログラム言語で記述されたプログ
ラムであって、前記プログラムの仕様に対応するシミュ
レーションプログラム本体および前記制御のための仕様
に対応する制御プログラムとを含むシミュレーションプ
ログラムに変換するプログラムジェネレータと、該プロ
グラムジェネレータで生成されたシミュレーションプロ
グラムを実行するプログラム実行部と、該プログラム実
行部で実行中の前記シミュレーションプログラムと入力
装置および表示装置との間に介在し、前記入力装置から
入力された、状態を遷移させるためのデータを前記シミ
ュレーションプログラムに伝達すると共に、前記シミュ
レーションプログラムから通知された現状態を前記表示
装置に表示するデータ入力・シミュレート結果表示制御
部とを備えている。
仕様シミュレーション装置は上記の目的を達成するため
に、プログラムの仕様と、該仕様によって表現されたプ
ログラムの状態を遷移させるためのデータを外部から入
力して前記プログラムの状態を遷移させると共に前記プ
ログラムの現状態を外部に通知する制御のための仕様と
を作成する仕様エディタと、該仕様エディタによって作
成された前記プログラムの仕様と前記制御のための仕様
とを仕様記述言語に変換する仕様記述言語生成部と、該
仕様記述言語生成部で生成された仕様記述言語で表現さ
れたプログラムを、プログラム言語で記述されたプログ
ラムであって、前記プログラムの仕様に対応するシミュ
レーションプログラム本体および前記制御のための仕様
に対応する制御プログラムとを含むシミュレーションプ
ログラムに変換するプログラムジェネレータと、該プロ
グラムジェネレータで生成されたシミュレーションプロ
グラムを実行するプログラム実行部と、該プログラム実
行部で実行中の前記シミュレーションプログラムと入力
装置および表示装置との間に介在し、前記入力装置から
入力された、状態を遷移させるためのデータを前記シミ
ュレーションプログラムに伝達すると共に、前記シミュ
レーションプログラムから通知された現状態を前記表示
装置に表示するデータ入力・シミュレート結果表示制御
部とを備えている。
【０００９】また、前記データ入力・シミュレート結果
表示制御部は、前記表示装置上に前記プログラムの仕様
を表示し、該表示した仕様上で前記通知された現状態を
指示すると共に、今までの状態遷移の順序を併せて表示
するようにしている。
表示制御部は、前記表示装置上に前記プログラムの仕様
を表示し、該表示した仕様上で前記通知された現状態を
指示すると共に、今までの状態遷移の順序を併せて表示
するようにしている。
【００１０】
【作用】本発明においては、仕様エディタが、プログラ
ムの仕様と、この仕様によって表現されたプログラムの
状態を遷移させるためのデータを外部から入力して前記
プログラムの状態を遷移させると共に前記プログラムの
現状態を外部に通知する制御のための仕様とを、利用者
が作成する作業を支援し、仕様記述言語生成部が、その
作成されたプログラムの仕様と制御のための仕様とを仕
様記述言語に変換し、プログラムジェネレータが、その
仕様記述言語を入力して、プログラム言語で記述された
プログラムであって、前記プログラムの仕様に対応する
シミュレーションプログラム本体および前記制御のため
の仕様に対応する制御プログラムとを含むシミュレーシ
ョンプログラムに変換し、プログラム実行部が、このシ
ミュレーションプログラムを実行する。そして、シミュ
レーションプログラムの実行中に、利用者が入力装置か
ら状態を遷移させるためのデータを入力すると、データ
入力・シミュレート結果表示制御部がこの入力されたデ
ータをシミュレーションプログラムに伝達して、シミュ
レーションプログラム中の制御プログラムがこれに応じ
てシミュレーションプログラム本体の状態を遷移させ
る。また、遷移後の状態を制御プログラムがデータ入力
・シミュレート結果表示制御部に通知すると、データ入
力・シミュレート結果表示制御部が、例えば、表示装置
上にプログラムの仕様を表示し、この表示した仕様上で
前記通知された現状態を指示すると共に、今までの状態
遷移の順序を併せて表示する。
ムの仕様と、この仕様によって表現されたプログラムの
状態を遷移させるためのデータを外部から入力して前記
プログラムの状態を遷移させると共に前記プログラムの
現状態を外部に通知する制御のための仕様とを、利用者
が作成する作業を支援し、仕様記述言語生成部が、その
作成されたプログラムの仕様と制御のための仕様とを仕
様記述言語に変換し、プログラムジェネレータが、その
仕様記述言語を入力して、プログラム言語で記述された
プログラムであって、前記プログラムの仕様に対応する
シミュレーションプログラム本体および前記制御のため
の仕様に対応する制御プログラムとを含むシミュレーシ
ョンプログラムに変換し、プログラム実行部が、このシ
ミュレーションプログラムを実行する。そして、シミュ
レーションプログラムの実行中に、利用者が入力装置か
ら状態を遷移させるためのデータを入力すると、データ
入力・シミュレート結果表示制御部がこの入力されたデ
ータをシミュレーションプログラムに伝達して、シミュ
レーションプログラム中の制御プログラムがこれに応じ
てシミュレーションプログラム本体の状態を遷移させ
る。また、遷移後の状態を制御プログラムがデータ入力
・シミュレート結果表示制御部に通知すると、データ入
力・シミュレート結果表示制御部が、例えば、表示装置
上にプログラムの仕様を表示し、この表示した仕様上で
前記通知された現状態を指示すると共に、今までの状態
遷移の順序を併せて表示する。
【００１１】
【実施例】次に本発明の実施例について図面を参照して
詳細に説明する。
詳細に説明する。
【００１２】図１を参照すると、本発明の一実施例のプ
ログラムジェネレータ利用仕様シミュレーション装置
は、仕様エディタ１と、仕様記述言語生成部２と、扱う
プログラム言語がそれぞれ相違する複数個のプログラム
ジェネレータ３−１〜３−ｎと、選択部４と、プログラ
ム実行部５と、データ入力・シミュレート結果表示制御
部６と、表示装置たとえばＣＲＴ７と、入力装置たとえ
ばキーボード８とで構成されている。なお、９は開発し
ようとするプログラムの仕様、１０は制御用仕様、１１
は仕様記述言語、１２は制御プログラム１２ａおよびシ
ミュレーションプログラム本体１２ｂから構成されるシ
ミュレーションプログラムである。
ログラムジェネレータ利用仕様シミュレーション装置
は、仕様エディタ１と、仕様記述言語生成部２と、扱う
プログラム言語がそれぞれ相違する複数個のプログラム
ジェネレータ３−１〜３−ｎと、選択部４と、プログラ
ム実行部５と、データ入力・シミュレート結果表示制御
部６と、表示装置たとえばＣＲＴ７と、入力装置たとえ
ばキーボード８とで構成されている。なお、９は開発し
ようとするプログラムの仕様、１０は制御用仕様、１１
は仕様記述言語、１２は制御プログラム１２ａおよびシ
ミュレーションプログラム本体１２ｂから構成されるシ
ミュレーションプログラムである。
【００１３】以下、各部の詳細な機能を全体の動作を通
して説明する。
して説明する。
【００１４】仕様エディタ１は、プログラムの仕様９
と、この仕様９に対応する制御用仕様１０とを、利用者
が作成する作業を支援するエディタであり、ＣＲＴ７お
よびキーボード８に接続されている。
と、この仕様９に対応する制御用仕様１０とを、利用者
が作成する作業を支援するエディタであり、ＣＲＴ７お
よびキーボード８に接続されている。
【００１５】利用者は、キーボード８から仕様エディタ
１を起動し、その機能を利用して、開発しようとするプ
ログラムの仕様をＣＲＴ７の画面上に作成する。
１を起動し、その機能を利用して、開発しようとするプ
ログラムの仕様をＣＲＴ７の画面上に作成する。
【００１６】仕様エディタ１が状態遷移図形式の仕様の
作成を支援する状態遷移エディタである場合の、ＣＲＴ
７上に作成される状態遷移図の例を図２に示す。同図に
おいて、各行に設定された状態１，２，…はプログラム
がとりうる状態の種類を、各列に設定されたイベント
１，２，…は状態遷移を起こさせる事象の種類をそれぞ
れ示し、行と列との交差部に設定された「処理記述」は
その状態においてそのイベントが発行されたときに実行
すべき処理を例えば言語に依存する記述方法等によって
記述した部分であり、「→状態２」等はその行に設定さ
れている状態においてその列に設定されているイベント
が発生した場合に次に遷移する先の状態を指定する記述
である。
作成を支援する状態遷移エディタである場合の、ＣＲＴ
７上に作成される状態遷移図の例を図２に示す。同図に
おいて、各行に設定された状態１，２，…はプログラム
がとりうる状態の種類を、各列に設定されたイベント
１，２，…は状態遷移を起こさせる事象の種類をそれぞ
れ示し、行と列との交差部に設定された「処理記述」は
その状態においてそのイベントが発行されたときに実行
すべき処理を例えば言語に依存する記述方法等によって
記述した部分であり、「→状態２」等はその行に設定さ
れている状態においてその列に設定されているイベント
が発生した場合に次に遷移する先の状態を指定する記述
である。
【００１７】このようにして作成されたプログラムの仕
様は、仕様エディタ１から出力され、仕様９として保存
される。
様は、仕様エディタ１から出力され、仕様９として保存
される。
【００１８】さて、作成した仕様９に対しその確認作業
を行う場合、利用者は仕様エディタ１を使用して、仕様
９に対応する制御用仕様をＣＲＴ７の画面上に作成す
る。ここで、制御用仕様とは、仕様９によって表現され
たプログラムの状態を遷移させるためのデータを外部か
ら入力して前記プログラムの状態を遷移させると共に前
記プログラムの現状態を外部に通知する制御にかかる仕
様のことである。
を行う場合、利用者は仕様エディタ１を使用して、仕様
９に対応する制御用仕様をＣＲＴ７の画面上に作成す
る。ここで、制御用仕様とは、仕様９によって表現され
たプログラムの状態を遷移させるためのデータを外部か
ら入力して前記プログラムの状態を遷移させると共に前
記プログラムの現状態を外部に通知する制御にかかる仕
様のことである。
【００１９】例えば、図２の状態遷移図の場合、イベン
ト１，２，…として実際のイベントを発生させることは
大変なので、例えばキーボード８上のそれぞれ異なる文
字のキーが各イベントに対応付けられていることを示す
仕様を作成する。即ち、文字Ａのキーがイベント１に、
文字Ｂのキーがイベント２に対応するといったことを示
す仕様である。また、別の状態に遷移した場合にはその
遷移後の状態を外部に通知する動作を示す仕様も同時に
作成する。
ト１，２，…として実際のイベントを発生させることは
大変なので、例えばキーボード８上のそれぞれ異なる文
字のキーが各イベントに対応付けられていることを示す
仕様を作成する。即ち、文字Ａのキーがイベント１に、
文字Ｂのキーがイベント２に対応するといったことを示
す仕様である。また、別の状態に遷移した場合にはその
遷移後の状態を外部に通知する動作を示す仕様も同時に
作成する。
【００２０】このようにして作成された制御用仕様は、
仕様エディタ１から出力され、制御用仕様１０として保
存される。
仕様エディタ１から出力され、制御用仕様１０として保
存される。
【００２１】次に利用者がキーボード８を操作して仕様
記述言語生成部２を起動すると、仕様記述言語生成部２
は、仕様９と制御用仕様１０とを入力し、所定の仕様記
述言語１１に変換する。図３に、図２に示す状態遷移図
とそれに対応する制御用仕様とから変換して得られる仕
様記述言語１１の例を示す。同図に示すように、仕様記
述言語１１上には各状態１，２，…毎の記述が含まれ、
各状態対応の記述中には、（制御記述）と、各イベント
毎の（イベント キー 状態 処理記述）の記述があ
る。ここで、（制御記述）は当該状態に遷移したときに
現状態を外部に通知する制御の記述である。また、キー
はそのイベントに対して割り当てられたキーボード８上
のキーを示し、状態はそのキーが入力されたときに遷移
すべき次の状態を示し、処理記述はその遷移に先立って
実行すべき処理の記述である。
記述言語生成部２を起動すると、仕様記述言語生成部２
は、仕様９と制御用仕様１０とを入力し、所定の仕様記
述言語１１に変換する。図３に、図２に示す状態遷移図
とそれに対応する制御用仕様とから変換して得られる仕
様記述言語１１の例を示す。同図に示すように、仕様記
述言語１１上には各状態１，２，…毎の記述が含まれ、
各状態対応の記述中には、（制御記述）と、各イベント
毎の（イベント キー 状態 処理記述）の記述があ
る。ここで、（制御記述）は当該状態に遷移したときに
現状態を外部に通知する制御の記述である。また、キー
はそのイベントに対して割り当てられたキーボード８上
のキーを示し、状態はそのキーが入力されたときに遷移
すべき次の状態を示し、処理記述はその遷移に先立って
実行すべき処理の記述である。
【００２２】仕様記述言語１１の生成が完了すると、次
に利用者は、キーボード８からプログラム言語を指定し
たプログラムジェネレータ起動指令を入力する。この指
令は選択部４で受け取られ、複数のプログラムジェネレ
ータ３−１〜３−ｎのうちの指定されたプログラム言語
を扱うプログラムジェネレータを起動する。
に利用者は、キーボード８からプログラム言語を指定し
たプログラムジェネレータ起動指令を入力する。この指
令は選択部４で受け取られ、複数のプログラムジェネレ
ータ３−１〜３−ｎのうちの指定されたプログラム言語
を扱うプログラムジェネレータを起動する。
【００２３】今、キーボード８からＣ言語が指定され、
それを扱うプログラムジェネレータ３−１が起動された
とすると、プログラムジェネレータ３−１は仕様記述言
語１１を入力し、それをＣ言語で記述されたシミュレー
ションプログラム１２に変換する。このとき物理的には
１つのシミュレーションプログラム１２が生成される
が、論理的には制御プログラム１２ａとシミュレーショ
ンプログラム本体１２ｂとに区分される。ここで、シミ
ュレーションプログラム本体１２ｂは仕様９に対応する
部分であり、制御プログラム１２ａは制御用仕様１０に
対応する部分である。
それを扱うプログラムジェネレータ３−１が起動された
とすると、プログラムジェネレータ３−１は仕様記述言
語１１を入力し、それをＣ言語で記述されたシミュレー
ションプログラム１２に変換する。このとき物理的には
１つのシミュレーションプログラム１２が生成される
が、論理的には制御プログラム１２ａとシミュレーショ
ンプログラム本体１２ｂとに区分される。ここで、シミ
ュレーションプログラム本体１２ｂは仕様９に対応する
部分であり、制御プログラム１２ａは制御用仕様１０に
対応する部分である。
【００２４】次に利用者がキーボード８を操作してプロ
グラム実行部５に対してシミュレーションプログラム１
２の実行を指示すると、プログラム実行部５がシミュレ
ーションプログラム１２を入力して、その実行を開始す
る。これにより、先ずシミュレーションプログラム１２
のシミュレーションプログラム本体１２ｂが初期の状態
に遷移し、制御が制御プログラム１２ａに渡される。ま
た、プログラム実行部５に対する実行指示によりデータ
入力・シミュレート結果表示制御部６も起動され、デー
タ入力・シミュレート結果表示制御部６は仕様９の内容
すなわち図２に示した状態遷移図をＣＲＴ７の画面に表
示する。
グラム実行部５に対してシミュレーションプログラム１
２の実行を指示すると、プログラム実行部５がシミュレ
ーションプログラム１２を入力して、その実行を開始す
る。これにより、先ずシミュレーションプログラム１２
のシミュレーションプログラム本体１２ｂが初期の状態
に遷移し、制御が制御プログラム１２ａに渡される。ま
た、プログラム実行部５に対する実行指示によりデータ
入力・シミュレート結果表示制御部６も起動され、デー
タ入力・シミュレート結果表示制御部６は仕様９の内容
すなわち図２に示した状態遷移図をＣＲＴ７の画面に表
示する。
【００２５】図４はシミュレーションプログラム１２内
のシミュレーションプログラム本体１２ｂと制御プログ
ラム１２ａとの関係および制御プログラム１２ａの処理
例を示しており、制御プログラム１２ａはシミュレーシ
ョンプログラム本体１２ｂから制御を受けると、シミュ
レーション本体１２ｂの現在の状態をデータ入力・シミ
ュレート結果表示制御部６に通知する。そして、制御プ
ログラム１２ａはデータ入力・シミュレート結果表示制
御部６からのキー入力待ちとなる。
のシミュレーションプログラム本体１２ｂと制御プログ
ラム１２ａとの関係および制御プログラム１２ａの処理
例を示しており、制御プログラム１２ａはシミュレーシ
ョンプログラム本体１２ｂから制御を受けると、シミュ
レーション本体１２ｂの現在の状態をデータ入力・シミ
ュレート結果表示制御部６に通知する。そして、制御プ
ログラム１２ａはデータ入力・シミュレート結果表示制
御部６からのキー入力待ちとなる。
【００２６】データ入力・シミュレート結果表示制御部
６は、この通知を受けると、ＣＲＴ７の画面に表示され
た状態遷移図上で現在どの状態にあるかを、例えば該当
する状態の表示部分をブリンクさせたり、網かけ表示し
たりして指示する。
６は、この通知を受けると、ＣＲＴ７の画面に表示され
た状態遷移図上で現在どの状態にあるかを、例えば該当
する状態の表示部分をブリンクさせたり、網かけ表示し
たりして指示する。
【００２７】この状態で利用者がキーボード８から各イ
ベントに対応付けたキーの何れかを入力すると、それが
データ入力・シミュレート結果表示制御部６を通じてプ
ログラム実行部５で実行中の制御プログラム１２ａに伝
達され、制御プログラム１２ａは受信したキーに対応す
るイベントをシミュレーションプログラム本体１２ｂに
発行し、制御をシミュレーションプログラム本体１２ｂ
に移す。これにより、シミュレーションプログラム本体
１２ｂは発行されたイベントに対応する処理を実行した
後に該当する次の状態に遷移し、制御を再び制御プログ
ラム１２ａに移す。制御プログラム１２ａは制御を受け
ると、前述したと同様にシミュレーション本体１２ｂの
現在の状態をデータ入力・シミュレート結果表示制御部
６に通知し、再びキー入力待ちとなる。
ベントに対応付けたキーの何れかを入力すると、それが
データ入力・シミュレート結果表示制御部６を通じてプ
ログラム実行部５で実行中の制御プログラム１２ａに伝
達され、制御プログラム１２ａは受信したキーに対応す
るイベントをシミュレーションプログラム本体１２ｂに
発行し、制御をシミュレーションプログラム本体１２ｂ
に移す。これにより、シミュレーションプログラム本体
１２ｂは発行されたイベントに対応する処理を実行した
後に該当する次の状態に遷移し、制御を再び制御プログ
ラム１２ａに移す。制御プログラム１２ａは制御を受け
ると、前述したと同様にシミュレーション本体１２ｂの
現在の状態をデータ入力・シミュレート結果表示制御部
６に通知し、再びキー入力待ちとなる。
【００２８】従って、例えばシミュレーションプログラ
ム本体１２ｂが状態１にある状況で、キーＡが入力され
ると、イベント１が発行されたものとしてシミュレーシ
ョンプログラム本体１２ｂは状態２へ遷移し、ＣＲＴ７
の画面上では例えば図５に示すように状態２の箇所が網
かけされて、現在の状態は状態２であることを利用者に
示す。また、どの状態からどういうイベントで遷移して
きたかを利用者に示すために、元の状態１と発行したイ
ベント１との交差部の箇所にも網かけを表示する。更
に、画面の下部には現在までの状態遷移の順序として、
状態１，状態２を順に表示する。
ム本体１２ｂが状態１にある状況で、キーＡが入力され
ると、イベント１が発行されたものとしてシミュレーシ
ョンプログラム本体１２ｂは状態２へ遷移し、ＣＲＴ７
の画面上では例えば図５に示すように状態２の箇所が網
かけされて、現在の状態は状態２であることを利用者に
示す。また、どの状態からどういうイベントで遷移して
きたかを利用者に示すために、元の状態１と発行したイ
ベント１との交差部の箇所にも網かけを表示する。更
に、画面の下部には現在までの状態遷移の順序として、
状態１，状態２を順に表示する。
【００２９】また図５の状態でキーＢが入力されると、
イベント２が発行されたものとして状態１に遷移するの
で、ＣＲＴ７の画面は図６のように変化する。
イベント２が発行されたものとして状態１に遷移するの
で、ＣＲＴ７の画面は図６のように変化する。
【００３０】このように本実施例によれば、キーボード
８から順次にキーを入力していくだけで、仕様９におけ
る実際の遷移の状態が状態遷移図上で表示されるため、
作成した状態遷移図の確認作業を効率良く進めることが
できる。
８から順次にキーを入力していくだけで、仕様９におけ
る実際の遷移の状態が状態遷移図上で表示されるため、
作成した状態遷移図の確認作業を効率良く進めることが
できる。
【００３１】なお、以上の実施例ではプログラムの仕様
として状態遷移図を用いたが、仕様エディタ１として構
造化モデルを用いた構造化チャートエディタを使用すれ
ば、構造化モデル形式の仕様の確認作業も支援すること
ができる。
として状態遷移図を用いたが、仕様エディタ１として構
造化モデルを用いた構造化チャートエディタを使用すれ
ば、構造化モデル形式の仕様の確認作業も支援すること
ができる。
【００３２】
【発明の効果】以上説明したように本発明によれば以下
のような効果を得ることができる。
のような効果を得ることができる。
【００３３】キーボード等の入力装置から状態を遷移さ
せるためのデータを順次入力していくと、プログラムの
仕様上における実際の遷移の状態が自動的にＣＲＴ等の
画面に表示されるため、利用者は、従来のように状態遷
移図上ではどういう遷移になるかを自ら調べる必要がな
くなり、或る状態においてこのイベントが発生すると状
態遷移図上ではこの状態になり、次にこの状態でこのイ
ベントが発生すると状態遷移図上では次にはこの状態に
なるといった状態遷移の様子を簡単かつ迅速に確認する
ことができる。
せるためのデータを順次入力していくと、プログラムの
仕様上における実際の遷移の状態が自動的にＣＲＴ等の
画面に表示されるため、利用者は、従来のように状態遷
移図上ではどういう遷移になるかを自ら調べる必要がな
くなり、或る状態においてこのイベントが発生すると状
態遷移図上ではこの状態になり、次にこの状態でこのイ
ベントが発生すると状態遷移図上では次にはこの状態に
なるといった状態遷移の様子を簡単かつ迅速に確認する
ことができる。
【００３４】プログラム仕様をプログラムジェネレータ
に入力したときに得られる実際のプログラムと等価なシ
ミュレーションプログラム本体が生成されるため、プロ
グラム仕様の確認と併せてプログラム言語レベルでのプ
ログラムの動作確認も同時に行うことが可能となり、仕
様中の処理記述による振る舞い等もシミュレーションで
き、従って、実際の言語レベルにならなければ判らない
実行効率等の情報も同時に調べることが可能となる。
に入力したときに得られる実際のプログラムと等価なシ
ミュレーションプログラム本体が生成されるため、プロ
グラム仕様の確認と併せてプログラム言語レベルでのプ
ログラムの動作確認も同時に行うことが可能となり、仕
様中の処理記述による振る舞い等もシミュレーションで
き、従って、実際の言語レベルにならなければ判らない
実行効率等の情報も同時に調べることが可能となる。
【図１】本発明のプログラムジェネレータ利用仕様シミ
ュレーション装置の一実施例のブロック図である。
ュレーション装置の一実施例のブロック図である。
【図２】プログラムの仕様である状態遷移図の一例を示
す図である。
す図である。
【図３】仕様記述言語の例を示す図である。
【図４】シミュレーションプログラム内のシミュレーシ
ョンプログラム本体と制御プログラムとの関係および制
御プログラムの処理例を示す図である。
ョンプログラム本体と制御プログラムとの関係および制
御プログラムの処理例を示す図である。
【図５】ＣＲＴの画面上で状態遷移の様子を表示する例
を示す図である。
を示す図である。
【図６】図５に示す状態で１つだけ状態遷移した後の表
示例を示す図である。
示例を示す図である。
１…仕様エディタ ２…仕様記述言語生成部 ３−１〜３−ｎ…プログラムジェネレータ ４…選択部 ５…プログラム実行部 ６…データ入力・シミュレート結果表示制御部 ７…ＣＲＴ ８…キーボード ９…プログラムの仕様 １０…制御用仕様 １１…仕様記述言語 １２…シミュレーションプログラム １２ａ…制御プログラム １２ｂ…シミュレーションプログラム本体
Claims (4)
- 【請求項１】 仕様によって表現されたプログラムの状
態を遷移させるためのデータを外部から入力して前記プ
ログラムの状態を遷移させると共に前記プログラムの現
状態を外部に通知する制御のための仕様を作成し、 この作成した制御のための仕様を前記プログラムの仕様
に付加してプログラムジェネレータに入力して所定のプ
ログラム言語で記述されたシミュレーションプログラム
を作成し、 この作成したシミュレーションプログラムを実行してそ
の実行中に入力装置から状態を遷移させるデータをシミ
ュレーションプログラムに入力することで状態の遷移を
行わせ、且つ、シミュレーションプログラムから通知さ
れる現状態を表示装置に表示させるようにしたことを特
徴とするプログラムジェネレータ利用仕様シミュレーシ
ョン方法。 - 【請求項２】 プログラムの仕様と、該仕様によって表
現されたプログラムの状態を遷移させるためのデータを
外部から入力して前記プログラムの状態を遷移させると
共に前記プログラムの現状態を外部に通知する制御のた
めの仕様とを作成する仕様エディタと、 該仕様エディタによって作成された前記プログラムの仕
様と前記制御のための仕様とを仕様記述言語に変換する
仕様記述言語生成部と、 該仕様記述言語生成部で生成された仕様記述言語で表現
されたプログラムを、プログラム言語で記述されたプロ
グラムであって、前記プログラムの仕様に対応するシミ
ュレーションプログラム本体および前記制御のための仕
様に対応する制御プログラムとを含むシミュレーション
プログラムに変換するプログラムジェネレータと、 該プログラムジェネレータで生成されたシミュレーショ
ンプログラムを実行するプログラム実行部と、 該プログラム実行部で実行中の前記シミュレーションプ
ログラムと入力装置および表示装置との間に介在し、前
記入力装置から入力された、状態を遷移させるためのデ
ータを前記シミュレーションプログラムに伝達すると共
に、前記シミュレーションプログラムから通知された現
状態を前記表示装置に表示するデータ入力・シミュレー
ト結果表示制御部とを備えることを特徴とするプログラ
ムジェネレータ利用仕様シミュレーション装置。 - 【請求項３】 前記データ入力・シミュレート結果表示
制御部は、前記表示装置上に前記プログラムの仕様を表
示し、該表示した仕様上で前記通知された現状態を指示
すると共に、今までの状態遷移の順序を併せて表示する
ことを特徴とする請求項２記載のプログラムジェネレー
タ利用仕様シミュレーション装置。 - 【請求項４】 扱うプログラム言語の相違する複数のプ
ログラムジェネレータと、 該複数のプログラムジェネレータのうち前記入力装置か
ら指定されたプログラム言語に対応するプログラムジェ
ネレータに対し、前記仕様記述言語生成部で生成された
仕様記述言語の変換を指示する選択部とを備えることを
特徴とする請求項３記載のプログラムジェネレータ利用
仕様シミュレーション装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP5342832A JP2671793B2 (ja) | 1993-12-15 | 1993-12-15 | プログラムジェネレータ利用仕様シミュレーション方法およびその装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP5342832A JP2671793B2 (ja) | 1993-12-15 | 1993-12-15 | プログラムジェネレータ利用仕様シミュレーション方法およびその装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH07168709A true JPH07168709A (ja) | 1995-07-04 |
| JP2671793B2 JP2671793B2 (ja) | 1997-10-29 |
Family
ID=18356842
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP5342832A Expired - Lifetime JP2671793B2 (ja) | 1993-12-15 | 1993-12-15 | プログラムジェネレータ利用仕様シミュレーション方法およびその装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2671793B2 (ja) |
Cited By (9)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5940617A (en) * | 1996-09-17 | 1999-08-17 | Kabushiki Kaisha Toshiba | Debugger for controlling execution of software installed in object to be controlled on the basis of state transition model, debugging method thereof, record medium thereof, and method for correlating function specifications and code addresses |
| JP2007011605A (ja) * | 2005-06-29 | 2007-01-18 | Kansai Electric Power Co Inc:The | ソフトウェア動作仕様のモデル検査支援装置およびこれを備えたモデル検査システム並びにモデル検査支援プログラム |
| JP2008077317A (ja) * | 2006-09-20 | 2008-04-03 | I L C:Kk | 検証装置、検証プログラム、および検証方法 |
| JP2009265810A (ja) * | 2008-04-23 | 2009-11-12 | Dainippon Screen Mfg Co Ltd | 状態遷移テスト支援装置、状態遷移テスト支援プログラム、および状態遷移テスト支援方法 |
| JP2010020555A (ja) * | 2008-07-10 | 2010-01-28 | Fuji Soft Inc | モデル検査支援装置 |
| US7707567B2 (en) | 2005-09-14 | 2010-04-27 | Sony Corporation | Information processing method, information-processing apparatus, recording medium, and program |
| JP2011113542A (ja) * | 2009-11-30 | 2011-06-09 | Fujitsu Frontech Ltd | シミュレーションプログラム生成プログラム及びシミュレーションプログラム生成方法 |
| JP2011521368A (ja) * | 2008-05-19 | 2011-07-21 | ジョンソン コントロールズ テクノロジー カンパニー | １個のソフトウェアの少なくとも一部を検証するためにテストケースを自動的に形成する方法 |
| JP2013200787A (ja) * | 2012-03-26 | 2013-10-03 | Fukuoka Pref Gov Sangyo Kagaku Gijutsu Shinko Zaidan | モデル検査装置、モデル検査処理方法及びプログラム |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0438522A (ja) * | 1990-06-05 | 1992-02-07 | Mitsubishi Electric Corp | ソフトウェアプログラムシミュレータ |
| JPH04281528A (ja) * | 1991-03-11 | 1992-10-07 | Hitachi Ltd | ソフトウェア設計仕様確認方式 |
-
1993
- 1993-12-15 JP JP5342832A patent/JP2671793B2/ja not_active Expired - Lifetime
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0438522A (ja) * | 1990-06-05 | 1992-02-07 | Mitsubishi Electric Corp | ソフトウェアプログラムシミュレータ |
| JPH04281528A (ja) * | 1991-03-11 | 1992-10-07 | Hitachi Ltd | ソフトウェア設計仕様確認方式 |
Cited By (10)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5940617A (en) * | 1996-09-17 | 1999-08-17 | Kabushiki Kaisha Toshiba | Debugger for controlling execution of software installed in object to be controlled on the basis of state transition model, debugging method thereof, record medium thereof, and method for correlating function specifications and code addresses |
| JP2007011605A (ja) * | 2005-06-29 | 2007-01-18 | Kansai Electric Power Co Inc:The | ソフトウェア動作仕様のモデル検査支援装置およびこれを備えたモデル検査システム並びにモデル検査支援プログラム |
| US7707567B2 (en) | 2005-09-14 | 2010-04-27 | Sony Corporation | Information processing method, information-processing apparatus, recording medium, and program |
| JP2008077317A (ja) * | 2006-09-20 | 2008-04-03 | I L C:Kk | 検証装置、検証プログラム、および検証方法 |
| JP4747060B2 (ja) * | 2006-09-20 | 2011-08-10 | 株式会社アイ・エル・シー | 検証装置、検証プログラム、および検証方法 |
| JP2009265810A (ja) * | 2008-04-23 | 2009-11-12 | Dainippon Screen Mfg Co Ltd | 状態遷移テスト支援装置、状態遷移テスト支援プログラム、および状態遷移テスト支援方法 |
| JP2011521368A (ja) * | 2008-05-19 | 2011-07-21 | ジョンソン コントロールズ テクノロジー カンパニー | １個のソフトウェアの少なくとも一部を検証するためにテストケースを自動的に形成する方法 |
| JP2010020555A (ja) * | 2008-07-10 | 2010-01-28 | Fuji Soft Inc | モデル検査支援装置 |
| JP2011113542A (ja) * | 2009-11-30 | 2011-06-09 | Fujitsu Frontech Ltd | シミュレーションプログラム生成プログラム及びシミュレーションプログラム生成方法 |
| JP2013200787A (ja) * | 2012-03-26 | 2013-10-03 | Fukuoka Pref Gov Sangyo Kagaku Gijutsu Shinko Zaidan | モデル検査装置、モデル検査処理方法及びプログラム |
Also Published As
| Publication number | Publication date |
|---|---|
| JP2671793B2 (ja) | 1997-10-29 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| EP0213347A2 (en) | Simulation of computer program external interfaces | |
| JPH07319677A (ja) | 自動的に構造化プログラムを生成する、プログラムされた計算機を用いて流れ図を作成する方法と装置 | |
| Wasserman | User software engineering and the design of interactive systems | |
| JP2671793B2 (ja) | プログラムジェネレータ利用仕様シミュレーション方法およびその装置 | |
| JP3461400B2 (ja) | シーケンス制御プログラム作成装置 | |
| JP2914664B2 (ja) | 自動プログラミング装置 | |
| JP2007280092A (ja) | 画面データ作成方法 | |
| JP3291115B2 (ja) | 運転訓練シミュレータ装置およびその初期状態設定方法 | |
| JPH0850576A (ja) | 視覚対話型シミュレーション装置 | |
| JP2018156214A (ja) | Ｓｆｃプログラム作成支援装置、ｓｆｃプログラム作成支援プログラム、およびｓｆｃプログラム作成方法 | |
| JP2001075789A (ja) | 画面遷移処理装置および記憶媒体 | |
| JP3164807B2 (ja) | 表示内容対応表による表示条件記述方式 | |
| KR20040017320A (ko) | 제어 표시기 페이지 작성기 소프트웨어 툴 | |
| JPH1031581A (ja) | 機械装置システムにおける制御用ソフトウエア作成支援装置 | |
| JP2002374616A (ja) | 保護継電装置のソフトウェア作成方法 | |
| JP3057191B2 (ja) | 論理シミュレーション支援システム | |
| JP2653409B2 (ja) | プログラマブルコントローラのプログラム開発装置 | |
| JPH06242941A (ja) | 対話処理システム | |
| JPH07129384A (ja) | 操作手順の自然言語形式ファイルへの変換システム | |
| JPS63173126A (ja) | コマンドメニユ−・エデイタ | |
| JPH08106487A (ja) | 機能設計支援装置 | |
| JPH06290037A (ja) | 図面デ−タの汎用変換装置 | |
| JPH07200277A (ja) | プログラム自動生成装置 | |
| Hart et al. | SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND | |
| JPH07175839A (ja) | Ｃａｄ装置 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20070711 Year of fee payment: 10 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20080711 Year of fee payment: 11 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090711 Year of fee payment: 12 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100711 Year of fee payment: 13 |