JPS60114906A - 実行規則テスト支援方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔発明の利用分野〕 本発明は、条件と論理とからなる実行ルールを有し、与
えられた条件が実行ルールに合致した場合にその実行ル
ールで指示された実行指令を出力する実行指令出力方式
に関し、特に実行ルールの妥当性に対するテストの支援
方式に関する。

〔発明の背景〕

最初に、本発明の前提となる実行指令出力方式を第１図
によシ説明する（特願昭５８−０７９３４１号参照）。

ユーザは、現場のノウハウや制御規則等をＩＦ（条件）
、ＴＨＥＮ（結論）のルールで記述する。

各条件、結論は図中の制御ルール群１１に示すように、
文字列で記述する。この記述されたルールをそのままの
型で制御論理コントローラ１２に入力する。制御論理コ
ントローラ１２は、各設備から取込まれた設備現況１３
（条件に対応）をもとに、それにマツチしたルールがあ
れば、その結論を設備への制御指令１４とする。

以上に述べた制御方式を採用すれば、ユーザはルールを
日本語で制御論理コントローラ１２に与えるだけで制御
ソフトができ上が不（ユーザはプログラムを作成する必
要がない）ため、制御ソフトが短時間で開発できる。

しかし、上記の制御方式にも問題がある。それは、シス
テム立上げ前に実施しなければならない制御ルールの妥
当性チェックが困難なことである。

従来、そのチェックは、人間がルール間のっながシに着
目してルール全体の妥当性を検討している。

しかし、実システムでは、ルールが膨大になること、制
御指令につながるルールだけが記述されること、各ルー
ルの組合せとして最終的に制御指令が結論されること等
から、従来方法では、ルールの抜けや矛盾したルールを
見出すことが困難である。

〔発明の目的〕

本発明の目的は、上記のような従来技術の欠点を解消す
るため、条件と結論とからなる実行ルールのテストに必
要かつ十分なテストケースを自動的に作成し、そのテス
ト結果を得る実行規則テスト支援方式を提供することに
ある。

〔発明の概要〕

上記目的を達成するため、本発明による実行規則テスト
支援方式は、条件と結論とからなるルールで記述された
実行規則を格納する実行規則格納部と、前記実行規則と
入力された条件との整合を判別しその結果に基づき実行
指令を出力する条件判別実行指令出力部とを有する実行
指令出力方式において、条件と、該条件と排反関係にあ
る条件とから必要十分な条件の組合せ（以下テストケー
スと呼ぶ）を作成し、該テストケースを前記条件判別実
行指令出力部に出力する手段と、前記テストケースに基
づき前記条件・判別実行指令出力部から出力された実行
指令を取込み、当該実行指令に至ったテストケースを実
行指令側にまとめ、前記テストケースを構成する条件は
その実行指令の前提となった条件とそうでない条件とを
区別可能に出力する手段とを設けることにより、実行ル
ールの抜けや矛盾するルールの発見を容易ならしめたこ
とに特徴がある。

〔発明の実施例〕

本発明の実施例の詳細説明に入るまえに、第２図に示し
た簡単な物流システムを例にして、条件と結論とからな
る実行ルールに基づく実行指令出力方式、および本発明
の入出力について述べる。

第２図において、矢印で示したように、物は受入コンベ
ア２１の右側から搬入される。。受入コンベア２１上の
物は、高架形の移載機２２によシマシンａ２３、あるい
はマシンｂ２４に運ばれ、加工される。加工完了した物
は、移載機２２により受入コンベア２１へ戻され、その
後、次の下流工程へ運ばれる。なお、仮置台２５は、加
工特ちの物を一時保管したり、受入コンベア２１を空い
ていない時、加工済みの物を一時保管したりする場合に
使う。

ここで、上記のシステムに対し２つの制御方針を考えて
みる。１つは、マシンａ２ａの能力がマシンｂ２４の能
力に比べて高いため、マシンａ２３を優先的に使用する
。他の１つは、受入コンベア２１は上流工程から下流工
程への物の通り道であるため、受入コンベア２１上の物
を仮置台２５上の物より優先して取り出す。これらの方
針を実現する制御ルールを第３図に示す。この制御ルー
ルは、どこからどのマシンへ物を運ぶかを決めるもので
、その可能性のある３つのタイミング■移載機２２が無
作業になっている時、■マシンａ２３、またはマシンｂ
２４が無作業になった時、■受入コンベア２１に物が入
ってきた時にシステム現況にマツチした制御ルールがあ
るか否かを調べる必要がある。

上記制御ルールて必要な設備現況は、第４図に示す８個
である。それを設備ごとにみると、２個ずつの現況があ
り、それぞれ一方が成立すると他方は不成立という排反
関係にある。したがって、本事例では２４通シの現況の
組合せを取り得る。

これら１６通りの各ケースに対し制御ルールがどう動く
かをテストすれば必要十分である。そのテスト結果とし
て、第５図の内容が示されればユーザは容易にルールの
抜けや矛盾したルールを抽出できる。すなわち、制御指
令内容（制御指令なしも１つの制御指令とする）ごとに
それに対応するケースと、その指令に至る前提となった
設備現況（第５図中の＊印の現況）とを示す。

次に本発明の一実施例を図面に基づいて説明する。

第６図は本発明の一実施例を示すブロック図、第７〜９
図は第６図の各ブロックの詳細図である。

まず、テストケースを作成するために必要なｆ−夕を入
力される。そのデータの項目は少ないほどよい。第６図
の現況データ人力６１がそれに該当し、第７図がその具
体例である。排反関係にある設備現況の集合をグループ
と定義すると、一般的に、入力項目は、グループ数■、
各グループに属する設備現況データ数Ｎ（ｉ）　ｆｏｒ
　ｉ＝１〜１１各グループに属する設備現況データＤｉ
ｊ　ｆｏｒ　１＝＝ｌ〜ｓ、ｊ＝ｉ〜Ｎ（りである（Ｄ
目はグループｉのｊ番目の設備現況データ＞：ｒ、ザλ 上記データが入力されると、テストケース作成部６２は
、必要十分なテストケースを作成する。

第８図（ａ）に示す簡単に例を使ってテストケース作成
の処理方式を説明する（一般的な処理方式は、第９図を
使って後述する）。各テストケースは、各グループから
それぞれ１つの設備現況データを取出したものの組合せ
である。同一グループの設備現況データは排反関係にお
るから全テストケースＭは、各グループの設備現況デー
タ数の積に等しい。本例の場合、Ｍ＝　２　Ｘ　３　Ｘ
　２　＝　１２のテストケースとなる。

具体的に各テストケースを設定すると、次のようになる
。

まず、グループ１に着目する。グループ１の設備現況デ
ータ（以下、データと略称する）数は２個で、その内容
はＤｌｌｓ　Ｄｌｆｌである。第８図（ｂ）に示すよう
に、テストケース１からテストケース１２まで順に％　
Ｄｌｌｓ　Ｄ１２をそれぞれ１個ずつ交互に並べる（図
中水したγ１は、テストケースｍに対するグループｉの
データを示す）。

次に、グループ２に移る。グループ２のデータ数は３個
で、その内容はＤｌｆｌ　Ｄ２＊ｓ　Ｉ）２３である。

第８図（ｂ）に示すように、テストケース１から順にテ
ストケース１２まで１個ずつの対応で、Ｄ２ｈＤ２１１
＃　Ｄｏ３をそれぞれ２個ずつ連続してサイクリックに
並べる。ここで、各データを２回ずつ連続して並べるの
は、既に並べた１つ前のグループ（本例ではグループ１
）に関するｒｘｘ−ｒｓａｘｚまでのデータの並びが、
Ｄｉｘ＊　Ｄ１２の２個のデータを単位とするサイクリ
ックな並びでめることを理由とする。

次に、グループ３に移る。グループ３のデータ数は２個
で、その内容はＤｌｌｓ　Ｉ）３２である。第８図（ｂ
）−に示すように、テストケース１から順にテストケー
ス１２まで１個ずつの対応で、６個連続してサイクリッ
クに並べる。ここで、各データを６個ずつ連続して並べ
るのは、１つ前のグループに関するγ２！〜γ２，１□
までのデータの並びが％Ｉ）２ｓ＃Ｄ２□、　Ｄ２２１
　Ｉ）２２．　Ｄ２３＃　Ｄ２Ｍの６個のデータを単位
とするサイクリックな並びであることを理由とする。

以上のような手順でテストケースを作成すれば、それぞ
れ異なる必要十分な全テストケース（本例では１２個の
テストケース）生成できる。

次に、テストケース作成部６２の一般的な処理フローを
第９図により説明する。

※ブロック９０１：全テストケースＭ　＝　Ｎ　（１１
ｘＮ　ｉ２）　Ｘ・・・・・・ＸＮ（Ｉ）を算出する。

※ブロック９０２：同一のデータを連続して並べる数［
Ｊｎｉ　ｔに初期値１を設定する。

※ブロック９０３ニゲループＡｆに初期値１を設定する
。

※ブロック９０４：同一データを’［Ｊｎｉｉ個連続し
て並べるために使用するカウンタＣｏｕｎｔに初期値１
を設定する。

※ブロック９０５：各グループのデータのｊ番目を示す
ｊに初期値ｌを設定する。

※ブロック９０６：テストケース＆ｍに初期値ｌを設定
する。

※ブロック９０７：グループｉＯｊ番目のデータＤ１を
、グループｉに関するｍケース目のデータとする。

※ブロック９０８　、９０９　：　Ｃｏｕｎｔ（［Ｊｎ
ｉｔなら次回のテストケースに設定するデータは、前回
のデータと同一でよいため、Ｃｏｕｎｔ　のカウント数
のみをプラス１する（９０９）。

※ブロック９０８，９１０，９１１，９１２゜９１３二
Ｃｏｕｎｔ＝’［Ｊｎ　ｉ　ｔなら、次回（Ｄテストケ
ースに設定するデータは前回と異なるデータとなるため
、Ｃｏｕｎｔ　を１に戻す（９１０）。

もし、前記設定したデータ０口がグループ１のデータの
最後のデータ、すなわちｊ＝Ｎ（ｉ）であれば、次回の
データは先頭のデータに戻す必要があるため、ｊを１に
設定する（９１１゜９１２）。もし、前回設定したデー
タがグループｉの最後のデータでなければ（ｊ＜Ｎ（ｊ
））、ｊに１を加える（９１１．９１３）。

※ブロック９１４ニゲループｉのデータに関し、全ケー
ス設定したか否かを判定する。

※ブロック９１５，９１６．９１７：ここでは、同一の
データを連続して並べる数［Ｊｎｉｔの変更を行う。

※ブロック９１８：全てのグループに関し、処理終了し
たか否かをチェックする。

さて、テストケース作成部６２が作成したテストケース
を制御論理コントローラ６３に設定すると、制御論理コ
ントローラ６３は、ルール格納テーブル６４内のルール
とテストケースで設定された設備現況とのマツチングを
行う。そして、マツチングするルールがあれば、その結
論である制御指令と、その制御指令に至るに使用したデ
ータ内容を出力する。

上記制御論理コントローラ６３については、前述の特願
昭５８−０７９３４１　号で述べられているの＋、ここ
では説明を省略する。

制御論理コントローラ６３の出力を受けて、テスト結果
編集、出力部６５は、テスト結果６６を出力する。その
テスト結果６６をもとにして、ルール格納テーブル６４
に格納されたルールの抜けや矛盾するルールが容易に見
出せるようにするため、テスト結果編集、出力部６５は
、各制御指令内容ごとに、それが成立したテストケース
を出力する。テストケースで示されているデータの中で
、制御指令出力に至るに使用したデータには印（例えば
、第５図の＊）を付ける。制御指令出力に至らなかった
ケースは、それをまとめて出力する。

このよりに構成することによシ、ユーザが条件さえ入力
すれば、必要十分なテストケースを自動作成し、ユーザ
がチェックしやすいテスト結果を出力することができる
ので、制御ルールの抜けや矛盾するルールの発見が容易
になった。

なお、上記実施例では、制御ルールに対するテストのみ
に限定して述べたが、本発明はこれに限定されることな
く、例えば、計画ルール、設計ルール、ゲーム・教育の
ルール等にも適用できることは言うまでもない。すなわ
ち、条件と論理とからなる実行ルールを有し、与えられ
た条件が実行ルールに合致した場合にその実行ルールで
指示された実行指令を出力する方式であれば、実行の内
容は計画の立案でも、設計の計算でも何であってもかま
わない。

〔発明の効果〕

以上説明したように、本発明によれば、実行ルールのテ
ストに必要かつ十分なテストケースを自動的に作成し、
そのテスト結果を得ることができ、実行規則のテストを
支援することができる。

【図面の簡単な説明】

第１図は従来の条件判別実行指令出力の説明図、第２図
は本発明の適用対象の一例を示す図、第３図は＠２図に
対する制御ルールの一例を示す図、第４図は第３図に示
した制御ルールの条件を示す図、第５図は第３図、第４
図におけるテスト結果の一例を示す図、第６図は本発明
の一実施５！Ｉを示すブロック図、第７図、第８図は本
発明の一実施例を説明するための補助図、第９図は本発
明の一実施例におけるテストケース作成のための処理フ
ローを示す図である。 ６１・・・現況データ入力部、６２・・・テストケース
作成部、６３・・・制御論理コントローラ、６４・・・
ルール格納テーブル、６５・・・テスト結果編集出力部
、６６・・・テスト結果。 第　ｊ　図 １１ 第　Ｚ　図 第　３　図 第　４　図 一望 Ｚ　５　薗 設　備 マ〉ン〈久ンに出し　マンシ〈〈ンに肉し　参入コ／Ｘ
ア＋ＪｉＬ　４及１ＱＩ＝ＩＱ脣 ｈ３＞　”６矢２１Ｋ（フラン　７シ７〈シン１埒Ｘ　
台ＥＭη・”４肴 マン・　Ｉ’；１．ｌ−周一と−用」−−〈Ｆｉ蓮ゞ　
畦１゛　牡　−イ。 簀 着 升４よ二　ｍ−ヒー　ルｌヱ　−勺：物ｒくキ ゛〉Ｉよ〈才！ン　・　−ン　− 脣 同且　マ、・　固二　−用ち づ〉入コ゛・°アク゛’　”　’　＞ａ＜虜さ、　−’
−＋□特！、３キ ｑｇｈＬへ同ｚ　ｒｉ）ｃ　ｑｒ−”ｒ；４？Ｉ’−矢 しく改ン）工〈Ｉ贅亡ン　マシ、、／、インＩｊ　口＋
”ｆｇｐ’、Ｊ＜ｔｘ＞１１＜ｔ＝＞　＞７＜ｔ＞１ｘ
（ｑ＝＞　ｒ７＋ニオａｙ制征、わ、　れ　マン・　ｎ
ｌ　序１１ｒｌヒ　ン４＜＞１！、Ｊき　后に　同共同
ム　マ、・ ダ　〆　図 ｙ　７　図 γ　８　図 （ｗ） 第　９　図 第１頁の続き ■発明者高倉　修−日 か 立市大みか回天丁目２番１号　株式会社日立製作所大み
工場内

Claims (1)

【特許請求の範囲】
1. １、条件と結論とからなるルールで記述された実行規則
   を格納する実行規則格納部と、前記実行規則と入力され
   た条件との整合を判別しその結果に基づき実行指令を出
   力する条件判別実行指令出力部とを有する実行指令出力
   方式において、条件と、該条件と排反関係にある条件と
   から必要十分な条件の組合せ（以下テストケースと呼ぶ
   ）を作成し、該テストケースを前記条件判別実行指令出
   力部に出力する手段と、前記テストケースに基づき前記
   条件判別実行指令出力部から出力された実行指令を取込
   み、当該実行指令に至ったテストケースを実行指令別に
   まとめ１前記テストケースを構成する条件はその実行指
   令の前提となった条件とそうでない条件とを区別可能に
   出力する手段とを設けたことを特徴とする実行規則テス
   ト支援方式。