JPH0514440A - プロトコル設計装置 - Google Patents
プロトコル設計装置Info
- Publication number
- JPH0514440A JPH0514440A JP3159208A JP15920891A JPH0514440A JP H0514440 A JPH0514440 A JP H0514440A JP 3159208 A JP3159208 A JP 3159208A JP 15920891 A JP15920891 A JP 15920891A JP H0514440 A JPH0514440 A JP H0514440A
- Authority
- JP
- Japan
- Prior art keywords
- protocol
- signal
- section
- unit
- point coordinates
- 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.)
- Withdrawn
Links
Landscapes
- Computer And Data Communications (AREA)
- Communication Control (AREA)
Abstract
(57)【要約】
【目的】 プロトコルの論理誤りを、プロトコル設計中
に検出することができ、従来に較べてプロトコル設計作
業の効率を向上させることができ、通信ソフトウェアの
生産性の向上を図ることのできるプロトコル設計装置を
提供する。 【構成】 入力部６から編集部１に新しい信号の始点お
よび終点座標の入力があると、まず受信不能状態判定部
３において「受信不能状態」の有無を判定し、次にデッ
ドロック判定部４において「デッドロック」の有無を判
定して、これらの論理誤りがない場合のみ編集部１にお
いて編集を実行し、座標情報を記憶部２に格納する。一
方、受信不能状態判定部３において「受信不能状態」が
有ると判定された場合、および、デッドロック判定部４
において「デッドロック」が有ると判定された場合は、
警告部５から入力部１を介して警告を発する。
に検出することができ、従来に較べてプロトコル設計作
業の効率を向上させることができ、通信ソフトウェアの
生産性の向上を図ることのできるプロトコル設計装置を
提供する。 【構成】 入力部６から編集部１に新しい信号の始点お
よび終点座標の入力があると、まず受信不能状態判定部
３において「受信不能状態」の有無を判定し、次にデッ
ドロック判定部４において「デッドロック」の有無を判
定して、これらの論理誤りがない場合のみ編集部１にお
いて編集を実行し、座標情報を記憶部２に格納する。一
方、受信不能状態判定部３において「受信不能状態」が
有ると判定された場合、および、デッドロック判定部４
において「デッドロック」が有ると判定された場合は、
警告部５から入力部１を介して警告を発する。
Description
【０００１】
【産業上の利用分野】本発明は、通信ソフトウェアの開
発等に用いられるプロトコル設計装置に関する。
発等に用いられるプロトコル設計装置に関する。
【０００２】
【従来の技術】一般に、通信システムの動作実体である
プロセス間の通信手順を、プロトコルと呼んでいる。こ
のようなプロトコルにおいて、論理誤りとは、判断基準
が明確に定義されており、原理的に機械的検出の可能な
誤りを言う。また、プロトコル検証とは、プロトコルに
おける論理誤りの有無を検査することである。ここで、
プロトコル検証の対象となる論理誤りとしては、デッド
ロックや受信不能状態等が挙げられる。
プロセス間の通信手順を、プロトコルと呼んでいる。こ
のようなプロトコルにおいて、論理誤りとは、判断基準
が明確に定義されており、原理的に機械的検出の可能な
誤りを言う。また、プロトコル検証とは、プロトコルに
おける論理誤りの有無を検査することである。ここで、
プロトコル検証の対象となる論理誤りとしては、デッド
ロックや受信不能状態等が挙げられる。
【０００３】従来、このようなプロトコルの論理誤り
は、自然言語、シーケンス・チャート、有向グラフ、形
式的仕様記述言語等で規定されたプロトコルから、通信
システム全体の動作を表現するグローバル状態遷移図を
作成し、到達可能性解析を行うことによって検出してい
る。
は、自然言語、シーケンス・チャート、有向グラフ、形
式的仕様記述言語等で規定されたプロトコルから、通信
システム全体の動作を表現するグローバル状態遷移図を
作成し、到達可能性解析を行うことによって検出してい
る。
【０００４】
【発明が解決しようとする課題】しかしながら、上述し
た従来の方法では、プロトコル全体を設計した後でなけ
れば、プロトコルの論理誤りを検出することができな
い。このため、プロトコル設計作業の効率を悪化させ、
通信ソフトウェアの生産性を低下させるという問題があ
った。
た従来の方法では、プロトコル全体を設計した後でなけ
れば、プロトコルの論理誤りを検出することができな
い。このため、プロトコル設計作業の効率を悪化させ、
通信ソフトウェアの生産性を低下させるという問題があ
った。
【０００５】本発明は、かかる従来の事情に対処してな
されたもので、プロトコルの論理誤りを、プロトコル設
計中に検出することができ、従来に較べてプロトコル設
計作業の効率を向上させ、通信ソフトウェアの生産性の
向上を図ることのできるプロトコル設計装置を提供しよ
うとするものである。
されたもので、プロトコルの論理誤りを、プロトコル設
計中に検出することができ、従来に較べてプロトコル設
計作業の効率を向上させ、通信ソフトウェアの生産性の
向上を図ることのできるプロトコル設計装置を提供しよ
うとするものである。
【０００６】
【課題を解決するための手段】すなわち、本発明のプロ
トコル設計装置は、通信システムを構成する複数のプロ
セス間の信号の送受信状態を記述するシーケンス・チャ
ート上における信号の始点座標および終点座標を入力す
るための入力部と、前記始点座標および前記終点座標を
記憶するための記憶部と、前記入力部から新たに入力さ
れた信号の終点座標が、既に入力済みの信号の始点およ
び終点座標に応じて決定される許容領域内にあるか否か
によって、プロトコルの論理誤りがあるか否かを判定す
る判定部と、前記判定部により、プロトコルの論理誤り
があると判定された場合、警告を発する警告部と、前記
判定部により、プロトコルの論理誤りがないと判定され
た場合、当該信号の始点座標および終点座標を編集して
前記記憶部に書き込む編集部とを備えたことを特徴とす
る。
トコル設計装置は、通信システムを構成する複数のプロ
セス間の信号の送受信状態を記述するシーケンス・チャ
ート上における信号の始点座標および終点座標を入力す
るための入力部と、前記始点座標および前記終点座標を
記憶するための記憶部と、前記入力部から新たに入力さ
れた信号の終点座標が、既に入力済みの信号の始点およ
び終点座標に応じて決定される許容領域内にあるか否か
によって、プロトコルの論理誤りがあるか否かを判定す
る判定部と、前記判定部により、プロトコルの論理誤り
があると判定された場合、警告を発する警告部と、前記
判定部により、プロトコルの論理誤りがないと判定され
た場合、当該信号の始点座標および終点座標を編集して
前記記憶部に書き込む編集部とを備えたことを特徴とす
る。
【０００７】
【作 用】プロトコルの論理誤りの中で、いわゆる「受
信不能状態」および「デッドロック」は、プロトコル全
体の設計完了を待たずに検出することができる。本発明
のプロトコル設計装置では、入力部から新たに信号のシ
ーケンス・チャート上の始点座標および終点座標の入力
があると、判定部において、既に入力済みの信号の始点
座標および終点座標との比較によって、「受信不能状
態」および「デッドロック」があるか否かを判定する。
そして、このようなプロトコルの論理誤りがある場合
は、警告部から警告を発する。
信不能状態」および「デッドロック」は、プロトコル全
体の設計完了を待たずに検出することができる。本発明
のプロトコル設計装置では、入力部から新たに信号のシ
ーケンス・チャート上の始点座標および終点座標の入力
があると、判定部において、既に入力済みの信号の始点
座標および終点座標との比較によって、「受信不能状
態」および「デッドロック」があるか否かを判定する。
そして、このようなプロトコルの論理誤りがある場合
は、警告部から警告を発する。
【０００８】したがって、プロトコルの論理誤りを、プ
ロトコル設計中に検出することができ、従来に較べてプ
ロトコル設計作業の効率を向上させることができ、通信
ソフトウェアの生産性の向上を図ることができる。
ロトコル設計中に検出することができ、従来に較べてプ
ロトコル設計作業の効率を向上させることができ、通信
ソフトウェアの生産性の向上を図ることができる。
【０００９】
【実施例】以下、本発明の一実施例を図面を参照して説
明する。
明する。
【００１０】図１は、本発明の一実施例のプロトコル設
計装置の構成を示すもので、図において１はシーケンス
・チャートによってプロトコルを設計するための編集機
能を有する編集部、２はシーケンス・チャートの座標情
報を格納する記憶部、３はプロトコルの論理誤りのうち
「受信不能状態」の有無を判定する受信不能状態判定
部、４はプロトコルの論理誤りのうち「デッドロック」
の有無を判定するデッドロック判定部、５はプロトコル
の論理誤りの存在を警告する警告部、６は図形エディタ
（ＣＲＴ）を有する入力部である。
計装置の構成を示すもので、図において１はシーケンス
・チャートによってプロトコルを設計するための編集機
能を有する編集部、２はシーケンス・チャートの座標情
報を格納する記憶部、３はプロトコルの論理誤りのうち
「受信不能状態」の有無を判定する受信不能状態判定
部、４はプロトコルの論理誤りのうち「デッドロック」
の有無を判定するデッドロック判定部、５はプロトコル
の論理誤りの存在を警告する警告部、６は図形エディタ
（ＣＲＴ）を有する入力部である。
【００１１】以下、まず上記構成のプロトコル設計装置
におけるプロトコルの論理誤りの検証方法について説明
する。
におけるプロトコルの論理誤りの検証方法について説明
する。
【００１２】図２に、シーケンス・チャートを用いたプ
ロトコルの記述方法を示す。図２に示す例は、プロセス
Ｘ（以下、Ｘという）とプロセスＹ（以下、Ｙという）
との間のプロトコルを規定している。同図において2 本
の縦線は、上から下に向かう時間の順序を規定してお
り、これらの縦線間に描かれた矢印はプロセス間で送受
信される信号を表わしている。すなわち、図２の場合
「Ｘは信号signal−1 を送信し、これをＹが受信する。
その後、Ｙは信号signal−2 を送信し、これをＸが受信
する。」というプロトコルを規定している。
ロトコルの記述方法を示す。図２に示す例は、プロセス
Ｘ（以下、Ｘという）とプロセスＹ（以下、Ｙという）
との間のプロトコルを規定している。同図において2 本
の縦線は、上から下に向かう時間の順序を規定してお
り、これらの縦線間に描かれた矢印はプロセス間で送受
信される信号を表わしている。すなわち、図２の場合
「Ｘは信号signal−1 を送信し、これをＹが受信する。
その後、Ｙは信号signal−2 を送信し、これをＸが受信
する。」というプロトコルを規定している。
【００１３】本実施例では、このようなシーケンス・チ
ャートを用いてプロトコルを設計している最中に、プロ
トコルの論理誤りである「受信不能状態」および「デッ
ドロック」の存在を次のようにして検出する。なお、以
下の説明では簡単のために、通信システムを構成するプ
ロセス数が2 （ＸとＹ）の場合について説明するが、プ
ロセス数が3 以上の通信システムについても、同様にし
て適用することができる。
ャートを用いてプロトコルを設計している最中に、プロ
トコルの論理誤りである「受信不能状態」および「デッ
ドロック」の存在を次のようにして検出する。なお、以
下の説明では簡単のために、通信システムを構成するプ
ロセス数が2 （ＸとＹ）の場合について説明するが、プ
ロセス数が3 以上の通信システムについても、同様にし
て適用することができる。
【００１４】（１）受信不能状態の検出 あるプロセスにおける信号の送信順序が、相手プロセス
における信号の受信順序と一致しない場合、「受信不能
状態」が発生する。
における信号の受信順序と一致しない場合、「受信不能
状態」が発生する。
【００１５】例えば、図３に示すシーケンス・チャート
では、ＸからＹへＮ（≧０）個の信号が送信されてお
り、Ｘにおける送信順序とＹにおける受信順序は一致し
ている。なお、図３において、ｎ（０≦ｎ≦Ｎ）番目の
信号の、シーケンス・チャート上での始点座標と終点座
標を、それぞれ、ｔn (X) 、ｔn (Y) とする。ここで、
ｎ番目と（ｎ＋１）番目の信号の間に、ＸからＹへの信
号Ｌ（図中点線で示す）の始点τ(x) を付加する場合、
信号Ｌの終点τ(Y) がＹの禁止領域に存在するならば、
Ｘにおける送信順序とＹにおける受信順序が異なってし
まうため、「受信不能状態」が発生する。一方、信号Ｌ
の終点τ(Y) がＹの許容領域に存在するならば、Ｘにお
ける送信順序とＹにおける受信順序は一致しており「受
信不能状態」は発生しない。
では、ＸからＹへＮ（≧０）個の信号が送信されてお
り、Ｘにおける送信順序とＹにおける受信順序は一致し
ている。なお、図３において、ｎ（０≦ｎ≦Ｎ）番目の
信号の、シーケンス・チャート上での始点座標と終点座
標を、それぞれ、ｔn (X) 、ｔn (Y) とする。ここで、
ｎ番目と（ｎ＋１）番目の信号の間に、ＸからＹへの信
号Ｌ（図中点線で示す）の始点τ(x) を付加する場合、
信号Ｌの終点τ(Y) がＹの禁止領域に存在するならば、
Ｘにおける送信順序とＹにおける受信順序が異なってし
まうため、「受信不能状態」が発生する。一方、信号Ｌ
の終点τ(Y) がＹの許容領域に存在するならば、Ｘにお
ける送信順序とＹにおける受信順序は一致しており「受
信不能状態」は発生しない。
【００１６】本実施例では、上述したプロトコルにおけ
る「受信不能状態」の存在を設計中に検出するために、
プロセス毎に、送信信号のＣＲＴ上での座標情報を、図
４に示すような送信信号テーブルとして記憶部２に格納
しておく。この送信信号テーブルには、ＸがＹに送信す
るＮ個の信号に関する座標情報が送信順序で記録されて
いるが、座標情報に関する取扱いを容易にするために、
便宜的に ｔn=0 (X) ＝ｔn=0 (Y) ＝−∞ ｔn=N+1 (X) ＝ｔn=N+1 (Y) ＝＋∞ が、付加されている。
る「受信不能状態」の存在を設計中に検出するために、
プロセス毎に、送信信号のＣＲＴ上での座標情報を、図
４に示すような送信信号テーブルとして記憶部２に格納
しておく。この送信信号テーブルには、ＸがＹに送信す
るＮ個の信号に関する座標情報が送信順序で記録されて
いるが、座標情報に関する取扱いを容易にするために、
便宜的に ｔn=0 (X) ＝ｔn=0 (Y) ＝−∞ ｔn=N+1 (X) ＝ｔn=N+1 (Y) ＝＋∞ が、付加されている。
【００１７】そして、上述した図３において、ＸからＹ
へτ(X) （但し、ｔn (X) ≦τ(X) ≦ｔn+1 (X) ）を始
点とする信号Ｌを付加する際に、信号Ｌの終点座標τ
(Y) の値が、次の3 つの条件のいずれを満たしているか
を調べる。
へτ(X) （但し、ｔn (X) ≦τ(X) ≦ｔn+1 (X) ）を始
点とする信号Ｌを付加する際に、信号Ｌの終点座標τ
(Y) の値が、次の3 つの条件のいずれを満たしているか
を調べる。
【００１８】 τ(Y) ≦ｔn (Y) （１ａ） ｔn (Y) ＜τ(Y) ＜ｔn+1 (Y) （１ｂ） τ(Y) ≧ｔn+1 (Y) （１ｃ） 信号Ｌの終点が図３の禁止領域に存在するということ
は、信号Ｌの終点座標τ(Y) が（１ａ）あるいは（１
ｃ）の不等式を満たすことと等価であるので、受信不能
状態判定部３において、ｔ(Y) の値を調べることによっ
て「受信不能状態」の存在の有無を検査することができ
る。
は、信号Ｌの終点座標τ(Y) が（１ａ）あるいは（１
ｃ）の不等式を満たすことと等価であるので、受信不能
状態判定部３において、ｔ(Y) の値を調べることによっ
て「受信不能状態」の存在の有無を検査することができ
る。
【００１９】（２）デッドロックの検出 あるプロセスから送信する信号Ｌの終点が、その信号を
送信する直前に相手プロセスから受信した信号Ｌの始点
よりも時間的に前にある場合「デッドロック」が発生す
る。
送信する直前に相手プロセスから受信した信号Ｌの始点
よりも時間的に前にある場合「デッドロック」が発生す
る。
【００２０】例えば、図５に示すシーケンス・チャート
では、ＹからＸに、Ｎ（≧０）個の信号が送信されてお
り、Ｙにおける送信順序とＸにおける受信順序は一致し
ている。ここで、ｎ番目の信号と（ｎ＋１）番目の信号
の間に、ＸからＹへの信号Ｌの始点τ(X) を付加する場
合、この信号Ｌの終点τ(Y) がＹの禁止領域に存在する
ならば「デッドロック」が発生する。一方、許容領域に
存在するならば「デッドロック」は発生しない。
では、ＹからＸに、Ｎ（≧０）個の信号が送信されてお
り、Ｙにおける送信順序とＸにおける受信順序は一致し
ている。ここで、ｎ番目の信号と（ｎ＋１）番目の信号
の間に、ＸからＹへの信号Ｌの始点τ(X) を付加する場
合、この信号Ｌの終点τ(Y) がＹの禁止領域に存在する
ならば「デッドロック」が発生する。一方、許容領域に
存在するならば「デッドロック」は発生しない。
【００２１】本実施例では、前述したプロトコルにおけ
る「受信不能状態」の検出と同様に、「デッドロック」
の存在を設計中に検出するために、プロセス毎に、受信
信号のＣＲＴ上での座標情報を、図６に示すような受信
信号テーブルとして記憶部２に格納しておく。この受信
信号テーブルには、ＸがＹから受信するＮ個の信号に関
する情報が受信順序で記録されているが、座標情報に関
する取扱いを容易にするために、便宜的に ｔn=0 (X) ＝ｔn=0 (Y) ＝−∞ ｔn=N+1 (X) ＝ｔn=N+1 (Y) ＝＋∞ が、付加されている。
る「受信不能状態」の検出と同様に、「デッドロック」
の存在を設計中に検出するために、プロセス毎に、受信
信号のＣＲＴ上での座標情報を、図６に示すような受信
信号テーブルとして記憶部２に格納しておく。この受信
信号テーブルには、ＸがＹから受信するＮ個の信号に関
する情報が受信順序で記録されているが、座標情報に関
する取扱いを容易にするために、便宜的に ｔn=0 (X) ＝ｔn=0 (Y) ＝−∞ ｔn=N+1 (X) ＝ｔn=N+1 (Y) ＝＋∞ が、付加されている。
【００２２】図５において、ＸからＹへ、τ(X) （但
し、ｔn (X) ≦τ(X) ≦ｔn+1 (X)）を始点とする信号
Ｌを付加する際に、信号Ｌの終点の座標τ(Y)の値が、
次の2つの不等式のいずれを満たしているかを調べる。
し、ｔn (X) ≦τ(X) ≦ｔn+1 (X)）を始点とする信号
Ｌを付加する際に、信号Ｌの終点の座標τ(Y)の値が、
次の2つの不等式のいずれを満たしているかを調べる。
【００２３】 τ(Y) ≦ｔn (Y) （２ａ） τ(Y) ＞ｔn (Y) （２ｂ） 信号Ｌの終点が図５の禁止領域に存在するということ
は、信号Ｌの終点座標τ(Y) が（２ａ）の不等式を満た
すことと等価であるので、デッドロック判定部４におい
て、τ(Y) の値を調べることによって、「デッドロッ
ク」の存在の有無を検査することができる。
は、信号Ｌの終点座標τ(Y) が（２ａ）の不等式を満た
すことと等価であるので、デッドロック判定部４におい
て、τ(Y) の値を調べることによって、「デッドロッ
ク」の存在の有無を検査することができる。
【００２４】本実施例のプロトコル設計装置では、上述
のようにして受信不能状態判定部３およびデッドロック
判定部４において、プロトコルの論理誤りである「受信
不能状態」と「デッドロック」をプロトコルの設計中に
検出する。
のようにして受信不能状態判定部３およびデッドロック
判定部４において、プロトコルの論理誤りである「受信
不能状態」と「デッドロック」をプロトコルの設計中に
検出する。
【００２５】すなわち、入力部６から編集部１に新しい
信号の始点および終点座標の入力があると（１０１）、
まず受信不能状態判定部３において「受信不能状態」の
有無を判定し（１０２）、次にデッドロック判定部４に
おいて「デッドロック」の有無を判定して（１０３）、
これらの論理誤りがない場合のみ編集部１において編集
（前述した送信および受信信号テーブルの編集）を実行
し（１０４）、この座標情報を記憶部２に格納する（１
０５）。
信号の始点および終点座標の入力があると（１０１）、
まず受信不能状態判定部３において「受信不能状態」の
有無を判定し（１０２）、次にデッドロック判定部４に
おいて「デッドロック」の有無を判定して（１０３）、
これらの論理誤りがない場合のみ編集部１において編集
（前述した送信および受信信号テーブルの編集）を実行
し（１０４）、この座標情報を記憶部２に格納する（１
０５）。
【００２６】一方、受信不能状態判定部３において「受
信不能状態」が有ると判定された場合（１０２）、およ
び、デッドロック判定部４において「デッドロック」が
有ると判定された場合は（１０３）、警告部５から入力
部１の図形エディタを介して設計者（入力者）に警告を
発し（１０６）、記憶部２への座標情報の書き込みは行
わない。つまり、入力部１の図形エディタから逐一入力
されるシーケンス・チャートの座標情報は、受信不能状
態判定部３、デッドロック判定部４において「受信不能
状態」および「デッドロック」論理誤りが無いと判定さ
れた場合に限り、記憶部２のデータ・ベースに追加して
格納される。これにより、シーケンス・チャートを記述
する図形エディタ上で、論理誤りとなる信号の結線は禁
止される。したがって、従来に較べてプロトコル設計作
業の効率を向上させることができ、通信ソフトウェアの
生産性の向上を図ることができる。
信不能状態」が有ると判定された場合（１０２）、およ
び、デッドロック判定部４において「デッドロック」が
有ると判定された場合は（１０３）、警告部５から入力
部１の図形エディタを介して設計者（入力者）に警告を
発し（１０６）、記憶部２への座標情報の書き込みは行
わない。つまり、入力部１の図形エディタから逐一入力
されるシーケンス・チャートの座標情報は、受信不能状
態判定部３、デッドロック判定部４において「受信不能
状態」および「デッドロック」論理誤りが無いと判定さ
れた場合に限り、記憶部２のデータ・ベースに追加して
格納される。これにより、シーケンス・チャートを記述
する図形エディタ上で、論理誤りとなる信号の結線は禁
止される。したがって、従来に較べてプロトコル設計作
業の効率を向上させることができ、通信ソフトウェアの
生産性の向上を図ることができる。
【００２７】図８に、実際のプロトコル設計の場合の
「受信不能状態」および「デッドロック」検出の例を、
シーケンス・チャートを用いて示す。この例では、2 つ
のプロセス（Ｘ，Ｙ）間でのプロトコルを規定してお
り、Ｘが、Ｙから信号「ＣＩ」を受信した後で、Ｙに送
信する信号「ＣＦ」を付加する場合について説明する。
なお、図９に、図８のシーケンス・チャートのＸに関す
る送信信号テーブルを、図１０に図８のシーケンス・チ
ャートのＸに関する受信信号テーブルをそれぞれ示す。
「受信不能状態」および「デッドロック」検出の例を、
シーケンス・チャートを用いて示す。この例では、2 つ
のプロセス（Ｘ，Ｙ）間でのプロトコルを規定してお
り、Ｘが、Ｙから信号「ＣＩ」を受信した後で、Ｙに送
信する信号「ＣＦ」を付加する場合について説明する。
なお、図９に、図８のシーケンス・チャートのＸに関す
る送信信号テーブルを、図１０に図８のシーケンス・チ
ャートのＸに関する受信信号テーブルをそれぞれ示す。
【００２８】信号「ＣＦ」の始点座標と終点座標を、そ
れぞれ、τ(X)、τ(Y) とする。この場合、τ(X) ＝350
である。以下では、τ(Y) の値を検査する領域を、次
のように、領域１〜４に分類する。
れぞれ、τ(X)、τ(Y) とする。この場合、τ(X) ＝350
である。以下では、τ(Y) の値を検査する領域を、次
のように、領域１〜４に分類する。
【００２９】 領域１： τ(Y) ≦ 150 領域２：150 ＜τ(Y) ≦ 200 領域３：200 ＜τ(Y) ≦ 250 領域４ τ(Y) ＞ 250 初めに、図９の送信信号テーブルによって、 ｔn (X) ≦τ(X) ≦ｔn+1 (X) を満たすｎの値を求める。この場合、 100 ＝ｔ1 (X) ≦τ(X) ≦ｔ2 (X) ＝＋∞ であるので、ｎ＝1 の場合について検査する。τ(Y) の
値が領域1 にある場合には、 τ(Y) ≦ｔ1 (Y) ＝150 であり、τ(Y) は前述した不等式（１ａ）を満たしてお
り、「受信不能状態」となる。一方、τ(Y) の値が領域
２〜４にある場合には、 150 ＝ｔ1 (Y) ＜τ(Y) ＜ｔ2 (Y) ＝＋∞ であり、τ(Y) は前述した不等式（１ｂ）を満たしてお
り、「受信不能状態」とはならない。
値が領域1 にある場合には、 τ(Y) ≦ｔ1 (Y) ＝150 であり、τ(Y) は前述した不等式（１ａ）を満たしてお
り、「受信不能状態」となる。一方、τ(Y) の値が領域
２〜４にある場合には、 150 ＝ｔ1 (Y) ＜τ(Y) ＜ｔ2 (Y) ＝＋∞ であり、τ(Y) は前述した不等式（１ｂ）を満たしてお
り、「受信不能状態」とはならない。
【００３０】次に、図１０の受信信号テーブルによっ
て、 ｔn (X) ≦τ(X) ≦ｔn+1 (X) を満たすｎの値を求める。この場合、 250 ＝ｔ2 (X) ≦τ(X) ≦ｔ3 (X) ＝＋∞ であるので、ｎ＝2 の場合について検査する。τ(Y) の
値が領域1 〜3 にある場合には、 τ(Y) ≦ｔ2 (Y) ＝250 であり、τ(Y) は前述した不等式（２ａ）を満たしてお
り、「デッドロック」となる。一方、領域4 の場合に
は、 τ(Y) ＞ｔ2 (Y) ＝250 であり、τ(Y) は前述した不等式（２ｂ）を満たしてお
り、「デッドロック」とはならない。
て、 ｔn (X) ≦τ(X) ≦ｔn+1 (X) を満たすｎの値を求める。この場合、 250 ＝ｔ2 (X) ≦τ(X) ≦ｔ3 (X) ＝＋∞ であるので、ｎ＝2 の場合について検査する。τ(Y) の
値が領域1 〜3 にある場合には、 τ(Y) ≦ｔ2 (Y) ＝250 であり、τ(Y) は前述した不等式（２ａ）を満たしてお
り、「デッドロック」となる。一方、領域4 の場合に
は、 τ(Y) ＞ｔ2 (Y) ＝250 であり、τ(Y) は前述した不等式（２ｂ）を満たしてお
り、「デッドロック」とはならない。
【００３１】以上をまとめると、図８において、始点座
標がτ(X) ＞350 である信号の終点τ(Y) を領域1 〜4
に指定すると次のようになる。
標がτ(X) ＞350 である信号の終点τ(Y) を領域1 〜4
に指定すると次のようになる。
【００３２】 領域１：論理誤り「受信不能状態」（「デッドロック」
もある） 領域２：論理誤り「デッドロック」 領域３：論理誤り「デッドロック」 領域４：論理誤りなし
もある） 領域２：論理誤り「デッドロック」 領域３：論理誤り「デッドロック」 領域４：論理誤りなし
【００３３】
【発明の効果】以上説明したように、本発明のプロトコ
ル設計装置によれば、プロトコルの論理誤りを、プロト
コル設計中に検出することができ、従来に較べてプロト
コル設計作業の効率を向上させることができ、通信ソフ
トウェアの生産性の向上を図ることができる。
ル設計装置によれば、プロトコルの論理誤りを、プロト
コル設計中に検出することができ、従来に較べてプロト
コル設計作業の効率を向上させることができ、通信ソフ
トウェアの生産性の向上を図ることができる。
【図１】本発明の一実施例のプロトコル設計装置の構成
を示す図。
を示す図。
【図２】シーケンス・チャートによるプロトコルの記述
方法を説明するための図。
方法を説明するための図。
【図３】「受信不能状態」の検出方法を説明するための
図。
図。
【図４】図３のプロセスＸに関する送信信号テーブルを
示す図。
示す図。
【図５】「デッドロック」の検出方法を説明するための
図。
図。
【図６】図５のプロセスＸに関する受信信号テーブルを
示す図。
示す図。
【図７】図１のプロトコル設計装置の動作を説明するた
めのフロー図。
めのフロー図。
【図８】プロトコル設計の例を説明するためのシーケン
ス・チャートを示す図。
ス・チャートを示す図。
【図９】図８のプロセスＸに関する送信信号テーブルを
示す図。
示す図。
【図１０】図８のプロセスＸに関する受信信号テーブル
を示す図。
を示す図。
１ 編集部 ２ 記憶部 ３ 受信不能状態判定部 ４ デッドロック判定部 ５ 警告部 ６ 入力部
Claims (1)
- 【特許請求の範囲】 【請求項１】 通信システムを構成する複数のプロセス
間の信号の送受信状態を記述するシーケンス・チャート
上における信号の始点座標および終点座標を入力するた
めの入力部と、 前記始点座標および前記終点座標を記憶するための記憶
部と、 前記入力部から新たに入力された信号の終点座標が、既
に入力済みの信号の始点および終点座標に応じて決定さ
れる許容領域内にあるか否かによって、プロトコルの論
理誤りがあるか否かを判定する判定部と、 前記判定部により、プロトコルの論理誤りがあると判定
された場合、警告を発する警告部と、 前記判定部により、プロトコルの論理誤りがないと判定
された場合、当該信号の始点座標および終点座標を編集
して前記記憶部に書き込む編集部とを備えたことを特徴
とするプロトコル設計装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3159208A JPH0514440A (ja) | 1991-06-29 | 1991-06-29 | プロトコル設計装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3159208A JPH0514440A (ja) | 1991-06-29 | 1991-06-29 | プロトコル設計装置 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0514440A true JPH0514440A (ja) | 1993-01-22 |
Family
ID=15688687
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3159208A Withdrawn JPH0514440A (ja) | 1991-06-29 | 1991-06-29 | プロトコル設計装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0514440A (ja) |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH07113362A (ja) * | 1993-08-30 | 1995-05-02 | Mitsubishi Electric Corp | キー保管装置 |
| US7129817B2 (en) | 2002-08-01 | 2006-10-31 | Unirec Co., Ltd. | Apparatus for controlling articles in custody |
| CN110851286A (zh) * | 2019-11-12 | 2020-02-28 | 北京城市网邻信息技术有限公司 | 线程管理方法、装置、电子设备及存储介质 |
| CN112088519A (zh) * | 2018-03-13 | 2020-12-15 | 特克特朗尼克公司 | 用于协议设计、评估和调试的集成开发环境 |
-
1991
- 1991-06-29 JP JP3159208A patent/JPH0514440A/ja not_active Withdrawn
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH07113362A (ja) * | 1993-08-30 | 1995-05-02 | Mitsubishi Electric Corp | キー保管装置 |
| US7129817B2 (en) | 2002-08-01 | 2006-10-31 | Unirec Co., Ltd. | Apparatus for controlling articles in custody |
| CN112088519A (zh) * | 2018-03-13 | 2020-12-15 | 特克特朗尼克公司 | 用于协议设计、评估和调试的集成开发环境 |
| CN110851286A (zh) * | 2019-11-12 | 2020-02-28 | 北京城市网邻信息技术有限公司 | 线程管理方法、装置、电子设备及存储介质 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP2006004346A (ja) | パターン検出プログラム | |
| CN111491002B (zh) | 设备巡检方法、装置、被巡检设备、巡检服务器及系统 | |
| CN112990495A (zh) | 一种车辆售后诊断的方法、装置、系统及存储介质 | |
| CN113485881A (zh) | 一种临时限速服务器的测试方法、装置、电子设备及介质 | |
| JPH0514440A (ja) | プロトコル設計装置 | |
| JPH10105440A (ja) | システム障害監視装置及び記録媒体 | |
| CN112003647B (zh) | 一种回收光猫的检测方法、装置、设备及存储介质 | |
| JPH05233716A (ja) | 自動属性判定方式 | |
| US7475369B1 (en) | Eliminate false passing of circuit verification through automatic detecting of over-constraining in formal verification | |
| JP3248223B2 (ja) | 点検中のデータ更新ロック装置 | |
| JP2795332B2 (ja) | ループ処理誤り検出装置 | |
| JP2000057014A (ja) | テスト装置、テストケース評価装置、およびテスト結果解析装置 | |
| JP3602231B2 (ja) | テストパターン作成装置 | |
| JP2003174460A (ja) | データ通信方法及びその実施システム並びにその処理プログラム | |
| JPH0749880A (ja) | データベースアクセス要求装置 | |
| CN115757424A (zh) | 一种数据导出方法及装置、电子设备及存储介质 | |
| CN115242603A (zh) | 故障状态管理方法、装置、电子设备及存储介质 | |
| CN117539766A (zh) | 一种基于pmd的静态代码扫描方法、系统、设备及储存介质 | |
| CN113673832A (zh) | 一种运营指标数据的生成方法、装置、设备及介质 | |
| JP3727417B2 (ja) | 論理シミュレーション装置 | |
| CN116932405A (zh) | 加固测试方法、装置、设备及存储介质 | |
| US7246292B2 (en) | Apparatus and method for bit pattern learning and computer product | |
| CN118245364A (zh) | 自动化的模型测试方法、装置、设备以及存储介质 | |
| JPH05342293A (ja) | タイミング検証装置 | |
| JP2936862B2 (ja) | 論理検証装置 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A300 | Application deemed to be withdrawn because no request for examination was validly filed |
Free format text: JAPANESE INTERMEDIATE CODE: A300 Effective date: 19980903 |