JPH0516220B2 - - Google Patents

Description

【発明の詳細な説明】 〔目次〕 概 要 産業上の利用分野 従来の技術 発明が解決しようとする問題点 問題点を解決するための手段（第１図） 作 用 実施例 Ａ 構成説明（第２図〜第５図，第７図〜第９
図） Ｂ 動作説明（第６図） 発明の効果 〔概要〕 人手により作成されたタスクモジユールにおい
て，タスクモジユールに含まれる可能性のある誤
りを除去するため，イベント，オーダ及びタスク
マクロ（以下タスク部品という）の機能を一つず
つ交換システムを構成する通話路の状態，ライン
プセツサの状態などをモデル化したデータ（以下
インスタンスデータという）に対してシミユレー
トさせる過程でタスク部品の使用法をインスタン
スデータで表現した検証規則のうち，検証すべき
ものだけについて適用し誤りを検出することによ
つて検証の必要のない検証規則を適用する無駄を
省いて自動的に誤りを検証できるようにしたもの
である。

〔産業上の利用分野〕 本発明は、呼処理プログラムであるタスクモジ
ユールに含まれる可能性のある誤りを自動的に検
出する方式に関する。

タスクモジユールに含まれる可能性のある誤り
を除去することは不可欠だが、この誤りの発見に
は大きな労力を要するため、自動的に誤りを検出
できることが要望されている。

〔従来の技術〕

従来、タスクモジユールに含まれる誤りの検出
は人手に依存している。

〔発明が解決しようとする問題点〕

前記の如く、タスクモジユール内の誤り検出は
人手に依存しているため、時間と労力を要すると
いう問題があつた。したがつて本発明の目的は、
このタスクモジユールに含まれる誤りの存在を自
動的に検出するタスクモジユール自動検証方式を
提供することである。

〔問題点を解決するための手段〕

前記目的を達成するため、本発明では、第１図
に示す如くタスクモジユールをシミユレートした
ことにより生成されたインスンスデータをインス
タンスデータ保持部７から順次、検証規則起動部
１０に伝達する。このとき検証規則選択部９から
はタスクモジユールのうちチエツクする必要のあ
るもののみを指示しているので、この指示された
タスクモジユールのシユミレート状態が正確か否
かを検証規則格納部８に保持された、インスタン
スデータ形式で表現されたタスク部品の使い方を
規定した検証規則と、前記検証規則起動部１０で
チエツクすることにより行われる。そしてその検
証結果が出力部１１より出力される。

検証規則起動部１０は、インスタンスデータ保
持部７の保持する、例えば交換動作のシミユレー
シヨンにより変化するインスタンスデータが更新
される度に、検証規則選択部９により選択された
検証規則格納部８内の規則を適用して、エラーが
発生したかを遂次判定し、エラー発生時にはその
旨を出力部１１に依頼し、これを受けた出力部１
１は、エラーメツセージを出力することで、エラ
ーの自動検出が行える。

〔作用〕

シミユレートにより得られるインスタンスデー
タを使用して、タスクモジユールに含まれる可能
性のある誤りの有無を自動的にチエツクできる。

〔実施例〕

本発明の一実施例を第２図〜第９図にもとづき
説明する。

第２図は本発明の一実施例構成図、第３図はタ
スクモジユールの一例、第４図は状態遷移図の一
例、第５図はシミユレート規則例、第６図は動作
説明図、第７図は検証規則起動用規則例、第８図
はインスタンスデータのデータ領域種別例、第９
図は検証規則起動部の動作説明図を示す。

Ａ 構成説明 第２図において、第１図と同符号部は、同一部
分を示し、１はタスクモジユール部、２はタスク
モジユール読込部、３はタスクモジユール内部デ
ータ変換保持部、４はマクロオーダシミユレート
部、５はシミユレート規則保持部、６はタスクモ
ジユール・シミユレートデータ保持部、７はイン
スタンスデータ保持部、８は検証規則格納部、９
は検証規則選択部、１０は検証規則起動部、１１
は出力部、１２は検証結果記憶部、１３は検証結
果出力部、１４はドキユメント出力部である。

タスクモジユール部１はシミユレートするため
のタスクモジユールが、例えばキーボード等の手
段により入力されるものである。タスクモジユー
ルとして、例えば第６図ａに示すものが入力され
る。これは第４図ａに示す如く、内線Ａが数字受
信中のときに、内線Ｂが呼出中になつた例を示
し、第２図のタスクモジユール部１からタスクモ
ジユール・シミユレートデータ保持部６までは、
第６図ａのタスクモジユールをシミユレートして
第４図ｂに示す如き状態遷移図を得るためのもの
である。

なおタスクモジユールは、第３図に示されるよ
うに、イベントに対するイベントモード（％
EVENT DRENは、数字受信中において発生す
るイベントを示す）と、端末にオーダを出す前に
行うべきイニシヤルモード（％ENTRS C2は相
手内線番号を端子２に割当てること、％
RGHNT C2は端子番号２にリンガ送出するこ
と、％CCNST1は呼の状態を状態番号１にする
こと、％SPECRはオーダの編集を行うことを示
すものである）と、端末を制御するプロセツサに
対して信号送出するSPOSモード（％LPROD Ｓ
−Ｋ，C1は端子番号１に接続された内線の切断
監視、％LPROD Ｏ−Ｋ、C2は端子番号２に接
続された内線に対する応答監視、％LPROD
ENDODはオーダ群の実行終了を示すものであ
る）と、フアイナルモード（％CDBEL RSTは
状態遷移させるために使用したワークメモリの開
放、％TSKFLはタスクテーブルの終了を示すも
のである）等より構成されている。

タスクモジユール読込部２は、タスクモジユー
ル部１で保持されているタスクモジユールをロー
ドしてタスクモジユールを構成する個々のタスク
マクロの前後関係や種別などの属性を持つ内部デ
ータに変換するものである。

タスクモジユール内部データ変換保持部３はタ
スクモジユール読込部２から入力されたデータ
を、マクロオーダシミユレート部４が制御され
る、例えばLISP言語が処理し易い形式であるリ
ストデータに変換するものである。

マクロオーダシミユレート部４はタスクモジユ
ール部１に入力されたタスクマクロに応じてタス
クマクロの機能を表現したシミユレート規則を用
いて、タスクモジユール・シミユレートデータ保
持部６に保持されている実際の交換システムをモ
デル化したデータであるインスタンスデータを参
照変更することにより実システムの動作をシミユ
レートするものである。マクロオーダシミユレー
ト部４は、起動元処理部４−１、タスクテーブル
接続部４−２、シミユレート部４−３等を具備し
ている。起動元処理部４−１はタスクモジユール
の起動元のサービスモジユール番号、状態番号に
対する実システムの状態をモデル化したデータで
あるインスタンスデータをタスクモジユール・シ
ミユレートデータ保持部６からロードして、この
インスタンスデータで起動元状態を初期化させる
ものである。タスクテーブル接続部４−２は、第
６図ａの％TSKTG以下に示されるタスクテーブ
ルと、このタスクテーブルが実行されたときの遷
移先状態間のリンクを張るものである。そしてシ
ミユレート部４−３はタスクテーブル接続部４−
２によつてタスクテーブルと状態とがリンクされ
たデータの起動元状態から、タスクマクロを順に
シミユレート規則を適用して起動元処理部４−１
によりロードされたインスタンスデータを参照更
新してタスクモジユール実行時のすべての状態に
インスタンスデータを設定するものである。

シミユレート規制保持部５はタスクマクロを実
行する場合の機能を表現したシミユレート規則が
保持されているものである。シミユレート規則例
について第５図によりその１例を説明する。タス
ク部品（タスクマクロ）「％ENTRS＊CN」は端
子番号Ｎに接続された内線Ｂの発呼監視を行うも
のであり、このシミユレートにより第５図右側の
インスタンスデータが記述される。「％RGHNT
＊CN1」は端子番号１に接続された内線に対し
てリンガの接続を行うものであり、「％LPROD
Ｓ−Ｋ，，＊CN1」は端子番号１に接続された内
線に対して切断監視を行うものであり、「％
LPROD Ｏ−Ｋ、＊CN1」は端子番号１に接続
された内線に対して応答監視を行うものであり、
「EVDREN」はイベント名であり数字受信とい
うイベントを示している。また「％CCNST＊
１」は呼の状態を状態番号１にすることを示し、
「％CDBEN RST」は状態遷移をするために使用
したワークメモリの開放を行うものである。そし
てこれらのタスク部品のシミユレートにより、こ
れまた第５図右側のインスタンスデータが記述さ
れる。

タスクモジユール・シミユレートデータ保持部
６はインスタンスデータが格納されるものであ
り、最初は起呼状態に対するモデル化したインス
タンスデータが格納される。

インスタンスデータ保持部７は、タスクモジユ
ールの実行により参照更新されたインスタンスデ
ータが順次記入され、これをチエツクすることに
よりタスクモジユールの検証を行う。

検証規則格納部８は、検証対象となるタスクマ
クロの正しい使い方を規定した検証規則が格納さ
れるものであり、インスタンスデータで表現され
ている。すなわち、検証規則は、タスクマクロ、
オーダおよびイベントの正しい使用法ならびに誤
つた使用法をインスタンスデータの参照（具体的
には、検証規則の持つパターンとインスタンスデ
ータとのパターンマツチング動作）によつてルー
ル化したものである。以下に名称がKN６である
検証規則の例を示す。

ここでKN６という名称の検証規則は、〓捕捉
された端末装置番号に対して以下に示す有限資源
リソースが捕捉されており、直前（現在のタスク
部品のシミユレート以前）では、その捕捉端末装
置番号に対して上記ソースが捕捉されていない場
合、現在のタスク部品に、捕捉不可時の飛先アド
レスがパラメータとして設定されれていなけれ
ば、「有限資源のトランク捕捉時にかかわらず、
捕捉不可の場合を考慮したタスク部品となつてい
ない。」 という検証結果を検証規則起動部に渡す。〓とい
うものである。そして有限資源リソースとしては
IOR、COR、PBREC、MFREC、MIXER等が
ある。ここでIORは内線着信時のリンガー、
CORは局線着信時のリンガー、PBRECはPB受
信器、MFRECはMF受信器、MIXERは３者通
話時などに用いられるミキサを示す。

検証規則はプログラムイメージでは上記〓 〓
の飛先アドレスがパラメータとして設定されてい
ない場合は、以下の様になつている。

「現在のインスタンスデータ→Ｃ＊１：＊２で
あり、直前のインスタンスデータ→Ｃ＊１：で
あり、＊２が有限資源リソースである場合、」
R1 または 「現在のインスタンスデータ→Ｃ＊１：＊２，＊
３であり、前のインスタンスデータ→Ｃ＊１：＊
２であり、＊３が有限資源リソースである場合、」
R2 但し、＊１、＊２、＊３はどんなインスタンス
データのパターンともマツチングすることを意味
するが、一旦マツチングすれば前記検証規則の
「 」内ではそのパターンに束縛され、パターン
マツチングもこのパターン以外はマーチングしな
くなる。

例えば Ｃ＊１：＊２ がパターンC3：Ａ とパターンマツチングすれば、＊１には３が、＊
２にはＡが束縛され、同一「 」内でＣ＊１がマ
ツチングできるのはC3：のみとなる。

検証規則選択部９は、タスクモードの変化に
よつて検証規則を適用すべきか否かを判別して必
要なものに対してのみ検証規則を起動する規則、
つまり変化後のタスクモードにおいて検証の必要
のない検証規則を適用することによる無駄を省く
ための規則と、インスタンスデータの変化によ
り検証規則を起動する規則、つまり変化したイン
スタンスデータを参照する検証規則が適用され変
化していないインスタンスデータのみを参照する
検証規則を適用することによる無駄を省くための
規則が格納されている。前記は第７図ｂが相当
し、は第７図ａが相当する。

検証規則起動部１０はタスクモジユールをシミ
ユレートしたものに対して検証規則を適用し、タ
スクモジユールに誤りの有無をチエツクするもの
である。

この検証規則起動部１０の動作を第９図にもと
づき説明する。

(1) まずメモリ部分のＤ，Ｍ−Ｎ，Ｉ−Ｎ，Ｎ−
Ｎをクリアすることで初期設定を行う。ここで
Ｄは前の状態と現在の状態のインスタンスデー
タの異つた部分を示す区分であり、Ｍ−Ｎはタ
スクモードによつて必要と認められる検証規則
の記入される区分であり、Ｉ−Ｎは前記Ｄによ
り前の状態のインスタンスデータと現在のイン
スタンスデータの相違する部分に対して必要な
検証規則が格納される区分であり、Ｎ−Ｎは前
記Ｍ−ＮとＩ−ＮのANDの入つたもの、つま
りあるタイミングで検証の必要な検証規則名の
集合したものが格納される区分である。

(2) 次にＰ−MODEすなわち最近シミユレート
したタスク部品の位置と、Ｍ−MODEすなわ
ち最近シミユレートしたタスク部品の１つ以前
のタスク部品の位置とが等しいか否かチエツク
する。この場合は共にイニシヤルモードなので
Yesのルートが選択される。

(3) それからＰ−INSTANCEすなわち最近シミ
ユレートしたタスク部品の１つ以前のタスク部
品によつてシミユレートされたインスタンスデ
ータと、Ｍ−INSTANCEすなわち現在のイン
スタンスデータの互いに異なるデータ領域Ｄを
求める。このときＭ−INSTANCEとＰ−
INSTANCEの互いに異なるデータ領域が端末
装置番号だと判断され、端末装置番号がＤに設
定される。

(4) 検証規則選択部９から端末装置番号領域を参
照する検証規則名KN1からKNnまでが選ばれ、
これらがＩ−Ｎに設定される。

(5) このときＭ−Ｎに検証規則名が入つていない
ため、前記Ｉ−ＮがそのままＮ−Ｎに設定され
る。

(6) Ｎ−Ｎ内の検証規則名KN1〜KNnに対応す
る検証規則を検証規則格納部８から求め、順次
適用する。この過程で、第３図の例では、
KN6の検証規則が適用されたときに、「有限資
源のトランク捕捉時にかかわらず、捕捉不可の
場合を考慮したタスク部品（跳び先アドレスの
パラメータ指定及び跳び先ルートのタスク部品
の記述）となつていない。」という検証結果が
返されるので、これを検証結果記憶部１２に追
加する。

(7) Ｍ−INSTANCEの内容をＰ−INSTANCE
に、Ｍ−MODEの内容をＰ−MODEに変更す
る。

(8) この例の場合は実行されないが、例えば第３
図内の「％ENTRS，C2」がシミユレートされ
て検証規則起動部１０が起動されたとき、(2)の
条件がNoとなるので、検証規則選択部９内か
らイニシヤルモードで検証すべき検証規則名
KN1〜KNnまでがＭ−Ｎに設定される。

出力部１１は、検証結果記憶部１２および検証
結果出力部１３を具備している。検証結果記憶部
１２には１つのタスク部品をシミユレートしたと
き起動される検証規則起動部１０の検証結果が記
憶されるものである。このようにして順次この検
証結果記憶部１２に記入された検証結果が検証結
果出力部１３より出力される。この出力は、例え
ばプリンタよりなるドキユメント出力部１４によ
り可視的に出力される。

Ｂ 動作説明 本発明の動作例を、第４図ａの状態で内線端末
Ｂに呼出しがあり、リンガが接続される状態につ
いて、第６図のフローチヤートにしたがつて説明
する。

まず第６図ａに示すタスクモジユールを、キ
ーボード等によりタスクモジユール部１に入力
したあとでシミユレート動作を行わせると、タ
スクモジユール読込部２により読出されタスク
モジユール内部データ変換保持部３、起動元処
理部４−１、タスクテーブル接続部４−２を経
由して、そのタスク部品は、第６図ｂに示すよ
うな内部データとなる。すなわちそのときの起
動元状態のインスタンスデータｉ（第４図ａの
状態を示すもの）が状態０に設定され、イベン
ト「EVDREN」に続くタスクテーブルが状態
１へ接続されている。なお、第６図ａのタスク
モジユールで初めの「％TKHDG」はキーボ
ールテーブルを示すタスクマクロ名であり、
「YT0000」は実行すべきタスクテーブル名、
「C1」はイベントが発生した端子番号、
「EVDREN」はイベント名でありこれらは数
字受信というイベントを示している。次の行の
「％TSKTG」はタスクテーブルを示すタスク
マクロ名であり、「YT0000」はそのタスクテ
ーブル名を示す。また、第６図のインスタンス
データｉでは、サービスモジユール番号
（SMN）が10、状態番号（STN）が０であり、
端子番号１に内線端末Ａが接続されて、これが
数字受信中であることを示す。このような起動
元の状態がタスクモジユール・シミユレートデ
ータ保持部６から起動元処理部４−１に入力さ
れ、これがタスクテーブル接続部４−２を経由
してシミユレート部４−３に伝達される。

この状態で「EVDREN」というイベントが
発生するが、これによりワークメモリつまり作
業領域が確保され、WK：SETとインスタンス
データに記入され、インスタンスデータはの
ようになる。この〜では、タスクモードが
それまでのフアイナルモード（タスクテーブル
は、必らずフアイナルモードの実行によつて次
状態に遷移するため、状態０においてのタスク
モードはフアイナルである）からイベントモー
ドへ変化するため、検証規則選択部９において
検証規則起動用規則によりＥ−NMまでの検証
規則名に対する検証規則と、ととの互いに
異なるデータ領域である作業領域設定フラグの
状態を参照する検証規則（GN1〜GNn）が検
証規則起動用規則によつて求められる。そして
Ｅ−NM、GN1〜GNnまでの検証規則名に対
する検証規則が適用される。

（第９図の８，３〜６） これによりタスク部品「％ENTRS」がシミ
ユレート部４−３でシミユレート処理される。
これは端子番号C2を内線端末に割当てるもの
であり、に示す如く、インスタンスデータに
C2：Ｂ及びＢの発呼監視が記入される。この
タスク部品のシミユレートにより、タスクモー
ドがそれまでのイベントモードからイニシヤル
モードへと変化するため、検証規則起動用規則
によつてＩ−NMまでの検証規則と、とと
の互いに異なるデータ領域である捕捉端末装置
番号および捕捉端末制御プロセツサの状態を参
照する検証規則（捕捉端末装置番号に対しては
KN1〜KNn、捕捉端末制御プロセツサの状態
に対してはON1〜ONn）が検証規則選択部９
における検証規則起動用規則により求められ
る。そしてＩ−NM、KN1〜KNnおよびON〜
ONnまの検証規則名に対する検証規則が適用
される。（第９図の８，３〜６） 次に「％RGHNT」がシミユレート処理さ
れる。これは端子番号C2の内線端末にリンガ
ーを送出するものであり、インスタンスデータ
に示す如く、「C2：Ｂ」が「C2：Ｂ、IOR」
となる。そして前記ととの互いに異なるデ
ータ領域である捕捉端末装置番号を参照する検
証規則（KN1〜KNn）が検証規則起動用規則
により検証規則選択部９において求められる。
そしてKN1〜KNnまでの検証規則名に対する
検証規則が適用される（第９図３〜６）。この
とき検証規則名KN6のインスタンスデータ部
分と、，のインスタンスデータがパターン
マツチンングしており、現在のタスク部品が
「％RGHNT C2」でり、捕捉不可時のとび先
アドレスがパラメータとして設定されていない
ため、この部分におけるミスすなわち「有限資
源のトランク捕捉時にかかわらず、捕捉不可の
場合を考慮したタスク部品とつていない。」と
いうことが検証規則起動部１０で判断され、こ
の検証結果を検証結果記憶部１２に格納する。
すなわちでは「C2：Ｂ，IOR」とあり、IOR
は前記の如く有限資限の場合であるので、前記
ルールのR2が適用され、誤りの存在が検出さ
れる。

それから「％CCNST」のシミユレートによ
り状態番号が１に決定され、インスタンスデー
タのようになる。これによりととの互に
異なるデータ領域である状態番号を参照する検
証規則（AN1〜ANn）が検証規則選択部９に
より求めれる。そしてAN1〜ANnまでの検証
規則に対する検証規則が適用される。（第９図
の３〜６） 次いで「％SPECR」によりSASからSAEに
示されるタスク部品がシミユレートされる。

まずSASの「％LPROD Ｓ−Ｋ、C1」のシ
ミユレート処理により、端子番号C1の内線端
末Ａに対する切断監視が行われる。そしてイン
スタンスデータはのようになる。このとき、
タスクモードがそれまでのイニシヤルモードか
らSPOSモードへと変化するため、検証規則選
択部９によりＳ−NMまでの検証規則と、イン
スタンスデータととの互いに異なるデータ
領域である捕捉端末制御プロセツサの状態を参
照する検証規則（PN1〜PNn）が検証規則選
択部９によつて求められる。そしてＳ−NM、
PN〜PNnまでの検証規則名に対する検証規則
が適用される（第９図の８，３〜６）。

次の「％LPROD Ｏ−Ｋ、C2」のシミユレ
ート処理により端子番号C2の内線端末Ｂに対
する応答監視が行われ、インスタンスデータは
のようになる。このとき、インスタンスデー
タととの互いに異なるデータ領域である捕
捉端末制御プロセツサの状態を参照する検証規
則（PN1〜PNn）が検証規則選択部９により
求められる。そしてPN1〜PNnまでの検証規
則名に対する検証規則が適用さる（第９図３〜
６）。

そして「％ENDOD」によりSPOSモードつ
まりオーダ群が終了することになる。

今度は「％CDBEN」のシミユレート処理に
より、前記で捕捉したワークメモリが解放さ
れ、インスタンスデータはのようになる。こ
の場合はタスクモードがそれまでのSPOSモー
ドからフアイナルモードへ変化するため、検証
規則選択部９によりＦ−NMまでの検証規則
と、インスタンスデータととの互いに異な
るデータ領域である作業領域設定フラグの状態
を参照する検証規則（HN1〜HNn）がそれぞ
れ求められる。そしてＦ−NM、HN1〜HNn
までの検証規則名に対する検証規則が適用され
る（第９図８，３〜６）。

最後に「％TSKFL」により終了となる。こ
のようにしてインスタンスデータが状態１と
して設定されることになる このようにしてタスクモジユールに対しシミユ
レートが行われ、このが図示省略した出力部に
より第４図ｂに示す状態遷移図として出力される
とき、検証結果記憶部１２に格納されていた前記
検証結果を検証結果出力部１３に送出し、これを
ドキユメント出力部１４から、例えばプリント出
力することができる。

なお、検証の必要のないタスク部品としてはイ
ンスタンスデータを更新しないものであり、前記
第６図の例では「％SPECR」、「％TSKFL」「％
ENDOD」が必要のないものである。

〔発明の効果〕

本発明によればタスクモジユールの検証を自動
的に行うことができるのみならず、検証の必要の
ない検証規則を適用する無駄を省いて検証を効率
的に行うことができる。即ち本発明ではエラーを
自動検出して、その結果を出力するので、これに
より試験者は、検証規則により定義した検証項目
についての検証作業が、従来の交換機上でのマシ
ン語による解析でなく、出力結果のレビユーによ
り可能となる。

【図面の簡単な説明】

第１図は本発明の原理説明図、第２図は本発明
の一実施例構成図、第３図はタスクモジユールの
一例説明図、第４図は状態遷移図、第５図はシミ
ユレート規則例説明図、第６図は動作状態説明
図、第７図は検証規則起動用規則例、第８図はイ
ンスタンスデータのデータ領域種別例、第９図は
検証規則起動部の動作説明図である。 １……タスクモジユール部、２……タスクモジ
ユール読込部、３……タスクモジユール内部デー
タ変換保持部、４……マクロオーダシミユレート
部、５……シミユレート規則保持部、６……タス
クモジユールシミユレートデータ保持部、７……
インスタンスデータ保持部、８……検証規則格納
部、９……検証規則選択部、１０……検証規則起
動部、１１……出力部。

Claims (1)

1. 【特許請求の範囲】 １ 実際の交際システムをモデル化したインスタ
   ンスデータが保持されるデータ保持手段７と，検
   証規則を格納する検証規則格納手段８と，検証規
   則起動用規則を格納し、検証する必要のあるもの
   について選択起動を指示する検証規則選択手段９
   と， 検証規則起動用規則を用いてタスクモジユール
   内の誤りを検出する検証規則の規則名に検証規則
   を順次適用し検証結果を出力する検証規則起動手
   段１０と， 検証規則起動手段１０から得られた検証結果を
   出力する出力手段１１を備え， 自動的にタスクモジユールの検証を行うように
   したことを特徴とするタスクモジユール自動検証
   方式。