JPH1031597A - ソフトウェア試験装置 - Google Patents

Abstract

(57)【要約】 【目的】 ソフトウェアの実行結果をソフトウェアの仕
様と比較して検証する際、実行結果を直感的に認識する
のが難しく作業効率が低かった。 【構成】 ソフトウェアの実行結果を表す全順序表示の
メッセージシーケンスを、半順序表示のメッセージシー
ケンスに変換する機能を設けたことにより、作成された
ソフトウェアが仕様通りに実行されたか否かを同形式の
メッセージシーケンスとして比較することが可能にな
り、直感的な検証作業を実現できる作業効率に優れたソ
フトウェア試験装置を得ることができる

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、作成されたソフト
ウェアの機能確認及び問題解析に用いて好適なソフトウ
ェア試験装置に関する。

【０００２】

【従来の技術】従来、実際に作成されたソフトウェアが
仕様通りに作成されているか否かを確認する方法として
次のものが知られている。この方法は、ソフトウェアの
プロセス動作に着目し、プロセス間で送受されるメッセ
ージ信号の送受信時刻の関係を時系列にモニタ画面上に
表示するものである。以下、複数のメッセージ信号の送
受信を時系列で表したものをメッセージシーケンスと呼
ぶことにする。

【０００３】図２に、かかるメッセージシーケンスの一
例を示す。ソフトウェアのあるプロセスから他のプロセ
スに対するメッセージ信号の送信指示が出された場合、
ソフトウェアは、他のプロセスに対して当該送信処理を
行うと共に、メッセージ信号の送出時刻とメッセージ信
号の受信時刻のメッセージシーケンスへの割り付け処理
を行う。

【０００４】これを視覚的に表したのがメッセージシー
ケンス図であり、ソフトウェアはこれをモニタ画面上に
表示する。なお、作成されたメッセージシーケンスは全
てのメッセージの送受信時刻の関係を表したものであ
り、以下、これを全順序表示のメッセージシーケンスと
呼ぶ。

【０００５】

【発明が解決しようとする課題】問題は、ソフトウェア
の仕様を記述したメッセージシーケンスと、ソフトウェ
アの実行結果を表示するメッセージシーケンスとでは、
その表示方法が異なる点である。なお、前者の表示を半
順序表示と呼び、後者の表示を全順序表示と呼ぶ。

【０００６】すなわち、全順序表示では、前述したよう
に、メッセージシーケンスに割り付けたメッセージ信号
の送出時刻とメッセージ信号の受信時刻とに基づいて、
全てのメッセージの送受信時刻の関係が表示されるのに
対し、半順序表示では、単一プロセスのメッセージ信号
の送受信時刻の関係とメッセージ信号の受信時刻は同じ
メッセージ信号の送信時刻より後であるという関係しか
表示されない。

【０００７】両者の違いを、図３を例に説明する。図３
（ａ）は、ソフトウェア作成前のソフトウェアの仕様を
表した半順序表示のメッセージシーケンスである。ま
た、図３（ｂ）、（ｃ）、（ｄ）は、ソフトウェア作成
後のソフトウェアを実行した結果、プロセス間で送受さ
れるメッセージ信号に実際の時刻を割り当てて全順序表
示したメッセージシーケンスを表している。なお、図３
（ｂ）、（ｃ）、（ｄ）は、図としてはそれぞれ異って
いるが、いずれも図３（ａ）に示す半順序表示のメッセ
ージシーケンスに適合するものである。

【０００８】この違いを、送出時刻と受信時刻の関係式
で説明する。なお、メッセージｍｉの出力時刻をｏ（ｍ
ｉ）、入力時刻をｉ（ｍｉ）という記法で書くものとす
る。このとき、図３（ａ）の関係は、ｏ（ｍ１）＜ｉ
（ｍ１）、ｏ（ｍ１）＜ｏ（ｍ２）、ｏ（ｍ２）＜ｉ
（ｍ２）を表しているにすぎない。

【０００９】ここで、プロセスＡ、Ｂ、Ｃ（proc_A,pro
c_B,proc_C）に共通な時間軸を導入したとすると、図３
（ａ）は、実時間で次の３つの場合となる。すなわち、
図３（ｂ）、（ｃ）、（ｄ）においては、図３（ａ）の
関係式と同じ、ｏ（ｍ１）＜ｉ（ｍ１）、ｏ（ｍ１）＜
ｏ（ｍ２）、ｏ（ｍ２）＜ｉ（ｍ２）が成り立つのに加
え、更に、次の関係が成り立つことになる。

【００１０】まず、図３（ｂ）の場合は、ｉ（ｍ１）＜
ｏ（ｍ２）が成り立つ。また同じく、図３（ｃ）の場合
は、ｉ（ｍ１）＞ｏ（ｍ２）、ｉ（ｍ１）＜ｉ（ｍ２）
が成り立つ。さらに、図３（ｄ）の場合は、ｉ（ｍ１）
＞ｏ（ｍ２）、ｉ（ｍ１）＞ｉ（ｍ２）が成り立つ。

【００１１】ここで、図３（ｂ）に着目すると、その関
係式より、例えば、ｉ（ｍ１）＜ｏ（ｍ２）、かつ、ｏ
（ｍ２）＜ｉ（ｍ２）ならばｉ（ｍ１）＜ｉ（ｍ２）が
分かり、∀ａ、ｂ∈Ｒに対して、ａＲｂ∪ｂＲａ（ａ、
ｂはメッセージの送受信時刻、Ｒは大小関係）が分か
る。このように、全てのプロセスに共通な時間軸を導入
して全順序表示を行うと、全てのメッセージ送受信時刻
の前後関係が明確になり、全てのメッセージ送受信時刻
が全順序関係となる。

【００１２】ところが、図３（ｄ）の様な表示の場合に
は、かかる全順序表示のメッセージシーケンスが、図３
（ａ）に示すソフトウェア仕様の半順序表示のメッセー
ジシーケンスに対応するものであることを直観的に認識
することが難しく、両メッセージシーケンスの対応付け
作業が非効率にならざるを得なかった。

【００１３】本発明は以上の点を考慮してなされたもの
で、従来システムに比して、ソフトウェアの機能確認や
問題解析を効率的に行うことができるソフトウェア試験
方法及びシステムを提案しようとものである。

【００１４】

【課題を解決するための手段】かかる課題を解決するた
め、本発明においては、(1) ソフトウェアの実行時、あ
るプロセスから他のプロセスに対して送出されたメッセ
ージ信号の送出時刻と受信時刻をメッセージシーケンス
に割り付けて格納する機能と、(2) 複数のメッセージ信
号について得た送受信時刻の関係から全順序表示のメッ
セージシーケンスを生成する機能と、(3) 全順序表示の
メッセージシーケンスを、半順序表示のメッセージシー
ケンスに変換する機能とを、ソフトウェア試験装置に設
ける。

【００１５】本発明のソフトウェア試験装置において
は、ソフトウェアの実行結果が全順序表示のメッセージ
シーケンスだけでなく、半順序表示のメッセージシーケ
ンスとしても確認できるようになるので、作成されたソ
フトウェアが仕様通りに実行されたか否かを同形式のメ
ッセージシーケンスとして比較することができ、直感的
な検証作業を進めることができる。

【００１６】

【発明の実施の形態】

（Ａ）第１〜第４の実施形態に共通の基本概念 本実施形態に係るソフトウェア試験システムは、作成し
たソフトウェアの実行結果を、全順序表示のメッセージ
シーケンスから半順序表示のメッセージシーケンスに変
換して表示できるようにする。

【００１７】かかる機能により、作業者による、同一表
現形式（半順序表示）でのメッセージシーケンスの比較
を実現し、直感的な比較検証作業により作業効率の向上
を図っている。

【００１８】このため、本実施形態に係るソフトウェア
試験システムにおいては、作成したソフトウェアの実行
の際、あるプロセスから他のプロセスに対するメッセー
ジ信号の送信指示が出された場合に有効な機能として次
の４つの機能を設けている。

【００１９】(1) メッセージ信号の送出時刻とメッセー
ジ信号の受信時刻をメッセージシーケンスに割り付ける
際、それらを基にしたメッセージシーケンスを視覚的に
表した全順序表示のメッセージシーケンスをＣＲＴ上に
表示する機能（以下、全順序表示の機能と呼ぶ）。

【００２０】(2) 実行結果の全順序表示のメッセージシ
ーケンスを半順序表示のメッセージシーケンスに変換表
示する機能（以下、全順序から半順序への変換機能と呼
ぶ）。 (3) 既に実行された過去のメッセージシーケンスをファ
イルに格納し、再びファイルから読み出して表示する機
能（以下、シーケンスデータのファイル入出力の機能と
呼ぶ）。

【００２１】(4) 表示するメッセージシーケンスの範囲
を設定する機能（以下、シーケンス表示範囲設定機能と
呼ぶ）。

【００２２】（Ｂ）各実施形態間の関係 なお、かかる４つの機能については、各実施形態で分説
することにし、第１の実施形態では、全順序表示の機能
(1) と全順序から半順序への変換機能(2) について説明
する。

【００２３】また、第２の実施形態では、第１の実施形
態で説明した全順序表示の機能(1)と全順序から半順序
への変換機能(2) を使用して行うソフトウェアの検証処
理を説明する。

【００２４】さらに、第３の実施形態では、第１の実施
形態で説明した全順序表示の機能(1) と全順序から半順
序への変換機能(2) を使用して、シーケンスデータのフ
ァイル入出力の機能(3) について説明する。

【００２５】第４の実施形態では、第１の実施形態で説
明した全順序表示の機能(1) と全順序から半順序への変
換機能(2) を使用して、シーケンス表示範囲設定機能
(4) について説明する。

【００２６】（Ｃ）ソフトウェア試験システムの基本構
成 ここでは、各実施形態で各機能について説明するのに先
立ち、ソフトウェア試験システムの基本構成を説明す
る。このソフトウェア試験システムは、例えば、入力装
置や処理装置や記憶装置（補助記憶装置を含む）や出力
装置を備えたワークステーション等の情報処理装置上に
構築されるが、機能的に表すと、図１のブロック図のよ
うになる。

【００２７】図１に示すように、ソフトウェア試験シス
テムは、ワークステーション４、キーボード１、マウス
２、ＣＲＴ２１、ネットワークインターフェース８、通
話路系シミュレータ７、呼端末３の７つから構成されて
いる。

【００２８】このうち、ワークステーション４は、さら
に、ソフトウェア１０、ソフトウェア実行部（シミュレ
ータ）１１、ソフトウェア実行管理部１２、シーケンス
図管理部１３、メッセージデータ蓄積部１４、表示用メ
ッセージデータ抽出部１５、メッセージデータ変換部１
６、シーケンス図表示部１７、表示用メモリ１８、メッ
セージデータ用の記憶装置９、メッセージデータ用メモ
リ１９からなり、これら各部の関連動作により、本実施
形態に特有な機能を実現している。

【００２９】図４に、中でも中心的な役割を果たすメッ
セージデータ用メモリ１９の構成を示す。メッセージデ
ータ用メモリ１９は、可変のメモリ領域であるメッデー
ジデータメモリ領域１００、固定のメモリ領域であるメ
ッセージデータ書き込みポインタ１０１、メッセージデ
ータ検索ポインタ１０２、表示開始ポインタ１０３、表
示終了ポインタ１０４、変換用書き込みポインタ１０５
からなる。

【００３０】ここで、メッセージデータメモリ領域１０
０は、１つのアドレスに対して、メモリアドレス１１
０、メッセージ番号１１１、送出時刻１１２、送出プロ
セス番号１１３、受信時刻１１４、受信プロセス番号１
１５、全順序表示送信Ｘ座標１１６、全順序表示送信Ｙ
座標１１７、全順序表示受信Ｘ座標１１８、全順序表示
受信Ｙ座標１１９、半順序表示送信Ｘ座標１２０、半順
序表示送信Ｙ座標１２１、半順序表示受信Ｘ座標１２
２、半順序表示受信Ｙ座標１２３を記録し、各種機能の
実現に大きな役割を果たしている。

【００３１】図５及び図６に、かかる構成のソフトウェ
ア試験システムの構成を用いて実現される表示例を説明
する。

【００３２】図５は、現在実行中のソフトウェアのプロ
セス間で送受信されるメッセージ信号について送信時刻
を割り付ける方法で作成された全順序表示のメッセージ
シーケンスと、この全順序表示メッセージシーケンスを
本発明の変換方法で変換してなる半順序表示のメッセー
ジシーケンスとを同時に表示したモニタ画面例である。

【００３３】また、図６は、既に実行が終了したソフト
ウェアのプロセス間で送受信されるメッセージ信号を送
信時刻を割り付ける方法で作成された全順序表示のメッ
セージシーケンスのデータをメッセージデータ用の記憶
装置９から読み出し、これを本発明が定めた変換方法で
変換した半順序表示のメッセージシーケンスとして表示
したモニタ画面例である。

【００３４】（Ｄ）第１の実施形態 以下、図面について、本発明の第１の実施形態を説明す
る。この実施形態では、前述した図１のソフトウェア試
験システムによる全順序表示の機能(1) 及び全順序から
半順序への変換機能(2) の実現を説明する。

【００３５】（Ｄ−１）ソフトウェア実行部１１の動作 まず、図１で、キーボード１又はマウス２を用いた画面
上の操作によりソフトウェア実行管理部１２に指示を出
し、ソフトウェア１０を起動する。ソフトウェア１０の
起動後における実行は、ソフトウェア実行部（シミュレ
ータ）１１で行われる。ソフトウェア実行部（シミュレ
ータ）１１は、実行の際、ソフトウェア１０のプロセス
間でメッセージ信号の送受信を行う。

【００３６】このとき、ソフトウェア実行部（シミュレ
ータ）１１は、送信の度に、送出時刻、メッセージ番号
及び送出プロセス番号をメッセージデータ蓄積部１４に
伝える。ここで、送出プロセス番号は全てのプロセスの
各プロセスに対して一意に付される１から始まる自然数
であり、その最大値（最大プロセス番号）はソフトウェ
ア実行部（シミュレータ）１１に保持されている。ま
た、メッセージ番号は送信時にソフトウェア実行部（シ
ミュレータ）１１が割り付けられる番号であり、全ての
メッセージについて一意に付される整数値である。

【００３７】一方、ソフトウェア実行部（シミュレー
タ）１１は、受信の度に、受信時刻、メッセージ番号及
び受信プロセス番号をメッセージデータ蓄積部１４に伝
える。ここで、受信プロセス番号は全てのプロセスの各
プロセスに対して一意に付される１から始まる自然数で
あり、その最大値（最大プロセス番号）はソフトウェア
実行部（シミュレータ）１１に保持されている。

【００３８】（Ｄ−２）メッセージ蓄積部１４の動作 上述のように、メッセージ蓄積部１４へのデータ伝送が
行われると、次は、メッセージデータ蓄積部１４からメ
ッセージデータ用メモリ１９へのデータ書き込み動作に
移る。ここからの処理の流れは、図７を用いて説明す
る。

【００３９】（Ｄ−２−１）送信時の動作 メッセージデータ書き込みポインタ１０１は、最初、メ
ッセージデータメモリ領域１００の最初のアドレスを指
している（ステップＳＰ１）。ここで、メッセージデー
タ書き込みポインタ１０１は、データを書き込むメモリ
アドレスを指定するものである。送信の動作としてソフ
トウェア実行部（シミュレータ）１１から送出時刻、メ
ッセージ番号及び送出プロセス番号が伝えられると（ス
テップＳＰ２）、メッセージデータ蓄積部１４はメッセ
ージデータ書き込みポインタ１０１の指す領域に対して
書き込みを行う（ステップＳＰ４）。

【００４０】このとき、送出時刻は送出時刻１１２に書
き込まれ、メッセージ番号は送出プロセス番号１１３に
書き込まれ、送出プロセス番号は送出プロセス番号１１
３に書き込まれる。この書き込みが終了すると、メッセ
ージデータ蓄積部１４は、メッセージデータ書き込みポ
インタ１０１を次のメッセージデータメモリ領域のアド
レスに移動させる（ステップＳＰ５）。ここで、データ
は、送出時刻の早いものからメッセージデータ蓄積部１
４に順番に伝えられるので、メッセージデータメモリ領
域１００には送出時刻に関して早いものから順番にメモ
リアドレス上に並べられることになる。

【００４１】（Ｄ−２−２）受信時の動作 次に、受信の動作としてソフトウェア実行部（シミュレ
ータ）１１から受信時刻、メッセージ番号及び受信プロ
セス番号が伝えられると、メッセージデータ蓄積部１４
は、ソフトウェア実行部（シミュレータ）１１から伝え
られてきたメッセージ番号と一致する整数値を、メッセ
ージデータメモリ領域１００の最初のアドレスからメッ
セージデータ書き込みポインタ１０１を指すアドレスま
での範囲でメッセージ番号１１１の領域の中から捜し出
す。

【００４２】メッセージデータ蓄積部１４は、検索ポイ
ンタ１０２をメッセージデータメモリ領域１００の最初
のアドレスから順にメッセージデータ書き込みポインタ
１０１が指すアドレスまで移動しながら、検索ポインタ
１０２が指すメモリの中のメッセージ番号の内容がソフ
トウェア実行部（シミュレータ）１１から伝えられてき
たメッセージ番号と一致すれば検索完了となる。

【００４３】なお、メッセージ番号は送信時にソフトウ
ェア実行部（シミュレータ）１１が割り付けられる番号
であり、全てのメッセージで一意である整数値であるの
で送出されたメッセージ番号は必ず捜し出せる。その捜
し出したメッセージデータ書き込みポインタ１０１を指
すメッセージ番号を持つメモリ領域に対してメッセージ
データ蓄積部１４は書き込みを行う。これにより、受信
時刻は受信時刻１１４に書き込まれ、受信プロセス番号
は受信プロセス番号に書き込まれる。

【００４４】このようにしてメッセージ信号はメッセー
ジデータ蓄積部１４に渡され、メッセージデータ用メモ
リ１９に蓄えられる。また送受信時刻の情報が両方揃っ
たメッセージ信号は、送受信時刻の情報が付与された形
でメッセージデータ用の記憶装置９に蓄えられる。

【００４５】（Ｄ−３）表示用メッセージデータ抽出部
１５の動作 さて、表示用メッセージデータ抽出部１５には、シーケ
ンス図管理部１３から画面に表示する範囲の情報が、表
示開始時刻と表示終了時刻として伝わってくる。表示用
メッセージデータ抽出部１５は、この表示開始時刻と表
示終了時刻に基づいて、メッセージシーケンス表示範囲
のメッセージシーケンスデータを抽出する。その動作を
示す。なお、メッセージデータメモリ領域１００では、
送出時刻の早いものから順にメッセージデータがメモリ
アドレス上に並んでいることを考慮して表示範囲の抽出
を行う。ここからの処理の流れは図８に示す。

【００４６】まず、表示範囲の始まりを決めるために、
表示開始ポインタ１０３で表示範囲の始まりのメッセー
ジデータを指すようにする（ステップＳＰ１１）。その
方法は、メッセージデータメモリ領域１００の最初のア
ドレスから検索ポインタ１０２でアドレスが大きくなる
方向に検索してゆき（ステップＳＰ１２−ステップＳＰ
１３−ステップＳＰ１４のループ処理）、検索ポインタ
１０２が指しているメモリの送出時刻１１２の内容が画
面範囲情報である表示開始時刻より大きくなったメモリ
の位置を（すなわち、ステップＳＰ１３で肯定結果が得
られた位置を）表示開始ポインタ１０３で指す（ステッ
プＳＰ１５）。

【００４７】このステップＳＰ１５の処理が終了する
と、又は、ステップＳＰ１２で肯定結果が得られると、
次は、表示範囲の終りを決めるために、表示終了ポイン
タ１０４で表示範囲の終りのメッセージデータを指す
（ステップＳＰ１６）。その方法は、メッセージデータ
書き込みポインタ１０１の指すアドレスから検索ポイン
タ１０２でアドレスが小さくなる方向に検索してゆき
（ステップＳＰ１７−ステップＳＰ１８−ステップＳＰ
１９−ステップＳＰ１７のループ処理）、検索ポインタ
１０２が指しているメモリの送出時刻１１２の内容が画
面範囲情報である表示終了時刻より小さくなったメモリ
の位置を（すなわち、ステップＳＰ１８で肯定結果が得
られた位置を）表示終了ポインタ１０４で指し処理を終
了する（ステップＳＰ２０）。なお、ステップＳＰ１７
で肯定結果が得られた場合には、直ちに終了する。

【００４８】（Ｄ−４）メッセージデータ変換部１６の
動作 次に、メッセージデータ変換部１６が、全順序表示のメ
ッセージシーケンス及び半順序表示のメッセージシーケ
ンスを表示するために表示用の座標を設定する。その座
標は、図９に示されるように、長方形である表示画面の
向かって左上の頂点を原点とし、右方向の座標ほどＸ座
標が大きく、下方向の座標ほどＹ座標が大きくなる座標
系である。この座標の値は、メッセージシーケンスの表
示の際、シーケンス図表示部１７に使用される。

【００４９】ここで、メッセージデータ変換部１６は、
メモリ内の全順序表示送信Ｘ座標１１６、全順序表示送
信Ｙ座標１１７、全順序表示受信Ｘ座標１１８、全順序
表示受信Ｙ座標１１９に座標の値を設定する。

【００５０】（Ｄ−５）シーケンス図表示部１７の動作 （Ｄ−５−１）表示規則の前提 このように、座標系の設定が終了すると、次は、シーケ
ンス図表示部１７による表示動作に移る。

【００５１】なお、メッセージシーケンスを表示する際
における各プロセスの表示位置はプロセス番号で一意に
決定され、プロセス番号が１ほど異なるプロセスの表示
上の位置については、右方向のＸ座標がプロセス表示間
隔ほど離れて表示される。

【００５２】また、メッセージシーケンスを表示する際
における送出時刻、受信時刻の時刻の表示位置は一意に
決定され、時刻が１ほど異なる時刻の表示上の位置につ
いては、下方向のＹ座標が時刻表示間隔ほど離れて表示
される。

【００５３】すなわち、プロセス番号が大きいプロセス
の表示座標は右方向のＸ座標が大きくなり、時刻が大き
い時刻の表示座標は下方向のＹ座標が大きくなる。

【００５４】（Ｄ−５−２）全順次表示動作 最初に、全順序表示を行うためにメモリ内の全順序表示
送信Ｘ座標１１６、全順序表示送信Ｙ座標１１７、全順
序表示受信Ｘ座標１１８、全順序表示受信Ｙ座標１１９
に座標の値を設定する方法を以下に示す。

【００５５】なお、表示の範囲は、表示用メッセージデ
ータ抽出部１５が表示開始ポインタ１０３と表示終了ポ
インタ１０４の形で抽出されているものとする。ここか
らの処理の流れは図１０で示す。

【００５６】まず、シーケンス図表示部１７は、変換用
書き込みポインタ１０５を表示開始ポインタ１０３と同
じメモリアドレスを指すようにする（ステップＳＰ２
１）。その後、変換用書き込みポインタ１０５でアドレ
スが大きくなる方向にメモリを指してゆく（ステップＳ
Ｐ２２−ステップＳＰ２３−ステップＳＰ２４−ステッ
プＳＰ２２のループ処理）。

【００５７】ここで、ステップＳＰ２３では、以下の処
理が行われる。

【００５８】変換用書き込みポインタ１０５が指す位置
の全順序表示送信Ｘ座標１１６には、変換用書き込みポ
インタ１０５が指す位置の送出プロセス番号１１３の内
容とプロセス表示間隔を乗算した内容が書き込まれる。

【００５９】変換用書き込みポインタ１０５が指す位置
の全順序表示送信Ｙ座標１１７には、変換用書き込みポ
インタ１０５が指す位置の送出時刻１１２から表示開始
時刻を減算し、さらにその値に対して時刻表示間隔を乗
算した内容が書き込まれる。

【００６０】変換用書き込みポインタ１０５が指す位置
の全順序表示受信Ｘ座標１１８には、変換用書き込みポ
インタ１０５が指す位置の受信プロセス番号１１５の内
容とプロセス表示間隔を乗算した内容が書き込まれる。

【００６１】変換用書き込みポインタ１０５が指す位置
の全順序表示受信Ｙ座標１１９には、変換用書き込みポ
インタ１０５が指す位置の受信時刻１１４から表示開始
時刻を減算し、さらにその値に対して時刻表示間隔を乗
算した内容が書き込まれる。これらの書き込みの処理
を、変換用書き込みポインタ１０５が表示終了ポインタ
１０４になるまで（すなわち、ステップＳＰ２２で肯定
結果が得られるまで）繰り返す。

【００６２】（Ｄ−５−３）半順次表示動作 （Ｄ−５−３−１）基本概念の準備 次に、半順序表示を行うためにメモリ内の半順序表示送
信Ｘ座標１２０、半順序表示送信Ｙ座標１２１、半順序
表示受信Ｘ座標１２２、半順序表示受信Ｙ座標１２３に
座標の値を設定する方法を以下に示す。

【００６３】ここで、表示の範囲は、表示用メッセージ
データ抽出部１５が表示開始ポインタ１０３と表示終了
ポインタ１０４の形で抽出している。ここでの手続き
は、全てのプロセス番号に対して順に行われる。それは
１からソフトウェア実行部（シミュレータ）１１に保持
されている最大プロセス番号のプロセス番号までを順に
参照することにより行う。

【００６４】ここでは、その手続きの中で注目されてい
るプロセス番号を開始プロセス番号と呼ぶことにする。
なお、開始プロセス番号の各々に対する手続きを「各プ
ロセス番号に対する手続き」と呼ぶ。ここでは、以下で
述べる手続きの実行に関し、主な変数について説明して
おく。

【００６５】開始プロセス番号は、「各プロセス番号に
対する手続き」の中では一定の値を持ち、注目している
プロセス番号を示す。

【００６６】注目メッセージは、手続きの中で、半順序
表示のための座標値を設定しようとするメッセージを示
す。

【００６７】注目時刻は、手続きの中で、半順序表示の
ための座標値を設定しようとしている時刻を示す。

【００６８】かかる開始プロセス番号と注目時刻とが設
定されると、座標上の点が計算できる。

【００６９】（Ｄ−５−３−２）各プロセス番号に対す
る手続き 「各プロセス番号に対する手続き」の処理内容を図１１
に示す。なお、手続き中で注目しているプロセス番号
は、開始プロセス番号で示される。

【００７０】まず、ステップＳＰ３１において、注目プ
ロセス番号を開始プロセス番号に設定し、注目時刻を表
示開始時刻に設定する。

【００７１】その後は、注目プロセス番号及び注目時刻
の設定（ステップＳＰ３３）及び「前回書き込み終了点
に対する手続き（ステップＳＰ３４）」を繰り返す（ス
テップＳＰ３２−ステップＳＰ３３−ステップＳＰ３４
−ステップＳＰ３５−ステップＳＰ３２のループ処
理）。

【００７２】なお、「前回書き込み終了点に対する手続
き（ステップＳＰ３４）」は、その手続きの内部にある
「次メッセージへの移動の手続き」での検索に失敗した
とき終了する。因みに、このループ処理は、開始プロセ
ス番号が最大プロセス番号より大きくなった時点で（ス
テップＳＰ３２で肯定結果が得られたとき）抜ける。

【００７３】（Ｄ−５−３−３）ステップＳＰ３４で実
行される処理の概要 次に、かかる一連の処理動作のうち、「前回書き込み終
了点に対する手続き（ステップＳＰ３４）」の処理内容
を図１２により説明する。

【００７４】なお、前回の書き込み終了点は、前ステッ
プのステップＳＰ３３において、注目プロセス番号と注
目時刻の内容とから指定されている。従って、ステップ
ＳＰ３４では、これらの内容を基準に「前回書き込み終
了点に対する手続き」が実行される。因みに、この手続
きの実行後、注目メッセージに対する半順序表示のため
の座標が決定できる。

【００７５】そこで、このステップＳＰ３４では、書き
込み終了点を更新する。なお、注目プロセス番号に関し
ては既に更新されているので、注目時刻のみを更新す
る。

【００７６】ここで、注目メッセージが（以前の書き込
み点に対して）送信メッセージの場合には（すなわち、
ステップＳＰ４３で肯定結果が得られた場合には）、変
換用書き込みポインタ１０５が指す位置の半順序表示受
信Ｙ座標１２３を注目時刻に書き込む。一方、注目メッ
セージが（以前の書き込み点に対して）受信メッセージ
の場合には（すなわち、ステップＳＰ４３で否定結果が
得られた場合には）、変換用書き込みポインタ１０５が
指す位置の半順序表示送信Ｙ座標１２１を注目時刻に書
き込む。

【００７７】（Ｄ−５−３−３−１）ステップＳＰ４１
の内容 次に、ステップＳＰ３４のうちステップＳＰ４１の動
作、すなわち、メッセージの時刻点に移動するための手
続き「次メッセージへの移動の手続き」を説明する。こ
こからの処理の流れは図１３に示される。

【００７８】まず、ステップＳＰ６１において、変換用
書き込みポインタ１０５を表示開始ポインタ１０３と同
じメモリアドレスに設定する。

【００７９】その後、変換用書き込みポインタ１０５で
アドレスが大きくなる方向にメモリを指定してゆく（ス
テップＳＰ６２−ステップＳＰ６３−ステップＳＰ６４
−ステップＳＰ６２のループ処理）。

【００８０】そして、変換用書き込みポインタ１０５が
指す位置の送出プロセス番号１１３又は受信プロセス番
号１１５の内容が注目プロセス番号に一致しかつ、注目
プロセス番号に関する時刻（注目プロセス番号が送出プ
ロセス番号１１３に一致する場合は（ステップＳＰ６５
で肯定結果が得られた場合）、送出時刻１１２が注目時
刻より大きくなった時点（ステップＳＰ６６で肯定結果
が得られた時点）で検索を終了する。

【００８１】一方、注目プロセス番号が受信プロセス番
号１１５と一致する場合は（ステップＳＰ６５で否定結
果が得られた場合）、受信時刻１１４が注目時刻より大
きくなった時点で検索（ステップＳＰ６７で肯定結果が
得られた時点）で検索を終了する。

【００８２】その時、変換用書き込みポインタ１０５が
指しているメッセージが、次に半順序表示のための座標
を決定するメッセージとなる。従って、ステップＳＰ６
８において、注目メッセージに変換用書き込みポインタ
１０５が指しているアドレスのメッセージ番号１１１を
書き込む。なお、検索の範囲は、変換用書き込みポイン
タ１０５が表示終了ポインタ１０４になるまでである。
もし検索の範囲内で検索が失敗すれば（ステップＳＰ６
２で肯定結果が得られた場合は）、「前回書き込み終了
点に対する手続き」を終了する。

【００８３】また、シーケンス図上での「次メッセージ
への移動の手続き」の移動の図を図１４で示す。

【００８４】（Ｄ−５−３−３−２）注目メッセージが
送信メッセージの場合の処理（ステップＳＰ４４〜ステ
ップＳＰ４９）の内容 さて、上述のステップＳＰ４１の処理が終了すると、次
は、図１２で説明したステップＳＰ４３の判定処理に進
む。ここで、注目プロセス番号が注目メッセージの送出
プロセス番号１１３の内容と一致する場合は、その注目
メッセージが送信メッセージであるとして、ステップＳ
Ｐ４４の処理を実行する。

【００８５】このステップＳＰ４４では、変換用書き込
みポインタ１０５が指す位置の半順序表示送信Ｘ座標１
２０には、変換用書き込みポインタ１０５が指す位置の
送出プロセス番号１１３の内容と、プロセス表示間隔と
を乗算した内容を書き込む。また、変換用書き込みポイ
ンタ１０５が指す位置の半順序表示送信Ｙ座標１２１に
は、注目時刻と、時刻表示間隔とを乗算した内容を書き
込む。この処理により、注目メッセージの片方の点の座
標が決定される。次に、ステップＳＰ４５において、残
るもう片方の点の座標を決定する。

【００８６】このステップＳＰ４５では、変換用書き込
みポインタ１０５が指す位置の半順序表示受信Ｘ座標１
２２に、変換用書き込みポインタ１０５が指す位置の受
信プロセス番号１１５と、プロセス表示間隔とを乗算し
た内容が書き込まれ、変換用書き込みポインタ１０５が
指す位置の半順序表示受信Ｙ座標１２３に注目時刻と、
時刻表示間隔とを乗算した内容が書き込まれる。この処
理により残るもう片方の点の座標が決定された。ただ
し、このステップＳＰ４５で決定された座標は、仮の受
信座標と呼ばれ、ステップＳＰ４６に示される「注目メ
ッセージが送信メッセージの場合の検証」が行われる。

【００８７】ここで、検証が正しければ（ステップＳＰ
４７で肯定結果が得られた場合）、仮の受信座標はその
まま正式な座標値となる。そして、注目プロセス番号に
変換用書き込みポインタ１０５が指す位置の受信プロセ
ス番号１１５を書き込み、書き込みの終了点を移動して
おく。

【００８８】これに対して、検証が正しくなければ（ス
テップＳＰ４７で否定結果が得られた場合）、ステップ
ＳＰ４９の処理に移り、「注目メッセージが送信メッセ
ージの場合の検証」で設定される座標を設定する。

【００８９】（Ｄ−５−３−３−３）注目メッセージが
受信メッセージの場合の処理（ステップＳＰ５０〜ステ
ップＳＰ５５）の内容 上述の処理に対して、ステップＳＰ４３で、注目プロセ
ス番号が注目メッセージの受信プロセス番号１１５の内
容と一致した場合には、その注目メッセージが受信メッ
セージであるとして、ステップＳＰ５０の処理が実行さ
れる。

【００９０】ステップＳＰ５０では、変換用書き込みポ
インタ１０５が指す位置の半順序表示受信Ｘ座標１２２
に、変換用書き込みポインタ１０５が指す位置の受信プ
ロセス番号１１５の内容と、プロセス表示間隔とを乗算
した内容が書き込まれる。また、変換用書き込みポイン
タ１０５が指す位置の半順序表示受信Ｙ座標１２３に、
注目時刻と、時刻表示間隔とを乗算した内容が書き込ま
れる。この処理により、注目メッセージの片方の点の座
標が決定される。次に、ステップＳＰ５１において、残
るもう片方の点の座標を決定する。

【００９１】このステップＳＰ５１では、変換用書き込
みポインタ１０５が指す位置の半順序表示送信Ｘ座標１
２０に、変換用書き込みポインタ１０５が指す位置の送
出プロセス番号１１３と、プロセス表示間隔とを乗算し
た内容が書き込まれる。また、変換用書き込みポインタ
１０５が指す位置の半順序表示送信Ｙ座標１２１に、注
目時刻と、時刻表示間隔とを乗算した内容が書き込まれ
る。この処理により残るもう片方の点の座標が決定され
た。ただし、このステップＳＰ５１で決定された座標
は、仮の送信座標と呼ばれ、ステップＳＰ５２に示され
る「注目メッセージが受信メッセージの場合の検証」が
行われる。

【００９２】ここで、検証が正しければ（ステップＳＰ
５３で肯定結果が得られた場合）、仮の送信座標はその
まま正式な座標値となる。さらに注目プロセス番号に変
換用書き込みポインタ１０５が指す位置の送出プロセス
番号１１３を書き込み、書き込みの終了点を移動してお
く。

【００９３】これに対して、検証が正しくなければ（ス
テップＳＰ５３で否定結果が得られた場合）、ステップ
ＳＰ５５の処理に移り、「注目メッセージが受信メッセ
ージの場合の検証」で設定される座標を設定する。

【００９４】（Ｄ−５−３−４）注目メッセージが送信
メッセージの場合の検証動作（ステップＳＰ４６） ここで、注目メッセージが送信メッセージの場合の妥当
性の検証動作（ステップＳＰ４６）を図１５を用いて詳
述しておく。この検証動作には、上方向の検証（ステッ
プＳＰ７１−ステップＳＰ７２）と下方向の検証（ステ
ップＳＰ７３−ステップＳＰ７４）とがある。これら
は、互いに排反であり、検証が妥当でない場合（ステッ
プＳＰ７２の否定結果及びステップＳＰ７４の否定結果
の場合）、正しい内容に変更する手続き（ステップＳＰ
７５及びステップＳＰ７６）のどちらか一方だけが行わ
れる。

【００９５】（Ｄ−５−３−４−１）ステップＳＰ７１
の検証動作 上述のステップＳＰ７１では、図１６に示す処理が実行
されている。

【００９６】まず、ステップＳＰ８１において、今から
書き込もうとする半順序表示受信Ｙ座標１２３の内容よ
り小さくて最も近いＹ座標が注目プロセス番号に関する
半順序表示Ｙ座標（注目プロセス番号が送出プロセス番
号の時は半順序表示送信Ｙ座標１２１、注目プロセス番
号が受信プロセス番号の時は半順序表示受信Ｙ座標１２
３）にすでに書き込まれており、送出プロセス番号又は
受信プロセス番号が注目プロセス番号に一致するような
メッセージを探索する。

【００９７】そのようなメッセージがなければ（ステッ
プＳＰ８２で否定結果の場合は）、妥当であると判断で
きる。

【００９８】これに対して、そのようなメッセージがあ
る場合（ステップＳＰ８２で肯定結果の場合は）、これ
を書き込み前メッセージと呼び、ステップＳＰ８３の判
定処理に移る。

【００９９】ステップＳＰ８３では、注目メッセージの
受信時刻が、書き込み前メッセージの注目プロセス番号
に関する送受信時刻（注目プロセス番号が送出プロセス
番号の時は書き込み前メッセージの送出時刻１１２、注
目プロセス番号が受信プロセス番号の時は書き込み前メ
ッセージの受信時刻１１４）よりも大きいか否か判定
し、大きい場合（ステップＳＰ８３で肯定結果の場合）
は妥当であるとする。これに対して、小さい場合（ステ
ップＳＰ８３で否定結果の場合）は妥当ではないので、
変換用書き込みポインタ１０５が指す位置の半順序表示
受信Ｙ座標１２３の内容を変更する。

【０１００】そして、次のステップＳＰ８４において、
書き込み前メッセージよりさらに以前の座標が決定され
たメッセージ（すなわち書き込み前メッセージの注目プ
ロセス番号に関する半順序表示Ｙ座標の値より小さくて
最も近い座標が注目プロセス番号に関する半順序表示Ｙ
座標に設定されているメッセージ）を捜し出す。

【０１０１】そのようなメッセージが存在すれば（ステ
ップＳＰ８５で肯定結果が得られれば）、そのメッセー
ジを書き込み前の前のメッセージと呼び、ステップＳＰ
８６の処理に移る。

【０１０２】ステップＳＰ８６では、書き込み前の前の
メッセージの注目プロセス番号に関する半順序表示Ｙ座
標と書き込み前メッセージの注目プロセス番号に関する
半順序表示Ｙ座標との差の絶対値をとり、これを２で除
算したものを、書き込み前メッセージの注目プロセス番
号に関する半順序表示Ｙ座標から減算したものを変換用
書き込みポインタ１０５が指す位置の半順序表示受信Ｙ
座標１２３の内容とする。

【０１０３】これに対して、そのようなメッセージが存
在しなければ（ステップＳＰ８５で否定結果が得られた
場合には）、ステップＳＰ８７で、書き込み前メッセー
ジの注目プロセス番号に関する半順序表示Ｙ座標より時
刻表示間隔を減算したものを、変換用書き込みポインタ
１０５が指す位置の半順序表示受信Ｙ座標１２３の内容
とする。

【０１０４】（Ｄ−５−３−４−２）ステップＳＰ７３
の検証動作 次に、下方向の検証の手続きを、図１７を用いて説明す
る。

【０１０５】まず、ステップＳＰ９１において、今から
書き込もうとする半順序表示受信Ｙ座標１２３の内容よ
り大きくて最も近いＹ座標が注目プロセス番号に関する
半順序表示Ｙ座標（注目プロセス番号が送出プロセス番
号の時は半順序表示送信Ｙ座標１２１、注目プロセス番
号が受信プロセス番号の時は半順序表示受信Ｙ座標１２
３）にすでに書き込まれており、送出プロセス番号又は
受信プロセス番号が注目プロセス番号に一致するような
メッセージを探索する。

【０１０６】そのようなメッセージがなければ（ステッ
プＳＰ９２で否定結果が得られた場合には）、妥当であ
ると判断できる。

【０１０７】これに対して、そのようなメッセージがあ
る場合（ステップＳＰ９２で肯定結果が得られた場
合）、これを書き込み後メッセージと呼び、ステップＳ
Ｐ９３の処理に移る。

【０１０８】ステップＳＰ９３では、注目メッセージの
受信時刻が書き込み後メッセージの注目プロセス番号に
関する送受信時刻（注目プロセス番号が送出プロセス番
号の時は書き込み後メッセージの送出時刻１１２、注目
プロセス番号が受信プロセス番号の時は書き込み後メッ
セージの受信時刻１１４）よりも小さい時（ステップＳ
Ｐ９３で肯定結果が得られた時）は妥当であるとする。

【０１０９】これに対して、大きい時（ステップＳＰ９
３で否定結果が得られた時）は妥当ではないので、変換
用書き込みポインタ１０５が指す位置の半順序表示受信
Ｙ座標１２３の内容を変更する。

【０１１０】そして、ステップＳＰ９４において、書き
込み後メッセージよりさらに後の座標が決定されたメッ
セージ（すなわち、書き込み後メッセージの注目プロセ
ス番号に関する半順序表示Ｙ座標の値より大きくて最も
近い座標が注目プロセス番号に関する半順序表示Ｙ座標
に設定されているメッセージ）を捜し出す。

【０１１１】ここで、そのようなメッセージが存在すれ
ば（ステップＳＰ９５で肯定結果が得られれば）、その
メッセージを書き込み後の後のメッセージと呼び、ステ
ップＳＰ９６の処理に移る。

【０１１２】ステップＳＰ９６では、書き込み後の後の
メッセージの注目プロセス番号に関する半順序表示Ｙ座
標と、書き込み後メッセージの注目プロセス番号に関す
る半順序表示Ｙ座標との差の絶対値とり、これを２で除
算したものを、書き込み後メッセージの注目プロセス番
号に関する半順序表示Ｙ座標に加算したものを変換用書
き込みポインタ１０５が指す位置の半順序表示受信Ｙ座
標１２３の内容とする。

【０１１３】これに対して、そのようなメッセージが存
在しなければ（ステップＳＰ９５の否定結果が得られれ
ば）、書き込み後メッセージの注目プロセス番号に関す
る半順序表示Ｙ座標より時刻表示間隔を加算したものを
変換用書き込みポインタ１０５が指す位置の半順序表示
受信Ｙ座標１２３の内容とする。以上の処理が各検証処
理で行われている。

【０１１４】（Ｄ−５−３−５）注目メッセージが受信
メッセージの場合の検証動作（ステップＳＰ５２） 次に、注目メッセージが受信メッセージの場合に行われ
る妥当性の検証動作（ステップＳＰ５２）を図１８を用
いて詳述しておく。この検証動作にも、上方向の検証
（ステップＳＰ１０１−ステップＳＰ１０２）と下方向
の検証（ステップＳＰ１０３−ステップＳＰ１０４）と
がある。これらは、互いに排反であり、検証が妥当でな
い場合（ステップＳＰ１０２の否定結果及びステップＳ
Ｐ１０４の否定結果の場合）、正しい内容に変更する手
続き（ステップＳＰ１０５及びステップＳＰ１０６）の
どちらか一方だけが行われる。

【０１１５】（Ｄ−５−３−５−１）ステップＳＰ１０
１の検証動作 さて、上述のステップＳＰ１０１では、図１９に示す処
理が実行されている。

【０１１６】まず、ステップＳＰ１１１において、今か
ら書き込もうとする半順序表示送信Ｙ座標１２１の内容
より小さくて最も近いＹ座標が注目プロセス番号に関す
る半順序表示Ｙ座標（注目プロセス番号が送出プロセス
番号の時は半順序表示送信Ｙ座標１２１、注目プロセス
番号が受信プロセス番号の時は半順序表示受信Ｙ座標１
２３）にすでに書き込まれており、送出プロセス番号又
は受信プロセス番号が注目プロセス番号に一致するよう
なメッセージが探索される。

【０１１７】そのようなメッセージがなければ（ステッ
プＳＰ１１２で否定結果が得られれば）、妥当であると
判断できる。

【０１１８】これに対して、そのようなメッセージがあ
る場合（ステップＳＰ１１２で肯定結果が得られれ
ば）、これを書き込み前メッセージと呼び、次のステッ
プＳＰ１１３を実行する。

【０１１９】ステップＳＰ１１３では、注目メッセージ
の受信時刻が書き込み前メッセージの注目プロセス番号
に関する送受信時刻（注目プロセス番号が送出プロセス
番号の時は書き込み前メッセージの送出時刻１１２、注
目プロセス番号が受信プロセス番号の時は書き込み前メ
ッセージの受信時刻１１４）よりも大きい時（ステップ
ＳＰ１１３で肯定結果が得られた時）は妥当であるとす
る。

【０１２０】これに対して、小さい時（ステップＳＰ１
１３で否定結果が得られた時）は、妥当ではないので、
変換用書き込みポインタ１０５が指す位置の半順序表示
送信Ｙ座標１２１の内容を変更する。

【０１２１】そして、ステップＳＰ１１４において、書
き込み前メッセージよりさらに以前の座標が決定された
メッセージ（すなわち、書き込み前メッセージの注目プ
ロセス番号に関する半順序表示Ｙ座標の値より小さくて
最も近い座標が注目プロセス番号に関する半順序表示Ｙ
座標に設定されているメッセージ）を捜し出す。

【０１２２】ここで、そのようなメッセージが存在すれ
ば（ステップＳＰ１１５で肯定結果が得られれば）、そ
のメッセージを書き込み前の前のメッセージと呼び、ス
テップＳＰ１１６において、書き込み前の前のメッセー
ジの注目プロセス番号に関する半順序表示Ｙ座標と書き
込み前メッセージの注目プロセス番号に関する半順序表
示Ｙ座標との差の絶対値とり、これを２で除算したもの
を、書き込み前メッセージの注目プロセス番号に関する
半順序表示Ｙ座標から減算したものを変換用書き込みポ
インタ１０５が指す位置の半順序表示送信Ｙ座標１２１
の内容とする。これに対して、そのようなメッセージが
存在しなければ（ステップＳＰ１１５で否定結果が得ら
れれば）、書き込み前メッセージの注目プロセス番号に
関する半順序表示Ｙ座標より時刻表示間隔を減算したも
のを変換用書き込みポインタ１０５が指す位置の半順序
表示送信Ｙ座標１２１の内容とする。

【０１２３】（Ｄ−５−３−５−２）ステップＳＰ１０
３の検証動作 次に、ステップＳＰ１０３の処理の流れを図２０で説明
する。

【０１２４】まず、ステップＳＰ１２１において、今か
ら書き込もうとする半順序表示送信Ｙ座標１２１の内容
よ大きくて最も近いＹ座標が注目プロセス番号に関する
半順序表示Ｙ座標（注目プロセス番号が送出プロセス番
号の時は半順序表示送信Ｙ座標１２１、注目プロセス番
号が受信プロセス番号の時は半順序表示受信Ｙ座標１２
３）にすでに書き込まれており、送出プロセス番号又は
受信プロセス番号が注目プロセス番号に一致するような
メッセージを探索する。

【０１２５】ここで、そのようなメッセージがなければ
（ステップＳＰ１２２で否定結果が得られれば）、妥当
であると判断できる。

【０１２６】これに対して、そのようなメッセージがあ
る場合（ステップＳＰ１２２で肯定結果が得られれ
ば）、これを書き込み後メッセージと呼び、次のステッ
プＳＰ１２３に移る。

【０１２７】ステップＳＰ１２３では、注目メッセージ
の送信時刻が書き込み後メッセージの注目プロセス番号
に関する送受信時刻（注目プロセス番号が送出プロセス
番号の時は書き込み後メッセージの送出時刻１１２、注
目プロセス番号が受信プロセス番号の時は書き込み後メ
ッセージの受信時刻１１４）よりも小さい時（ステップ
ＳＰ１２３で肯定結果が得られた時）は妥当である。

【０１２８】これに対して、大きい時（ステップＳＰ１
２３で否定結果が得られた時）は妥当ではないので、変
換用書き込みポインタ１０５が指す位置の半順序表示送
信Ｙ座標１２１の内容を変更する。

【０１２９】このとき、ステップＳＰ１２４では、書き
込み後メッセージよりさらに後の座標が決定されたメッ
セージ（すなわち書き込み後メッセージの注目プロセス
番号に関する半順序表示Ｙ座標の値より大きくて最も近
い座標が注目プロセス番号に関する半順序表示Ｙ座標に
設定されているメッセージ）を捜し出す。

【０１３０】そのようなメッセージが存在すれば（ステ
ップＳＰ１２５で肯定結果が得られれば）、そのメッセ
ージを書き込み後の後のメッセージと呼び、ステップＳ
Ｐ１２６に進む。

【０１３１】ステップＳＰ１２６では、書き込み後の後
のメッセージの注目プロセス番号に関する半順序表示Ｙ
座標と、書き込み後メッセージの注目プロセス番号に関
する半順序表示Ｙ座標との差の絶対値とり、これを２で
除算したものを書き込み後メッセージの注目プロセス番
号に関する半順序表示Ｙ座標に加算したものを変換用書
き込みポインタ１０５が指す位置の半順序表示送信Ｙ座
標１２１の内容とする。

【０１３２】これに対して、そのようなメッセージが存
在しなければ（ステップＳＰ１２５で否定結果が得られ
れば）、書き込み後メッセージの注目プロセス番号に関
する半順序表示Ｙ座標より時刻表示間隔を加算したもの
を変換用書き込みポインタ１０５が指す位置の半順序表
示送信Ｙ座標１２１の内容とする。

【０１３３】（Ｄ−５−４）シーケンス図表時部１７の
まとめ 上述の処理の後、シーケンス図表示部１７は、(1) 全順
序表示のメッセージシーケンスデータの全順序表示送信
Ｘ座標１１６、全順序表示送信Ｙ座標１１７、全順序表
示受信Ｘ座標１１８、全順序表示受信Ｙ座標１１９の内
容と、(2) 半順序表示のメッセージシーケンスデータの
半順序表示送信Ｘ座標１２０、半順序表示送信Ｙ座標１
２１、半順序表示受信Ｘ座標１２２、半順序表示受信Ｙ
座標１２３内容とから半順序表示のメッセージシーケン
スと全順序表示のメッセージシーケンスを表示用メモリ
１８を介してＣＲＴ２１に表示する。

【０１３４】（Ｄ−６）第１の実施形態の効果 以上の通り、第１の実施形態によれば、ソフトウェア１
０で行われたメッセージ信号の送受信時刻を逐次記憶し
たメッセージデータ用メモリ１９から必要なデータを読
み出すシーケンス図表示部１７に、全順序表示のメッセ
ージシーケンスのメッセージを表す直線をできる限り時
間軸に対して直角になるように変換する機能を設けたこ
とにより、全順序表示のメッセージシーケンスと共に、
半順序表示のメッセージシーケンスを、図５に示すよう
に、モニタ画面上に表示することが可能となった。

【０１３５】（Ｅ）第２の実施形態 続いて、第１の実施形態で説明した全順序表示の機能と
全順序から半順序への変換機能とを使用した、ソフトウ
ェア１０の検証動作を説明する。

【０１３６】この検証動作は、ソフトウェア１０の初期
化処理が終了すると、図１の呼端末３で呼を発生させ、
その呼によるソフトウェア１０の動作を示すメッセージ
シーケンスを確認することにより行う。この動作内容を
詳述する。

【０１３７】まず、図１の呼端末３で呼が発生される
と、この呼は呼信号６として呼インターフェース５を介
して通話路系装置（シミュレータ）７に伝わり、更に、
ネットワークインターフェース８を介してソフトウェア
実行部（シミュレータ）１１に伝えられる。呼は、かか
る経路を経てソフトウェア１０に伝えられる。

【０１３８】ソフトウェア１０は、呼端末３からの呼に
基づく処理をソフトウェア実行部（シミュレータ）１１
で実行し、プロセス間のメッセージ信号の送受信を行
う。そのメッセージ信号は、メッセージデータ蓄積部１
４に渡され、前述の第１の実施形態の場合と同様の処理
により、半順序表示のメッセージシーケンスと全順序表
示のメッセージシーケンスと変換される。そして、表示
用メモリ１８を介してＣＲＴ２１に表示される。

【０１３９】このように、ソフトウェア１０で行われる
メッセージ信号の送受信動作が全順序表示のメッセージ
シーケンスと、半順序表示のメッセージシーケンスの両
方で、図５に示すようにモニタ画面に表示されるので、
作成されたソフトウェアがソフトウェアの仕様通りに作
成されているか否かを確認する際にも、表示形式の異な
るもの同士を比較しなくて良くなり、従来に比して確認
動作を効率良く実行することができる。

【０１４０】（Ｆ）第３の実施形態 次に、シーケンスデータのファイル入出力機能を使用し
て、既にソフトウェア１０の実行が終了したメッセージ
シーケンスを表示させて検証を行う場合について説明す
る。

【０１４１】ソフトウェア１０の処理終了後、当該処理
で送受されたメッセージデータとその送受信時刻はメッ
セージデータ用の記憶装置９に記憶されているので、後
日検証が必要になったユーザは、キーボード１又はマウ
ス２による管面入力操作によりソフトウェア実行管理部
１２に指示を与え、メッセージデータ用の記憶装置９か
らメッセージデータ蓄積部１４に介してメッセージデー
タ用メモリ１９にメッセージシーケンスデータを蓄積さ
せる。

【０１４２】その後、シーケンス図管理部１３で決定さ
れた表示範囲により表示用メッセージデータ抽出部１５
でメッセージシーケンスデータの抽出を行い、さらに、
メッセージデータ変換部１６で変換した後、シーケンス
図表示部１７の処理により半順序表示のメッセージシー
ケンスを得、これを表示用メモリ１８を介してＣＲＴ２
１に表示する。このとき、ＣＲＴ２１の管面上には、図
６のような図が表示される。

【０１４３】以上の通り、第３の実施形態によれば、実
時間で検証する場合だけでなく、過去に実行された後記
憶手段に格納されているメッセージシーケンスのファイ
ルを読み出して検証動作を進めることができるようにな
ったので、第２の実施形態の場合に比して、更に使い勝
手の向上が可能となる。

【０１４４】（Ｇ）第４の実施形態 次に、シーケンス表示範囲設定機能を使用し、メッセー
ジシーケンスの表示の範囲をユーザが望む表示領域にす
る第４の実施形態について説明する。

【０１４５】ここでは、メッセージシーケンスが、例え
ば図２１のように表示されているとして、ユーザが現在
表示されているメッセージシーケンスより時間的に後の
メッセージシーケンスを表示する場合には、進みボタン
５１をマウス２を用いて１回クリックし、ユーザが望む
表示領域を定める場合について説明する。

【０１４６】ここで、進みボタン５１は、図２１にある
ようにソフトウェア上で実現されたユーザインターフェ
ースであり、戻しボタン５０についても同様とする。

【０１４７】この進みボタン５１がマウス２でクリック
されると、シーケンス図管理部１３は、表示用メッセー
ジデータ抽出部１５を介してメッセージデータ用メモリ
１９から取り出すメッセージシーケンスデータの範囲を
進め、これをメッセージデータ変換部１６で変換する。

【０１４８】変換後、シーケンス図表示部１７が表示用
メモリ１８を介してＣＲＴ２１に表示する。その結果、
メッセージシーケンスは図２２のように表示されること
になる。

【０１４９】以上の通り、第４の実施形態によれば、現
在表示しているメッセージシーケンスより前、若しくは
後のメッセージシーケンスを自由に選択できる表示範囲
設定機能を有しているため、ユーザはシーケンス遷移を
視覚的に追従しながら検証作業を継続することができ、
一段と効率良くソフトウェアの機能試験と問題解析を行
うことができるソフトウェア試験装置を実現することが
できる。

【０１５０】

【発明の効果】以上のように、本発明によれば、ソフト
ウェアの実行結果を表す全順序表示のメッセージシーケ
ンスを、半順序表示のメッセージシーケンスに変換する
機能を設けたことにより、作成されたソフトウェアが仕
様通りに実行されたか否かを同形式のメッセージシーケ
ンスとして比較することが可能になり、直感的な検証作
業を実現できる作業効率に優れたソフトウェア試験装置
を得ることができる。

【図面の簡単な説明】

【図１】第１〜第４の実施形態に係るソフトウェア試験
システムの構成例を示すブロック図である。

【図２】全順次表示によるメッセージシーケンス例を示
す説明図である。

【図３】全順序表示のメッセージシーケンスと半順序表
示のメッセージシーケンスの比較例を示す説明図であ
る。

【図４】メッセージデータ用メモリ１９のメモリ領域の
構成例を示す説明図である。

【図５】全順序表示のメッセージシーケンス例と半順序
表示のメッセージシーケンスの同時表示例である。

【図６】ファイルから読み出したデータから作成した半
順序表示のメッセージシーケンスの表示例である。

【図７】メッセージ蓄積部１４によるメッセージデータ
用メモリ１９へのデータ書き込み動作例を示すフローチ
ャートである。

【図８】表示用メッセージデータ抽出部１５の動作例を
示すフローチャートである。

【図９】メッセージデータ変換部１６の表示ＸＹ座標系
を示す説明図である。

【図１０】シーケンス図表示部１７による全順次表示動
作を示すフローチャートである。

【図１１】シーケンス図表示部１７による半順次表示動
作を示すフローチャートである。

【図１２】ステップＳＰ３４の処理内容を示すフローチ
ャートである。

【図１３】ステップＳＰ４１の処理内容を示すフローチ
ャートである。

【図１４】次メッセージへの移動手続きを示す説明図で
ある。

【図１５】ステップＳＰ４６の処理内容を示すフローチ
ャートである。

【図１６】ステップＳＰ７１の処理内容を示すフローチ
ャートである。

【図１７】ステップＳＰ７３の処理内容を示すフローチ
ャートである。

【図１８】ステップＳＰ５２の処理内容を示すフローチ
ャートである。

【図１９】ステップＳＰ１０１の処理内容を示すフロー
チャートである。

【図２０】ステップＳＰ１０３の処理内容を示すフロー
チャートである。

【図２１】表示範囲指定前の表示例を示すユーザインタ
ーフェースの説明図である。

【図２２】表示範囲指定後の表示例を示すユーザインタ
ーフェースの説明図である。

【符号の説明】

１…キーボード、２…マウス、３…呼端末、４…ワーク
ステーション、５…呼インターフェース、６…呼信号、
７…通話路系装置（シミュレータ）、８…ネットワーク
インターフェース、９…メッセージデータ用の記憶装
置、１０…ソフトウェア、１１…ソフトウェア実行部
（シミュレータ）、１２…ソフトウェア実行管理部、１
３…シーケンス管理部、１４…メッセージデータ蓄積
部、１５…表示用メッセージデータ抽出部、１６…メッ
セージデータ変換部、１７…シーケンス図表示部、１８
…表示用メモリ、１９…メッセージデータ用メモリ、２
１…ＣＲＴ、５０…戻しボタン、５１…進みボタン。

Claims (4)

【特許請求の範囲】
1. 【請求項１】 ソフトウェアの実行時、あるプロセスか
   ら他のプロセスに対して送出されたメッセージ信号の送
   出時刻と受信時刻をメッセージシーケンスに割り付けて
   格納する機能と、 複数の上記メッセージ信号について得た送受信時刻の関
   係から全順序表示のメッセージシーケンスを生成する機
   能と、 上記全順序表示のメッセージシーケンスを、半順序表示
   のメッセージシーケンスに変換する機能とを備えること
   を特徴とするソフトウェア試験装置。
2. 【請求項２】 上記全順序表示のメッセージシーケンス
   と、当該メッセージシーケンスの変換結果である上記半
   順序表示のメッセージシーケンスとを同一画面上に並列
   表示する機能を備えることを特徴とする請求項１に記載
   のソフトウェア試験装置。
3. 【請求項３】 既に実行され、実行結果がファイルデー
   タとして格納されているメッセージ信号の送受信時刻を
   読み出し、当該ソフトウェアの動作結果を半順序表示の
   メッセージシーケンスとして表示する機能を備えること
   を特徴とする請求項１に記載のソフトウェア試験装置。
4. 【請求項４】 画面上に表示するメッセージシーケンス
   の範囲を自由に設定し得る機能を備えることを特徴とす
   る請求項１又は請求項２に記載のソフトウェア試験装
   置。