JP2018092374A - テストケース生成装置、及びテストケース生成方法 - Google Patents
テストケース生成装置、及びテストケース生成方法 Download PDFInfo
- Publication number
- JP2018092374A JP2018092374A JP2016235350A JP2016235350A JP2018092374A JP 2018092374 A JP2018092374 A JP 2018092374A JP 2016235350 A JP2016235350 A JP 2016235350A JP 2016235350 A JP2016235350 A JP 2016235350A JP 2018092374 A JP2018092374 A JP 2018092374A
- Authority
- JP
- Japan
- Prior art keywords
- test case
- case generation
- condition
- rule
- logical expression
- 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.)
- Granted
Links
Images
Abstract
Description
る範囲を表す論理式である範囲条件論理式を生成する、範囲条件論理式生成部と、前記ルール仕様論理式と前記範囲条件論理式とを論理積によって結合した論理式であるテストケース生成用論理式を生成するテストケース生成用論理式生成部と、前記テストケース生成用論理式に基づきテストケースを生成するテストケース生成部と、を備える
)、光学式記憶装置(CD(Compact Disc)、DVD(Digital Versatile Disc)等)、ストレージシステム、ICカード、SDメモリカードや光学式記録媒体等の記録媒体の読取/書込装置、クラウドサーバの記憶領域等である。補助記憶装置13に格納されているプログラムやデータは主記憶装置12に随時ロードされる。
stal Display)、グラフィックカード等)、音声出力装置(スピーカ等)、印字装置等である。尚、例えば、テストケース生成装置10が通信装置16を介して他の装置との間で情報の入力や出力を行う構成としてもよい。
のルール仕様V1としているが、変更後のルール仕様と比較する変更前のルール仕様のバージョンをユーザ等が任意に指定できるようにしてもよい。
トケース生成条件を除く任意の2つのテストケース生成条件について生成した範囲条件論理式の論理積の充足可能性を判定することにより行う。具体的には、テストケース生成装置10は、上記判定により充足可能と判定した場合は重複が有ると判定し、上記判定により充足不能と判定した場合は重複が無いと判定する。例えば、図5のテストケース生成条件情報152の場合、テストケース生成装置10は、条件ID1523が「C1」のテストケース生成条件の範囲条件論理式と、条件ID1523が「C2」のテストケース生成条件の範囲条件論理式の論理積の充足可能性を判定する。
00」を、条件項「Amount<100000」から「Amount=100000」を、条件項「Age<=35」から「Age=35」を、条件項「Age<60」から「Age=60」を、夫々境界値条件として抽出する。
e<60∨Age=35」という条件網羅制約式を生成する。
tool)などオープンソースソフトウェアを利用することで容易にテストケースを生成す
ることができる。
はICカード、SDカード、DVD等の記録媒体に置くことができる。
、必ずしも実装上の全ての制御線や情報線を示しているとは限らない。例えば、実際にはほとんど全ての構成が相互に接続されていると考えてもよい。
Claims (15)
- 業務ルールの仕様を記述したルール仕様に基づき生成されるプログラムのテストに用いるテストケースを生成するテストケース生成装置であって、
前記ルール仕様と、テストケースを生成する範囲に関する情報である範囲条件、及びテストケースの生成の方式を指定する情報である生成方式を含む、一つ以上のテストケース生成条件と、を記憶する情報記憶部と、
前記ルール仕様を表す論理式であるルール仕様論理式を生成するルール仕様論理式生成部と、
前記テストケース生成条件ごとに、テストケースを生成する範囲を表す論理式である範囲条件論理式を生成する、範囲条件論理式生成部と、
前記ルール仕様論理式と前記範囲条件論理式とを論理積によって結合した論理式であるテストケース生成用論理式を生成するテストケース生成用論理式生成部と、
前記テストケース生成用論理式に基づきテストケースを生成するテストケース生成部と、
を備える、テストケース生成装置。 - 請求項1に記載のテストケース生成装置であって、
前記情報記憶部は、前記範囲条件として、前記ルール仕様の変更前と変更後の差分を示す情報が設定された前記テストケース生成条件を記憶し、
前記範囲条件論理式生成部は、前記ルール仕様の変更前と変更後の差分に基づき前記範囲条件論理式を生成する、
テストケース生成装置。 - 請求項1に記載のテストケース生成装置であって、
前記ルール仕様は、前記業務ルールを条件と結果を示す記述形式で記述した情報である複数のルールを含み、
前記情報記憶部は、前記範囲条件として、前記ルール仕様における前記ルールの入力項目の値に関する条件を示す情報が設定された前記テストケース生成条件を記憶し、
前記範囲条件論理式生成部は、前記ルールの入力項目の値に関する条件を示す情報に基づき前記範囲条件論理式を生成する、
テストケース生成装置。 - 請求項1乃至3のいずれか一項に記載のテストケース生成装置であって、
前記ルール仕様は、前記業務ルールを条件と結果を示す記述形式で記述した情報である複数のルールを含み、
前記生成方式は、
前記ルールの前記条件の組み合わせを網羅するように前記テストケースを生成する方式である条件網羅、
前記ルールセットの間の前記ルールの組み合わせを網羅するように前記テストケースを生成する方式であるパス網羅、
前記ルールセットに含まれている前記ルールが少なくとも一回以上実行されるように前記テストケースを生成する方式であるルール網羅、
AllPairs法を用いて2因子網羅となるように前記テストケースを生成する方式であるAllPairs/2因子、及び、
AllPairs法を用いて3因子網羅となるように前記テストケースを生成する方式であるAllPairs/3因子、
のうちの少なくともいずれかである、
テストケース生成装置。 - 請求項1乃至3のいずれか一項に記載のテストケース生成装置であって、
前記情報記憶部は、前記テストケース生成条件の夫々について設定された優先度を示す情報を記憶し、
前記テストケース生成部は、複数の前記テストケース生成条件の夫々の前記範囲条件論理式の間に重複が有るか否かを判定し、重複が有る場合、重複が無くなるように少なくともいずれかの前記範囲条件論理式を修正する、
テストケース生成装置。 - 請求項5に記載のテストケース生成装置であって、
前記テストケース生成部は、前記判定に際し、前記判定の対象となる複数の前記範囲条件論理式の論理積の充足可能性を調べ、充足可能な場合は前記複数の範囲条件論理式の間に重複が有ると判定し、充足不能な場合は前記複数の範囲条件論理式の間に重複が無いと判定する、
テストケース生成装置。 - 請求項1乃至3のいずれか一項に記載のテストケース生成装置であって、
前記テストケース生成部は、前記テストケース生成用論理式の充足可能性を判定し、充足可能な場合、充足可能となるような前記ルール仕様における入力項目の入力値の組合せを含むデータをテストケースとして生成する、
テストケース生成装置。 - 請求項7に記載のテストケース生成装置であって、
前記テストケース生成部は、前記テストケース生成用論理式の充足可能性を判定し、充足可能な場合、充足可能となるルール仕様における入力項目の入力値の組合せと前記組み合わせに対して期待される出力項目の出力値とを含むデータをテストケースとして生成する、
テストケース生成装置。 - 情報処理装置が、
業務ルールの仕様を記述したルール仕様に基づき生成されるプログラムのテストに用いるテストケースを生成する範囲に関する情報である範囲条件、及びテストケースの生成の方式を指定する情報である生成方式を含む、一つ以上のテストケース生成条件と、を記憶するステップ、
前記ルール仕様を表す論理式であるルール仕様論理式を生成するステップ、
前記テストケース生成条件ごとに、テストケースを生成する範囲を表す論理式である範囲条件論理式を生成するステップ、
前記ルール仕様論理式と前記範囲条件論理式とを論理積によって結合した論理式であるテストケース生成用論理式を生成するステップ、
前記テストケース生成用論理式に基づきテストケースを生成するステップ、
を実行する、テストケース生成方法。 - 請求項9に記載のテストケース生成方法であって、
前記情報処理装置が、
前記範囲条件として前記ルール仕様の変更前と変更後の差分を示す情報が設定された前記テストケース生成条件を記憶するステップ、
前記ルール仕様の変更前と変更後の差分に基づき前記範囲条件論理式を生成するステップ、
をさらに実行する、テストケース生成方法。 - 請求項9に記載のテストケース生成方法であって、
前記ルール仕様は、前記業務ルールを条件と結果を示す記述形式で記述した情報である複数のルールを含み、
前記情報処理装置が、
前記範囲条件として前記ルール仕様における前記ルールの入力項目の値に関する条件を示す情報が設定された前記テストケース生成条件を記憶するステップ、
前記ルールの入力項目の値に関する条件を示す情報に基づき前記範囲条件論理式を生成するステップ、
をさらに実行する、テストケース生成方法。 - 請求項9乃至11のいずれか一項に記載のテストケース生成方法であって、
前記ルール仕様は、前記業務ルールを条件と結果を示す記述形式で記述した情報である複数のルールを含み、
前記生成方式は、
前記ルールの前記条件の組み合わせを網羅するように前記テストケースを生成する方式である条件網羅、
前記ルールセットの間の前記ルールの組み合わせを網羅するように前記テストケースを生成する方式であるパス網羅、
前記ルールセットに含まれている前記ルールが少なくとも一回以上実行されるように前記テストケースを生成する方式であるルール網羅、
AllPairs法を用いて2因子網羅となるように前記テストケースを生成する方式であるAllPairs/2因子、及び、
AllPairs法を用いて3因子網羅となるように前記テストケースを生成する方式であるAllPairs/3因子、
のうちの少なくともいずれかである、
テストケース生成方法。 - 請求項9乃至11のいずれか一項に記載のテストケース生成方法であって、
前記情報処理装置が、
前記テストケース生成条件の夫々について設定された優先度を示す情報を記憶するステップ、
複数の前記テストケース生成条件の夫々の前記範囲条件論理式の間に重複が有るか否かを判定し、重複が有る場合、重複が無くなるように少なくともいずれかの前記範囲条件論理式を修正するステップ、
をさらに実行する、テストケース生成方法。 - 請求項13に記載のテストケース生成方法であって、
前記情報処理装置が、
前記判定に際し、前記判定の対象となる複数の前記範囲条件論理式の論理積の充足可能性を調べ、充足可能な場合は前記複数の範囲条件論理式の間に重複が有ると判定し、充足不能な場合は前記複数の範囲条件論理式の間に重複が無いと判定するステップ、
をさらに実行する、テストケース生成方法。 - 請求項9乃至11のいずれか一項に記載のテストケース生成方法であって、
前記情報処理装置が、
前記テストケース生成用論理式の充足可能性を判定し、充足可能な場合、充足可能となるような前記ルール仕様における入力項目の入力値の組合せを含むデータをテストケースとして生成するステップ、
をさらに実行する、テストケース生成方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2016235350A JP6692281B2 (ja) | 2016-12-02 | 2016-12-02 | テストケース生成装置、及びテストケース生成方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2016235350A JP6692281B2 (ja) | 2016-12-02 | 2016-12-02 | テストケース生成装置、及びテストケース生成方法 |
Publications (3)
Publication Number | Publication Date |
---|---|
JP2018092374A true JP2018092374A (ja) | 2018-06-14 |
JP2018092374A5 JP2018092374A5 (ja) | 2019-04-18 |
JP6692281B2 JP6692281B2 (ja) | 2020-05-13 |
Family
ID=62565596
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2016235350A Active JP6692281B2 (ja) | 2016-12-02 | 2016-12-02 | テストケース生成装置、及びテストケース生成方法 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP6692281B2 (ja) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR20200071567A (ko) * | 2018-12-11 | 2020-06-19 | (주)씽크포비엘 | 소프트웨어 테스트 케이스 자동 생성 방법 및 장치 |
CN113485919A (zh) * | 2021-06-30 | 2021-10-08 | 山东有人物联网股份有限公司 | 测试方法、测试装置及计算机可读存储介质 |
WO2021220465A1 (ja) * | 2020-04-30 | 2021-11-04 | 日本電信電話株式会社 | ルール処理装置、方法およびプログラム |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013148968A (ja) * | 2012-01-17 | 2013-08-01 | Fujitsu Ltd | テストデータ生成装置、テストデータ生成プログラムおよびテストデータ生成方法 |
JP2014186407A (ja) * | 2013-03-22 | 2014-10-02 | Hitachi Ltd | テストケース生成方法、テストケース生成装置およびプログラム |
JP2015204065A (ja) * | 2014-04-16 | 2015-11-16 | 株式会社日立製作所 | テストケース生成装置及びテストケース生成方法 |
JP2016057969A (ja) * | 2014-09-11 | 2016-04-21 | 日立オートモティブシステムズ株式会社 | プログラム検査装置、ソフトウェア検査装置、sat制約条件データ、記憶媒体 |
-
2016
- 2016-12-02 JP JP2016235350A patent/JP6692281B2/ja active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013148968A (ja) * | 2012-01-17 | 2013-08-01 | Fujitsu Ltd | テストデータ生成装置、テストデータ生成プログラムおよびテストデータ生成方法 |
JP2014186407A (ja) * | 2013-03-22 | 2014-10-02 | Hitachi Ltd | テストケース生成方法、テストケース生成装置およびプログラム |
JP2015204065A (ja) * | 2014-04-16 | 2015-11-16 | 株式会社日立製作所 | テストケース生成装置及びテストケース生成方法 |
JP2016057969A (ja) * | 2014-09-11 | 2016-04-21 | 日立オートモティブシステムズ株式会社 | プログラム検査装置、ソフトウェア検査装置、sat制約条件データ、記憶媒体 |
Cited By (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR20200071567A (ko) * | 2018-12-11 | 2020-06-19 | (주)씽크포비엘 | 소프트웨어 테스트 케이스 자동 생성 방법 및 장치 |
KR102176133B1 (ko) | 2018-12-11 | 2020-11-09 | (주)씽크포비엘 | 소프트웨어 테스트 케이스 자동 생성 방법 및 장치 |
WO2021220465A1 (ja) * | 2020-04-30 | 2021-11-04 | 日本電信電話株式会社 | ルール処理装置、方法およびプログラム |
JP7444246B2 (ja) | 2020-04-30 | 2024-03-06 | 日本電信電話株式会社 | ルール処理装置、方法およびプログラム |
CN113485919A (zh) * | 2021-06-30 | 2021-10-08 | 山东有人物联网股份有限公司 | 测试方法、测试装置及计算机可读存储介质 |
CN113485919B (zh) * | 2021-06-30 | 2024-01-26 | 山东有人物联网股份有限公司 | 测试方法、测试装置及计算机可读存储介质 |
Also Published As
Publication number | Publication date |
---|---|
JP6692281B2 (ja) | 2020-05-13 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US9323650B2 (en) | Methods for generating software test input data and devices thereof | |
US20180300336A1 (en) | Knowledge point structure-based search apparatus | |
US20200349206A1 (en) | Systems, apparatuses, and methods of processing and managing web traffic data | |
JP6692281B2 (ja) | テストケース生成装置、及びテストケース生成方法 | |
JPWO2020008991A1 (ja) | 検証自動化装置、検証自動化方法、およびプログラム | |
CN107408105A (zh) | 有条件受控加样式 | |
US10241899B2 (en) | Test input information search device and method | |
JP6120607B2 (ja) | 要件検出装置及び要件検出プログラム | |
US20120317526A1 (en) | Verification method, computer-readable recording medium, and design verification apparatus | |
JP2009245177A (ja) | フィーチャーモデル作成支援装置及びプログラム | |
JP2008117066A (ja) | ソフトウェア開発支援方法、ソフトウェア開発支援装置、ソフトウェア開発支援プログラム、及び計算機システム | |
KR101948603B1 (ko) | 데이터의 유용성 보존을 위한 익명화 장치 및 그 방법 | |
EP3418913A1 (en) | System and method for merging a source data from a source application into a target data of a target application | |
US20170060647A1 (en) | Event-based data management method and device | |
JP6364332B2 (ja) | 仕様生成方法、仕様生成装置、及びプログラム | |
JP6802109B2 (ja) | ソフトウェア仕様分析装置、及びソフトウェア仕様分析方法 | |
CN114556238A (zh) | 用于在云计算环境中生成资产信息的数字表示的方法和系统 | |
JP6954806B2 (ja) | 不具合検出装置、及び不具合検出方法 | |
JPWO2019082786A1 (ja) | 設計情報管理システム、設計情報管理方法およびプログラム | |
JP7478585B2 (ja) | プログラム部品評価システム、及びプログラム部品評価方法 | |
JP2014235568A (ja) | 障害解析に使用されるデータ処理装置及びデータ処理装置のプログラム並びに障害解析に使用されるデータ処理方法、障害解析に使用されるデータ処理方法 | |
JP2013161182A (ja) | テスト項目生成装置、テスト項目生成方法 | |
JP7426305B2 (ja) | 設計書参照作業支援装置、設計書参照作業支援方法および設計書参照作業支援プログラム | |
JP6985322B2 (ja) | 文書作成支援装置、文書作成支援方法及びプログラム | |
CN114553954B (zh) | 信息推送方法、非易失性存储介质及电子设备 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20190305 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20190305 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20191225 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20200121 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20200228 |
|
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: 20200407 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20200414 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6692281 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |