JP2015090616A - テストケース抽出プログラム、方法及び装置 - Google Patents
テストケース抽出プログラム、方法及び装置 Download PDFInfo
- Publication number
- JP2015090616A JP2015090616A JP2013230612A JP2013230612A JP2015090616A JP 2015090616 A JP2015090616 A JP 2015090616A JP 2013230612 A JP2013230612 A JP 2013230612A JP 2013230612 A JP2013230612 A JP 2013230612A JP 2015090616 A JP2015090616 A JP 2015090616A
- Authority
- JP
- Japan
- Prior art keywords
- program
- range
- symbolic execution
- condition
- output
- 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
Landscapes
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Abstract
【解決手段】本テストデータ抽出方法は、第1プログラム及び第2プログラムの各々について、シンボリック実行を行い、パス条件及び出力項目の値域を含むテストデータを生成し、変更後の第1プログラムについてシンボリック実行を行い、出力項目の値域を特定し、変更前の第1プログラムについての出力項目の値域である第1値域と、変更後の第1プログラムについての出力項目の値域である第2値域とを用いて、値域が変化した部分を表す式を計算し、第2プログラムについてのテストデータに含まれるパス条件が、値域が変化した出力項目を含むという第1条件、及び、第2プログラムについてのテストデータに含まれるパス条件と値域が変化した部分を表す式との論理積に解が存在するという第2条件が満たされるか判定する処理を含む。
【選択図】図6
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 true JP2015090616A (ja) | 2015-05-11 |
JP6135466B2 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) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2017199517A1 (ja) * | 2016-05-19 | 2017-11-23 | 株式会社Nttドコモ | 試験選択装置 |
WO2018150507A1 (ja) | 2017-02-16 | 2018-08-23 | 三菱電機株式会社 | テストケース選択装置およびテストケース選択プログラム |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013196350A (ja) * | 2012-03-19 | 2013-09-30 | Fujitsu Ltd | 情報処理装置、情報処理方法、および情報処理プログラム |
WO2013161195A1 (ja) * | 2012-04-26 | 2013-10-31 | 日本電気株式会社 | プログラム単体テスト支援装置 |
-
2013
- 2013-11-06 JP JP2013230612A patent/JP6135466B2/ja active Active
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013196350A (ja) * | 2012-03-19 | 2013-09-30 | Fujitsu Ltd | 情報処理装置、情報処理方法、および情報処理プログラム |
WO2013161195A1 (ja) * | 2012-04-26 | 2013-10-31 | 日本電気株式会社 | プログラム単体テスト支援装置 |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2017199517A1 (ja) * | 2016-05-19 | 2017-11-23 | 株式会社Nttドコモ | 試験選択装置 |
JPWO2017199517A1 (ja) * | 2016-05-19 | 2019-03-14 | 株式会社Nttドコモ | 試験選択装置 |
WO2018150507A1 (ja) | 2017-02-16 | 2018-08-23 | 三菱電機株式会社 | テストケース選択装置およびテストケース選択プログラム |
Also Published As
Publication number | Publication date |
---|---|
JP6135466B2 (ja) | 2017-05-31 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US9983984B2 (en) | Automated modularization of graphical user interface test cases | |
JP6003699B2 (ja) | テストデータ生成プログラム、方法及び装置 | |
CN101751333A (zh) | 用于支援程序解析的方法、及其计算机程序以及计算机系统 | |
CN103873318A (zh) | 一种网站自动化测试方法及自动化测试系统 | |
CN110580189A (zh) | 生成前端页面的方法、装置、计算机设备以及存储介质 | |
JP7254925B2 (ja) | 改良されたデータマッチングのためのデータレコードの字訳 | |
US20210133267A1 (en) | Indexing native application data | |
JP2021108148A (ja) | データ処理方法、データ処理装置、電子機器、コンピュータ可読記憶媒体及びコンピュータプログラム | |
US20180316587A1 (en) | Automated analysis and recommendations for highly performant single page web applications | |
JP6135466B2 (ja) | テストケース抽出プログラム、方法及び装置 | |
JP5440287B2 (ja) | シンボリック実行支援プログラム、方法及び装置 | |
JP5505227B2 (ja) | 繰返しシンボリック実行方法、プログラム及び装置 | |
CN110489563B (zh) | 图结构的表示方法、装置、设备及计算机可读存储介质 | |
CN112364185A (zh) | 多媒体资源的特征确定方法、装置、电子设备和存储介质 | |
CN113642295B (zh) | 页面排版方法、装置及计算机程序产品 | |
US20170249314A1 (en) | Apparatus and method to determine a predicted-reliability of searching for an answer to question information | |
JPWO2016147219A1 (ja) | テキスト可視化システム、テキスト可視化方法、及び、プログラム | |
US20210311843A1 (en) | System verification program generation device, system verification program generation method, and recording medium storing system verification program generation program | |
Pramanik et al. | Minimum 2‐Tuple Dominating Set of an Interval Graph | |
CN114756211A (zh) | 模型训练方法、装置、电子设备和存储介质 | |
JP6142724B2 (ja) | テストデータ生成プログラム、方法及び装置 | |
CN113778437A (zh) | 一种rpa元素精准定位方法 | |
CN113553251A (zh) | 一种应用于软件测试的mock测试方法 | |
JP2017041196A (ja) | スタブ化対象判定装置、方法、及びプログラム | |
US20140068558A1 (en) | Displaying Dependent Files for Computer Code in a Tabbed-Application User Interface |
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 |