JP2016115124A - スタブ化方法、プログラム及び装置 - Google Patents
スタブ化方法、プログラム及び装置 Download PDFInfo
- Publication number
- JP2016115124A JP2016115124A JP2014252989A JP2014252989A JP2016115124A JP 2016115124 A JP2016115124 A JP 2016115124A JP 2014252989 A JP2014252989 A JP 2014252989A JP 2014252989 A JP2014252989 A JP 2014252989A JP 2016115124 A JP2016115124 A JP 2016115124A
- Authority
- JP
- Japan
- Prior art keywords
- stub
- description
- program
- target
- unit
- 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)
Abstract
【解決手段】スタブ化対象記述検出部14が、シンボリック実行によるテスト対象のプログラムに含まれるスタブ化対象記述を検出し、具体値入力生成部16が、スタブ化対象記述が実行される際のパス条件を充足する変数値を生成し、スタブ生成部18が、生成された変数値を用いてスタブ化対象記述を処理部30に実行させるとともに、処理部30からの返却値に基づいてスタブを生成し、スタブ挿入部20が、スタブ化対象記述を生成されたスタブで置換する。
【選択図】図2
Description
次に、情報処理装置10の処理について、図3のフローチャートに沿って、その他図面を適宜参照しつつ、詳細に説明する。
(付記1) シンボリック実行によるテスト対象のプログラムに含まれるスタブ化対象の記述を検出し、
検出された前記スタブ化対象の記述が実行される際のパス条件を充足する変数値を設定し、
設定された前記変数値を用いて前記スタブ化対象の記述を情報処理部に実行させ、該情報処理部からの返却値に基づいてスタブを生成し、
前記テスト対象のプログラムの前記スタブ化対象の記述を前記スタブで置換する、処理をコンピュータが実行するスタブ化方法。
(付記2) 前記検出する処理では、スタブ化する必要のある記述を格納した格納部に基づいて、前記テスト対象のプログラムの中から前記スタブ化対象の記述を検出することを特徴とする付記1に記載のスタブ化方法。
(付記3) シンボリック実行によるテスト対象のプログラムに含まれるスタブ化対象の記述を検出し、
検出された前記スタブ化対象の記述が実行される際のパス条件を充足する変数値を設定し、
設定された前記変数値を用いて前記スタブ化対象の記述を情報処理部に実行させ、該情報処理部からの返却値に基づいてスタブを生成し、
前記テスト対象のプログラムの前記スタブ化対象の記述を前記スタブで置換する、処理をコンピュータに実行させるスタブ化プログラム。
(付記4) 前記検出する処理では、スタブ化する必要のある記述を格納した格納部に基づいて、前記テスト対象のプログラムの中から前記スタブ化対象の記述を検出することを特徴とする付記3に記載のスタブ化プログラム。
(付記5) シンボリック実行によるテスト対象のプログラムに含まれるスタブ化対象の記述を検出する検出部と、
前記検出部が検出した前記スタブ化対象の記述が実行される際のパス条件を充足する変数値を設定する設定部と、
前記設定部が設定した前記変数値を用いて前記スタブ化対象の記述を情報処理部に実行させ、該情報処理部からの返却値に基づいてスタブを生成する生成部と、
前記テスト対象のプログラムの前記スタブ化対象の記述を前記スタブで置換する置換部と、を備えるスタブ化装置。
(付記6) スタブ化する必要のある記述を格納した格納部を更に備え、
前記検出部は、前記格納部に基づいて、前記テスト対象のプログラムの中から前記スタブ化対象の記述を検出することを特徴とする付記5に記載のスタブ化装置。
14 スタブ化対象記述検出部(検出部)
16 具体値入力生成部(設定部)
18 スタブ生成部(生成部)
20 スタブ挿入部(置換部)
30 処理部(情報処理部)
40 スタブ化対象記述DB(格納部)
Claims (4)
- シンボリック実行によるテスト対象のプログラムに含まれるスタブ化対象の記述を検出し、
検出された前記スタブ化対象の記述が実行される際のパス条件を充足する変数値を設定し、
設定された前記変数値を用いて前記スタブ化対象の記述を情報処理部に実行させ、該情報処理部からの返却値に基づいてスタブを生成し、
前記テスト対象のプログラムの前記スタブ化対象の記述を前記スタブで置換する、処理をコンピュータが実行するスタブ化方法。 - 前記検出する処理では、スタブ化する必要のある記述を格納した格納部に基づいて、前記テスト対象のプログラムの中から前記スタブ化対象の記述を検出することを特徴とする請求項1に記載のスタブ化方法。
- シンボリック実行によるテスト対象のプログラムに含まれるスタブ化対象の記述を検出し、
検出された前記スタブ化対象の記述が実行される際のパス条件を充足する変数値を設定し、
設定された前記変数値を用いて前記スタブ化対象の記述を情報処理部に実行させ、該情報処理部からの返却値に基づいてスタブを生成し、
前記テスト対象のプログラムの前記スタブ化対象の記述を前記スタブで置換する、処理をコンピュータに実行させるスタブ化プログラム。 - シンボリック実行によるテスト対象のプログラムに含まれるスタブ化対象の記述を検出する検出部と、
前記検出部が検出した前記スタブ化対象の記述が実行される際のパス条件を充足する変数値を設定する設定部と、
前記設定部が設定した前記変数値を用いて前記スタブ化対象の記述を情報処理部に実行させ、該情報処理部からの返却値に基づいてスタブを生成する生成部と、
前記テスト対象のプログラムの前記スタブ化対象の記述を前記スタブで置換する置換部と、を備えるスタブ化装置。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2014252989A JP6503724B2 (ja) | 2014-12-15 | 2014-12-15 | スタブ化方法、プログラム及び装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2014252989A JP6503724B2 (ja) | 2014-12-15 | 2014-12-15 | スタブ化方法、プログラム及び装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2016115124A true JP2016115124A (ja) | 2016-06-23 |
JP6503724B2 JP6503724B2 (ja) | 2019-04-24 |
Family
ID=56141958
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2014252989A Expired - Fee Related JP6503724B2 (ja) | 2014-12-15 | 2014-12-15 | スタブ化方法、プログラム及び装置 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP6503724B2 (ja) |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2009129132A (ja) * | 2007-11-22 | 2009-06-11 | Nec Corp | ソフトウェア部分テストシステム、それに用いる方法およびプログラム |
WO2013161195A1 (ja) * | 2012-04-26 | 2013-10-31 | 日本電気株式会社 | プログラム単体テスト支援装置 |
JP2014186727A (ja) * | 2013-03-14 | 2014-10-02 | Fujitsu Ltd | ソフトウェア検証方法及びプロセッサ |
-
2014
- 2014-12-15 JP JP2014252989A patent/JP6503724B2/ja not_active Expired - Fee Related
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2009129132A (ja) * | 2007-11-22 | 2009-06-11 | Nec Corp | ソフトウェア部分テストシステム、それに用いる方法およびプログラム |
WO2013161195A1 (ja) * | 2012-04-26 | 2013-10-31 | 日本電気株式会社 | プログラム単体テスト支援装置 |
JP2014186727A (ja) * | 2013-03-14 | 2014-10-02 | Fujitsu Ltd | ソフトウェア検証方法及びプロセッサ |
Non-Patent Citations (3)
Title |
---|
坂本 衛: "Java Drive 第18回「Java RMIを利用したプログラミング」", UNIX USER 1998年3月号, vol. 第7巻 第3号, JPN6018028873, 1 March 1998 (1998-03-01), JP, pages 71 - 76, ISSN: 0003845558 * |
岩間 太 他: "「ユニットテストの入力データ生成のためのBit−vector Logicに基づくCOBOL記号実行器", レクチャーノート/ソフトウェア学39 ソフトウェア工学の基礎XX, vol. 初版, JPN6018028874, 30 November 2013 (2013-11-30), JP, pages 163 - 172, ISSN: 0003845559 * |
片山 朝子 他: "「業務システムを対象としたシンボリック実行による検証試行」", 情報処理学会 ソフトウェアエンジニアリングシンポジウム 2013, JPN6018028871, 2 September 2013 (2013-09-02), JP, pages 1 - 6, ISSN: 0003845557 * |
Also Published As
Publication number | Publication date |
---|---|
JP6503724B2 (ja) | 2019-04-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US9507943B1 (en) | Analysis tool for data security | |
US8510842B2 (en) | Pinpointing security vulnerabilities in computer software applications | |
US8370945B2 (en) | Identifying security breaches caused by web-enabled software applications | |
US9128723B2 (en) | Method and apparatus for dynamic document object model (DOM) aware code editing | |
US8671397B2 (en) | Selective data flow analysis of bounded regions of computer software applications | |
US8607193B2 (en) | Tracking stale comments in source code listings | |
US9292693B2 (en) | Remediation of security vulnerabilities in computer software | |
US11797639B2 (en) | Systems and methods for development of web products | |
US10380313B1 (en) | Implementation and evaluation of designs for heterogeneous computing platforms with hardware acceleration | |
US20160112285A1 (en) | Apparatus and method for detecting abnormal connection | |
US9734458B2 (en) | Predicting outcome based on input | |
CN110688320A (zh) | 全局变量的检测方法、装置及终端设备 | |
JP6503724B2 (ja) | スタブ化方法、プログラム及び装置 | |
EP2721494B1 (en) | System and method to in-line script dependencies | |
JP6747161B2 (ja) | ソフトウェア品質判定方法 | |
JPWO2019142266A1 (ja) | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム | |
US20130073526A1 (en) | Log message optimization to ignore or identify redundant log messages | |
US8639490B2 (en) | Concretization of abstracted traces | |
US10127202B2 (en) | Detecting overlapping web elements in a graphical user interface | |
US9235387B1 (en) | Methods, systems, and computer program products for evaluating the compatibility of a computer program with target data processing environments based on associations between source code instructions and required data processing facilities | |
US8397192B2 (en) | Proof based bounded model checking | |
CN111611153B (zh) | 一种用户界面过度绘制的检测方法和装置 | |
US20240202109A1 (en) | Test support apparatus, test support method, and program | |
US20200151034A1 (en) | Shared resource analysis for embedded multi-core systems | |
JP5949391B2 (ja) | 実行条件検査装置、実行条件検査システム、実行条件検査方法およびプログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20171113 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20180718 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20180731 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20180925 |
|
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: 20190226 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20190311 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6503724 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |