JP4804880B2 - ビジネスプロセステスト設計支援装置、ビジネスプロセス試験方法、及びコンピュータプログラム - Google Patents
ビジネスプロセステスト設計支援装置、ビジネスプロセス試験方法、及びコンピュータプログラム Download PDFInfo
- Publication number
- JP4804880B2 JP4804880B2 JP2005318123A JP2005318123A JP4804880B2 JP 4804880 B2 JP4804880 B2 JP 4804880B2 JP 2005318123 A JP2005318123 A JP 2005318123A JP 2005318123 A JP2005318123 A JP 2005318123A JP 4804880 B2 JP4804880 B2 JP 4804880B2
- Authority
- JP
- Japan
- Prior art keywords
- web service
- information
- business process
- processing
- path
- 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.)
- Active
Links
- 238000000034 method Methods 0.000 title claims description 294
- 230000008569 process Effects 0.000 title claims description 280
- 238000012360 testing method Methods 0.000 title claims description 166
- 238000013461 design Methods 0.000 title claims description 36
- 238000004590 computer program Methods 0.000 title claims description 6
- 238000010998 test method Methods 0.000 title claims description 6
- 238000001514 detection method Methods 0.000 claims description 114
- 238000012545 processing Methods 0.000 claims description 99
- 230000007704 transition Effects 0.000 claims description 41
- 230000014509 gene expression Effects 0.000 description 16
- 238000010586 diagram Methods 0.000 description 8
- 239000000284 extract Substances 0.000 description 7
- 238000006467 substitution reaction Methods 0.000 description 6
- 238000000605 extraction Methods 0.000 description 4
- 238000004422 calculation algorithm Methods 0.000 description 2
- 238000004364 calculation method Methods 0.000 description 2
- 238000004519 manufacturing process Methods 0.000 description 2
- 238000012552 review Methods 0.000 description 2
- 238000012795 verification Methods 0.000 description 2
- 230000008859 change Effects 0.000 description 1
- 238000004891 communication Methods 0.000 description 1
- 230000006870 function Effects 0.000 description 1
- 238000007562 laser obscuration time method Methods 0.000 description 1
- 230000008520 organization Effects 0.000 description 1
- 238000007781 pre-processing Methods 0.000 description 1
- 230000009467 reduction Effects 0.000 description 1
- 230000004044 response Effects 0.000 description 1
- 239000004065 semiconductor Substances 0.000 description 1
- 210000000707 wrist Anatomy 0.000 description 1
Images
Description
(b)Webサービス呼出ノードには、呼出対象のWebサービスへの入力およびWebサービスからの出力を定義することができる。
(c)BPの開始に入力する入力情報およびWebサービスからの出力情報は、BP上で定義された変数に記憶させることができる。当該変数は、判断ノードにて遷移条件の判定処理に利用することができる。
(d)Webサービスで発生した例外処理を、遷移条件の判定処理に利用することができる。
(e)利用するWebサービスは互いに独立して動作しており、連携はBPによってのみ行われる。つまり、複数のWebサービスが状態を共有せず、BPによる連携を介さずにある1つのWebサービスが他のWebサービスの動作に影響を及ぼす事がない。
図1は、本実施形態のビジネスプロセステスト設計支援装置1を示す概略ブロック図である。ビジネスプロセステスト設計支援装置1において、BP記述情報DB11は、設計者により作成されたBP記述言語によるBP記述情報を記憶する。Webサービス仕様情報DB12は、BP記述情報に含まれるWebサービス呼出ノードから呼び出されるWebサービスに関するWebサービス仕様情報を記憶する。
ここで、BP記述情報は、上述したBP実行システムの処理に適用されるものであり、Webサービス仕様情報は、上述したWebサービス実行システムの処理に適用されるものである。
次に、図6から図8を参照しつつビジネスプロセステスト設計支援装置1の整合性検出の処理について説明する。
(入出力インタフェース整合性検出処理)
まず最初に、入出力インタフェース検出部14の処理について説明する。入出力インタフェース検出部14では、入力部10から入力されるBP記述情報とWebサービス仕様情報とに基づいて、BP記述情報の入出力情報と、Webサービス仕様情報の入出力情報とを対比し、変数の数および型が一致しているか否かにより整合しているか否かをを検出する。
次に、発生例外検出部15の処理について説明する。発生例外検出部15では、BP記述情報に例外処理が含まれている場合、その遷移先が定義されているかという点と、Webサービスで発生する可能性がある例外処理に対応する処理がBPにおいて定義されているか、すなわちBP記述情報に含まれているか否かを検出することにより整合しているか否かを検出する。
次に、事前条件・事後条件検出部16の処理について説明する。図6は、事前条件・事後条件検出部16による全体的な処理の流れを示したフローチャートである。事前条件・事後条件検出部16では、BP記述情報に含まれるWebサービス呼出ノードであって、隣接関係にあるすべてのWebサービス呼出ノードに対して処理を行う。ここで、隣接関係にあるWebサービス呼出ノードとは、2つのWebサービス呼出ノード(A,B)を想定した場合、AからBに遷移可能であり、かつAからBへの遷移の際に判断ノード以外のノードを経由しないこと、すなわち他のWebサービス呼出ノードを経由しないことを意味する。
(遷移の指定)
事前条件・事後条件検出部16は、整合性検出部13を介して入力部10から入力されるBP記述情報から整合性検出の対象となる隣接関係にあるWebサービス呼出ノードを選択する(ステップSa1)。このように、隣接関係にあるWebサービス呼出ノードを選択する理由は、BP記述情報においてWebサービス呼出ノードAとB間の遷移(A→B)を考えた場合、Webサービス呼出ノードAに関連付けられるWebサービスの事後条件およびWebサービス呼出ノードBに関連付けられるWebサービスの事前条件とBP記述情報との整合性を検出するためである。
次に、事前条件・事後条件検出部16は、A→Bに判断ノードが存在するか否かを検出し、判断ノードが存在する場合、判断ノードから遷移条件の全ての組み合わせの集合(CA→B)を遷移条件情報として抽出する。判断ノードが存在しない場合、CA→Bは、空である1つの要素を有することになる(ステップSa2)。
次に、事前条件・事後条件検出部16は、CA→Bの各要素に、Webサービス呼出ノードAに関連付けられるWebサービスのWebサービス仕様情報から事後条件を読み出し、CA→Bの各要素の条件に読み出した事後条件を追加する(ステップSa3)。
次に、事前条件・事後条件検出部16は、事後条件を追加したCA→Bの各要素を数理計画ソルバー17に入力する。数理計画ソルバー17は、CA→Bの各要素の条件を制約条件として制約条件を満たす変数の解を算出し、算出した結果を事前条件・事後条件検出部16に出力する(ステップSa4)。事前条件・事後条件検出部16は、解が存在したか否かに基づいてBPがWebサービス呼出ノードAに関連付けられるWebサービスの事後条件に整合しているか否かを判定する(ステップSa5)。事前条件・事後条件検出部16は、解が存在しない、すなわち整合していないと判定した場合、A→Bのパスは実行されないパスとして検出する(ステップSa11)。一方、事前条件・事後条件検出部16は、解が存在すると判定した場合、BPがWebサービス呼出ノードAに関連付けられるWebサービスの事後条件に整合しているとして、解が存在するCA→BをCp(A→B)とする。
事前条件・事後条件検出部16は、ステップSa5において解が存在すると判定した場合の各要素に、Webサービス呼出ノードBに関連付けられるWebサービスのWebサービス仕様情報から事前条件を読み出し、Cp(A→B)の各要素の条件に読み出した事前条件を追加する(ステップSa6)。
次に、事前条件・事後条件検出部16は、事前条件を追加したCp(A→B)の各要素を数理計画ソルバー17に入力する。数理計画ソルバー17は、Cp(A→B)の各要素の条件を制約条件として制約条件を満たす変数の解を算出し、算出した結果を事前条件・事後条件検出部16に出力する(ステップSa7)。事前条件・事後条件検出部16は、解が存在したか否かに基づいて、BPがWebサービス呼出ノードBに関連付けられるWebサービスの事前条件に整合しているか否かを判定する(ステップSa8)。事前条件・事後条件検出部16は、解が存在しない、すなわち整合していないと判定した場合、Webサービス呼出ノードBに関連付けられるWebサービスの事後条件の使用に違反する入力が発生する可能性があると考えることができ、BPがWebサービス呼出ノードBに関連付けられるWebサービスの事後条件に整合していないという検出結果を整合性検出部13に出力する。整合性検出部13は、整合性結果出力部18に検出結果を出力する(ステップSa9)。一方、BPがWebサービス呼出ノードBに関連付けられるWebサービスの事後条件に整合していると判定した場合、事前条件・事後条件検出部16は、整合しているという検出結果を整合性検出部13に出力する。整合性検出部13は、整合しているという検出結果の場合、整合性結果出力部18に検出結果を出力しつつ、テストパス生成部19にテストパス生成の開始指示を送信する(ステップSa10)。
なお、判断ノードJ1(分岐1)の他の分岐である、N1→N2の遷移の場合には、抽出されるCN1→N2は、「CN1→N2={(x>0 and y<0)}」となる。
次に、図9から図15を参照しつつビジネスプロセステスト設計支援装置1のテストパス生成の処理について説明する。BP記述情報に含まれる開始ノードから終了ノードに至るまでのパスの中には、BPの設計上、複数の同じ条件の判断ノードが含まれている場合などがある。このような判断ノードが含まれている場合、上位の処理で「True」と判定される場合、下位の判断ノードにおいても必ず「True」と判定されるため、下位の判断ノードにおいて「False」の場合のパスに遷移することはありえない。このようなありえないパスはテストする必要がないためこのようなパスを除いてテストパスを生成することにより、テスト回数を削減することが可能となる。
テストパス生成部19は、整合性検出部13から入力されるBP記述情報から隣接関係にあるWebサービス呼出ノードAとB間のパス(A→B)を選択する。テストパス生成部19は、A→Bに判断ノードが存在するか否かを検出し、判断ノードが存在する場合、判断ノードから遷移条件の全ての組み合わせの集合(CA→B)を遷移条件情報として抽出する。判断ノードが存在しない場合、CA→Bは、空である1つの要素を有することになる。そして、CA→Bの各要素に、Webサービス呼出ノードAに関連付けられるWebサービスのWebサービス仕様情報から事後条件を読み出し、Webサービス呼出ノードBに関連付けられるWebサービスのWebサービス仕様情報から事前条件を読み出し、読み出した事後条件と事前条件とをCA→Bに追加する(ステップSb1)。
テストパス生成部19は、ステップSb1の処理をBP記述情報内の全ての隣接するWebサービス呼出ノード間において行い(ステップSb2)、BPの開始から終了に至るすべてのパスを表現するパス式を生成する(ステップSb3)。
テストパス生成部19は、生成したパス式から1つのテストパスを抽出する(ステップSb4)。
次に、テストパス生成部19は、抽出したテストパスに対して、当該テストパスの開始ノードからの入力、テストパスに含まれる各Webサービスの出力、テストパスに含まれる判断ノードにおける分岐条件から、テストパスに含まれる変数へのデータの代入及び条件判定の順序を示すリストを生成する(ステップSb5)。
そして、テストパス生成部19は、代入及び条件判定の順序を示すリストを数理計画ソルバー17に入力する。数理計画ソルバー17は、入力されるリストを制約条件として制約条件を満たす変数の解を算出し、算出した結果をテストパス生成部19に出力する(ステップSb6)。テストパス生成部19は、数理計画ソルバー17が算出した結果に基づいて、解が存在するか否かを判定する(ステップSb7)。テストパス生成部19は、解が存在すると判定した場合、当該パスを実行可能なテストパスとして記録する(ステップSb8)。一方、テストパス生成部19は、解が存在しないと判定した場合、当該パスを実行可能なテスト対象から除外する。
テストパス生成部19は、図2に示すBPにおいてWebサービス呼出ノードN1からN3への遷移を、図3のBP記述情報から選択したとする。N1からN3への遷移であるため、抽出されるCN1→N3に含まれる条件は、「x>0 and y<0」の逆、すなわち、「CN1→N3=(x<=0 and y<0) or (x>0 and y>=0) or (x<=0 and y>=0)」となる。
10 入力部
11 BP記述情報DB
12 Webサービス仕様情報DB
13 整合性検出部
14 入出力インタフェース検出部
15 発生例外検出部
16 事前条件・事後条件検出部
17 数理計画ソルバー
18 整合性結果出力部
19 テストパス生成部
20 テストパス出力部
Claims (8)
- ビジネスプロセス処理の手順が示されるビジネスプロセス記述情報に従って処理を行うビジネスプロセス実行システムと、前記ビジネスプロセス実行システムから入力される情報を予め定められるウェブサービス処理に基づいて処理し、当該処理により得られる情報を前記ビジネスプロセス実行システムに出力するウェブサービス実行システムとを具備するコンピュータシステムに利用される前記ビジネスプロセス記述情報の試験工程の設計を支援するビジネスプロセステスト設計支援装置であって、
前記ビジネスプロセス記述情報と、前記ウェブサービス処理への入力情報と当該ウェブサービス処理からの出力情報と当該ウェブサービス処理を実行する前に満たされていなければならない事前条件情報と当該ウェブサービス処理の実行後に満たされていなければならない事後条件情報と当該ウェブサービス処理の実行時に起きうる発生例外とが含まれるウェブサービス仕様情報と、を入力する入力部と、
前記入力部が入力する前記ウェブサービス仕様情報と前記ビジネスプロセス記述情報とに基づいて、前記ビジネスプロセス実行システムにより行われる処理と前記ウェブサービス実行システムにより行われる処理とが整合するか否かを検出し、整合するとして検出した場合のそれぞれの処理に対応する前記ウェブサービス仕様情報及び前記ビジネスプロセス記述情報を出力する整合性検出部と、
前記整合性検出部が検出した整合するか否かを示す情報を出力する整合性結果出力部と、
前記整合性検出部から出力される前記ウェブサービス仕様情報及び前記ビジネスプロセス記述情報に基づいて、前記ビジネスプロセス実行システムが実行する処理過程を示したパス情報を生成するとともに、生成したパス情報が実行できるパスであるか否かを、生成元の前記ウェブサービス仕様情報及び前記ビジネスプロセス記述情報に基づいて判定するテストパス生成部と、
前記テストパス生成部が実行できると判定したパス情報をテスト対象のパスとして出力するテストパス出力部と、
を備えたことを特徴とするビジネスプロセステスト設計支援装置。 - 前記整合性検出部は、
前記ウェブサービス仕様情報に含まれる入出力情報の条件情報と、前記ビジネスプロセス記述情報に含まれる前記ウェブサービス実行システムへ入力する入力情報及び当該ウェブサービス実行システムから受信する出力情報とに基づいて、入出力の条件が整合しているか否かを検出する入出力情報検出部を備え、
前記整合性結果出力部は、
前記入出力情報検出部が検出した入出力の情報が整合しているか否かを示す情報を出力する
ことを特徴とする請求項1に記載のビジネスプロセステスト設計支援装置。 - 前記整合性検出部は、
前記ウェブサービス仕様情報に含まれている例外処理の情報に基づいて、当該例外処理が前記ビジネスプロセス記述情報に含まれているか否かを検出する発生例外検出部を備え、
前記整合性結果出力部は、
前記発生例外検出部が検出した当該例外処理が前記ビジネスプロセス記述情報に含まれているか否かを示す情報を出力する
ことを特徴とする請求項1または2のいずれか1つに記載のビジネスプロセステスト設計支援装置。 - 前記ビジネスプロセス記述情報には、前記ウェブサービス実行システムとの間で情報の入出力の処理を示したウェブサービス呼出ノードが含まれており、
前記整合性検出部は、
前記ビジネスプロセス記述情報により示されるビジネスプロセス処理の順序において隣接する第1のウェブサービス呼出ノードと第2のウェブサービス呼出ノードの組み合わせを全て抽出し、当該ビジネスプロセス記述情報に含まれる前記第1のウェブサービス呼出ノードから前記第2のウェブサービス呼出ノードに遷移する場合の遷移条件情報と、前記第1のウェブサービス呼出ノードに対応するウェブサービス仕様情報に含まれる前記事後条件情報と、第2のウェブサービス呼出ノードに対応するウェブサービス仕様情報に含まれる前記事前条件情報とに基づいて、前記ビジネスプロセス処理の前記第1のウェブサービス呼出ノードから前記第2のウェブサービス呼出ノードへ遷移する処理が、前記第1のウェブサービス呼出ノードに対する前記ウェブサービス処理及び前記第2のウェブサービス呼出ノードに対応する前記ウェブサービス処理と整合するか否かを検出する事前条件事後条件検出部を備え、
前記整合性結果出力部は、
前記事前条件事後条件検出部が検出した前記第1のウェブサービス呼出ノードから前記第2のウェブサービス呼出ノードへ遷移する処理が、前記第1のウェブサービス呼出ノードに対する前記ウェブサービス処理及び前記第2のウェブサービス呼出ノードに対応する前記ウェブサービス処理と整合するか否かを示す情報を出力する
ことを特徴とする請求項1から3のいずれか1つに記載のビジネスプロセステスト設計支援装置。 - 前記ビジネスプロセス記述情報には、前記ウェブサービス実行システムとの間で情報の入出力の処理を示したウェブサービス呼出ノードが含まれており、
前記テストパス生成部は、
入力される前記ウェブサービス仕様情報及び前記ビジネスプロセス記述情報に基づいて、当該ビジネスプロセス記述情報により示されるビジネスプロセス処理の順序において隣接する第1のウェブサービス呼出ノードと第2のウェブサービス呼出ノードの組み合わせを全て抽出し、抽出した組み合わせから当該ビジネスプロセス記述情報による処理手順を示すパス情報を生成し、生成したパス情報ごとに、当該パス情報に含まれる全ての前記第1のウェブサービス呼出ノードから前記第2のウェブサービス呼出ノードに遷移する場合の遷移条件情報と、前記第1のウェブサービス呼出ノードに対応するウェブサービス仕様情報に含まれる前記事後条件情報と、第2のウェブサービス呼出ノードに対応するウェブサービス仕様情報に含まれる前記事前条件情報とを前記ビジネス記述情報及び前記ウェブサービス仕様情報から読み出し、読み出した前記遷移条件情報と前記事後条件情報と前記事後条件情報とに基づいて当該パス情報が実行できるか否かを検出する
ことを特徴とする請求項1から4のいずれかに記載のビジネスプロセステスト設計支援装置。 - 前記テストパス生成部は、
生成した前記パス情報毎に、当該パス情報に含まれる変数へのデータの代入及び条件判定の順序を示すリストを生成し、当該リストを制約条件とした変数の解が存在するか否かを判定し、判定結果に基づいて当該パス情報が実行できるか否かを検出する
ことを特徴とする請求項5に記載のビジネスプロセステスト設計支援装置。 - ビジネスプロセス処理の手順が示されるビジネスプロセス記述情報に従って処理を行うビジネスプロセス実行システムと、前記ビジネスプロセス実行システムから入力される情報を予め定められるウェブサービス処理に基づいて処理し、当該処理により得られる情報を前記ビジネスプロセス実行システムに出力するウェブサービス実行システムとを具備するコンピュータシステムに利用される前記ビジネスプロセス記述情報の試験のためのビジネスプロセス試験方法であって、
前記ビジネスプロセス記述情報と、前記ウェブサービス処理への入力情報と当該ウェブサービス処理からの出力情報と当該ウェブサービス処理を実行する前に満たされていなければならない事前条件情報と当該ウェブサービス処理の実行後に満たされていなければならない事後条件情報と当該ウェブサービス処理の実行時に起きうる発生例外とが含まれるウェブサービス仕様情報と、を入力するステップと、
入力した前記ウェブサービス仕様情報と前記ビジネスプロセス記述情報とに基づいて、前記ビジネスプロセス実行システムにより行われる処理と前記ウェブサービス実行システムにより行われる処理とが整合するか否かを検出し、整合するとして検出した場合のそれぞれの処理に対応する前記ウェブサービス仕様情報及び前記ビジネスプロセス記述情報を出力するステップと、
検出した整合するか否かを示す情報を出力するステップと、
出力した前記ウェブサービス仕様情報及び前記ビジネスプロセス記述情報に基づいて、前記ビジネスプロセス実行システムが実行する処理過程を示したパス情報を生成するとともに、生成したパス情報が実行できるパスであるか否かを、生成元の前記ウェブサービス仕様情報及び前記ビジネスプロセス記述情報に基づいて判定するステップと、
実行できると判定したパス情報をテスト対象のパスとして出力するステップと、
を備えたことを特徴とするビジネスプロセス試験方法。 - ビジネスプロセス処理の手順が示されるビジネスプロセス記述情報に従って処理を行うビジネスプロセス実行システムと、前記ビジネスプロセス実行システムから入力される情報を予め定められるウェブサービス処理に基づいて処理し、当該処理により得られる情報を前記ビジネスプロセス実行システムに出力するウェブサービス実行システムとを具備するコンピュータシステムに利用される前記ビジネスプロセス記述情報の試験工程の設計を支援するビジネスプロセステスト設計支援装置に具備されるコンピュータに、
前記ビジネスプロセス記述情報と、前記ウェブサービス処理への入力情報と当該ウェブサービス処理からの出力情報と当該ウェブサービス処理を実行する前に満たされていなければならない事前条件情報と当該ウェブサービス処理の実行後に満たされていなければならない事後条件情報と当該ウェブサービス処理の実行時に起きうる発生例外とが含まれるウェブサービス仕様情報と、を入力するステップと、
入力した前記ウェブサービス仕様情報と前記ビジネスプロセス記述情報とに基づいて、前記ビジネスプロセス実行システムにより行われる処理と前記ウェブサービス実行システムにより行われる処理とが整合するか否かを検出し、整合するとして検出した場合のそれぞれの処理に対応する前記ウェブサービス仕様情報及び前記ビジネスプロセス記述情報を出力するステップと、
検出した整合するか否かを示す情報を出力するステップと、
出力した前記ウェブサービス仕様情報及び前記ビジネスプロセス記述情報に基づいて、前記ビジネスプロセス実行システムが実行する処理過程を示したパス情報を生成するとともに、生成したパス情報が実行できるパスであるか否かを、生成元の前記ウェブサービス仕様情報及び前記ビジネスプロセス記述情報に基づいて判定するステップと、
実行できると判定したパス情報をテスト対象のパスとして出力するステップと、
を実行させるためのコンピュータプログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005318123A JP4804880B2 (ja) | 2005-11-01 | 2005-11-01 | ビジネスプロセステスト設計支援装置、ビジネスプロセス試験方法、及びコンピュータプログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005318123A JP4804880B2 (ja) | 2005-11-01 | 2005-11-01 | ビジネスプロセステスト設計支援装置、ビジネスプロセス試験方法、及びコンピュータプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2007128138A JP2007128138A (ja) | 2007-05-24 |
JP4804880B2 true JP4804880B2 (ja) | 2011-11-02 |
Family
ID=38150767
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2005318123A Active JP4804880B2 (ja) | 2005-11-01 | 2005-11-01 | ビジネスプロセステスト設計支援装置、ビジネスプロセス試験方法、及びコンピュータプログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP4804880B2 (ja) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN111506494B (zh) * | 2020-02-25 | 2023-07-07 | 中信银行股份有限公司 | 一种业务流程实例化的方法 |
CN113641578A (zh) * | 2021-08-10 | 2021-11-12 | 广域铭岛数字科技有限公司 | 基于业务层面精准测试方法、系统、设备及介质 |
CN115438991B (zh) * | 2022-09-19 | 2023-11-24 | 贵州航天云网科技有限公司 | 一种基于流程引擎复杂业务数据智能处理方法 |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH113216A (ja) * | 1997-06-11 | 1999-01-06 | Fujitsu Ltd | シナリオに基づくオブジェクト指向分析設計支援方法および支援装置 |
-
2005
- 2005-11-01 JP JP2005318123A patent/JP4804880B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
JP2007128138A (ja) | 2007-05-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8589884B2 (en) | Method and system for identifying regression test cases for a software | |
US8887124B2 (en) | Validation of process models | |
JP6268029B2 (ja) | テストケース生成装置及びテストケース生成方法 | |
US9703683B2 (en) | Software testing coverage | |
Ogata et al. | A method of automatic integration test case generation from UML-based scenario | |
JP4804880B2 (ja) | ビジネスプロセステスト設計支援装置、ビジネスプロセス試験方法、及びコンピュータプログラム | |
JP6568017B2 (ja) | テスト支援装置、および、テスト支援方法 | |
US10496402B1 (en) | System, method, and computer program for defining and utilizing minimal testable values for software project development and operations | |
US8352909B2 (en) | Business process diagram (BPD) component analysis | |
US20080195906A1 (en) | Test pattern generation apparatus and test pattern generation method | |
JP2009134360A (ja) | モデル検査システム、モデル検査方法およびモデル検査用プログラム | |
GB2397905A (en) | Method for automatically generating and ordering test scripts | |
Havelund et al. | Monitorability for Runtime Verification | |
JP2018142032A (ja) | サービス設計支援装置、方法、およびプログラム | |
JP5755861B2 (ja) | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム | |
JP5595304B2 (ja) | プログラム試験装置、プログラム試験装置のプログラム試験方法およびプログラム試験プログラム | |
JP2009237913A (ja) | プロパティ抽出装置及び方法 | |
El-Fakih et al. | Test translation for embedded finite state machine components | |
JP7391740B2 (ja) | 影響特定支援装置及び影響特定支援方法 | |
JP2019028958A (ja) | 設計書学習装置および設計書学習方法 | |
JP2012088933A (ja) | ソフトウェアプロダクトライン開発支援装置、その方法およびそのプログラム | |
JP4779908B2 (ja) | 回路設計支援システム、回路設計支援方法及びプログラム | |
Vasilache | DePAT: a framework for specification-based automatic test generation | |
Singh et al. | Software Reliability with Jumping Finite Automata | |
Rachdi et al. | Analysis of BPMN process models using time Petri nets |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20080318 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20110405 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20110602 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20110802 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20110810 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 4804880 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20140819 Year of fee payment: 3 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
S533 | Written request for registration of change of name |
Free format text: JAPANESE INTERMEDIATE CODE: R313533 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |