JP4591030B2 - テストシナリオ作成方法、テストシナリオ作成装置およびテストシナリオ作成のためのプログラム - Google Patents
テストシナリオ作成方法、テストシナリオ作成装置およびテストシナリオ作成のためのプログラム Download PDFInfo
- Publication number
- JP4591030B2 JP4591030B2 JP2004298744A JP2004298744A JP4591030B2 JP 4591030 B2 JP4591030 B2 JP 4591030B2 JP 2004298744 A JP2004298744 A JP 2004298744A JP 2004298744 A JP2004298744 A JP 2004298744A JP 4591030 B2 JP4591030 B2 JP 4591030B2
- Authority
- JP
- Japan
- Prior art keywords
- scenario
- test
- generating
- state
- group
- 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.)
- Expired - Fee Related
Links
Images
Landscapes
- Tests Of Electronic Circuits (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Description
終了状態および最大遷移回数の指定を受け付けるステップと、
前記受け付けるステップで受け付けた終了状態および最大遷移回数の指定に従って、前記指定に合致する、前記状態遷移表に従う第1のシナリオ群を生成するステップと、
前記受け付けるステップで受け付けた終了状態を開始状態として特定のイベントを発生させる第2のシナリオを生成するステップと、
前記第1のシナリオ群を生成するステップにより生成された前記第1のシナリオ群に含まれるそれぞれのテストシナリオ、および前記第2のシナリオを生成するステップにより生成された前記第2のシナリオを結合することによりテストシナリオ群を得るステップと、
前記テストシナリオ群を得るステップにより得られた前記テストシナリオの中から、その全体が他の前記テストシナリオの一部として含有されるテストシナリオを削除するステップと、
前記第1のシナリオ群を生成するステップおよび前記第2のシナリオを生成するステップにおいて前記テストシナリオを生成する手順を記憶するステップと、
をコンピュータに実行させ、
前記第1のシナリオ群を生成するステップおよび前記第2のシナリオを生成するステップに、前記記憶するステップにより記憶された前記手順を適用して前記テストシナリオを作成可能とされることを特徴とする。
この場合には、状態遷移の履歴を反映させた試験を可能とするテストシナリオを得ることができる。
終了状態および最大遷移回数の指定を受け付ける手段と、
前記受け付ける手段で受け付けた終了状態および最大遷移回数の指定に従って、前記指定に合致する、前記状態遷移表に従う第1のシナリオ群を生成する手段と、
前記受け付ける手段で受け付けた終了状態を開始状態として特定のイベントを発生させる第2のシナリオを生成する手段と、
前記第1のシナリオ群を生成する手段により生成された前記第1のシナリオ群に含まれるそれぞれのテストシナリオ、および前記第2のシナリオを生成する手段により生成された前記第2のシナリオを結合することによりテストシナリオ群を得る手段と、
前記テストシナリオ群を得る手段により得られた前記テストシナリオの中から、その全体が他の前記テストシナリオの一部として含有されるテストシナリオを削除する手段と、
前記第1のシナリオ群を生成する手段および前記第2のシナリオを生成する手段において前記テストシナリオを生成する手順を記憶する手段と、
を備え、
前記第1のシナリオ群を生成する手段および前記第2のシナリオを生成する手段に、前記記憶する手段により記憶された前記手順を適用して前記テストシナリオを作成可能とされることを特徴とする。
終了状態および最大遷移回数の指定を受け付けるステップと、
前記受け付けるステップで受け付けた終了状態および最大遷移回数の指定に従って、前記指定に合致する、前記状態遷移表に従う第1のシナリオ群を生成するステップと、
前記受け付けるステップで受け付けた終了状態を開始状態として特定のイベントを発生させる第2のシナリオを生成するステップと、
前記第1のシナリオ群を生成するステップにより生成された前記第1のシナリオ群に含まれるそれぞれのテストシナリオ、および前記第2のシナリオを生成するステップにより生成された前記第2のシナリオを結合することによりテストシナリオ群を得るステップと、
前記テストシナリオ群を得るステップにより得られた前記テストシナリオの中から、その全体が他の前記テストシナリオの一部として含有されるテストシナリオを削除するステップと、
前記第1のシナリオ群を生成するステップおよび前記第2のシナリオを生成するステップにおいて前記テストシナリオを生成する手順を記憶するステップと、
をコンピュータに実行させ、
前記第1のシナリオ群を生成するステップおよび前記第2のシナリオを生成するステップに、前記記憶するステップにより記憶された前記手順を適用して前記テストシナリオを作成可能とされることを特徴とする。
5 シナリオ加工手段
7 手順記憶手段(生成手順記憶手段、加工手順記憶手段)
Claims (4)
- 状態遷移表に基づいて、遷移状態の履歴がテスト結果に影響を及ばすテストのテストシナリオを作成するテストシナリオ作成方法において、
終了状態および最大遷移回数の指定を受け付けるステップと、
前記受け付けるステップで受け付けた終了状態および最大遷移回数の指定に従って、前記指定に合致する、前記状態遷移表に従う第1のシナリオ群を生成するステップと、
前記受け付けるステップで受け付けた終了状態を開始状態として特定のイベントを発生させる第2のシナリオを生成するステップと、
前記第1のシナリオ群を生成するステップにより生成された前記第1のシナリオ群に含まれるそれぞれのテストシナリオ、および前記第2のシナリオを生成するステップにより生成された前記第2のシナリオを結合することによりテストシナリオ群を得るステップと、
前記テストシナリオ群を得るステップにより得られた前記テストシナリオの中から、その全体が他の前記テストシナリオの一部として含有されるテストシナリオを削除するステップと、
前記第1のシナリオ群を生成するステップおよび前記第2のシナリオを生成するステップにおいて前記テストシナリオを生成する手順を記憶するステップと、
をコンピュータに実行させ、
前記第1のシナリオ群を生成するステップおよび前記第2のシナリオを生成するステップに、前記記憶するステップにより記憶された前記手順を適用して前記テストシナリオを作成可能とされることを特徴とするテストシナリオ作成方法。 - 前記第1のシナリオ群を生成するステップでは、通過する経路の順番を考慮したすべての組み合わせのシナリオを生成することを特徴とする請求項1に記載のテストシナリオ作成方法。
- 状態遷移表に基づいて、遷移状態の履歴がテスト結果に影響を及ばすテストのテストシナリオを作成するテストシナリオ作成装置において、
終了状態および最大遷移回数の指定を受け付ける手段と、
前記受け付ける手段で受け付けた終了状態および最大遷移回数の指定に従って、前記指定に合致する、前記状態遷移表に従う第1のシナリオ群を生成する手段と、
前記受け付ける手段で受け付けた終了状態を開始状態として特定のイベントを発生させる第2のシナリオを生成する手段と、
前記第1のシナリオ群を生成する手段により生成された前記第1のシナリオ群に含まれるそれぞれのテストシナリオ、および前記第2のシナリオを生成する手段により生成された前記第2のシナリオを結合することによりテストシナリオ群を得る手段と、
前記テストシナリオ群を得る手段により得られた前記テストシナリオの中から、その全体が他の前記テストシナリオの一部として含有されるテストシナリオを削除する手段と、
前記第1のシナリオ群を生成する手段および前記第2のシナリオを生成する手段において前記テストシナリオを生成する手順を記憶する手段と、
を備え、
前記第1のシナリオ群を生成する手段および前記第2のシナリオを生成する手段に、前記記憶する手段により記憶された前記手順を適用して前記テストシナリオを作成可能とされることを特徴とするテストシナリオ作成装置。 - 状態遷移表に基づいて、遷移状態の履歴がテスト結果に影響を及ばすテストのテストシナリオを作成するテストシナリオ作成方法を実行するためのプログラムにおいて、
終了状態および最大遷移回数の指定を受け付けるステップと、
前記受け付けるステップで受け付けた終了状態および最大遷移回数の指定に従って、前記指定に合致する、前記状態遷移表に従う第1のシナリオ群を生成するステップと、
前記受け付けるステップで受け付けた終了状態を開始状態として特定のイベントを発生させる第2のシナリオを生成するステップと、
前記第1のシナリオ群を生成するステップにより生成された前記第1のシナリオ群に含まれるそれぞれのテストシナリオ、および前記第2のシナリオを生成するステップにより生成された前記第2のシナリオを結合することによりテストシナリオ群を得るステップと、
前記テストシナリオ群を得るステップにより得られた前記テストシナリオの中から、その全体が他の前記テストシナリオの一部として含有されるテストシナリオを削除するステップと、
前記第1のシナリオ群を生成するステップおよび前記第2のシナリオを生成するステップにおいて前記テストシナリオを生成する手順を記憶するステップと、
をコンピュータに実行させ、
前記第1のシナリオ群を生成するステップおよび前記第2のシナリオを生成するステップに、前記記憶するステップにより記憶された前記手順を適用して前記テストシナリオを作成可能とされることを特徴とするプログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004298744A JP4591030B2 (ja) | 2004-10-13 | 2004-10-13 | テストシナリオ作成方法、テストシナリオ作成装置およびテストシナリオ作成のためのプログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004298744A JP4591030B2 (ja) | 2004-10-13 | 2004-10-13 | テストシナリオ作成方法、テストシナリオ作成装置およびテストシナリオ作成のためのプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2006112852A JP2006112852A (ja) | 2006-04-27 |
JP4591030B2 true JP4591030B2 (ja) | 2010-12-01 |
Family
ID=36381493
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2004298744A Expired - Fee Related JP4591030B2 (ja) | 2004-10-13 | 2004-10-13 | テストシナリオ作成方法、テストシナリオ作成装置およびテストシナリオ作成のためのプログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP4591030B2 (ja) |
Families Citing this family (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP4747034B2 (ja) * | 2006-05-29 | 2011-08-10 | 富士通株式会社 | 検証シナリオ作成プログラム、記録媒体、検証シナリオ作成装置および検証シナリオ作成方法 |
JP4705060B2 (ja) * | 2007-02-27 | 2011-06-22 | 三菱電機株式会社 | 試験仕様生成装置及び試験システム及び試験仕様生成方法及びプログラム |
JP5102823B2 (ja) * | 2009-12-21 | 2012-12-19 | インターナショナル・ビジネス・マシーンズ・コーポレーション | 総テスト時間を最小にするようにテストシナリオを最適化するテスト支援装置、テスト装置、テスト支援方法及びコンピュータプログラム |
JP5533206B2 (ja) | 2010-04-30 | 2014-06-25 | 富士通株式会社 | 検証支援プログラム、検証支援装置、および検証支援方法 |
JP5384587B2 (ja) * | 2011-09-08 | 2014-01-08 | 日本電信電話株式会社 | 異常系シナリオの組合せのテスト項目生成装置及び方法及びプログラム |
JP5404720B2 (ja) * | 2011-09-08 | 2014-02-05 | 日本電信電話株式会社 | 単独の異常系シナリオを任意回数実行するテスト項目生成装置及び方法及びプログラム |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2000298600A (ja) * | 1999-04-14 | 2000-10-24 | Denso Corp | ソフトウェア結合検査装置 |
JP2002259161A (ja) * | 2001-03-02 | 2002-09-13 | Hitachi Ltd | テストスクリプトの自動生成装置 |
JP2003532168A (ja) * | 1999-10-12 | 2003-10-28 | テラダイン・インコーポレーテッド | プログラムの容易な自動テスト機器 |
Family Cites Families (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH06282462A (ja) * | 1993-03-26 | 1994-10-07 | Toshiba Corp | 半導体試験装置制御プログラムデバッグ方式 |
JP3415310B2 (ja) * | 1994-01-26 | 2003-06-09 | 株式会社東芝 | テストケース作成装置 |
JP3207999B2 (ja) * | 1994-03-14 | 2001-09-10 | 富士通株式会社 | 情報処理装置の試験システム |
JPH11149389A (ja) * | 1997-11-18 | 1999-06-02 | Oki Electric Ind Co Ltd | 被テストシステムのシステム仕様の記述によるテストケースの自動生成方法 |
JPH11353348A (ja) * | 1998-06-10 | 1999-12-24 | Hitachi Ltd | テストケース作成装置及びテストケース作成方法 |
-
2004
- 2004-10-13 JP JP2004298744A patent/JP4591030B2/ja not_active Expired - Fee Related
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2000298600A (ja) * | 1999-04-14 | 2000-10-24 | Denso Corp | ソフトウェア結合検査装置 |
JP2003532168A (ja) * | 1999-10-12 | 2003-10-28 | テラダイン・インコーポレーテッド | プログラムの容易な自動テスト機器 |
JP2002259161A (ja) * | 2001-03-02 | 2002-09-13 | Hitachi Ltd | テストスクリプトの自動生成装置 |
Also Published As
Publication number | Publication date |
---|---|
JP2006112852A (ja) | 2006-04-27 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Paikari et al. | A framework for understanding chatbots and their future | |
Petrenko et al. | Conformance tests as checking experiments for partial nondeterministic FSM | |
JP2018185808A (ja) | ブロックチェーンに基づくスマート契約をテストする装置及び方法 | |
CN106980636A (zh) | 保单数据处理方法和装置 | |
Simao et al. | Checking completeness of tests for finite state machines | |
JP4591030B2 (ja) | テストシナリオ作成方法、テストシナリオ作成装置およびテストシナリオ作成のためのプログラム | |
CN108733557B (zh) | 一种测试点生成方法及装置 | |
Yao et al. | Formal modeling and systematic black-box testing of sdn data plane | |
Pena et al. | Verification of the observer property in discrete event systems | |
US8219364B2 (en) | Method to improve unfolding in Petri nets | |
Bochmann et al. | Automating the process of test derivation from SDL specifications | |
WO2015107711A1 (ja) | 分散環境モデル用モデル検査装置、分散環境モデル用モデル検査方法及びプログラム | |
US10078638B2 (en) | Secure hyper transfer of large files | |
EP3012647A1 (en) | Hardware trigger generation from a declarative protocol description | |
CN108287788A (zh) | 一种基于测试用例的用例步骤搭配方法、系统 | |
Volpato et al. | Towards quality of model-based testing in the ioco framework | |
JP6665576B2 (ja) | 支援装置、支援方法及びプログラム | |
Gromov et al. | Testing components of interacting timed finite state machines | |
Jääskeläinen et al. | Synthesizing test models from test cases | |
CN108846672B (zh) | 个性化地址生成方法、装置、电子设备及存储介质 | |
Thiriot et al. | Referral hiring and labor markets: a computational study | |
Fecko et al. | Conformance testing in systems with semicontrollable interfaces | |
Mumme et al. | An efficient fully symbolic bisimulation algorithm for non-deterministic systems | |
JP6428768B2 (ja) | モデル検査装置、方法及びプログラムを記憶した記憶媒体 | |
US8930759B2 (en) | Stream generation |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20061205 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20100203 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20100329 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20100601 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20100723 |
|
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: 20100817 |
|
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: 20100830 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130924 Year of fee payment: 3 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |