JP7210917B2 - 検証情報生成装置、検証情報生成方法、及び検証情報生成プログラム - Google Patents
検証情報生成装置、検証情報生成方法、及び検証情報生成プログラム Download PDFInfo
- Publication number
- JP7210917B2 JP7210917B2 JP2018131115A JP2018131115A JP7210917B2 JP 7210917 B2 JP7210917 B2 JP 7210917B2 JP 2018131115 A JP2018131115 A JP 2018131115A JP 2018131115 A JP2018131115 A JP 2018131115A JP 7210917 B2 JP7210917 B2 JP 7210917B2
- Authority
- JP
- Japan
- Prior art keywords
- state
- transition
- transitions
- verification information
- information generation
- 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
Images
Landscapes
- Debugging And Monitoring (AREA)
Description
素それぞれを識別する識別情報である。
ース数を削減できる。
システムに対応する状態モデルの状態要素から抽出した、対象とする状態から実行できる一つ以上の遷移を検出する、状態遷移検出部と、
状態と遷移とが関連付けられた複数の状態遷移ペア情報を管理する、状態遷移ペア管理部と、
前記状態遷移検出部で検出した前記遷移のうち、まだ選択していない遷移を実行した場合に検出される前記状態遷移ペア情報の数が最も多い遷移を選択する、遷移選択部と、
前記遷移選択部が選択した前記遷移に基づいてテストケースを生成する、テストケース生成部と、
を有することを特徴とする。
(a)システムに対応する状態モデルの状態要素から抽出した、対象とする状態から実行できる一つ以上の遷移を検出する、ステップと、
(b)状態と遷移とが関連付けられた複数の状態遷移ペア情報を管理する、ステップと、(c)前記(a)のステップにおいて検出した前記遷移のうち、まだ選択していない遷移を実行した場合に検出される前記状態遷移ペア情報の数が最も多い遷移を選択する、ステップと、
(d)前記(c)のステップにおいて選択した前記遷移に基づいてテストケースを生成する、ステップと、
を有することを特徴とする。
コンピュータに
(a)システムに対応する状態モデルの状態要素から抽出した、対象とする状態から実行できる一つ以上の遷移を検出する、ステップと、
(b)状態と遷移とが関連付けられた複数の状態遷移ペア情報を管理する、ステップと、(c)前記(a)のステップにおいて検出した前記遷移のうち、まだ選択していない遷移を実行した場合に検出される前記状態遷移ペア情報の数が最も多い遷移を選択する、ステップと、
(d)前記(c)のステップにおいて選択した前記遷移に基づいてテストケースを生成する、ステップと、
を実行させることを特徴とする。
以下、本発明の実施の形態について、図3から図11を参照しながら説明する。
最初に、図3を用いて、本実施の形態における検証情報生成装置の構成について説明する。図3は、検証情報生成装置の一例を示す図である。
(A:f,B:t→f)
(A:t,B:f→t)
(B:f,A:f→t)
(B:f,A:t→f)
(B:t,A:f→t)
(B:t,A:t→f)
次に、本発明の実施の形態における検証情報生成装置1の動作について図8を用いて説明する。図8は、検証情報生成装置の動作の一例を示す図である。以下の説明においては、適宜図3から図7を参酌する。また、本実施の形態では、検証情報生成装置1を動作させることによって、検証情報生成方法が実施される。よって、本実施の形態における検証情報生成方法の説明は、以下の検証情報生成装置の動作説明に代える。
態CS1が状態集合部ES1に含まれず、かつ状態遷移ペア情報全てがチェック済みではないので、状態遷移検出部2はステップA133の処理を実行する。一方、現在探索対象の状態CS1が初期状態に戻る(二回目以降訪れる)場合、初期状態は必ず最初に探索済みなので、状態集合部ES1に含まれており、再帰を一段終了する。
ない場合(ステップA142:Yes)、状態遷移検出部2は、ステップA132の処理を実行する。ステップA137において一度でも遷移を選んでいる場合(ステップA142:No)、状態遷移検出部2は、ステップA3の処理を終了する(再帰一段分の処理を終了する)。
以上のように、本実施の形態によれば、ペアワイズ法の考えに則り、予め生成した状態遷移ペア情報を用いて、必要な範囲のテストケースを生成する。そのため、従来のようにシステムがとり得る膨大な数の状態を、予め全て用意してからシステムの構築又は変更に関する処理を行う必要がないので、処理に必要な計算資源を削減することができる。また、計算資源を削減できるため、より大規模なシステムの検証ができる。更に、テストケースの数を削減できるので、検証をする工数も削減できる。
本発明の実施の形態におけるプログラムは、コンピュータに、図8に示すステップA1からA4、及び、図9、10に示すステップA131からA142を実行させるプログラムであればよい。このプログラムをコンピュータにインストールし、実行することによって、本実施の形態における検証情報生成装置と検証情報生成方法とを実現することができる。この場合、コンピュータのプロセッサは、状態遷移検出部2と、状態遷移ペア管理部3と、遷移選択部4と、テストケース生成部5として機能し、処理を行なう。
ここで、実施の形態におけるプログラムを実行することによって、検証情報生成装置を実現するコンピュータについて図11を用いて説明する。図11は、検証情報生成装置を実現するコンピュータの一例を示す図である。
以上の実施の形態に関し、更に以下の付記を開示する。上述した実施の形態の一部又は全部は、以下に記載する(付記1)から(付記12)により表現することができるが、以下の記載に限定されるものではない。
システムに対応する状態モデルの状態要素から抽出した、対象とする状態から実行できる一つ以上の遷移を検出する、状態遷移検出部と、
状態と遷移とが関連付けられた複数の状態遷移ペア情報を管理する、状態遷移ペア管理部と、
検出した前記遷移のうち、まだ選択していない遷移を実行した場合に検出される前記状態遷移ペア情報の数が最も多い遷移を選択する、遷移選択部と、
前記遷移選択部が選択した前記遷移に基づいてテストケースを生成する、テストケース生成部と、
を有することを特徴とする検証情報生成装置。
付記1に記載の検証情報生成装置であって、
状態遷移検出部は、遷移選択部により選択された前記遷移を実行した次の状態を、新しい前記対象とする状態とする、
ことを特徴とする検証情報生成装置。
付記1又は2に記載の検証情報生成装置であって、
前記状態遷移ペア情報は、前記状態要素と異なる状態要素の状態と、前記遷移とが関連付けた情報である、
ことを特徴とする検証情報生成装置。
付記1から3のいずれか一つに記載の検証情報生成装置であって、
前記状態遷移ペア管理部は、前記遷移を実行した場合、検出される状態遷移ペア情報にチェック情報を関連付ける、
ことを特徴とする検証情報生成装置。
(a)システムに対応する状態モデルの状態要素から抽出した、対象とする状態から実行できる一つ以上の遷移を検出する、ステップと、
(b)状態と遷移とが関連付けられた複数の状態遷移ペア情報を管理する、ステップと、(c)前記(a)のステップにおいて検出した前記遷移のうち、まだ選択していない遷移を実行した場合に検出される前記状態遷移ペア情報の数が最も多い遷移を選択する、ステップと、
(d)前記(c)のステップにおいて選択した前記遷移に基づいてテストケースを生成する、ステップと、
を有することを特徴とする検証情報生成方法。
付記5に記載の検証情報生成方法であって、
前記(a)のステップにおいて、前記(c)のステップにより選択された前記遷移を実行した次の状態を、新しい前記対象とする状態とする、
ことを特徴とする検証情報生成方法。
付記5又は6に記載の検証情報生成方法であって、
前記状態遷移ペア情報は、前記状態要素と異なる状態要素の状態と、前記遷移とを関連付けた情報である、
ことを特徴とする検証情報生成方法。
付記5から7のいずれか一つに記載の検証情報生成方法であって、
前記(b)のステップにおいて、前記遷移を実行した場合、検出される状態遷移ペア情報にチェック情報を関連付ける、
ことを特徴とする検証情報生成方法。
コンピュータに
(a)システムに対応する状態モデルの状態要素から抽出した、対象とする状態から実行できる一つ以上の遷移を検出する、ステップと、
(b)状態と遷移とが関連付けられた複数の状態遷移ペア情報を管理する、ステップと、(c)前記(a)のステップにおいて検出した前記遷移のうち、まだ選択していない遷移を実行した場合に検出される前記状態遷移ペア情報の数が最も多い遷移を選択する、ステップと、
(d)前記(c)のステップにおいて選択した前記遷移に基づいてテストケースを生成する、ステップと、
を実行させることを特徴とする検証情報生成プログラム。
付記9に記載の検証情報生成プログラムであって、
前記(a)のステップにおいて、前記(c)のステップにより選択された前記遷移を実行した次の状態を、新しい前記対象とする状態とする、
ことを特徴とする検証情報生成プログラム。
付記9又は10に記載の検証情報生成プログラムであって、
前記状態遷移ペア情報は、前記状態要素と異なる状態要素の状態と、前記遷移とを関連付けた情報である、
ことを特徴とする検証情報生成プログラム。
付記9から11のいずれか一つに記載の検証情報生成プログラムであって、
前記(b)のステップにおいて、前記遷移を実行した場合、検出される状態遷移ペア情報にチェック情報を関連付ける、
ことを特徴とする検証情報生成プログラム。
2 状態遷移検出部
3 状態遷移ペア管理部
4 遷移選択部
5 テストケース生成部
6 入力装置
7 出力装置
8 記憶部
110 コンピュータ
111 CPU
112 メインメモリ
113 記憶装置
114 入力インターフェイス
115 表示コントローラ
116 データリーダ/ライタ
117 通信インターフェイス
118 入力機器
119 ディスプレイ装置
120 記録媒体
121 バス
Claims (6)
- システムに対応する状態モデルの状態要素から抽出した、対象とする状態から実行できる一つ以上の遷移を検出する、状態遷移検出手段と、
状態と遷移とが関連付けられた複数の状態遷移ペア情報を管理する、状態遷移ペア管理手段と、
前記状態遷移検出手段で検出した前記遷移のうち、まだ選択していない遷移を実行した場合に検出される前記状態遷移ペア情報の数が最も多い遷移を選択する、遷移選択手段と、
前記遷移選択手段が選択した前記遷移に基づいてテストケースを生成する、テストケース生成手段と、
を有することを特徴とする検証情報生成装置。 - 請求項1に記載の検証情報生成装置であって、
状態遷移検出手段は、遷移選択手段により選択された前記遷移を実行した次の状態を、新しい前記対象とする状態とする、
ことを特徴とする検証情報生成装置。 - 請求項1又は2に記載の検証情報生成装置であって、
前記状態遷移ペア情報は、前記状態要素と異なる状態要素の状態と、前記遷移とを関連付けた情報である
ことを特徴とする検証情報生成装置。 - 請求項1から3のいずれか一つに記載の検証情報生成装置であって、
前記状態遷移ペア管理手段は、前記遷移を実行した場合、検出される状態遷移ペア情報にチェック情報を関連付ける、
ことを特徴とする検証情報生成装置。 - コンピュータが、
(a)システムに対応する状態モデルの状態要素から抽出した、対象とする状態から実行できる一つ以上の遷移を検出する、ステップと、
(b)状態と遷移とが関連付けられた複数の状態遷移ペア情報を管理する、ステップと、
(c)前記(a)のステップにおいて検出した前記遷移のうち、まだ選択していない遷移を実行した場合に検出される前記状態遷移ペア情報の数が最も多い遷移を選択する、ステップと、
(d)前記(c)のステップにおいて選択した前記遷移に基づいてテストケースを生成する、ステップと、
を実行する検証情報生成方法。 - コンピュータに
(a)システムに対応する状態モデルの状態要素から抽出した、対象とする状態から実行できる一つ以上の遷移を検出する、ステップと、
(b)状態と遷移とが関連付けられた複数の状態遷移ペア情報を管理する、ステップと、
(c)前記(a)のステップにおいて検出した前記遷移のうち、まだ選択していない遷移を実行した場合に検出される前記状態遷移ペア情報の数が最も多い遷移を選択する、ステップと、
(d)前記(c)のステップにおいて選択した前記遷移に基づいてテストケースを生成する、ステップと、
を実行させることを特徴とする検証情報生成プログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2018131115A JP7210917B2 (ja) | 2018-07-10 | 2018-07-10 | 検証情報生成装置、検証情報生成方法、及び検証情報生成プログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2018131115A JP7210917B2 (ja) | 2018-07-10 | 2018-07-10 | 検証情報生成装置、検証情報生成方法、及び検証情報生成プログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2020009271A JP2020009271A (ja) | 2020-01-16 |
JP7210917B2 true JP7210917B2 (ja) | 2023-01-24 |
Family
ID=69151894
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2018131115A Active JP7210917B2 (ja) | 2018-07-10 | 2018-07-10 | 検証情報生成装置、検証情報生成方法、及び検証情報生成プログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP7210917B2 (ja) |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2016151925A (ja) | 2015-02-18 | 2016-08-22 | 日本電信電話株式会社 | 優先度付与装置、優先度付与方法および優先度付与プログラム |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH1040316A (ja) * | 1996-07-18 | 1998-02-13 | Toshiba Corp | 図式のテスト支援装置及びテスト支援方法 |
-
2018
- 2018-07-10 JP JP2018131115A patent/JP7210917B2/ja active Active
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2016151925A (ja) | 2015-02-18 | 2016-08-22 | 日本電信電話株式会社 | 優先度付与装置、優先度付与方法および優先度付与プログラム |
Also Published As
Publication number | Publication date |
---|---|
JP2020009271A (ja) | 2020-01-16 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US10747652B2 (en) | Automatic risk analysis of software | |
Sambasivan et al. | Principled workflow-centric tracing of distributed systems | |
CN101473301B (zh) | 迭代静态和动态软件分析 | |
US20170068676A1 (en) | Layer Identification and Dependency Analysis for Management of Images | |
US11650905B2 (en) | Testing source code changes | |
US8418093B2 (en) | Method and system for design simplification through implication-based analysis | |
US8732676B1 (en) | System and method for generating unit test based on recorded execution paths | |
KR102013582B1 (ko) | 혼합 모드 프로그램의 소스 코드 오류 위치 검출 장치 및 방법 | |
JP3822044B2 (ja) | 設計検証システム、設計検証方法および設計検証プログラムを格納したコンピュータ読取り可能な記録媒体 | |
US20150143342A1 (en) | Functional validation of software | |
Sun et al. | {KSG}: Augmenting kernel fuzzing with system call specification generation | |
JP2017174418A (ja) | モデルチェックのためのデータ構造抽象化 | |
US10380313B1 (en) | Implementation and evaluation of designs for heterogeneous computing platforms with hardware acceleration | |
US8245166B2 (en) | Optimal correlated array abstraction | |
JP5233355B2 (ja) | プロパティ生成システムおよびプロパティ検証システム | |
US11334349B2 (en) | Removing feature flag-related codebase from applications | |
JP7210917B2 (ja) | 検証情報生成装置、検証情報生成方法、及び検証情報生成プログラム | |
US20080295058A1 (en) | Representing binary code as a circuit | |
CN114174983B (zh) | 用于高级构造的优化的自动验证的方法和*** | |
US8352234B2 (en) | Model generation based on a constraint and an initial model | |
JP7380851B2 (ja) | テストスクリプト生成装置、テストスクリプト生成方法及びプログラム | |
JP6818568B2 (ja) | 通信装置、通信仕様差分抽出方法及び通信仕様差分抽出プログラム | |
JP5755861B2 (ja) | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム | |
JP2017041196A (ja) | スタブ化対象判定装置、方法、及びプログラム | |
Azimi et al. | Adaptv: A model-based test adaptation approach for end-to-end user interface testing of smart tvs |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20210603 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20220520 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20220531 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20220726 |
|
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: 20221213 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20221226 |
|
R151 | Written notification of patent or utility model registration |
Ref document number: 7210917 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R151 |