JP6135466B2 - テストケース抽出プログラム、方法及び装置 - Google Patents
テストケース抽出プログラム、方法及び装置 Download PDFInfo
- Publication number
- JP6135466B2 JP6135466B2 JP2013230612A JP2013230612A JP6135466B2 JP 6135466 B2 JP6135466 B2 JP 6135466B2 JP 2013230612 A JP2013230612 A JP 2013230612A JP 2013230612 A JP2013230612 A JP 2013230612A JP 6135466 B2 JP6135466 B2 JP 6135466B2
- Authority
- JP
- Japan
- Prior art keywords
- program
- range
- symbolic execution
- output
- condition
- 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
Description
第1のプログラム及び第2のプログラムの各々について、シンボリック実行を行い、プログラム内のパスを特定するための条件であるパス条件及び前記シンボリック実行によって出力される項目の値域を含むテストデータを生成し、
変更後の前記第1のプログラムについてシンボリック実行を行い、当該シンボリック実行によって出力される項目の値域を特定し、
変更前の前記第1のプログラムについてのシンボリック実行により出力される項目の値域である第1の値域と、変更後の前記第1のプログラムについてのシンボリック実行により出力される項目の値域である第2の値域とを用いて、値域が変化した部分を表す式を計算し、
前記第2のプログラムについてのテストデータに含まれるパス条件が、値域が変化した項目を含むという第1の条件、及び、前記第2のプログラムについてのテストデータに含まれるパス条件と前記値域が変化した部分を表す式との論理積に解が存在するという第2の条件が満たされるか判定する
処理をコンピュータに実行させるためのテストデータ抽出プログラム。
前記判定する処理が、
前記第2のプログラムについてのテストデータにおける、前記シンボリック実行によって出力される項目が、空ではないという第3の条件がさらに満たされるか判定する
処理を含む付記1記載のテストデータ抽出プログラム。
前記値域が変化した部分を表す式を計算する処理が、
前記第1の値域と前記第2の値域の否定との論理積と、前記第1の値域の否定と前記第2の値域との論理積との論理和を計算する処理
を含む付記1又は2記載のテストデータ抽出プログラム。
前記シンボリック実行によって出力される項目の値域は、前記シンボリック実行において当該項目について得られる1又は複数の値域の和集合である
ことを特徴とする付記1乃至3のいずれか1つ記載のテストデータ抽出プログラム。
第1のプログラム及び第2のプログラムの各々について、シンボリック実行を行い、プログラム内のパスを特定するための条件であるパス条件及び前記シンボリック実行によって出力される項目の値域を含むテストデータを生成し、
変更後の前記第1のプログラムについてシンボリック実行を行い、当該シンボリック実行によって出力される項目の値域を特定し、
変更前の前記第1のプログラムについてのシンボリック実行により出力される項目の値域である第1の値域と、変更後の前記第1のプログラムについてのシンボリック実行により出力される項目の値域である第2の値域とを用いて、値域が変化した部分を表す式を計算し、
前記第2のプログラムについてのテストデータに含まれるパス条件が、値域が変化した項目を含むという第1の条件、及び、前記第2のプログラムについてのテストデータに含まれるパス条件と前記値域が変化した部分を表す式との論理積に解が存在するという第2の条件が満たされるか判定する
処理をコンピュータが実行するテストデータ抽出方法。
第1のプログラム及び第2のプログラムの各々について、シンボリック実行を行い、プログラム内のパスを特定するための条件であるパス条件及び前記シンボリック実行によって出力される項目の値域を含むテストデータを生成すると共に、変更後の前記第1のプログラムについてシンボリック実行を行い、当該シンボリック実行によって出力される項目の値域を特定するシンボリック実行部と、
変更前の前記第1のプログラムについてのシンボリック実行により出力される項目の値域である第1の値域と、変更後の前記第1のプログラムについてのシンボリック実行により出力される項目の値域である第2の値域とを用いて、値域が変化した部分を表す式を計算する計算部と、
前記第2のプログラムについてのテストデータに含まれるパス条件が、値域が変化した項目を含むという第1の条件、及び、前記第2のプログラムについてのテストデータに含まれるパス条件と前記値域が変化した部分を表す式との論理積に解が存在するという第2の条件が満たされるか判定する判定部と、
を有するテストデータ抽出装置。
102 変更後プログラム格納部 103 シンボリック実行部
104 入力項目格納部 105 採番テーブル格納部
106 メンバテーブル格納部 107 テストケース格納部
108 値域特定部 109 演算データ格納部
110 値域データ格納部 111 差分演算部
112 差分データ格納部 113 影響テストケース特定部
114 影響テストケース格納部
Claims (6)
- 第1のプログラム及び第2のプログラムの各々について、シンボリック実行を行い、プログラム内のパスを特定するための条件であるパス条件及び前記シンボリック実行によって出力される項目の値域を含むテストデータを生成し、
変更後の前記第1のプログラムについてシンボリック実行を行い、当該シンボリック実行によって出力される項目の値域を特定し、
変更前の前記第1のプログラムについてのシンボリック実行により出力される項目の値域である第1の値域と、変更後の前記第1のプログラムについてのシンボリック実行により出力される項目の値域である第2の値域とを用いて、値域が変化した部分を表す式を計算し、
前記第2のプログラムについてのテストデータに含まれるパス条件が、値域が変化した項目を含むという第1の条件、及び、前記第2のプログラムについてのテストデータに含まれるパス条件と前記値域が変化した部分を表す式との論理積に解が存在するという第2の条件が満たされるか判定する
処理をコンピュータに実行させるためのテストデータ抽出プログラム。 - 前記判定する処理が、
前記第2のプログラムについてのテストデータにおける、前記シンボリック実行によって出力される項目が、空ではないという第3の条件がさらに満たされるか判定する
処理を含む請求項1記載のテストデータ抽出プログラム。 - 前記値域が変化した部分を表す式を計算する処理が、
前記第1の値域と前記第2の値域の否定との論理積と、前記第1の値域の否定と前記第2の値域との論理積との論理和を計算する処理
を含む請求項1又は2記載のテストデータ抽出プログラム。 - 前記シンボリック実行によって出力される項目の値域は、前記シンボリック実行において当該項目について得られる1又は複数の値域の和集合である
ことを特徴とする請求項1乃至3のいずれか1つ記載のテストデータ抽出プログラム。 - 第1のプログラム及び第2のプログラムの各々について、シンボリック実行を行い、プログラム内のパスを特定するための条件であるパス条件及び前記シンボリック実行によって出力される項目の値域を含むテストデータを生成し、
変更後の前記第1のプログラムについてシンボリック実行を行い、当該シンボリック実行によって出力される項目の値域を特定し、
変更前の前記第1のプログラムについてのシンボリック実行により出力される項目の値域である第1の値域と、変更後の前記第1のプログラムについてのシンボリック実行により出力される項目の値域である第2の値域とを用いて、値域が変化した部分を表す式を計算し、
前記第2のプログラムについてのテストデータに含まれるパス条件が、値域が変化した項目を含むという第1の条件、及び、前記第2のプログラムについてのテストデータに含まれるパス条件と前記値域が変化した部分を表す式との論理積に解が存在するという第2の条件が満たされるか判定する
処理をコンピュータが実行するテストデータ抽出方法。 - 第1のプログラム及び第2のプログラムの各々について、シンボリック実行を行い、プログラム内のパスを特定するための条件であるパス条件及び前記シンボリック実行によって出力される項目の値域を含むテストデータを生成すると共に、変更後の前記第1のプログラムについてシンボリック実行を行い、当該シンボリック実行によって出力される項目の値域を特定するシンボリック実行部と、
変更前の前記第1のプログラムについてのシンボリック実行により出力される項目の値域である第1の値域と、変更後の前記第1のプログラムについてのシンボリック実行により出力される項目の値域である第2の値域とを用いて、値域が変化した部分を表す式を計算する計算部と、
前記第2のプログラムについてのテストデータに含まれるパス条件が、値域が変化した項目を含むという第1の条件、及び、前記第2のプログラムについてのテストデータに含まれるパス条件と前記値域が変化した部分を表す式との論理積に解が存在するという第2の条件が満たされるか判定する判定部と、
を有するテストデータ抽出装置。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2013230612A JP6135466B2 (ja) | 2013-11-06 | 2013-11-06 | テストケース抽出プログラム、方法及び装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2013230612A JP6135466B2 (ja) | 2013-11-06 | 2013-11-06 | テストケース抽出プログラム、方法及び装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2015090616A JP2015090616A (ja) | 2015-05-11 |
JP6135466B2 true JP6135466B2 (ja) | 2017-05-31 |
Family
ID=53194101
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2013230612A Active JP6135466B2 (ja) | 2013-11-06 | 2013-11-06 | テストケース抽出プログラム、方法及び装置 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP6135466B2 (ja) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2017199517A1 (ja) * | 2016-05-19 | 2017-11-23 | 株式会社Nttドコモ | 試験選択装置 |
US20190377667A1 (en) | 2017-02-16 | 2019-12-12 | Mitsubishi Electric Corporation | Test case selection apparatus and computer readable medium |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP5825163B2 (ja) * | 2012-03-19 | 2015-12-02 | 富士通株式会社 | 情報処理装置、情報処理方法、および情報処理プログラム |
WO2013161195A1 (ja) * | 2012-04-26 | 2013-10-31 | 日本電気株式会社 | プログラム単体テスト支援装置 |
-
2013
- 2013-11-06 JP JP2013230612A patent/JP6135466B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
JP2015090616A (ja) | 2015-05-11 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US9983984B2 (en) | Automated modularization of graphical user interface test cases | |
JP6003699B2 (ja) | テストデータ生成プログラム、方法及び装置 | |
US20230044789A1 (en) | Indexing Native Application Data | |
JP6230725B2 (ja) | 因果関係分析装置、及び因果関係分析方法 | |
JP6135466B2 (ja) | テストケース抽出プログラム、方法及び装置 | |
WO2016063502A1 (ja) | 知識管理装置、知識管理方法、及び、プログラムの記録媒体 | |
JP5440287B2 (ja) | シンボリック実行支援プログラム、方法及び装置 | |
US20170249314A1 (en) | Apparatus and method to determine a predicted-reliability of searching for an answer to question information | |
JP6142724B2 (ja) | テストデータ生成プログラム、方法及び装置 | |
CN112783574A (zh) | 应用程序开发方法、装置、设备和存储介质 | |
CN110347577B (zh) | 一种页面测试方法、装置及其设备 | |
CN113778437A (zh) | 一种rpa元素精准定位方法 | |
US9268560B2 (en) | Displaying dependent files for computer code in a tabbed-application user interface | |
JP2012014684A (ja) | 名寄せ支援処理装置、方法及びプログラム | |
CN113553251A (zh) | 一种应用于软件测试的mock测试方法 | |
JP2017041196A (ja) | スタブ化対象判定装置、方法、及びプログラム | |
CN113642295B (zh) | 页面排版方法、装置及计算机程序产品 | |
US11960560B1 (en) | Methods for analyzing recurring accessibility issues with dynamic web site behavior and devices thereof | |
JP6087472B2 (ja) | プログラム図作成装置、プログラム図作成方法、及びプログラム図作成プログラム | |
JP2014127091A (ja) | テストデータ生成方法、プログラム及び装置 | |
CN113656443B (zh) | 数据拆解方法、装置、电子设备和存储介质 | |
WO2012035754A1 (ja) | データ統合処理装置、システム、方法及びプログラム | |
US11157923B1 (en) | Dynamically determining procurement user types | |
Abascal et al. | Critique of Barbosa's" P!= NP Proof" | |
US8572531B2 (en) | Timing verification support device generating second circuit data including circuit elements identified from first circuit data and timing verification support method |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20160705 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20170314 |
|
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: 20170328 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20170410 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6135466 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |