JPH1091476A - プログラム実行装置及び機能仕様とコードアドレスとの対応付け方法 - Google Patents
プログラム実行装置及び機能仕様とコードアドレスとの対応付け方法Info
- Publication number
- JPH1091476A JPH1091476A JP8245042A JP24504296A JPH1091476A JP H1091476 A JPH1091476 A JP H1091476A JP 8245042 A JP8245042 A JP 8245042A JP 24504296 A JP24504296 A JP 24504296A JP H1091476 A JPH1091476 A JP H1091476A
- Authority
- JP
- Japan
- Prior art keywords
- code
- state
- transition
- program
- information
- 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.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Prevention of errors by analysis, debugging or testing of software
- G06F11/3604—Analysis of software for verifying properties of programs
- G06F11/3612—Analysis of software for verifying properties of programs by runtime analysis
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Prevention of errors by analysis, debugging or testing of software
- G06F11/362—Debugging of software
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Software Systems (AREA)
- Debugging And Monitoring (AREA)
- Programmable Controllers (AREA)
Abstract
(57)【要約】
【課題】 プログラムの停止または再実行等をより簡単
に行うこと。 【解決手段】 デバッグ用遷移情報ファイル１２、デバ
ッグ用状態情報ファイル１３において、各状態及び各遷
移とこれらに応じたオブジェクトコードのアドレスとを
予め対応付けておく。プログラム実行部１４においてプ
ログラムの実行中にプログラムの停止等の指示がある
と、デバッガ１５は対応付けられた結果に基づいてオブ
ジェクトコードのアドレスを特定してプログラムの停止
等を実行する。
に行うこと。 【解決手段】 デバッグ用遷移情報ファイル１２、デバ
ッグ用状態情報ファイル１３において、各状態及び各遷
移とこれらに応じたオブジェクトコードのアドレスとを
予め対応付けておく。プログラム実行部１４においてプ
ログラムの実行中にプログラムの停止等の指示がある
と、デバッガ１５は対応付けられた結果に基づいてオブ
ジェクトコードのアドレスを特定してプログラムの停止
等を実行する。
Description
【０００１】
【発明の属する技術分野】本発明は、例えばソフトウェ
ア開発におけるプログラムのテスト・デバッグに好適な
プログラム実行装置及び機能仕様とコードアドレスとの
対応付け方法に関する。
ア開発におけるプログラムのテスト・デバッグに好適な
プログラム実行装置及び機能仕様とコードアドレスとの
対応付け方法に関する。
【０００２】
【従来の技術】従来は、特開平７−３１９７３０号公報
に見られるように、状態遷移表で記述された機能仕様の
状態遷移表中の状態とイベントの組合わせで表現される
各位置（遷移）と対応するプログラムのシーケンス番号
を示す第１の対応関係情報と、プログラムのシーケンス
番号とオブジェクトコードのアドレスとの対応を示す第
２の対応関係情報とから、状態遷移表中の各位置とオブ
ジェクトコードのアドレスを対応づける第３の対応関係
情報を得ることで、該オブジェクトコードアドレスを一
時停止位置または実行開始位置としてソフトウェアを実
行させる方法があった。
に見られるように、状態遷移表で記述された機能仕様の
状態遷移表中の状態とイベントの組合わせで表現される
各位置（遷移）と対応するプログラムのシーケンス番号
を示す第１の対応関係情報と、プログラムのシーケンス
番号とオブジェクトコードのアドレスとの対応を示す第
２の対応関係情報とから、状態遷移表中の各位置とオブ
ジェクトコードのアドレスを対応づける第３の対応関係
情報を得ることで、該オブジェクトコードアドレスを一
時停止位置または実行開始位置としてソフトウェアを実
行させる方法があった。
【０００３】また、特開平７−１６８７０９号公報に見
られるように、状態遷移図などの仕様記述言語で記述さ
れた機能仕様に基づくシステムの動作を、キーボードな
どの入力装置から、状態を遷移させるためのデータを順
次入力していくことで、プログラムの仕様上における実
際の遷移の状態を自動的にＣＲＴなどの画面に表示して
状態遷移の様子を簡単に確認することができる方法があ
った。
られるように、状態遷移図などの仕様記述言語で記述さ
れた機能仕様に基づくシステムの動作を、キーボードな
どの入力装置から、状態を遷移させるためのデータを順
次入力していくことで、プログラムの仕様上における実
際の遷移の状態を自動的にＣＲＴなどの画面に表示して
状態遷移の様子を簡単に確認することができる方法があ
った。
【０００４】
【発明が解決しようとする課題】しかしながら、前記特
開平７−３１９７３０号公報の方法では、状態遷移表の
各遷移に対しての動作の停止、再実行のみを行っている
ため、任意の状態からある状態に変化する際に停止させ
たい場合には該状態への全ての遷移に、ある特定の状態
から別のある状態へ変化する際に停止させたい場合には
該状態間の全ての遷移に対して、ユーザが停止情報を付
加する必要があり、大変繁雑であった。
開平７−３１９７３０号公報の方法では、状態遷移表の
各遷移に対しての動作の停止、再実行のみを行っている
ため、任意の状態からある状態に変化する際に停止させ
たい場合には該状態への全ての遷移に、ある特定の状態
から別のある状態へ変化する際に停止させたい場合には
該状態間の全ての遷移に対して、ユーザが停止情報を付
加する必要があり、大変繁雑であった。
【０００５】また、前記特開平７−１６８７０９号公報
の方法では、ｓｔａｔｅ ｃｈａｒｔに見られるような
階層化、並列化の記述がある場合に、システム全体の状
態を確認することが困難であった。また、プログラム中
に状態を通知する機構を持たせているために、状態を通
知する機構を持たせていない対象についての動作確認は
できなかった。
の方法では、ｓｔａｔｅ ｃｈａｒｔに見られるような
階層化、並列化の記述がある場合に、システム全体の状
態を確認することが困難であった。また、プログラム中
に状態を通知する機構を持たせているために、状態を通
知する機構を持たせていない対象についての動作確認は
できなかった。
【０００６】本発明は、かかる事情に基づきなされたも
ので、プログラムの停止または再実行等をより簡単に行
うことができるプログラム実行装置及び機能仕様とコー
ドアドレスとの対応付け方法を提供することを目的とし
ている。
ので、プログラムの停止または再実行等をより簡単に行
うことができるプログラム実行装置及び機能仕様とコー
ドアドレスとの対応付け方法を提供することを目的とし
ている。
【０００７】本発明は、状態遷移モデルベースのプログ
ラムのテスト・デバッグを容易に行うことができるプロ
グラム実行装置及び機能仕様とコードアドレスとの対応
付け方法を提供することを目的としている。
ラムのテスト・デバッグを容易に行うことができるプロ
グラム実行装置及び機能仕様とコードアドレスとの対応
付け方法を提供することを目的としている。
【０００８】
【課題を解決するための手段】前記目的を達成するた
め、本発明のプログラム実行装置は、状態及びこれら状
態間の遷移により表現された機能仕様に基づき中間コー
ドを生成し、この中間コードに基づくプログラムを実行
する装置であって、前記各状態及び各遷移とこれらに応
じた中間コードのアドレスとを対応付ける手段と、前記
プログラムの実行中に所定の制御指示がった場合に、前
記対応付けられた結果に基づいて前記中間コードのアド
レスを特定して前記所定の制御指示を実行する手段とを
具備する。また、本発明のプログラム実行装置は、状態
及びこれら状態間の遷移により表現された機能仕様から
第１のコード及び第２のコードを生成し、この第２のコ
ードに基づくプログラムを実行する装置であって、前記
第１のコードを生成する際に、前記各状態及び前記各遷
移とこれらに応じた第１のコードのシーケンス番号とを
対応付ける第１の手段と、前記第２のコードを生成する
際に、前記各第１のコードのシーケンス番号とこれらに
応じた第２のコードのアドレスとを対応付ける第２の手
段と、前記第１及び第２の手段によって対応付けられた
結果に基づき、前記各状態及び前記各遷移とこれらに応
じた第２のコードのアドレスとを対応付ける第３の手段
と、前記プログラムの実行中に所定の制御指示がある
と、前記第３の手段によって対応付けられた結果に基づ
いて前記第２のコードのアドレスを特定して前記所定の
制御指示を実行する第４の手段とを具備する。
め、本発明のプログラム実行装置は、状態及びこれら状
態間の遷移により表現された機能仕様に基づき中間コー
ドを生成し、この中間コードに基づくプログラムを実行
する装置であって、前記各状態及び各遷移とこれらに応
じた中間コードのアドレスとを対応付ける手段と、前記
プログラムの実行中に所定の制御指示がった場合に、前
記対応付けられた結果に基づいて前記中間コードのアド
レスを特定して前記所定の制御指示を実行する手段とを
具備する。また、本発明のプログラム実行装置は、状態
及びこれら状態間の遷移により表現された機能仕様から
第１のコード及び第２のコードを生成し、この第２のコ
ードに基づくプログラムを実行する装置であって、前記
第１のコードを生成する際に、前記各状態及び前記各遷
移とこれらに応じた第１のコードのシーケンス番号とを
対応付ける第１の手段と、前記第２のコードを生成する
際に、前記各第１のコードのシーケンス番号とこれらに
応じた第２のコードのアドレスとを対応付ける第２の手
段と、前記第１及び第２の手段によって対応付けられた
結果に基づき、前記各状態及び前記各遷移とこれらに応
じた第２のコードのアドレスとを対応付ける第３の手段
と、前記プログラムの実行中に所定の制御指示がある
と、前記第３の手段によって対応付けられた結果に基づ
いて前記第２のコードのアドレスを特定して前記所定の
制御指示を実行する第４の手段とを具備する。
【０００９】上記プログラム実行装置において、前記所
定の制御指示は、デバッグの際に行われる指示であっ
て、前記状態または遷移を特定したプログラムの停止ま
たは再実行であってもよく、デバッグの際に行われる指
示であって、実行中の前記状態または遷移の表示であっ
てもよい。ここで、前記機能仕様が階層構造でかつ親か
ら子へ連鎖する木構造により表現されるものであるとき
には、木構造の葉より根の方向に辿り、辿った際に通過
する状態を機能仕様における実行中の部分とし、これ以
外の状態を機能仕様における非実行中の部分として表示
してもよい。これにより、機能仕様が階層構造を持つ場
合に、該機能仕様に基づくシステムの振舞いを容易に確
認することが可能となる。
定の制御指示は、デバッグの際に行われる指示であっ
て、前記状態または遷移を特定したプログラムの停止ま
たは再実行であってもよく、デバッグの際に行われる指
示であって、実行中の前記状態または遷移の表示であっ
てもよい。ここで、前記機能仕様が階層構造でかつ親か
ら子へ連鎖する木構造により表現されるものであるとき
には、木構造の葉より根の方向に辿り、辿った際に通過
する状態を機能仕様における実行中の部分とし、これ以
外の状態を機能仕様における非実行中の部分として表示
してもよい。これにより、機能仕様が階層構造を持つ場
合に、該機能仕様に基づくシステムの振舞いを容易に確
認することが可能となる。
【００１０】本発明の機能仕様とオブジェクトコードア
ドレスとの対応付け方法は、状態及びこれら状態間の遷
移により表現された機能仕様からソースコード、さらに
オブジェクトコードを生成する過程で、（１）ソースコ
ードを生成する際に、各状態及び各遷移とこれらに応じ
たソースコードのシーケンス番号とを対応付けし、
（２）オブジェクトコードを生成する際に、各ソースコ
ードのシーケンス番号とこれらに応じたオブジェクトコ
ードのアドレスとを対応付けし、（３）前記（１）及び
（２）によって対応付けられた結果に基づき、各状態及
び各遷移とこれらに応じたオブジェクトコードのアドレ
スとを対応付けしている。
ドレスとの対応付け方法は、状態及びこれら状態間の遷
移により表現された機能仕様からソースコード、さらに
オブジェクトコードを生成する過程で、（１）ソースコ
ードを生成する際に、各状態及び各遷移とこれらに応じ
たソースコードのシーケンス番号とを対応付けし、
（２）オブジェクトコードを生成する際に、各ソースコ
ードのシーケンス番号とこれらに応じたオブジェクトコ
ードのアドレスとを対応付けし、（３）前記（１）及び
（２）によって対応付けられた結果に基づき、各状態及
び各遷移とこれらに応じたオブジェクトコードのアドレ
スとを対応付けしている。
【００１１】本発明では、各状態及び各遷移とこれらに
応じたオブジェクトコードのアドレスとを予め対応付け
てあるので、機能仕様中の何れの位置指定においてもプ
ログラムの停止または再実行等をより簡単に行うことが
でき、またプログラム中の何れの位置からも状態や遷移
の特定を簡単に行うことができる。
応じたオブジェクトコードのアドレスとを予め対応付け
てあるので、機能仕様中の何れの位置指定においてもプ
ログラムの停止または再実行等をより簡単に行うことが
でき、またプログラム中の何れの位置からも状態や遷移
の特定を簡単に行うことができる。
【００１２】
【発明の実施の形態】以下、本発明の実施形態を図面に
基づき説明する。
基づき説明する。
【００１３】図１は本発明の一実施形態に係るプログラ
ムデバッグ装置の構成を示す図である。なお、本装置は
コンピュータ上に実現されるもので、本装置の各機能
は、プログラムの形式で表現された所定の手順で、コン
ピュータを動作させることによって実現されている。し
たがって、以下、本装置の各機能を有する仮想的回路ブ
ロックを想定して本装置を説明する。
ムデバッグ装置の構成を示す図である。なお、本装置は
コンピュータ上に実現されるもので、本装置の各機能
は、プログラムの形式で表現された所定の手順で、コン
ピュータを動作させることによって実現されている。し
たがって、以下、本装置の各機能を有する仮想的回路ブ
ロックを想定して本装置を説明する。
【００１４】この図に示す装置はエレベータなどの制御
対象Χを制御するもので、符号１は状態遷移モデルをベ
ースに制御対象の機能仕様を記述するソフトウェアを対
象とし、機能仕様の入力およびデバッガへの操作をする
ためのキーボード、マウスなどの入力装置である。
対象Χを制御するもので、符号１は状態遷移モデルをベ
ースに制御対象の機能仕様を記述するソフトウェアを対
象とし、機能仕様の入力およびデバッガへの操作をする
ためのキーボード、マウスなどの入力装置である。
【００１５】機能仕様作成部２は、入力装置１からの機
能仕様の入力動作を制御する図式的な仕様記述エディタ
である。入力された機能仕様は、機能仕様ファイル３へ
保存される。
能仕様の入力動作を制御する図式的な仕様記述エディタ
である。入力された機能仕様は、機能仕様ファイル３へ
保存される。
【００１６】ソースコード・ジェネレータ４は、機能仕
様ファイル３の機能仕様からソースコード、遷移情報及
び状態情報を生成する。生成されたソースコード、遷移
情報及び状態情報は、それぞれソースコードファイル
５、遷移情報ファイル６及び状態情報ファイル７に保存
される。
様ファイル３の機能仕様からソースコード、遷移情報及
び状態情報を生成する。生成されたソースコード、遷移
情報及び状態情報は、それぞれソースコードファイル
５、遷移情報ファイル６及び状態情報ファイル７に保存
される。
【００１７】コンパイラ８は、ソースコードファイル５
に保存されたソースコードから制御対象を制御するシー
ケンスが定義されたオブジェクトコード及びソースコー
ドの各行とオブジェクトコードのアドレスとの対応を保
持するデータであるコンパイラ出力情報を生成する。オ
ブジェクトコード及びコンパイラ出力情報は、それぞれ
オブジェクトコードファイル９及びコンパイラ出力情報
ファイル１０に保存される。
に保存されたソースコードから制御対象を制御するシー
ケンスが定義されたオブジェクトコード及びソースコー
ドの各行とオブジェクトコードのアドレスとの対応を保
持するデータであるコンパイラ出力情報を生成する。オ
ブジェクトコード及びコンパイラ出力情報は、それぞれ
オブジェクトコードファイル９及びコンパイラ出力情報
ファイル１０に保存される。
【００１８】デバッグ情報ジェネレータ１１は、遷移情
報ファイルに保存された遷移情報６、状態情報ファイル
７に保存された状態情報及びコンパイラ出力情報ファイ
ル１０に保存されたコンパイラ出力情報から、各遷移と
オブジェクトコードのアドレスとの対応データであるデ
バッグ用遷移情報及び各状態とオブジェクトコードのア
ドレスの対応データであるデバッグ用状態情報を生成す
る。デバッグ用遷移情報及びデバッグ用状態情報は、そ
れぞれデバッグ用遷移情報ファイル１２及びデバッグ用
状態情報ファイル１３に保存される。
報ファイルに保存された遷移情報６、状態情報ファイル
７に保存された状態情報及びコンパイラ出力情報ファイ
ル１０に保存されたコンパイラ出力情報から、各遷移と
オブジェクトコードのアドレスとの対応データであるデ
バッグ用遷移情報及び各状態とオブジェクトコードのア
ドレスの対応データであるデバッグ用状態情報を生成す
る。デバッグ用遷移情報及びデバッグ用状態情報は、そ
れぞれデバッグ用遷移情報ファイル１２及びデバッグ用
状態情報ファイル１３に保存される。
【００１９】プログラム実行部１４は、オブジェクトコ
ードファイル９に保存されたオブジェクトコードを順に
解釈、実行し、制御対象Χを制御する。
ードファイル９に保存されたオブジェクトコードを順に
解釈、実行し、制御対象Χを制御する。
【００２０】デバッガ１５は、プログラム実行部１４の
停止、再開などの各種テストを行う。 デバッガ１５が
得た情報は、ディスプレイなどの表示装置１６に出力さ
れる。 図２に上述した機能仕様の一例を示す。機能仕
様は、状態遷移図などの状態遷移モデルの形式とされて
いる。
停止、再開などの各種テストを行う。 デバッガ１５が
得た情報は、ディスプレイなどの表示装置１６に出力さ
れる。 図２に上述した機能仕様の一例を示す。機能仕
様は、状態遷移図などの状態遷移モデルの形式とされて
いる。
【００２１】この機能仕様は、既存技術であるソースコ
ード・ジェネレータ４によって、例えば図３に例示する
ようなソースコードが生成される。図３において、「状
態遷移図１：」は、状態遷移図の処理の先頭を示し、
「状態１Α：」、「状態１Ｂ：」、「状態１Ｃ：」、
「状態１Ｄ：」は、該状態遷移図中の状態の処理の先頭
を示す。また、ｉｆ文で始まる文は、各遷移に対応する
処理の先頭を示している。
ード・ジェネレータ４によって、例えば図３に例示する
ようなソースコードが生成される。図３において、「状
態遷移図１：」は、状態遷移図の処理の先頭を示し、
「状態１Α：」、「状態１Ｂ：」、「状態１Ｃ：」、
「状態１Ｄ：」は、該状態遷移図中の状態の処理の先頭
を示す。また、ｉｆ文で始まる文は、各遷移に対応する
処理の先頭を示している。
【００２２】遷移情報は、例えば図４に示するように、
状態遷移図名と状態遷移図中の各遷移の始点である始状
態とイベントとソースコード中の該当するシーケンス番
号（行番号）を対応付けたものであり、ｉｆ文の遷移に
対応する始状態と、イベントおよびソースコード中のシ
ーケンス番号を表形式に生成したものである。
状態遷移図名と状態遷移図中の各遷移の始点である始状
態とイベントとソースコード中の該当するシーケンス番
号（行番号）を対応付けたものであり、ｉｆ文の遷移に
対応する始状態と、イベントおよびソースコード中のシ
ーケンス番号を表形式に生成したものである。
【００２３】状態情報は、例えば図５に示すように、状
態遷移図名と状態遷移図中の各状態と該状態のソースコ
ード中のシーケンス番号と状態遷移図のレイヤを対応付
けたものであり、生成の際には、最上位の状態遷移図か
ら下位の状態遷移図へと深さ優先探索で状態情報を生成
し、何番目の階層にあるかを明示するためのレイヤ番号
が最上位から１、２とシーケンシャルに付けられる。
態遷移図名と状態遷移図中の各状態と該状態のソースコ
ード中のシーケンス番号と状態遷移図のレイヤを対応付
けたものであり、生成の際には、最上位の状態遷移図か
ら下位の状態遷移図へと深さ優先探索で状態情報を生成
し、何番目の階層にあるかを明示するためのレイヤ番号
が最上位から１、２とシーケンシャルに付けられる。
【００２４】なお、機能仕様が階層構造を持つ場合に
は、機能仕様、状態情報及びデータ構造は例えば図６に
示すようになる。図６（ａ）は機能仕様、図６（ｂ）は
状態情報、図６（ｃ）はデータ構造をそれぞれ示してい
る。すなわち状態情報は階層構造として下位に展開され
る状態である状態２Ｂ、状態２Ｃそれぞれに対し、状態
遷移図２、状態遷移図３の情報が生成される（図６
（ａ））。ここで示す状態情報は、図６（ｃ）に示すよ
うな親から子へと連鎖する木構造を持つデータとして実
現されている。
は、機能仕様、状態情報及びデータ構造は例えば図６に
示すようになる。図６（ａ）は機能仕様、図６（ｂ）は
状態情報、図６（ｃ）はデータ構造をそれぞれ示してい
る。すなわち状態情報は階層構造として下位に展開され
る状態である状態２Ｂ、状態２Ｃそれぞれに対し、状態
遷移図２、状態遷移図３の情報が生成される（図６
（ａ））。ここで示す状態情報は、図６（ｃ）に示すよ
うな親から子へと連鎖する木構造を持つデータとして実
現されている。
【００２５】図７はコンパイラ出力情報の一例である。
コンパイラ出力情報は、ソースコードのシーケンス番号
とオブジェクトコードのアドレスとを対応付けたもので
ある。コンパイラ出力情報は、例えば既存技術であるコ
ンパイラにおけるデバッグ情報付加機能により実現され
る。
コンパイラ出力情報は、ソースコードのシーケンス番号
とオブジェクトコードのアドレスとを対応付けたもので
ある。コンパイラ出力情報は、例えば既存技術であるコ
ンパイラにおけるデバッグ情報付加機能により実現され
る。
【００２６】図８はデバッグ用遷移情報の一例である。
デバッグ用遷移情報は、遷移情報とコンパイラ出力情報
とを対応づけることで生成される。
デバッグ用遷移情報は、遷移情報とコンパイラ出力情報
とを対応づけることで生成される。
【００２７】図９はデバッグ用状態情報の一例である。
デバッグ用状態情報は、状態情報とコンパイラ出力情報
とを対応付けることで生成される。
デバッグ用状態情報は、状態情報とコンパイラ出力情報
とを対応付けることで生成される。
【００２８】図１に示すように構成された装置におい
て、ソフトウェアの入力とオブジェクトコードの生成と
デバッグ情報の生成は図１０に示すように行われる。
て、ソフトウェアの入力とオブジェクトコードの生成と
デバッグ情報の生成は図１０に示すように行われる。
【００２９】機能仕様作成（ステップ１００１） 本実施例におけるソフトウェアの入力は、状態遷移モデ
ルベースで行われる。すなわち、ユーザは入力装置１を
通じて、機能仕様を本装置に入力する。このとき、機能
仕様作成部２が状態遷移モデルによる機能仕様の入力動
作を制御する。また、入力された機能仕様は、機能仕様
ファイル３に保存される。
ルベースで行われる。すなわち、ユーザは入力装置１を
通じて、機能仕様を本装置に入力する。このとき、機能
仕様作成部２が状態遷移モデルによる機能仕様の入力動
作を制御する。また、入力された機能仕様は、機能仕様
ファイル３に保存される。
【００３０】ソースコード、遷移情報、状態情報の生成
（ステップ１００２） 上記のように入力・保存されたソフトウェアからは、次
のようにソースコード、遷移情報及び状態情報が生成さ
れる。すなわち、機能仕様ファイル３からソースコード
・ジェネレータ４により、ソースコード、遷移情報及び
状態情報が生成される。
（ステップ１００２） 上記のように入力・保存されたソフトウェアからは、次
のようにソースコード、遷移情報及び状態情報が生成さ
れる。すなわち、機能仕様ファイル３からソースコード
・ジェネレータ４により、ソースコード、遷移情報及び
状態情報が生成される。
【００３１】オブジェクトコード、コンパイラ出力情報
の生成（ステップ１００３） 上記のように生成されたソースコードからは、次のよう
にオブジェクトコードとコンパイラ出力情報が生成され
る。すなわち、ソースコードからコンパイラ８により、
オブジェクトコードとコンパイラ出力情報が生成され
る。
の生成（ステップ１００３） 上記のように生成されたソースコードからは、次のよう
にオブジェクトコードとコンパイラ出力情報が生成され
る。すなわち、ソースコードからコンパイラ８により、
オブジェクトコードとコンパイラ出力情報が生成され
る。
【００３２】デバッグ用遷移情報、デバッグ用状態情報
の生成（ステップ１００４） 上記のように生成された遷移情報、状態情報及びコンパ
イラ出力情報からは次のようにデバッグ用遷移情報及び
デバッグ用状態情報が生成される。すなわち、遷移情
報、状態情報及びコンパイラ出力情報から、デバッグ情
報であるデバッグ用遷移情報及びデバッグ用状態情報が
デバッグ情報・ジェネレータ１１により生成される。
の生成（ステップ１００４） 上記のように生成された遷移情報、状態情報及びコンパ
イラ出力情報からは次のようにデバッグ用遷移情報及び
デバッグ用状態情報が生成される。すなわち、遷移情
報、状態情報及びコンパイラ出力情報から、デバッグ情
報であるデバッグ用遷移情報及びデバッグ用状態情報が
デバッグ情報・ジェネレータ１１により生成される。
【００３３】テスト・デバッグは図１１に示すように行
われる。
われる。
【００３４】図１０で示す作業フローにより生成された
オブジェクトコード、デバッグ用遷移情報及びデバッグ
用状態情報は、次のように実行され、テスト・デバッグ
作業が行われる。
オブジェクトコード、デバッグ用遷移情報及びデバッグ
用状態情報は、次のように実行され、テスト・デバッグ
作業が行われる。
【００３５】まず、ユーザがテスト対象を指定する（ス
テップ１１０１）と、オブジェクトコードファイル９の
オブジェクトコードをプログラム実行部１４が読み込
み、同時にデバッガ１５はデバッグ用遷移情報ファイル
１２のデバッグ用遷移情報及びデバッグ用状態情報ファ
イル１３のデバッグ用状態情報を読み込む（ステップ１
１０２）。ユーザがプログラムの実行を指定すると、プ
ログラム実行部１４がオブジェクトコードの先頭アドレ
スから解釈実行し、制御対象Χを制御する。
テップ１１０１）と、オブジェクトコードファイル９の
オブジェクトコードをプログラム実行部１４が読み込
み、同時にデバッガ１５はデバッグ用遷移情報ファイル
１２のデバッグ用遷移情報及びデバッグ用状態情報ファ
イル１３のデバッグ用状態情報を読み込む（ステップ１
１０２）。ユーザがプログラムの実行を指定すると、プ
ログラム実行部１４がオブジェクトコードの先頭アドレ
スから解釈実行し、制御対象Χを制御する。
【００３６】オブジェクトコードの実行を途中で停止さ
せるには、ある状態に遷移した場合に実行の停止を行う
一状態指定、ある状態から別のある状態に遷移した場合
に実行の停止を行う二状態指定、ある特定の遷移に達し
た場合に実行の停止を行う遷移指定の３種類の停止位置
をデバッガ１５で図１２のように指定することで実現す
る（ステップ１１０３）。すなわち図１２に示すよう
に、停止ボタンを押し、オブジェクトを指定し、ＯＫボ
タンを押すことで停止位置が指定される。
せるには、ある状態に遷移した場合に実行の停止を行う
一状態指定、ある状態から別のある状態に遷移した場合
に実行の停止を行う二状態指定、ある特定の遷移に達し
た場合に実行の停止を行う遷移指定の３種類の停止位置
をデバッガ１５で図１２のように指定することで実現す
る（ステップ１１０３）。すなわち図１２に示すよう
に、停止ボタンを押し、オブジェクトを指定し、ＯＫボ
タンを押すことで停止位置が指定される。
【００３７】停止位置指定後、実行することで（ステッ
プ１１０４）、一状態指定の場合には、デバッガ１５
は、デバッグ用状態情報ファイル１３のデバッグ用状態
情報を元に、指定した機能仕様の状態を示すアドレスを
実行した時に、プログラム実行部１４に停止指令を出
す。二状態指定の場合には、デバッガ１５は、デバッグ
用遷移情報ファイル１２のデバッグ用遷移情報を元に、
指定した機能仕様の状態間の遷移を示すアドレスが実行
された時に、プログラム実行部１４に停止指令を出す。
遷移指定の場合には、デバッガ１５は、デバッグ用遷移
情報ファイル１２のデバッグ用遷移情報を元に、指定し
た遷移を示すアドレスが実行された時に、プログラム実
行部１４に停止指令を出す。プログラム実行部１４は、
指定されたアドレスでプログラムを停止する（ステップ
１１０５）。その結果は、表示装置１６において例えば
図１３に示すように出力される。
プ１１０４）、一状態指定の場合には、デバッガ１５
は、デバッグ用状態情報ファイル１３のデバッグ用状態
情報を元に、指定した機能仕様の状態を示すアドレスを
実行した時に、プログラム実行部１４に停止指令を出
す。二状態指定の場合には、デバッガ１５は、デバッグ
用遷移情報ファイル１２のデバッグ用遷移情報を元に、
指定した機能仕様の状態間の遷移を示すアドレスが実行
された時に、プログラム実行部１４に停止指令を出す。
遷移指定の場合には、デバッガ１５は、デバッグ用遷移
情報ファイル１２のデバッグ用遷移情報を元に、指定し
た遷移を示すアドレスが実行された時に、プログラム実
行部１４に停止指令を出す。プログラム実行部１４は、
指定されたアドレスでプログラムを停止する（ステップ
１１０５）。その結果は、表示装置１６において例えば
図１３に示すように出力される。
【００３８】また、動作を停止せずに状態の変化のみを
確認したい場合には、状態を参照したい機能仕様をデバ
ッガ１５で指定することで（ステップ１１０３）、表示
装置１６へ図１４のようなテキスト情報または図１５の
ような状態遷移モデルベースの情報が表示される（ステ
ップ１１０５）。この例では、「状態遷移図１」を指定
し、「状態１Ｂ」が現在動作中の位置として表示されて
いる場合を示している。 なお、図６に示したように機
能仕様が階層構造を持つ場合には、図１６に示すよう
に、デバッグ用状態情報の葉に当たる状態のアドレスに
達した時点で、該葉から遡ることのできる状態を「現在
の各機能仕様の状態」とする。遡る際に通過する機能仕
様における現在の状態以外の状態以下の部分木に存在す
る機能仕様については、「非実行中」とする。図１６に
示す例では、点線矢印で示すような経路で木構造の葉で
ある状態３Αから根まで遡り、通過する状態２Β、状態
３Αを「現在の状態」としている。また、通過した機能
仕様である状態遷移図２、状態遷移図３における現在の
状態以外の状態以下の部分木（波線で囲んだ部分）に含
まれる機能仕様は「非実行中」としている。表示装置１
６には、この内の指定した情報のみが表示される。
確認したい場合には、状態を参照したい機能仕様をデバ
ッガ１５で指定することで（ステップ１１０３）、表示
装置１６へ図１４のようなテキスト情報または図１５の
ような状態遷移モデルベースの情報が表示される（ステ
ップ１１０５）。この例では、「状態遷移図１」を指定
し、「状態１Ｂ」が現在動作中の位置として表示されて
いる場合を示している。 なお、図６に示したように機
能仕様が階層構造を持つ場合には、図１６に示すよう
に、デバッグ用状態情報の葉に当たる状態のアドレスに
達した時点で、該葉から遡ることのできる状態を「現在
の各機能仕様の状態」とする。遡る際に通過する機能仕
様における現在の状態以外の状態以下の部分木に存在す
る機能仕様については、「非実行中」とする。図１６に
示す例では、点線矢印で示すような経路で木構造の葉で
ある状態３Αから根まで遡り、通過する状態２Β、状態
３Αを「現在の状態」としている。また、通過した機能
仕様である状態遷移図２、状態遷移図３における現在の
状態以外の状態以下の部分木（波線で囲んだ部分）に含
まれる機能仕様は「非実行中」としている。表示装置１
６には、この内の指定した情報のみが表示される。
【００３９】例えば、「状態遷移図３」と「状態遷移図
４」を表示指定した場合に、「状態３Α」のオブジェク
トコード中のアドレスに達した場合に図１７のように表
示装置１６に表示される。また、「状態遷移図２」を指
定した場合には、「状態３Α」とこの状態３Ａより遡る
「状態２Ｂ」についても表示装置１６に表示される。
４」を表示指定した場合に、「状態３Α」のオブジェク
トコード中のアドレスに達した場合に図１７のように表
示装置１６に表示される。また、「状態遷移図２」を指
定した場合には、「状態３Α」とこの状態３Ａより遡る
「状態２Ｂ」についても表示装置１６に表示される。
【００４０】ユーザは表示装置１６に表示された情報を
もとに各種デバッグ作業を行う（ステップ１１０６）。
もとに各種デバッグ作業を行う（ステップ１１０６）。
【００４１】なお、本発明は、上記実施形態に限定され
るものではなく、その技術思想の範囲内で様々な変形が
可能である。
るものではなく、その技術思想の範囲内で様々な変形が
可能である。
【００４２】例えば、上記実施形態では機能仕様記述と
して状態遷移図を用いているが、本装置では状態遷移
表、状態遷移マトリクスなど状態遷移モデルベースの記
述形式であれば、その形態を問わない。
して状態遷移図を用いているが、本装置では状態遷移
表、状態遷移マトリクスなど状態遷移モデルベースの記
述形式であれば、その形態を問わない。
【００４３】また、上記実施形態では、キーボードなど
の入力装置１とディスプレイなどの表示装置１６を用い
ている。しかし、入力、表示手段としては、携帯端末な
どを用いることもできる。例えば、エレベータなどの制
御対象に、プログラムデバッグ装置と共に携帯端末との
インタフェースを設けておく。このようにすることで、
制御対象設置場所での保守時の動作確認が容易に行え、
メンテナンス時間を短縮し、その稼働率を向上させるこ
とができる。
の入力装置１とディスプレイなどの表示装置１６を用い
ている。しかし、入力、表示手段としては、携帯端末な
どを用いることもできる。例えば、エレベータなどの制
御対象に、プログラムデバッグ装置と共に携帯端末との
インタフェースを設けておく。このようにすることで、
制御対象設置場所での保守時の動作確認が容易に行え、
メンテナンス時間を短縮し、その稼働率を向上させるこ
とができる。
【００４４】また、入力装置１の代りにフロッピーディ
スクドライブなどの外部記憶装置を設けておく。入力装
置１からのデバッガ１５への操作列をエディタなどのテ
ストデータ作成システムを用いて作成し、フロッピーデ
ィスクに書き込み、試験担当者が制御対象の設置場所に
持参する。そして、このディスクをドライブに装着し、
テストデータの系列を順に実行するようにしてもよい。
このようにすることで、類似機種で同様のテストを行う
ような場合に、その動作確認を容易に行うことができ
る。
スクドライブなどの外部記憶装置を設けておく。入力装
置１からのデバッガ１５への操作列をエディタなどのテ
ストデータ作成システムを用いて作成し、フロッピーデ
ィスクに書き込み、試験担当者が制御対象の設置場所に
持参する。そして、このディスクをドライブに装着し、
テストデータの系列を順に実行するようにしてもよい。
このようにすることで、類似機種で同様のテストを行う
ような場合に、その動作確認を容易に行うことができ
る。
【００４５】また、本発明におけるソフトウェアの制御
対象はエレベータには限定されることはなく、発電設
備、送配電設備、通信システム、化学プラント、オート
メーション生産ラインなどあらゆる対象に本発明を適用
することができる。また、本発明におけるソフトウェア
の制御対象は前記各種設備などの有形物に限定されず、
コンピュータのデータファイルや、マルチタスクコンピ
ュータシステムにおける各タスクなどの各種無形物に本
発明を適用することも自由である。
対象はエレベータには限定されることはなく、発電設
備、送配電設備、通信システム、化学プラント、オート
メーション生産ラインなどあらゆる対象に本発明を適用
することができる。また、本発明におけるソフトウェア
の制御対象は前記各種設備などの有形物に限定されず、
コンピュータのデータファイルや、マルチタスクコンピ
ュータシステムにおける各タスクなどの各種無形物に本
発明を適用することも自由である。
【００４６】また、上記実施形態のプログラムデバッグ
装置は、コンピュータ上に実現されているが、その機能
の全部または一部は専用の電子回路上に実現しても良
い。
装置は、コンピュータ上に実現されているが、その機能
の全部または一部は専用の電子回路上に実現しても良
い。
【００４７】
【発明の効果】以上説明したように本発明によれば、シ
ステムの機能仕様の記述が状態遷移モデルによってなさ
れるような場合に、システムの現在の状態の把握や各種
デバッグ作業の効率化により、機能仕様の動作確認容易
性を向上することができる。
ステムの機能仕様の記述が状態遷移モデルによってなさ
れるような場合に、システムの現在の状態の把握や各種
デバッグ作業の効率化により、機能仕様の動作確認容易
性を向上することができる。
【図１】本発明の一実施形態に係るプログラムデバッグ
装置の構成図である。
装置の構成図である。
【図２】同実施形態における機能仕様を模式的に表した
一例を示す図である。
一例を示す図である。
【図３】同実施形態におけるソースコードの一部とソー
スコードの行番号を示す一例を示す図である。
スコードの行番号を示す一例を示す図である。
【図４】同実施形態における遷移情報の一例を示す図で
ある。
ある。
【図５】同実施形態における状態情報の一例を示す図で
ある。
ある。
【図６】同実施形態における階層化の一例を示す図であ
る。
る。
【図７】同実施形態におけるコンパイラ出力情報の一例
を示す図である。
を示す図である。
【図８】同実施形態におけるデバッグ用遷移情報の一例
を示す図である。
を示す図である。
【図９】同実施形態におけるデバッグ用状態情報の一例
を示す図である。
を示す図である。
【図１０】同実施形態におけるデバッグまでの準備作業
フローチャートである。
フローチャートである。
【図１１】同実施形態におけるデバッグ作業のフローチ
ャートである。
ャートである。
【図１２】同実施形態における停止情報入力の一例を示
す図である。
す図である。
【図１３】同実施形態における停止時の表示の一例を示
す図である。
す図である。
【図１４】同実施形態におけるデバッグ情報の出力の一
例を示す図である。
例を示す図である。
【図１５】同実施形態におけるデバッグ情報の出力の一
例を示す図である。
例を示す図である。
【図１６】同実施形態における深さ優先探索の一例を示
す図である。
す図である。
【図１７】同実施形態における階層構造を持つ機能仕様
の状態参照の一例を示す図である。
の状態参照の一例を示す図である。
１ 入力装置 ２ 機能仕様作成部 ３ 機能仕様ファイル ４ ソースコード・ジェネレータ ５ ソースコードファイル ６ 遷移情報ファイル ７ 状態情報ファイル ８ コンパイラ ９ オブジェクトコードファイル １０ コンパイラ出力情報ファイル １１ デバッグ情報ジェネレータ １２ デバッグ用遷移情報ファイル １３ デバッグ用状態情報ファイル １４ プログラム実行部 １５ デバッガ １６ 表示装置
Claims (6)
- 【請求項１】 状態及びこれら状態間の遷移により表現
された機能仕様に基づき中間コードを生成し、この中間
コードに基づくプログラムを実行する装置であって、 前記各状態及び各遷移とこれらに応じた中間コードのア
ドレスとを対応付ける手段と、 前記プログラムの実行中に所定の制御指示がった場合
に、前記対応付けられた結果に基づいて前記中間コード
のアドレスを特定して前記所定の制御指示を実行する手
段とを具備することを特徴とするプログラム実行装置。 - 【請求項２】 状態及びこれら状態間の遷移により表現
された機能仕様から第１のコード及び第２のコードを生
成し、この第２のコードに基づくプログラムを実行する
装置であって、 前記第１のコードを生成する際に、前記各状態及び前記
各遷移とこれらに応じた第１のコードのシーケンス番号
とを対応付ける第１の手段と、 前記第２のコードを生成する際に、前記各第１のコード
のシーケンス番号とこれらに応じた第２のコードのアド
レスとを対応付ける第２の手段と、 前記第１及び第２の手段によって対応付けられた結果に
基づき、前記各状態及び前記各遷移とこれらに応じた第
２のコードのアドレスとを対応付ける第３の手段と、 前記プログラムの実行中に所定の制御指示があると、前
記第３の手段によって対応付けられた結果に基づいて前
記第２のコードのアドレスを特定して前記所定の制御指
示を実行する第４の手段とを具備することを特徴とする
プログラム実行装置。 - 【請求項３】 請求項１または２記載のプログラム実行
装置において、 前記所定の制御指示が、デバッグの際に行われる指示で
あって、前記状態または遷移を特定したプログラムの停
止または再実行であることを特徴とするプログラム実行
装置。 - 【請求項４】 請求項１または２記載のプログラム実行
装置において、 前記所定の制御指示が、デバッグの際に行われる指示で
あって、実行中の前記状態または遷移の表示であること
を特徴とするプログラム実行装置。 - 【請求項５】 請求項４記載のプログラム実行装置にお
いて、 前記機能仕様が階層構造でかつ親から子へ連鎖する木構
造により表現されるものであって、 木構造の葉より根の方向に辿り、辿った際に通過する状
態を機能仕様における実行中の部分とし、これ以外の状
態を機能仕様における非実行中の部分として表示するこ
とを特徴とするプログラム実行装置。 - 【請求項６】 状態及びこれら状態間の遷移により表現
された機能仕様から第１のコード及び第２のコードを生
成する過程で、（１）第１のコードを生成する際に、各
状態及び各遷移とこれらに応じた第１のコードのシーケ
ンス番号とを対応付けし、（２）第２のコードを生成す
る際に、各第１のコードのシーケンス番号とこれらに応
じた第２のコードのアドレスとを対応付けし、（３）前
記（１）及び（２）によって対応付けられた結果に基づ
き、各状態及び各遷移とこれらに応じた第２のコードの
アドレスとを対応付けることを特徴とする機能仕様とコ
ードアドレスとの対応付け方法。
Priority Applications (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP8245042A JPH1091476A (ja) | 1996-09-17 | 1996-09-17 | プログラム実行装置及び機能仕様とコードアドレスとの対応付け方法 |
| US08/931,244 US5940617A (en) | 1996-09-17 | 1997-09-16 | 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 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP8245042A JPH1091476A (ja) | 1996-09-17 | 1996-09-17 | プログラム実行装置及び機能仕様とコードアドレスとの対応付け方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH1091476A true JPH1091476A (ja) | 1998-04-10 |
Family
ID=17127723
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP8245042A Pending JPH1091476A (ja) | 1996-09-17 | 1996-09-17 | プログラム実行装置及び機能仕様とコードアドレスとの対応付け方法 |
Country Status (2)
| Country | Link |
|---|---|
| US (1) | US5940617A (ja) |
| JP (1) | JPH1091476A (ja) |
Families Citing this family (21)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6151701A (en) * | 1997-09-30 | 2000-11-21 | Ahpah Software, Inc. | Method for reconstructing debugging information for a decompiled executable file |
| US6513154B1 (en) | 1996-10-21 | 2003-01-28 | John R. Porterfield | System and method for testing of computer programs in programming effort |
| JP3169896B2 (ja) * | 1998-07-03 | 2001-05-28 | 日本電気株式会社 | プログラム開発装置、プログラム開発方法及びプログラム開発プログラムを記憶した記憶媒体 |
| AU3224901A (en) * | 2000-02-10 | 2001-08-20 | Daikin Industries, Ltd. | Control program generating method, apparatus thereof, storage medium, and program |
| EP1349111A1 (en) * | 2002-03-27 | 2003-10-01 | Hewlett-Packard Company | Improvements in or relating to software |
| US7343588B2 (en) * | 2004-01-30 | 2008-03-11 | International Business Machines Corporation | Method of generating and utilizing debug history |
| US7496895B1 (en) * | 2004-12-29 | 2009-02-24 | The Mathworks, Inc. | Multi-domain unified debugger |
| US7793160B1 (en) * | 2005-03-29 | 2010-09-07 | Emc Corporation | Systems and methods for tracing errors |
| JP4696721B2 (ja) * | 2005-06-27 | 2011-06-08 | 富士ゼロックス株式会社 | 文書管理サーバ、文書管理システム |
| JP4876734B2 (ja) * | 2006-06-22 | 2012-02-15 | 富士ゼロックス株式会社 | 文書利用管理システム及び方法、文書管理サーバ及びそのプログラム |
| JP5003131B2 (ja) * | 2006-12-04 | 2012-08-15 | 富士ゼロックス株式会社 | 文書提供システム及び情報提供プログラム |
| JP4305510B2 (ja) * | 2006-12-28 | 2009-07-29 | 富士ゼロックス株式会社 | 情報処理システム、情報処理装置及びプログラム |
| JP5082460B2 (ja) * | 2007-01-19 | 2012-11-28 | 富士ゼロックス株式会社 | 情報処理装置及びプログラム及び情報処理システム |
| JP5023715B2 (ja) * | 2007-01-25 | 2012-09-12 | 富士ゼロックス株式会社 | 情報処理システム、情報処理装置及びプログラム |
| JP2008257317A (ja) * | 2007-04-02 | 2008-10-23 | Fuji Xerox Co Ltd | 情報処理装置、情報処理システム及びプログラム |
| EP2003563A1 (de) * | 2007-05-24 | 2008-12-17 | Siemens Aktiengesellschaft | Verfahren zur Fenlersuche bei einem Automatisierungsgerätes |
| JP2008305337A (ja) * | 2007-06-11 | 2008-12-18 | Panasonic Corp | プログラム変換装置、プログラム変換方法、プログラム、記憶媒体、デバッグ装置、デバッグ方法及びプログラム開発システム |
| JP2009042856A (ja) * | 2007-08-07 | 2009-02-26 | Fuji Xerox Co Ltd | 文書管理装置、文書管理システム及びプログラム |
| JP5119840B2 (ja) * | 2007-10-02 | 2013-01-16 | 富士ゼロックス株式会社 | 情報処理装置、情報処理システム、及びプログラム |
| JP6919404B2 (ja) * | 2017-08-10 | 2021-08-18 | オムロン株式会社 | 制御装置 |
| EP3657336A1 (en) * | 2018-11-23 | 2020-05-27 | Koninklijke Philips N.V. | Coverage-based fuzzing of interactive applications |
Family Cites Families (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| NZ218742A (en) * | 1986-06-03 | 1990-09-26 | Fisher & Paykel | Programmed logic controller |
| US5175856A (en) * | 1990-06-11 | 1992-12-29 | Supercomputer Systems Limited Partnership | Computer with integrated hierarchical representation (ihr) of program wherein ihr file is available for debugging and optimizing during target execution |
| US5560009A (en) * | 1990-09-21 | 1996-09-24 | Hewlett-Packard Company | Generating symbolic debug information by merging translation and compiler debug information |
| JP2671793B2 (ja) * | 1993-12-15 | 1997-10-29 | 日本電気株式会社 | プログラムジェネレータ利用仕様シミュレーション方法およびその装置 |
| JPH07319730A (ja) * | 1994-05-23 | 1995-12-08 | Hitachi Ltd | テスト・デバッグ方法 |
| US5581696A (en) * | 1995-05-09 | 1996-12-03 | Parasoft Corporation | Method using a computer for automatically instrumenting a computer program for dynamic debugging |
| US5778230A (en) * | 1995-11-13 | 1998-07-07 | Object Technology Licensing Corp. | Goal directed object-oriented debugging system |
-
1996
- 1996-09-17 JP JP8245042A patent/JPH1091476A/ja active Pending
-
1997
- 1997-09-16 US US08/931,244 patent/US5940617A/en not_active Expired - Fee Related
Also Published As
| Publication number | Publication date |
|---|---|
| US5940617A (en) | 1999-08-17 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JPH1091476A (ja) | プログラム実行装置及び機能仕様とコードアドレスとの対応付け方法 | |
| JP3729640B2 (ja) | 画面フローによるビジュアルプログラミング装置 | |
| US20010014958A1 (en) | Information processing apparatus, defect analysis program, defect analysis method, and application program development assistance system | |
| CN102479152A (zh) | 基于Android平台获取工具自动测试结果的方法及装置 | |
| Wasserman et al. | Building reliable interactive information systems | |
| KR20150066377A (ko) | Ｄｅｖｓ 기반의 시뮬레이션 프레임워크 시스템 및 이를 이용한 시뮬레이션 방법 | |
| Pomberger et al. | Prototyping-Oriented Software Development - Concepts and Tools | |
| Goldsby et al. | A visualization framework for the modeling and formal analysis of high assurance systems | |
| JPH07168709A (ja) | プログラムジェネレータ利用仕様シミュレーション方法およびその装置 | |
| CN115185508B (zh) | 一种基于图元的算法组态工具和方法 | |
| JPH02275539A (ja) | デバッグ処理方式 | |
| Ohnishi | A visual software requirements definition method | |
| Goldsby et al. | Enabling a roundtrip engineering process for the modeling and analysis of embedded systems | |
| Pomberger et al. | The Role of Prototyping in Software Development. | |
| CN112199097A (zh) | 安装包生成方法、装置、计算机设备和存储介质 | |
| KR100250486B1 (ko) | 소프트웨어 프로세스 그래픽 모형으로부터 소프트웨어 프로세스 정의 언어로의 변환 방법 | |
| JPH0756723A (ja) | コンパイラ装置 | |
| Kindler et al. | The Petri Net Kernel: An INA-Pilot | |
| JPH0439746A (ja) | プログラム開発支援装置 | |
| JPH07311692A (ja) | デバッグ方法 | |
| JPH07160536A (ja) | 対話型システムのプログラムテスト支援装置 | |
| Silva Júnior | VeRIS: an Automatic Verifier of Relay-Based Railway Interlocking Systems Diagrams | |
| CN119620679A (zh) | 一种可编程逻辑调试方法及系统 | |
| JPH0895761A (ja) | プログラム生産支援装置 | |
| JPH06242943A (ja) | ソースコードレベルデバッグ装置 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20030902 |