JPH1124907A - ソフトウエア開発支援方法およびソフトウエア開発支援装置 - Google Patents
ソフトウエア開発支援方法およびソフトウエア開発支援装置Info
- Publication number
- JPH1124907A JPH1124907A JP9172151A JP17215197A JPH1124907A JP H1124907 A JPH1124907 A JP H1124907A JP 9172151 A JP9172151 A JP 9172151A JP 17215197 A JP17215197 A JP 17215197A JP H1124907 A JPH1124907 A JP H1124907A
- Authority
- JP
- Japan
- Prior art keywords
- state
- event
- transition
- state transition
- history
- 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; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
- G06F9/45504—Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
- G06F9/45508—Runtime interpretation or emulation, e g. emulator loops, bytecode interpretation
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y10—TECHNICAL SUBJECTS COVERED BY FORMER USPC
- Y10S—TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y10S707/00—Data processing: database and file management or data structures
- Y10S707/99931—Database or file accessing
- Y10S707/99933—Query processing, i.e. searching
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
- Exchange Systems With Centralized Control (AREA)
Abstract
(57)【要約】
【課題】状態遷移テーブルを解釈実行することにより動
作するソフトウェアシステムの開発の様々な段階におい
て、状態遷移テーブルの最適化を容易に行うことができ
るソフトウエア開発支援装置を提供する。 【解決手段】状態遷移解釈実行部２にて状態遷移テーブ
ル１を解釈実行しながら、各状態毎の状態遷移履歴およ
び各イベント毎のイベント成立履歴を収集および記録
し、状態遷移順序最適化部１０、イベント順序最適化部
１１では、この記録された状態遷移履歴およびイベント
成立履歴に基づき算出される各状態から他の状態へ遷移
するまでの遷移時間が最小となるように、状態遷移テー
ブル１の各状態毎に、他の状態への遷移順序とイベント
の成立順序とを決定する。
作するソフトウェアシステムの開発の様々な段階におい
て、状態遷移テーブルの最適化を容易に行うことができ
るソフトウエア開発支援装置を提供する。 【解決手段】状態遷移解釈実行部２にて状態遷移テーブ
ル１を解釈実行しながら、各状態毎の状態遷移履歴およ
び各イベント毎のイベント成立履歴を収集および記録
し、状態遷移順序最適化部１０、イベント順序最適化部
１１では、この記録された状態遷移履歴およびイベント
成立履歴に基づき算出される各状態から他の状態へ遷移
するまでの遷移時間が最小となるように、状態遷移テー
ブル１の各状態毎に、他の状態への遷移順序とイベント
の成立順序とを決定する。
Description
【０００１】
【発明の属する技術分野】本発明は、例えば、無線通信
端末の無線回線制御のように、「待受け」、「発呼、
「着信」、「通信中」といった状態間の遷移を定義する
状態遷移テーブルを解釈実行することにより動作するソ
フトウェアシステムの開発の際に、プログラムサイズを
変化させることなく、遷移の評価順序やイベントの評価
順序を最適化して、実行速度のより高速なソフトウエア
システムの開発を支援するソフトウエア開発支援方法お
よびそれを用いた開発支援装置に関する。
端末の無線回線制御のように、「待受け」、「発呼、
「着信」、「通信中」といった状態間の遷移を定義する
状態遷移テーブルを解釈実行することにより動作するソ
フトウェアシステムの開発の際に、プログラムサイズを
変化させることなく、遷移の評価順序やイベントの評価
順序を最適化して、実行速度のより高速なソフトウエア
システムの開発を支援するソフトウエア開発支援方法お
よびそれを用いた開発支援装置に関する。
【０００２】
【従来の技術】例えば、無線通信端末においては、無線
回線制御にかかる状態を図１４に示すように定義してい
る。すなわち、携帯端末の状態としては、電源ＯＮによ
り位置登録を行った後、「待受け」という定常状態に入
る。ここで、発呼あるいは着呼があり、呼制御が完了す
ると「通信中」という定常状態に遷移する。通信が終了
すると呼切断の呼制御を経て「待受け」状態に戻る。
回線制御にかかる状態を図１４に示すように定義してい
る。すなわち、携帯端末の状態としては、電源ＯＮによ
り位置登録を行った後、「待受け」という定常状態に入
る。ここで、発呼あるいは着呼があり、呼制御が完了す
ると「通信中」という定常状態に遷移する。通信が終了
すると呼切断の呼制御を経て「待受け」状態に戻る。
【０００３】このような無線通信端末の無線回線制御の
ように、「待受け」、「発呼、「着信」、「通信中」と
いった状態間の遷移を定義する状態遷移テーブルを解釈
実行して動作するソフトウエアシステムにおいては、テ
ーブルの構成がシステムの実行速度に大きな影響を与え
ることがある。特に状態毎に評価すべき遷移の数やイベ
ントの数が増加するに連れ、その評価順序がシステムの
実行速度に与える影響は大きくなる。従来、状態遷移テ
ーブルの最適化は、システムの仕様から最適と思われる
評価順序を想定して行われるのが通常であった。シミュ
レーションにより、遷移の実行頻度を計測して最適な順
序を決定することも可能であるが、遷移の並び替えは手
動で行う必要があった。
ように、「待受け」、「発呼、「着信」、「通信中」と
いった状態間の遷移を定義する状態遷移テーブルを解釈
実行して動作するソフトウエアシステムにおいては、テ
ーブルの構成がシステムの実行速度に大きな影響を与え
ることがある。特に状態毎に評価すべき遷移の数やイベ
ントの数が増加するに連れ、その評価順序がシステムの
実行速度に与える影響は大きくなる。従来、状態遷移テ
ーブルの最適化は、システムの仕様から最適と思われる
評価順序を想定して行われるのが通常であった。シミュ
レーションにより、遷移の実行頻度を計測して最適な順
序を決定することも可能であるが、遷移の並び替えは手
動で行う必要があった。
【０００４】
【発明が解決しようとする課題】本発明は、上記の事情
に対処してなされたものであり、状態遷移テーブルを解
釈実行することにより動作するソフトウェアシステムの
開発において、設計、試験、及び、実稼動の各段階にお
いて、遷移の実行頻度、またイベントの評価結果の成立
頻度を計測し、その結果に基づいて状態遷移テーブルの
構造を自動的に最適化して、実行速度のより高速なソフ
トウエアシステムの設計・製造が可能なソフトウエア開
発支援方法およびそれを用いた開発支援装置を提供する
ことを目的とする。
に対処してなされたものであり、状態遷移テーブルを解
釈実行することにより動作するソフトウェアシステムの
開発において、設計、試験、及び、実稼動の各段階にお
いて、遷移の実行頻度、またイベントの評価結果の成立
頻度を計測し、その結果に基づいて状態遷移テーブルの
構造を自動的に最適化して、実行速度のより高速なソフ
トウエアシステムの設計・製造が可能なソフトウエア開
発支援方法およびそれを用いた開発支援装置を提供する
ことを目的とする。
【０００５】
【課題を解決するための手段】本発明のソフトウエア開
発支援方法（請求項１）は、予め定義された複数の状態
と、少なくとも各状態毎に定義されたその状態から他の
状態へ遷移するための成立すべきイベントとを記述した
状態遷移テーブルを解釈実行することにより動作するソ
フトウエアの開発を支援するソフトウエア開発支援方法
において、前記状態遷移テーブルを解釈実行しながら各
状態毎の状態遷移履歴および各イベント毎のイベント成
立履歴を記録し、この記録された状態遷移履歴およびイ
ベント成立履歴に基づき、前記状態遷移テーブルの各状
態毎に、他の状態への遷移順序とイベントの成立順序と
を決定することにより、状態遷移テーブルを解釈実行す
ることにより動作するソフトウェアシステムの開発の様
々な段階において、状態遷移テーブルの最適化を容易に
行うことができる。
発支援方法（請求項１）は、予め定義された複数の状態
と、少なくとも各状態毎に定義されたその状態から他の
状態へ遷移するための成立すべきイベントとを記述した
状態遷移テーブルを解釈実行することにより動作するソ
フトウエアの開発を支援するソフトウエア開発支援方法
において、前記状態遷移テーブルを解釈実行しながら各
状態毎の状態遷移履歴および各イベント毎のイベント成
立履歴を記録し、この記録された状態遷移履歴およびイ
ベント成立履歴に基づき、前記状態遷移テーブルの各状
態毎に、他の状態への遷移順序とイベントの成立順序と
を決定することにより、状態遷移テーブルを解釈実行す
ることにより動作するソフトウェアシステムの開発の様
々な段階において、状態遷移テーブルの最適化を容易に
行うことができる。
【０００６】また、本発明のソフトウエア開発支援方法
（請求項２）は、予め定義された複数の状態と、少なく
とも各状態毎に定義されたその状態から他の状態へ遷移
するための成立すべきイベントとを記述した状態遷移テ
ーブルを解釈実行することにより動作するソフトウエア
の開発を支援するソフトウエア開発支援方法において、
前記状態遷移テーブルを解釈実行しながら各状態毎の状
態遷移履歴および各イベント毎のイベント成立履歴を記
録し、この記録された状態遷移履歴およびイベント成立
履歴に基づき算出される各状態から他の状態へ遷移する
までの遷移時間が最小となるように、前記状態遷移テー
ブルの各状態毎に、他の状態への遷移順序とイベントの
成立順序とを決定することにより、状態遷移テーブルを
解釈実行することにより動作するソフトウェアシステム
の開発の様々な段階において、状態遷移テーブルの最適
化を容易に行うことができる。
（請求項２）は、予め定義された複数の状態と、少なく
とも各状態毎に定義されたその状態から他の状態へ遷移
するための成立すべきイベントとを記述した状態遷移テ
ーブルを解釈実行することにより動作するソフトウエア
の開発を支援するソフトウエア開発支援方法において、
前記状態遷移テーブルを解釈実行しながら各状態毎の状
態遷移履歴および各イベント毎のイベント成立履歴を記
録し、この記録された状態遷移履歴およびイベント成立
履歴に基づき算出される各状態から他の状態へ遷移する
までの遷移時間が最小となるように、前記状態遷移テー
ブルの各状態毎に、他の状態への遷移順序とイベントの
成立順序とを決定することにより、状態遷移テーブルを
解釈実行することにより動作するソフトウェアシステム
の開発の様々な段階において、状態遷移テーブルの最適
化を容易に行うことができる。
【０００７】本発明のソフトウエア開発支援装置（請求
項３）は、予め定義された複数の状態と、少なくとも各
状態毎に定義されたその状態から他の状態へ遷移するた
めの成立すべきイベントとを記述した状態遷移テーブル
を解釈実行することにより動作するソフトウエアの開発
を支援するソフトウエア開発支援装置において、前記状
態遷移テーブルを解釈実行する実行手段と、この実行手
段で実行された各状態毎の状態遷移履歴および各イベン
ト毎のイベント成立履歴を記録する記録手段と、この記
録手段で記録された状態遷移履歴およびイベント成立履
歴に基づき、前記状態遷移テーブルの各状態毎に、他の
状態への遷移順序とイベントの成立順序とを決定する決
定手段と、を具備したことにより、状態遷移テーブルを
解釈実行することにより動作するソフトウェアシステム
の開発の様々な段階において、状態遷移テーブルの最適
化を容易に行うことができる。
項３）は、予め定義された複数の状態と、少なくとも各
状態毎に定義されたその状態から他の状態へ遷移するた
めの成立すべきイベントとを記述した状態遷移テーブル
を解釈実行することにより動作するソフトウエアの開発
を支援するソフトウエア開発支援装置において、前記状
態遷移テーブルを解釈実行する実行手段と、この実行手
段で実行された各状態毎の状態遷移履歴および各イベン
ト毎のイベント成立履歴を記録する記録手段と、この記
録手段で記録された状態遷移履歴およびイベント成立履
歴に基づき、前記状態遷移テーブルの各状態毎に、他の
状態への遷移順序とイベントの成立順序とを決定する決
定手段と、を具備したことにより、状態遷移テーブルを
解釈実行することにより動作するソフトウェアシステム
の開発の様々な段階において、状態遷移テーブルの最適
化を容易に行うことができる。
【０００８】また、本発明のソフトウエア開発支援装置
（請求項４）は、予め定義された複数の状態と、少なく
とも各状態毎に定義されたその状態から他の状態へ遷移
するための成立すべきイベントとを記述した状態遷移テ
ーブルを解釈実行することにより動作するソフトウエア
の開発を支援するソフトウエア開発支援装置において、
前記状態遷移テーブルを解釈実行する実行手段と、この
実行手段で実行された各状態毎の状態遷移履歴および各
イベント毎のイベント成立履歴を記録する記録手段と、
この記録手段で記録された状態遷移履歴およびイベント
成立履歴に基づき算出される各状態から他の状態へ遷移
するまでの遷移時間が最小となるように、前記状態遷移
テーブルの各状態毎に、他の状態への遷移順序とイベン
トの成立順序とを決定する決定手段と、を具備したこと
により、状態遷移テーブルを解釈実行することにより動
作するソフトウェアシステムの開発の様々な段階におい
て、状態遷移テーブルの最適化を容易に行うことができ
る。
（請求項４）は、予め定義された複数の状態と、少なく
とも各状態毎に定義されたその状態から他の状態へ遷移
するための成立すべきイベントとを記述した状態遷移テ
ーブルを解釈実行することにより動作するソフトウエア
の開発を支援するソフトウエア開発支援装置において、
前記状態遷移テーブルを解釈実行する実行手段と、この
実行手段で実行された各状態毎の状態遷移履歴および各
イベント毎のイベント成立履歴を記録する記録手段と、
この記録手段で記録された状態遷移履歴およびイベント
成立履歴に基づき算出される各状態から他の状態へ遷移
するまでの遷移時間が最小となるように、前記状態遷移
テーブルの各状態毎に、他の状態への遷移順序とイベン
トの成立順序とを決定する決定手段と、を具備したこと
により、状態遷移テーブルを解釈実行することにより動
作するソフトウェアシステムの開発の様々な段階におい
て、状態遷移テーブルの最適化を容易に行うことができ
る。
【０００９】
【発明の実施の形態】以下、本発明の実施形態について
図面を参照して説明する。図１は、本実施形態に係るソ
フトウエア開発支援装置の構成例を示すものである。図
１に示すように、状態遷移テーブル１、状態遷移解釈実
行部２、アクションプログラム部品ライブラリ格納部
３、遷移頻度収集部４、遷移遷移頻度更新部５、状態遷
移頻度データベース６、イベント成立頻度収集部７、イ
ベント成立頻度更新部８、イベント成立頻度データベー
ス９、状態遷移順序最適化部１０、イベント順序最適化
部１１から構成され、予め用意された状態遷移テーブル
１を解釈しながらアクションプログラム部品ライブラリ
３に格納されたアクション部品を実行するソフトウェア
システムの開発支援および評価のために用いられる。
図面を参照して説明する。図１は、本実施形態に係るソ
フトウエア開発支援装置の構成例を示すものである。図
１に示すように、状態遷移テーブル１、状態遷移解釈実
行部２、アクションプログラム部品ライブラリ格納部
３、遷移頻度収集部４、遷移遷移頻度更新部５、状態遷
移頻度データベース６、イベント成立頻度収集部７、イ
ベント成立頻度更新部８、イベント成立頻度データベー
ス９、状態遷移順序最適化部１０、イベント順序最適化
部１１から構成され、予め用意された状態遷移テーブル
１を解釈しながらアクションプログラム部品ライブラリ
３に格納されたアクション部品を実行するソフトウェア
システムの開発支援および評価のために用いられる。
【００１０】図２は、状態遷移解釈実行部２の処理動作
を説明するためのフローチャートで、図３は、状態遷移
解釈実行部２の処理実行にて収集された頻度情報に基づ
く状態遷移テーブルの最適化処理の動作を説明するため
のフローチャートである。
を説明するためのフローチャートで、図３は、状態遷移
解釈実行部２の処理実行にて収集された頻度情報に基づ
く状態遷移テーブルの最適化処理の動作を説明するため
のフローチャートである。
【００１１】図１のソフトウエア開発支援装置の評価対
象となるソフトウェアシステムは、状態遷移テーブル１
を解釈実行することによってシステムの動作を実現す
る、イベント駆動型のシステムである。
象となるソフトウェアシステムは、状態遷移テーブル１
を解釈実行することによってシステムの動作を実現す
る、イベント駆動型のシステムである。
【００１２】図４に、評価対象システムの状態遷移テー
ブルのＢＮＦ（Ｂｕｃｋｕｓ Ｎａｕｒ Ｆｏｒｍ）よ
る記述定義例を示す。図５に、状態遷移テーブルの具体
例を示す。本実施形態では、図５に示す状態遷移テーブ
ルを例として、以下、本発明の詳細を説明する。評価対
象のソフトウエアシステムは、状態遷移テーブルを解釈
し、アクションに対応するプログラム部品を駆動するこ
とによってその動作を実現する。例えば、図５に示す状
態遷移テーブルの解釈実行は、図２に示す手順にしたが
って行われる。以下、図２を参照して図５の状態遷移テ
ーブルの解釈実行手順について説明する。
ブルのＢＮＦ（Ｂｕｃｋｕｓ Ｎａｕｒ Ｆｏｒｍ）よ
る記述定義例を示す。図５に、状態遷移テーブルの具体
例を示す。本実施形態では、図５に示す状態遷移テーブ
ルを例として、以下、本発明の詳細を説明する。評価対
象のソフトウエアシステムは、状態遷移テーブルを解釈
し、アクションに対応するプログラム部品を駆動するこ
とによってその動作を実現する。例えば、図５に示す状
態遷移テーブルの解釈実行は、図２に示す手順にしたが
って行われる。以下、図２を参照して図５の状態遷移テ
ーブルの解釈実行手順について説明する。
【００１３】現在、システムが「状態０」にある場合、
「状態０」に付随する４つの遷移を順に評価していくこ
とになる。状態遷移解釈実行部２では、まず、最初の遷
移の最初のイベントである「イベント０」を評価し（ス
テップＳ１〜ステップＳ３）、「イベント０」が真の場
合に、次に、「イベント１」を評価し（ステップＳ４〜
ステップＳ６）、「イベント１」も真の場合に、「アク
ション０」として記述された処理を実行することによ
り、次の状態「状態１」へ遷移する（ステップＳ４〜ス
テップＳ５、ステップＳ７〜ステップＳ１０）。ステッ
プＳ４において、いずれかが偽の場合は、次の遷移の評
価に移り（ステップＳ１４〜ステップＳ１５）、評価す
べき遷移がなくなるまで繰り返される。
「状態０」に付随する４つの遷移を順に評価していくこ
とになる。状態遷移解釈実行部２では、まず、最初の遷
移の最初のイベントである「イベント０」を評価し（ス
テップＳ１〜ステップＳ３）、「イベント０」が真の場
合に、次に、「イベント１」を評価し（ステップＳ４〜
ステップＳ６）、「イベント１」も真の場合に、「アク
ション０」として記述された処理を実行することによ
り、次の状態「状態１」へ遷移する（ステップＳ４〜ス
テップＳ５、ステップＳ７〜ステップＳ１０）。ステッ
プＳ４において、いずれかが偽の場合は、次の遷移の評
価に移り（ステップＳ１４〜ステップＳ１５）、評価す
べき遷移がなくなるまで繰り返される。
【００１４】ステップＳ７〜ステップＳ１０にて、状態
の遷移が行われた場合は、次状態へポイントを移す（ス
テップＳ１１）。このとき、状態遷移解釈実行部２は、
遷移頻度およびイベント成立頻度をそれぞれ状態遷移頻
度収集部４、イベント成立頻度収集部７に出力する（ス
テップＳ１２〜ステップＳ１３）。そして、ステップＳ
２に戻り、次の状態すなわち、この場合「状態２」につ
いて、上記同様の処理を繰り返し、ステップＳ４にて、
イベントが成立しなかった場合、次の遷移が存在すると
きには、当該遷移へポイントを移し、その遷移を実行す
るためのイベントの成立を確認する（ステップＳ１４〜
ステップＳ１５、ステップＳ３〜ステップＳ４）。ステ
ップＳ１４にて、次の遷移状態が存在しないときは、状
態遷移解釈実行部２は、遷移頻度およびイベント成立頻
度をそれぞれ状態遷移頻度収集部４、イベント成立頻度
収集部７に出力し（ステップＳ１６〜ステップＳ１
７）、イベント待ちに入る（ステップＳ１８）。
の遷移が行われた場合は、次状態へポイントを移す（ス
テップＳ１１）。このとき、状態遷移解釈実行部２は、
遷移頻度およびイベント成立頻度をそれぞれ状態遷移頻
度収集部４、イベント成立頻度収集部７に出力する（ス
テップＳ１２〜ステップＳ１３）。そして、ステップＳ
２に戻り、次の状態すなわち、この場合「状態２」につ
いて、上記同様の処理を繰り返し、ステップＳ４にて、
イベントが成立しなかった場合、次の遷移が存在すると
きには、当該遷移へポイントを移し、その遷移を実行す
るためのイベントの成立を確認する（ステップＳ１４〜
ステップＳ１５、ステップＳ３〜ステップＳ４）。ステ
ップＳ１４にて、次の遷移状態が存在しないときは、状
態遷移解釈実行部２は、遷移頻度およびイベント成立頻
度をそれぞれ状態遷移頻度収集部４、イベント成立頻度
収集部７に出力し（ステップＳ１６〜ステップＳ１
７）、イベント待ちに入る（ステップＳ１８）。
【００１５】このように、状態遷移解釈実行部２は、状
態遷移テーブル１を解釈し、初期状態の最初の遷移から
順にイベントの成立の有無を確認し、イベントの成立が
確認されたなら、それに対応するアクションを実行し
て、次の状態へ遷移するといった遷移テーブルの解釈実
行動作に加え、遷移頻度やイベント成立頻度を外部に提
供するインターフェイスをも具備している。図２のステ
ップＳ１８に示したように、評価すべき遷移がなくなっ
てイベント待ちに入る前（ステップＳ１６〜ステップＳ
１７）と、ある遷移が起こって次状態へ遷移するタイミ
ング（ステップＳ１２〜ステップＳ１３）で、状態遷移
の頻度の情報と、イベントの成立頻度の情報とが外部へ
出力される。この時に出力される状態遷移の頻度情報
（遷移評価情報）とイベントの成立頻度情報（イベント
評価情報）の一例を、図６、図７にそれぞれ示す。
態遷移テーブル１を解釈し、初期状態の最初の遷移から
順にイベントの成立の有無を確認し、イベントの成立が
確認されたなら、それに対応するアクションを実行し
て、次の状態へ遷移するといった遷移テーブルの解釈実
行動作に加え、遷移頻度やイベント成立頻度を外部に提
供するインターフェイスをも具備している。図２のステ
ップＳ１８に示したように、評価すべき遷移がなくなっ
てイベント待ちに入る前（ステップＳ１６〜ステップＳ
１７）と、ある遷移が起こって次状態へ遷移するタイミ
ング（ステップＳ１２〜ステップＳ１３）で、状態遷移
の頻度の情報と、イベントの成立頻度の情報とが外部へ
出力される。この時に出力される状態遷移の頻度情報
（遷移評価情報）とイベントの成立頻度情報（イベント
評価情報）の一例を、図６、図７にそれぞれ示す。
【００１６】図６に示すように、遷移評価情報には、評
価対象となった状態のＩＤ（例えば図５の「状態０」）
と、評価を行った状態遷移（例えば図５の「遷移１」、
「遷移２」）とその評価結果（ＯＫ／ＮＧ）が記録され
ている。例えば、評価対象の状態「状態０」において、
１番目の遷移（「遷移１」）は成立せず、２番目の遷移
（「遷移２」）が成立したことが記録されている。
価対象となった状態のＩＤ（例えば図５の「状態０」）
と、評価を行った状態遷移（例えば図５の「遷移１」、
「遷移２」）とその評価結果（ＯＫ／ＮＧ）が記録され
ている。例えば、評価対象の状態「状態０」において、
１番目の遷移（「遷移１」）は成立せず、２番目の遷移
（「遷移２」）が成立したことが記録されている。
【００１７】図７に示すように、イベント評価情報に
は、評価を行ったイベント（例えば、「イベント０」
「イベント１」「イベント２」「イベント３」）とその
評価結果（Ｔｒｕｅ／Ｆａｌｓｅ）が記録されている。
例では、「イベントＯ」、「イベント２」、「イベント
３」が真で、「イベント１」が偽であったことが記録さ
れている。
は、評価を行ったイベント（例えば、「イベント０」
「イベント１」「イベント２」「イベント３」）とその
評価結果（Ｔｒｕｅ／Ｆａｌｓｅ）が記録されている。
例では、「イベントＯ」、「イベント２」、「イベント
３」が真で、「イベント１」が偽であったことが記録さ
れている。
【００１８】以上のようにして、評価対象システムの実
行につれて遷移評価情報とイベント評価情報が逐次、状
態遷移頻度収集部４、イベント成立頻度収集部７へ伝達
されていくことになる。
行につれて遷移評価情報とイベント評価情報が逐次、状
態遷移頻度収集部４、イベント成立頻度収集部７へ伝達
されていくことになる。
【００１９】次に、図３に示すフローチャートを参照し
て、状態遷移解釈実行部２の処理実行にて収集された評
価情報に基づく状態遷移テーブルの最適化処理の動作に
ついて説明する。まず、状態遷移解釈実行部２から出力
される遷移評価情報とイベント評価情報は、それぞれ遷
移頻度収集部４とイベント成立頻度収集部７によって収
集され、それらは、それぞれのデータベース６、９の更
新に用いられる（ステップＳ２１〜ステップＳ２３）。
て、状態遷移解釈実行部２の処理実行にて収集された評
価情報に基づく状態遷移テーブルの最適化処理の動作に
ついて説明する。まず、状態遷移解釈実行部２から出力
される遷移評価情報とイベント評価情報は、それぞれ遷
移頻度収集部４とイベント成立頻度収集部７によって収
集され、それらは、それぞれのデータベース６、９の更
新に用いられる（ステップＳ２１〜ステップＳ２３）。
【００２０】図８は、状態遷移頻度データベース６の遷
移評価情報の記憶例を示したもので、図９は、イベント
成立頻度データベース９のイベント評価情報の記憶例を
示したものである。
移評価情報の記憶例を示したもので、図９は、イベント
成立頻度データベース９のイベント評価情報の記憶例を
示したものである。
【００２１】図８に示したように、状態遷移頻度データ
ベース６に記憶される情報は、状態と付属する遷移を１
つのまとまりとして構成されている。例えば、図８にお
いて、「状態０」がこれまで６２３回評価の対象とな
り、そのうち「遷移１」が成立したのが４５回、「遷移
２」が成立したのが３４２回、などの情報が格納されて
いる。この時、例えば、図６に示したような遷移評価情
報を受け取ると、「状態０」の総評価回数が６２４回に
なり、「遷移２」の成立回数が３４３回にそれぞれ更新
されることになる。
ベース６に記憶される情報は、状態と付属する遷移を１
つのまとまりとして構成されている。例えば、図８にお
いて、「状態０」がこれまで６２３回評価の対象とな
り、そのうち「遷移１」が成立したのが４５回、「遷移
２」が成立したのが３４２回、などの情報が格納されて
いる。この時、例えば、図６に示したような遷移評価情
報を受け取ると、「状態０」の総評価回数が６２４回に
なり、「遷移２」の成立回数が３４３回にそれぞれ更新
されることになる。
【００２２】図９に示したように、イベント成立頻度デ
ータベース９に記憶される情報は、状態とその状態で評
価される可能性のある全てのイベントを１つのまとまり
としているフィールドＰ１と、システム中で評価されう
る全てのイベントを列挙したフィールドＰ２とで構成さ
れている。例えば、図９において、フィールドＰ１に
は、「状態０」で評価される可能性のある９つのイベン
トについて情報が格納されており、それぞれのイベント
については、評価された回数と、成立した回数が記録さ
れている。また、フィールドＰ２には、各イベントに対
する、システム全体で合計した評価回数と成立回数が記
録されている。この時に、図７に示したようなイベント
評価情報を受け取ると、フィールドＰ１に格納される
「イベントＯ」、「イベント１」、「イベント２」、
「イベント３」のそれぞれの「状態０」での評価回数、
及びフィールドＰ２の各イベントの合計の評価回数が１
つずつ増加し、更に、フィールドＰ１の「イベント
Ｏ」、「イベント２」、「イベント３」については、成
立回数も同様に更新されることになる。
ータベース９に記憶される情報は、状態とその状態で評
価される可能性のある全てのイベントを１つのまとまり
としているフィールドＰ１と、システム中で評価されう
る全てのイベントを列挙したフィールドＰ２とで構成さ
れている。例えば、図９において、フィールドＰ１に
は、「状態０」で評価される可能性のある９つのイベン
トについて情報が格納されており、それぞれのイベント
については、評価された回数と、成立した回数が記録さ
れている。また、フィールドＰ２には、各イベントに対
する、システム全体で合計した評価回数と成立回数が記
録されている。この時に、図７に示したようなイベント
評価情報を受け取ると、フィールドＰ１に格納される
「イベントＯ」、「イベント１」、「イベント２」、
「イベント３」のそれぞれの「状態０」での評価回数、
及びフィールドＰ２の各イベントの合計の評価回数が１
つずつ増加し、更に、フィールドＰ１の「イベント
Ｏ」、「イベント２」、「イベント３」については、成
立回数も同様に更新されることになる。
【００２３】次に、予め定められたタイミングにて、状
態遷移頻度データベース６、イベント成立頻度データベ
ース９に格納された情報に基づき、状態遷移テーブルの
最適化を図る（ステップＳ２４〜ステップＳ２７）。こ
こでは、最適化の一例として、状態遷移テーブルの解釈
速度の最適化について説明する。すなわち、状態遷移解
釈実行部２の状態遷移テーブル１に基づく解釈実行時間
が最小となるように、状態の遷移順序、イベントの成立
順序を決定する。
態遷移頻度データベース６、イベント成立頻度データベ
ース９に格納された情報に基づき、状態遷移テーブルの
最適化を図る（ステップＳ２４〜ステップＳ２７）。こ
こでは、最適化の一例として、状態遷移テーブルの解釈
速度の最適化について説明する。すなわち、状態遷移解
釈実行部２の状態遷移テーブル１に基づく解釈実行時間
が最小となるように、状態の遷移順序、イベントの成立
順序を決定する。
【００２４】状態遷移テーブルのある状態に着目する
と、以下のような値が定義される。 遷移ｉの発生頻度Ｐｔ（ｉ）＝遷移ｉの発生回数／状態
の総評価回数 遷移ｉの非発生決定時間の期待値Ｅｔｆ（ｉ） 遷移ｉの発生時の総実行時間（（遷移ｉに要する各イベ
ントのステップ数×サイクルタイムの総和）から論理的
に求まる実行時間）Ｅｔｔ（ｉ） これらの値を用いると、ｉ番目の遷移が成立するまでの
時間の期待値は、
と、以下のような値が定義される。 遷移ｉの発生頻度Ｐｔ（ｉ）＝遷移ｉの発生回数／状態
の総評価回数 遷移ｉの非発生決定時間の期待値Ｅｔｆ（ｉ） 遷移ｉの発生時の総実行時間（（遷移ｉに要する各イベ
ントのステップ数×サイクルタイムの総和）から論理的
に求まる実行時間）Ｅｔｔ（ｉ） これらの値を用いると、ｉ番目の遷移が成立するまでの
時間の期待値は、
【００２５】
【数１】 ｉ番目の遷移が成立している確率は、
【００２６】
【数２】
【００２７】となる。従って、各状態毎に定義されたそ
の状態から遷移する他の状態への遷移するまでの時間を
総計した、ある状態の評価に要する時間の期待値は、次
式（３）にて表すことができる。
の状態から遷移する他の状態への遷移するまでの時間を
総計した、ある状態の評価に要する時間の期待値は、次
式（３）にて表すことができる。
【００２８】
【数３】
【００２９】式（３）の値を最小とするような遷移の順
序を求めることで、状態毎の最適化を行うことができ
る。一方、ある遷移に着目すると、以下のような値が定
義される。
序を求めることで、状態毎の最適化を行うことができ
る。一方、ある遷移に着目すると、以下のような値が定
義される。
【００３０】イベントｉの成立頻度Ｐｅ（ｉ）＝イベン
トｉの成立回数／イベントｉの評価回数 イベントｉの評価時間の期待値Ｅｅ（ｉ） ある遷移の実行に定義されたイベントの数をｎ これらの値を用いると、ｉ番目のイベントが成立せずに
遷移が失敗する確率は、
トｉの成立回数／イベントｉの評価回数 イベントｉの評価時間の期待値Ｅｅ（ｉ） ある遷移の実行に定義されたイベントの数をｎ これらの値を用いると、ｉ番目のイベントが成立せずに
遷移が失敗する確率は、
【００３１】
【数４】
【００３２】となるから、ある遷移が失敗したことを決
定するための時間である、ある遷移ｉの非発生決定時間
の期待値Ｅｔｆ（ｉ）は、次式（５）にて表すことがで
きる。
定するための時間である、ある遷移ｉの非発生決定時間
の期待値Ｅｔｆ（ｉ）は、次式（５）にて表すことがで
きる。
【００３３】
【数５】
【００３４】この値が最小となるようにイベントの成立
順序を求めることで、遷移毎の最適化が行われる。イベ
ントについては、成立回数と評価回数が状態毎の合計と
システム全体での合計と２通りで集計されているので、
目的に応じてこれらを使い分けることも可能である。
順序を求めることで、遷移毎の最適化が行われる。イベ
ントについては、成立回数と評価回数が状態毎の合計と
システム全体での合計と２通りで集計されているので、
目的に応じてこれらを使い分けることも可能である。
【００３５】次に、状態遷移テーブルの最適化について
具体的に説明する。今、状態遷移頻度データベース６、
イベント成立頻度データベース９に格納された遷移評価
情報およびイベント評価情報に基づく、「状態０」の
「遷移１」〜「遷移４」の各遷移についての集計結果
（Ｐｔ（ｉ）、Ｅｔｆ（ｉ）、Ｅｔｔ（ｉ））の一例を
図１０に示す。図１０の値と式（３）とから、「状態
０」の評価時間の期待値は、「１０．６」となる。そこ
で、図１０のデー夕を基に評価時間が最小になるような
遷移の並びを求める。例えば、「遷移１」から「遷移
４」の考えられる順列のそれぞれについて順次、式
（３）の値を求めていくと、最小となる遷移の並びは図
１１に示すように、「遷移２」、「遷移４」、「遷移
１」、「遷移３」となる。なお、このときの評価時間の
期待値は、「７．８」となり、３割弱の削減が実現され
る。
具体的に説明する。今、状態遷移頻度データベース６、
イベント成立頻度データベース９に格納された遷移評価
情報およびイベント評価情報に基づく、「状態０」の
「遷移１」〜「遷移４」の各遷移についての集計結果
（Ｐｔ（ｉ）、Ｅｔｆ（ｉ）、Ｅｔｔ（ｉ））の一例を
図１０に示す。図１０の値と式（３）とから、「状態
０」の評価時間の期待値は、「１０．６」となる。そこ
で、図１０のデー夕を基に評価時間が最小になるような
遷移の並びを求める。例えば、「遷移１」から「遷移
４」の考えられる順列のそれぞれについて順次、式
（３）の値を求めていくと、最小となる遷移の並びは図
１１に示すように、「遷移２」、「遷移４」、「遷移
１」、「遷移３」となる。なお、このときの評価時間の
期待値は、「７．８」となり、３割弱の削減が実現され
る。
【００３６】また、状態遷移頻度データベース６、イベ
ント成立頻度データベース９に格納された遷移評価情報
およびイベント評価情報に基づく、「状態０」の「遷移
１」についての集計結果（Ｐｅ（ｉ）、Ｅｅ（ｉ））の
一例を図１２に示す。図１２の値と式（５）とから、図
１１に示すようなイベントの並び（順に「イベント
０」、「イベント１」）の場合の「遷移１」の非発生決
定時間の期待値は、「４．３」となる。そこで、図１２
のデータを基に、評価時間が最小になるような遷移の並
びを求める。例えば、「イベント０」と「イベント１」
との考えられる順列のそれぞれについて順次、式（５）
の値を求めていくと、その値が最小となるイベントの並
びは、この場合、「イベント０」と「イベント１」の評
価順を逆にしたときである。なお、このときの非発生決
定時間の期待値は「２．８」となり、３割強の削減が実
現されていることになる。
ント成立頻度データベース９に格納された遷移評価情報
およびイベント評価情報に基づく、「状態０」の「遷移
１」についての集計結果（Ｐｅ（ｉ）、Ｅｅ（ｉ））の
一例を図１２に示す。図１２の値と式（５）とから、図
１１に示すようなイベントの並び（順に「イベント
０」、「イベント１」）の場合の「遷移１」の非発生決
定時間の期待値は、「４．３」となる。そこで、図１２
のデータを基に、評価時間が最小になるような遷移の並
びを求める。例えば、「イベント０」と「イベント１」
との考えられる順列のそれぞれについて順次、式（５）
の値を求めていくと、その値が最小となるイベントの並
びは、この場合、「イベント０」と「イベント１」の評
価順を逆にしたときである。なお、このときの非発生決
定時間の期待値は「２．８」となり、３割強の削減が実
現されていることになる。
【００３７】以上説明した状態テーブルの最適化手法を
ソフトウエアの設計段階に用いる場合の適用例について
説明する。設計段階で状態遷移テーブルのみが得られて
いる場合に、実稼動を考慮したイベント発生系列を用い
て状態遷移、及びイベント成立の頻度情報を収集し、こ
れら情報を用い、前述の指針に従うことで状態遷移テー
ブルを最適化することができる。この方法によれば、設
計者が状態遷移テーブルのどの部分がどれくらいの頻度
で実行されているかを認識することなく、自動的に最適
な状態遷移テーブルを得ることができる。
ソフトウエアの設計段階に用いる場合の適用例について
説明する。設計段階で状態遷移テーブルのみが得られて
いる場合に、実稼動を考慮したイベント発生系列を用い
て状態遷移、及びイベント成立の頻度情報を収集し、こ
れら情報を用い、前述の指針に従うことで状態遷移テー
ブルを最適化することができる。この方法によれば、設
計者が状態遷移テーブルのどの部分がどれくらいの頻度
で実行されているかを認識することなく、自動的に最適
な状態遷移テーブルを得ることができる。
【００３８】また、以上説明した状態テーブルの最適化
手法をソフトウエアの試験段階に用いる場合の適用例に
ついて説明する。試験段階で試験用のソフトウエアシス
テムが得られている場合に、状態遷移テーブルを書き換
え可能な記憶媒体、例えばＳＲＡＭなどに配置してお
き、図１のソフトウエア開発支援装置を用いて、実際の
使用環境を考慮した試験項目を実施しながら状態遷移、
及びイベント成立の頻度情報を収集し、これら情報を用
いて前述同様、状態遷移テーブルを最適化することがで
きる。すなわち、設計されたソフトウエアシステムの試
験を行うと同時に、実行速度のチュ−ニングを自動的に
行うことができる。
手法をソフトウエアの試験段階に用いる場合の適用例に
ついて説明する。試験段階で試験用のソフトウエアシス
テムが得られている場合に、状態遷移テーブルを書き換
え可能な記憶媒体、例えばＳＲＡＭなどに配置してお
き、図１のソフトウエア開発支援装置を用いて、実際の
使用環境を考慮した試験項目を実施しながら状態遷移、
及びイベント成立の頻度情報を収集し、これら情報を用
いて前述同様、状態遷移テーブルを最適化することがで
きる。すなわち、設計されたソフトウエアシステムの試
験を行うと同時に、実行速度のチュ−ニングを自動的に
行うことができる。
【００３９】さらに、ソフトウエアの実稼動段階におい
ても、状態遷移テーブルを書き換え可能にしておき、図
１のソフトウエア開発支援装置を用いて、稼働環境、時
期、状況などに対応して動的にシステムの実行速度のチ
ュ−ニングを行うことが可能になる。
ても、状態遷移テーブルを書き換え可能にしておき、図
１のソフトウエア開発支援装置を用いて、稼働環境、時
期、状況などに対応して動的にシステムの実行速度のチ
ュ−ニングを行うことが可能になる。
【００４０】なお、状態遷移テーブル１に対し、図３に
示した状態遷移テーブルの最適化処理を施すタイミング
について簡単に説明する。例えば、設計段階において
は、状態遷移テーブルを更新する必要が生じたタイミン
グで随時更新を行っても問題はない。試験段階では、性
能を一定に保ったまま試験を行う必要がある場合などに
は、最適化を行わないようにする必要があるため、図１
の最適化処理に関わる各部（例えば、状態遷移頻度更新
部５、状態遷移頻度データベース６、イベント成立頻度
更新部８、イベント成立頻度データベース９、状態遷移
順序最適化部１０、イベント順序最適化部１１）の動作
を制御する必要がある。
示した状態遷移テーブルの最適化処理を施すタイミング
について簡単に説明する。例えば、設計段階において
は、状態遷移テーブルを更新する必要が生じたタイミン
グで随時更新を行っても問題はない。試験段階では、性
能を一定に保ったまま試験を行う必要がある場合などに
は、最適化を行わないようにする必要があるため、図１
の最適化処理に関わる各部（例えば、状態遷移頻度更新
部５、状態遷移頻度データベース６、イベント成立頻度
更新部８、イベント成立頻度データベース９、状態遷移
順序最適化部１０、イベント順序最適化部１１）の動作
を制御する必要がある。
【００４１】実稼動段階ではこれらに加え、頻度情報の
計測などを期間を区切って行うように、あるいは一定期
間以上古い情報は削除しつつ、最新の一定期間の情報に
したがって、かつシステムの動作に影響のないタイミン
グで最適化を行うことも必要になる可能性がある。以上
のような要求を満たすため、図１の最適化処理に関わる
各部は以下のような機能を具備している必要がある。
計測などを期間を区切って行うように、あるいは一定期
間以上古い情報は削除しつつ、最新の一定期間の情報に
したがって、かつシステムの動作に影響のないタイミン
グで最適化を行うことも必要になる可能性がある。以上
のような要求を満たすため、図１の最適化処理に関わる
各部は以下のような機能を具備している必要がある。
【００４２】・最適化処理の実行要求の受理 ・定期的な最適化処理の実行 ・最適化テーブルの更新が必要になった時点で自動的に
最適化を行う ・定期的・自動的な最適化処理の停止 ・頻度情報の刷新 ・状態遷移テーブルの更新可・不可の判断 以上の機能は、例えば、これら機能の設定や指示要求を
受け付けたり、また各種メッセージ等を表示するための
ユーザインターフェイスを図１のソフトウエア開発支援
装置に具備し、そのユーザインターフェイスを介して入
力されたデータに基づき図１の各部を制御することによ
り容易に実現可能である。
最適化を行う ・定期的・自動的な最適化処理の停止 ・頻度情報の刷新 ・状態遷移テーブルの更新可・不可の判断 以上の機能は、例えば、これら機能の設定や指示要求を
受け付けたり、また各種メッセージ等を表示するための
ユーザインターフェイスを図１のソフトウエア開発支援
装置に具備し、そのユーザインターフェイスを介して入
力されたデータに基づき図１の各部を制御することによ
り容易に実現可能である。
【００４３】図１３に、図２、図３に示した本発明に係
る状態遷移テーブルの最適化を行うソフトウエア開発支
援方法を実現するコンピュータシステムの構成を示す。
このコンピュータシステムは、例えば、パーソナルコン
ピュータであり、演算処理を司るＣＰＵ１００１と、キ
ーボード、ポインティングデバイスおよびマイクロフォ
ンなどの入力部１００２と、ディスプレイおよびスピー
カなどの出力部１００３と、主記憶としてのＲＯＭ１０
０４およびＲＡＭ１００５と、外部記憶装置としてのハ
ードディスク装置１００６、フロッピーディスク装置１
００７および光ディスク装置１００８をバス１００９に
より接続して構成されている。
る状態遷移テーブルの最適化を行うソフトウエア開発支
援方法を実現するコンピュータシステムの構成を示す。
このコンピュータシステムは、例えば、パーソナルコン
ピュータであり、演算処理を司るＣＰＵ１００１と、キ
ーボード、ポインティングデバイスおよびマイクロフォ
ンなどの入力部１００２と、ディスプレイおよびスピー
カなどの出力部１００３と、主記憶としてのＲＯＭ１０
０４およびＲＡＭ１００５と、外部記憶装置としてのハ
ードディスク装置１００６、フロッピーディスク装置１
００７および光ディスク装置１００８をバス１００９に
より接続して構成されている。
【００４４】ここで、ハードディスク装置１００６、フ
ロッピーディスク装置１００７および光ディスク装置１
００８のいずれかの記録媒体に上述した実施形態で説明
した図２、図３に示した状態遷移テーブルの最適化処理
を実行するためのプログラムおよび状態遷移テーブルが
格納される。そして、このプログラムに従って、記録媒
体に格納された（主記憶としてのＲＯＭ１００４あるい
はＲＡＭ１００５に記憶するようにしてもよい）状態遷
移テーブルに対し、前述の最適化処理が施され、再び記
録媒体に格納される。このようにして、通常のパーソナ
ルコンピュータを用いて本発明のソフトウエア開発支援
方法を実施することができる。
ロッピーディスク装置１００７および光ディスク装置１
００８のいずれかの記録媒体に上述した実施形態で説明
した図２、図３に示した状態遷移テーブルの最適化処理
を実行するためのプログラムおよび状態遷移テーブルが
格納される。そして、このプログラムに従って、記録媒
体に格納された（主記憶としてのＲＯＭ１００４あるい
はＲＡＭ１００５に記憶するようにしてもよい）状態遷
移テーブルに対し、前述の最適化処理が施され、再び記
録媒体に格納される。このようにして、通常のパーソナ
ルコンピュータを用いて本発明のソフトウエア開発支援
方法を実施することができる。
【００４５】以上説明したように、上記実施形態によれ
ば、状態遷移解釈実行部２にて状態遷移テーブル１を解
釈実行しながら、各状態毎の状態遷移履歴および各イベ
ント毎のイベント成立履歴を収集および記録し（状態遷
移頻度データベース６、イベント成立頻度データベース
９等）、状態遷移順序最適化部１０、イベント順序最適
化部１１では、この記録された状態遷移履歴およびイベ
ント成立履歴に基づき算出される各状態から他の状態へ
遷移するまでの遷移時間が最小となるように、状態遷移
テーブル１の各状態毎に、他の状態への遷移順序とイベ
ントの成立順序とを決定する（状態遷移テーブル１を更
新する）ことにより、状態遷移テーブルを解釈実行する
ことにより動作するソフトウェアシステムの開発の際
に、設計、試験、及び、実稼動の各段階において、遷移
の実行頻度やイベントの成立頻度を収集しつつ、これら
の情報に基づいてより効率的な遷移の評価順序、イベン
トの評価順序を決定し、状態遷移テーブル１を最適化す
ることができる。より具体的には、最適化テーブルのテ
ーブル要素を並び替えて、実行速度のより高速なソフト
ウエアシステムの設計・製造が可能となる。
ば、状態遷移解釈実行部２にて状態遷移テーブル１を解
釈実行しながら、各状態毎の状態遷移履歴および各イベ
ント毎のイベント成立履歴を収集および記録し（状態遷
移頻度データベース６、イベント成立頻度データベース
９等）、状態遷移順序最適化部１０、イベント順序最適
化部１１では、この記録された状態遷移履歴およびイベ
ント成立履歴に基づき算出される各状態から他の状態へ
遷移するまでの遷移時間が最小となるように、状態遷移
テーブル１の各状態毎に、他の状態への遷移順序とイベ
ントの成立順序とを決定する（状態遷移テーブル１を更
新する）ことにより、状態遷移テーブルを解釈実行する
ことにより動作するソフトウェアシステムの開発の際
に、設計、試験、及び、実稼動の各段階において、遷移
の実行頻度やイベントの成立頻度を収集しつつ、これら
の情報に基づいてより効率的な遷移の評価順序、イベン
トの評価順序を決定し、状態遷移テーブル１を最適化す
ることができる。より具体的には、最適化テーブルのテ
ーブル要素を並び替えて、実行速度のより高速なソフト
ウエアシステムの設計・製造が可能となる。
【００４６】
【発明の効果】以上説明したように、本発明によれば、
状態遷移テーブルを解釈実行することにより動作するソ
フトウェアシステムの開発の様々な段階において、状態
遷移テーブルの最適化を容易に行うことができる。
状態遷移テーブルを解釈実行することにより動作するソ
フトウェアシステムの開発の様々な段階において、状態
遷移テーブルの最適化を容易に行うことができる。
【図１】本発明の一実施形態に係るソフトウエア開発支
援装置の構成例を概略的に示した図。
援装置の構成例を概略的に示した図。
【図２】状態遷移解釈実行部の処理動作を説明するため
のフローチャート。
のフローチャート。
【図３】状態遷移解釈実行部の処理実行にて収集された
頻度情報に基づく状態遷移テーブルの最適化処理の動作
を説明するためのフローチャート。
頻度情報に基づく状態遷移テーブルの最適化処理の動作
を説明するためのフローチャート。
【図４】状態遷移テーブルのＢＮＦによる記述定義例を
示した図。
示した図。
【図５】状態遷移テーブルの記述内容の具体例を示した
図。
図。
【図６】状態遷移解釈実行部から出力される状態遷移の
頻度情報（遷移評価情報）の一例を示した図。
頻度情報（遷移評価情報）の一例を示した図。
【図７】状態遷移解釈実行部から出力されるイベントの
成立頻度情報（イベント評価情報）の一例を示した図。
成立頻度情報（イベント評価情報）の一例を示した図。
【図８】状態遷移頻度データベースの遷移評価情報の記
憶例を示した図。
憶例を示した図。
【図９】イベント成立頻度データベースのイベント評価
情報の記憶例を示した図。
情報の記憶例を示した図。
【図１０】遷移評価情報およびイベント評価情報に基づ
く、「状態０」の「遷移１」〜「遷移４」の各遷移につ
いての集計結果（Ｐｔ（ｉ）、Ｅｔｆ（ｉ）、Ｅｔｔ
（ｉ））の一例を示した図。
く、「状態０」の「遷移１」〜「遷移４」の各遷移につ
いての集計結果（Ｐｔ（ｉ）、Ｅｔｆ（ｉ）、Ｅｔｔ
（ｉ））の一例を示した図。
【図１１】図５の状態遷移テーブルに対し最適化処理を
施した結果、得られた状態遷移テーブルの例を示した
図。
施した結果、得られた状態遷移テーブルの例を示した
図。
【図１２】遷移評価情報およびイベント評価情報に基づ
く、「状態０」の「遷移１」についての集計結果（Ｐｅ
（ｉ）、Ｅｅ（ｉ））の一例を示した図。
く、「状態０」の「遷移１」についての集計結果（Ｐｅ
（ｉ）、Ｅｅ（ｉ））の一例を示した図。
【図１３】図２、図３に示した本発明に係る状態遷移テ
ーブルの最適化を行うソフトウエア開発支援方法を実現
するコンピュータシステムの構成例を示した図。
ーブルの最適化を行うソフトウエア開発支援方法を実現
するコンピュータシステムの構成例を示した図。
【図１４】無線通信端末における無線回線制御状態およ
びその遷移の一例を示した図。
びその遷移の一例を示した図。
【符号の説明】 １…状態遷移テーブル ２…状態遷移解釈実行部 ３…アクションプログラム部品ライブラリ ４…状態遷移頻度収集部 ５…状態遷移頻度更新部 ６…状態遷移頻度データベース ７…イベント成立頻度収集部 ８…イベント成立頻度更新部 ９…イベント成立頻度データベース １０…状態遷移順序最適化部 １１…イベント順序最適化部
Claims (6)
- 【請求項１】 予め定義された複数の状態と、少なくと
も各状態毎に定義されたその状態から他の状態へ遷移す
るための成立すべきイベントとを記述した状態遷移テー
ブルを解釈実行することにより動作するソフトウエアの
開発を支援するソフトウエア開発支援方法において、 前記状態遷移テーブルを解釈実行しながら各状態毎の状
態遷移履歴および各イベント毎のイベント成立履歴を記
録し、この記録された状態遷移履歴およびイベント成立
履歴に基づき、前記状態遷移テーブルの各状態毎に、他
の状態への遷移順序とイベントの成立順序とを決定する
ことを特徴とするソフトウエア開発支援方法。 - 【請求項２】 予め定義された複数の状態と、少なくと
も各状態毎に定義されたその状態から他の状態へ遷移す
るための成立すべきイベントとを記述した状態遷移テー
ブルを解釈実行することにより動作するソフトウエアの
開発を支援するソフトウエア開発支援方法において、 前記状態遷移テーブルを解釈実行しながら各状態毎の状
態遷移履歴および各イベント毎のイベント成立履歴を記
録し、この記録された状態遷移履歴およびイベント成立
履歴に基づき算出される各状態から他の状態へ遷移する
までの遷移時間が最小となるように、前記状態遷移テー
ブルの各状態毎に、他の状態への遷移順序とイベントの
成立順序とを決定することを特徴とするソフトウエア開
発支援方法。 - 【請求項３】 予め定義された複数の状態と、少なくと
も各状態毎に定義されたその状態から他の状態へ遷移す
るための成立すべきイベントとを記述した状態遷移テー
ブルを解釈実行することにより動作するソフトウエアの
開発を支援するソフトウエア開発支援装置において、 前記状態遷移テーブルを解釈実行する実行手段と、 この実行手段で実行された各状態毎の状態遷移履歴およ
び各イベント毎のイベント成立履歴を記録する記録手段
と、 この記録手段で記録された状態遷移履歴およびイベント
成立履歴に基づき、前記状態遷移テーブルの各状態毎
に、他の状態への遷移順序とイベントの成立順序とを決
定する決定手段と、 を具備したことを特徴とするソフトウエア開発支援装
置。 - 【請求項４】 予め定義された複数の状態と、少なくと
も各状態毎に定義されたその状態から他の状態へ遷移す
るための成立すべきイベントとを記述した状態遷移テー
ブルを解釈実行することにより動作するソフトウエアの
開発を支援するソフトウエア開発支援装置において、 前記状態遷移テーブルを解釈実行する実行手段と、 この実行手段で実行された各状態毎の状態遷移履歴およ
び各イベント毎のイベント成立履歴を記録する記録手段
と、 この記録手段で記録された状態遷移履歴およびイベント
成立履歴に基づき算出される各状態から他の状態へ遷移
するまでの遷移時間が最小となるように、前記状態遷移
テーブルの各状態毎に、他の状態への遷移順序とイベン
トの成立順序とを決定する決定手段と、 を具備したことを特徴とするソフトウエア開発支援装
置。 - 【請求項５】 予め定義された複数の状態と、少なくと
も各状態毎に定義されたその状態から他の状態へ遷移す
るための成立すべきイベントとを記述した状態遷移テー
ブルを解釈実行することにより動作するソフトウエアの
開発を支援するためのプログラムであって、 前記状態遷移テーブルを解釈実行する手段と、 この実行手段で実行された各状態毎の状態遷移履歴およ
び各イベント毎のイベント成立履歴を記録する記録手段
と、 この記録手段で記録された状態遷移履歴およびイベント
成立履歴に基づき、前記状態遷移テーブルの各状態毎
に、他の状態への遷移順序とイベントの成立順序とを決
定する決定手段と、 を実行するプログラムを記録した機械読み取り可能な記
録媒体。 - 【請求項６】 予め定義された複数の状態と、少なくと
も各状態毎に定義されたその状態から他の状態へ遷移す
るための成立すべきイベントとを記述した状態遷移テー
ブルを解釈実行することにより動作するソフトウエアの
開発を支援するためのプログラムであって、 前記状態遷移テーブルを解釈実行する実行手段と、 この実行手段で実行された各状態毎の状態遷移履歴およ
び各イベント毎のイベント成立履歴を記録する記録手段
と、 この記録手段で記録された状態遷移履歴およびイベント
成立履歴に基づき算出される各状態から他の状態へ遷移
するまでの遷移時間が最小となるように、前記状態遷移
テーブルの各状態毎に、他の状態への遷移順序とイベン
トの成立順序とを決定する決定手段と、 を実行するプログラムを記録した機械読み取り可能な記
録媒体。
Priority Applications (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP9172151A JPH1124907A (ja) | 1997-06-27 | 1997-06-27 | ソフトウエア開発支援方法およびソフトウエア開発支援装置 |
| US09/098,732 US6263495B1 (en) | 1997-06-27 | 1998-06-18 | Method and apparatus for optimizing state transition table used for event-driven software |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP9172151A JPH1124907A (ja) | 1997-06-27 | 1997-06-27 | ソフトウエア開発支援方法およびソフトウエア開発支援装置 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH1124907A true JPH1124907A (ja) | 1999-01-29 |
Family
ID=15936521
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP9172151A Pending JPH1124907A (ja) | 1997-06-27 | 1997-06-27 | ソフトウエア開発支援方法およびソフトウエア開発支援装置 |
Country Status (2)
| Country | Link |
|---|---|
| US (1) | US6263495B1 (ja) |
| JP (1) | JPH1124907A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US8930905B2 (en) | 2012-03-05 | 2015-01-06 | Samsung Electronics Co., Ltd. | System and method for providing a guideline for optimizing platform |
| DE112016007281T5 (de) | 2016-11-01 | 2019-06-13 | Mitsubishi Electric Corporation | Ausführungsvorrichtung für zustandsübergangsdiagramme |
Families Citing this family (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| SE0002440D0 (sv) | 2000-06-28 | 2000-06-28 | Virtutech Ab | Interpreter |
| US7925527B1 (en) * | 2000-08-16 | 2011-04-12 | Sparta Systems, Inc. | Process control system utilizing a database system to monitor a project's progress and enforce a workflow of activities within the project |
| US7391821B2 (en) * | 2005-03-08 | 2008-06-24 | Harris Corporation | Operational state transition and event logging system for an RF transmitter |
| JP4393450B2 (ja) * | 2005-12-01 | 2010-01-06 | 株式会社東芝 | 論理回路モデル変換装置及び論理回路モデル変換プログラム |
| US9256410B2 (en) | 2012-08-09 | 2016-02-09 | Apple Inc. | Failure profiling for continued code optimization |
| US9086688B2 (en) * | 2013-07-09 | 2015-07-21 | Fisher-Rosemount Systems, Inc. | State machine function block with user-definable actions on a transition between states |
| US20150169303A1 (en) * | 2013-12-13 | 2015-06-18 | Qualcomm Incorporated | Compiler optimization for finite state machines |
Family Cites Families (9)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5371683A (en) * | 1989-03-22 | 1994-12-06 | Kabushiki Kaisha Toshiba | LSI design support system |
| CA2091093C (en) * | 1992-03-06 | 1999-07-06 | Peter C. Di Giulio | Event driven communication network |
| US5469553A (en) * | 1992-04-16 | 1995-11-21 | Quantum Corporation | Event driven power reducing software state machine |
| US5371889A (en) * | 1993-04-22 | 1994-12-06 | Digital Equipment Corporation | Journalling optimization system and method for distributed computations |
| US5452215A (en) * | 1994-08-24 | 1995-09-19 | Ibm Business Machines Corporation | System and method for designing a finite state machine to reduce power dissipation |
| US5537580A (en) * | 1994-12-21 | 1996-07-16 | Vlsi Technology, Inc. | Integrated circuit fabrication using state machine extraction from behavioral hardware description language |
| IL119914A (en) * | 1996-12-25 | 2000-06-29 | Emultek Ltd | Device for implementing hierarchical state charts and methods and apparatus useful therefor |
| US5925114A (en) * | 1997-03-21 | 1999-07-20 | Motorola, Inc. | Modem implemented in software for operation on a general purpose computer having operating system with different execution priority levels |
| US6185555B1 (en) * | 1998-10-31 | 2001-02-06 | M/A/R/C Inc. | Method and apparatus for data management using an event transition network |
-
1997
- 1997-06-27 JP JP9172151A patent/JPH1124907A/ja active Pending
-
1998
- 1998-06-18 US US09/098,732 patent/US6263495B1/en not_active Expired - Fee Related
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US8930905B2 (en) | 2012-03-05 | 2015-01-06 | Samsung Electronics Co., Ltd. | System and method for providing a guideline for optimizing platform |
| DE112016007281T5 (de) | 2016-11-01 | 2019-06-13 | Mitsubishi Electric Corporation | Ausführungsvorrichtung für zustandsübergangsdiagramme |
| US11314528B2 (en) | 2016-11-01 | 2022-04-26 | Mitsubishi Electric Corporation | State chart execution device |
Also Published As
| Publication number | Publication date |
|---|---|
| US6263495B1 (en) | 2001-07-17 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN108519914B (zh) | 大数据计算方法、系统和计算机设备 | |
| US9098858B2 (en) | Visualizing expressions for dynamic analytics | |
| US9384184B2 (en) | Predicting a command in a command line interface | |
| US6990534B2 (en) | Method for a proactive browser system for implementing background frame maintenance and asynchronous frame submissions | |
| US8977652B2 (en) | Client-side API framework for uniform resource identifier (URI) manipulations | |
| CN101178727A (zh) | 用于搜索数据库的方法和系统 | |
| US20040255288A1 (en) | Software update processor, system, method, program for the same, and recording medium with the program recorded therein | |
| KR20130084659A (ko) | 휴대형 컴퓨팅 디바이스의 리소스들을 관리하기 위한 시스템 및 방법 | |
| JPH1124907A (ja) | ソフトウエア開発支援方法およびソフトウエア開発支援装置 | |
| WO2024131599A1 (zh) | 特效渲染方法、装置、材质制作系统、设备及存储介质 | |
| JP4819718B2 (ja) | 情報処理装置、情報処理方法および情報処理プログラム | |
| JP2003076543A (ja) | プログラム生成装置、プログラム生成方法およびその方法をコンピュータに実行させるプログラム | |
| CN113312052A (zh) | 一种组件调用方法、装置、电子设备以及存储介质 | |
| KR100640243B1 (ko) | 이동통신 단말기의 응용프로그램 실행속도 향상장치 및방법 | |
| CN116302448A (zh) | 任务调度方法和系统 | |
| JP2020160854A (ja) | コード管理システム、及びコード管理方法 | |
| CN113064588B (zh) | 命令编排方法、装置及计算机可读介质 | |
| WO2023207213A1 (zh) | 数据处理方法及装置 | |
| CN113516545B (zh) | 内控合规业务管理方法及装置 | |
| JPH05150970A (ja) | プログラム作成支援装置 | |
| JP2011204082A (ja) | 携帯端末機およびその制御方法 | |
| JP6073671B2 (ja) | Ｗｅｂ画面操作シミュレーションシステム | |
| JP5259521B2 (ja) | 携帯電子機器 | |
| JP2004206225A (ja) | 入力支援システム | |
| JP2000200302A (ja) | 進捗状況管理システムおよび進捗状況管理方法 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20051122 |
|
| A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20060123 |
|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20060307 |