JP2014021982A - オブジェクト指向言語のための記号テストドライバの反復生成 - Google Patents
オブジェクト指向言語のための記号テストドライバの反復生成 Download PDFInfo
- Publication number
- JP2014021982A JP2014021982A JP2013146221A JP2013146221A JP2014021982A JP 2014021982 A JP2014021982 A JP 2014021982A JP 2013146221 A JP2013146221 A JP 2013146221A JP 2013146221 A JP2013146221 A JP 2013146221A JP 2014021982 A JP2014021982 A JP 2014021982A
- Authority
- JP
- Japan
- Prior art keywords
- symbol
- test
- instructions
- oriented programming
- test driver
- 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
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3684—Test management for test design, e.g. generating new test cases
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Software Systems (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Abstract
【解決手段】 1又は複数のコンピューティング装置により、評価されるべきコンピューティング装置に対する命令を決定するステップ、評価されるべき1又は複数の前記命令及び該命令の一部に対応する記号変数の指示を有する第1の記号テストドライバを生成するステップ、前記記号変数に関して前記命令を記号実行するステップ、前記記号実行の結果から、前記記号変数の所与の値で前記命令を実行する1又は複数のコマンドを有するテストケースを決定するステップ、前記コマンド内のオブジェクト指向プログラミングコンポーネントの1又は複数の呼び出しを決定するステップ、前記の決定した呼び出しに基づき前記呼び出しを有する新しい記号テストドライバを生成するステップ、次に、前記新しい記号テストドライバを記号実行するステップ、を有する方法。
【選択図】 図1
Description
102 電子装置
104 被検査コード
106 テストモジュール
108 結果
110 プロセッサ
112 メモリ
200 テストモジュール
202 ソースファイル
204 テストドライバ生成部
206 記号テストドライバ生成部
208 記号実行エンジン
210 テストエンジン
214 結果
520、522 テストケース
Claims (20)
- 1又は複数のコンピューティング装置により、
評価されるべきコンピューティング装置に対する命令を決定するステップ、
評価されるべき1又は複数の前記命令及び該命令の一部に対応する記号変数の指示を有する第1の記号テストドライバを生成するステップ、
前記記号変数に関して前記命令を記号実行するステップ、
前記記号実行の結果から、前記記号変数の所与の値で前記命令を実行する1又は複数のコマンドを有するテストケースを決定するステップ、
前記コマンド内のオブジェクト指向プログラミングコンポーネントの1又は複数の呼び出しを決定するステップ、
前記の決定した呼び出しに基づき、前記決定した呼び出しを有する新しい記号テストドライバを生成するステップ、
次に、前記新しい記号テストドライバを記号実行するステップ、
を有する方法。 - 境界条件が決定されるまで、前に生成した記号テストドライバの記号実行に基づき、新しい記号テストドライバの生成を繰り返すステップ、
を更に有する請求項1に記載の方法。 - 評価されるべきコンピューティング装置に対する命令を決定するステップは、オブジェクト指向プログラミングクラスのインスタンスを生成するステップであって、評価されるべき前記命令は前記クラスに含まれる、ステップを有する、請求項1に記載の方法。
- 前記テストケース内で指定された値に基づき、新しい記号変数を選択するステップ、
を更に有する請求項1に記載の方法。 - 前記オブジェクト指向プログラミングコンポーネントの1又は複数の呼び出しは、前記オブジェクト指向プログラミングコンポーネントのインスタンスの生成を有する、請求項1に記載の方法。
- 前記オブジェクト指向プログラミングコンポーネントの1又は複数の呼び出しは、前記オブジェクト指向プログラミングコンポーネントの関数の呼び出しを有する、請求項1に記載の方法。
- 前記オブジェクト指向プログラミングコンポーネントの1又は複数の呼び出しは、前記オブジェクト指向プログラミングコンポーネントのデータ構造のアクセスを有する、請求項1に記載の方法。
- コンピュータ実行可能命令を有するコンピュータ可読媒体、
前記コンピュータ可読媒体に結合され、前記命令を読み出し実行するよう動作する1又は複数のプロセッサ、
を有し、前記1又は複数のプロセッサは、前記命令を実行すると、
評価されるべきコンピューティング装置に対する命令を決定するステップ、
評価されるべき1又は複数の前記命令及び該命令の一部に対応する記号変数の指示を有する第1の記号テストドライバを生成するステップ、
前記記号変数に関して前記命令を記号実行するステップ、
前記記号実行の結果から、前記記号変数の所与の値で前記命令を実行する1又は複数のコマンドを有するテストケースを決定するステップ、
前記コマンド内のオブジェクト指向プログラミングコンポーネントの1又は複数の呼び出しを決定するステップ、
前記の決定した呼び出しに基づき、前記決定した呼び出しを有する新しい記号テストドライバを生成するステップ、
次に、前記新しい記号テストドライバを記号実行するステップ、
を実行する、システム。 - 前記1又は複数のプロセッサは、境界条件が決定されるまで、前に生成した記号テストドライバの記号実行に基づき、新しい記号テストドライバの生成を繰り返すステップ、
を更に実行する、請求項8に記載のシステム。 - 評価されるべきコンピューティング装置に対する命令を決定するステップは、オブジェクト指向プログラミングクラスのインスタンスを生成するステップであって、評価されるべき前記命令は前記クラスに含まれる、ステップを有する、請求項8に記載のシステム。
- 前記1又は複数のプロセッサは、前記テストケース内で指定された値に基づき、新しい記号変数を選択するステップ、を更に実行する、請求項8に記載のシステム。
- 前記オブジェクト指向プログラミングコンポーネントの1又は複数の呼び出しは、前記オブジェクト指向プログラミングコンポーネントのインスタンスの生成を有する、請求項8に記載のシステム。
- 前記オブジェクト指向プログラミングコンポーネントの1又は複数の呼び出しは、前記オブジェクト指向プログラミングコンポーネントの関数の呼び出しを有する、請求項8に記載のシステム。
- 前記オブジェクト指向プログラミングコンポーネントの1又は複数の呼び出しは、前記オブジェクト指向プログラミングコンポーネントのデータ構造のアクセスを有する、請求項8に記載のシステム。
- コンピュータ可読媒体、
前記コンピュータ可読媒体に保持されるコンピュータ実行可能命令、
を有し、前記命令はプロセッサにより読み出し可能であり、前記命令は読み出され実行されると、前記プロセッサに、
評価されるべきコンピューティング装置に対する命令を決定するステップ、
評価されるべき1又は複数の前記命令及び該命令の一部に対応する記号変数の指示を有する第1の記号テストドライバを生成するステップ、
前記記号変数に関して前記命令を記号実行するステップ、
前記記号実行の結果から、前記記号変数の所与の値で前記命令を実行する1又は複数のコマンドを有するテストケースを決定するステップ、
前記コマンド内のオブジェクト指向プログラミングコンポーネントの1又は複数の呼び出しを決定するステップ、
前記の決定した呼び出しに基づき、前記決定した呼び出しを有する新しい記号テストドライバを生成するステップ、
次に、前記新しい記号テストドライバを記号実行するステップ、
を実行させる、製品。 - 前記プロセッサに、境界条件が決定されるまで、前に生成した記号テストドライバの記号実行に基づき、新しい記号テストドライバの生成を繰り返すステップ、
を更に実行させる、請求項15に記載の製品。 - 評価されるべきコンピューティング装置に対する命令を決定するステップは、オブジェクト指向プログラミングクラスのインスタンスを生成するステップであって、評価されるべき前記命令は前記クラスに含まれる、ステップを有する、請求項15に記載の製品。
- 前記プロセッサに、前記テストケース内で指定された値に基づき、新しい記号変数を選択するステップ、を更に実行させる、請求項15に記載の製品。
- 前記オブジェクト指向プログラミングコンポーネントの1又は複数の呼び出しは、前記オブジェクト指向プログラミングコンポーネントのインスタンスの生成を有する、請求項15に記載の製品。
- 前記オブジェクト指向プログラミングコンポーネントの1又は複数の呼び出しは、前記オブジェクト指向プログラミングコンポーネントの関数の呼び出しを有する、請求項15に記載の製品。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US13/549,785 US9058427B2 (en) | 2012-07-16 | 2012-07-16 | Iterative generation of symbolic test drivers for object-oriented languages |
US13/549,785 | 2012-07-16 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2014021982A true JP2014021982A (ja) | 2014-02-03 |
JP6142705B2 JP6142705B2 (ja) | 2017-06-07 |
Family
ID=49915137
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2013146221A Active JP6142705B2 (ja) | 2012-07-16 | 2013-07-12 | オブジェクト指向言語のための記号テストドライバの反復生成 |
Country Status (2)
Country | Link |
---|---|
US (1) | US9058427B2 (ja) |
JP (1) | JP6142705B2 (ja) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2015219906A (ja) * | 2014-05-15 | 2015-12-07 | 富士通株式会社 | ソフトウェア確認方法およびプロセッサ |
Families Citing this family (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9134961B1 (en) * | 2011-05-08 | 2015-09-15 | Panaya Ltd. | Selecting a test based on connections between clusters of configuration changes and clusters of test scenario runs |
US9081892B2 (en) * | 2013-03-14 | 2015-07-14 | Fujitsu Limited | Software verification |
US20140310690A1 (en) * | 2013-04-15 | 2014-10-16 | Futurewei Technologies, Inc. | System and Method for Generating Automated Test Cases for Command Line Based Applications |
US10176086B2 (en) * | 2016-10-03 | 2019-01-08 | Fujitsu Limited | Event-driven software test sequence determination |
CN111611152B (zh) * | 2019-02-25 | 2023-08-04 | 北京嘀嘀无限科技发展有限公司 | 测试用例生成方法、装置、电子设备及可读存储介质 |
US11115137B2 (en) * | 2019-08-02 | 2021-09-07 | Samsung Electronics Co., Ltd. | Method and electronic testing device for determining optimal test case for testing user equipment |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20100242029A1 (en) * | 2009-03-19 | 2010-09-23 | Fujitsu Limited | Environment Data Refinement Based on Static Analysis and Symbolic Execution |
JP2011248887A (ja) * | 2010-05-24 | 2011-12-08 | Fujitsu Ltd | ソフトウェアモジュールのテスト方法及びシステム |
Family Cites Families (15)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5784553A (en) * | 1996-01-16 | 1998-07-21 | Parasoft Corporation | Method and system for generating a computer program test suite using dynamic symbolic execution of JAVA programs |
GB0100676D0 (en) * | 2001-01-11 | 2001-02-21 | Ibm | A method of testing a computer program translated into a national language |
US7266808B2 (en) * | 2001-08-10 | 2007-09-04 | Parasoft Corporation | Method and system for dynamically invoking and/or checking conditions of a computer test program |
US20060253739A1 (en) * | 2005-05-03 | 2006-11-09 | Godefroid Patrice I | Method and apparatus for performing unit testing of software modules with use of directed automated random testing |
US8046746B2 (en) * | 2005-08-04 | 2011-10-25 | Microsoft Corporation | Symbolic execution of object oriented programs with axiomatic summaries |
US8281286B2 (en) * | 2006-03-31 | 2012-10-02 | Cisco Technology, Inc. | Methods and systems for automated testing of applications using an application independent GUI map |
US20090089759A1 (en) * | 2007-10-02 | 2009-04-02 | Fujitsu Limited | System and Method for Providing Symbolic Execution Engine for Validating Web Applications |
US8423879B2 (en) * | 2008-05-14 | 2013-04-16 | Honeywell International Inc. | Method and apparatus for test generation from hybrid diagrams with combined data flow and statechart notation |
US8359576B2 (en) * | 2008-11-14 | 2013-01-22 | Fujitsu Limited | Using symbolic execution to check global temporal requirements in an application |
US8776026B2 (en) * | 2010-10-01 | 2014-07-08 | Ecole Polytechnique Federale De Lausanne | System and method for in-vivo multi-path analysis of binary software |
US8595701B2 (en) * | 2011-02-04 | 2013-11-26 | Fujitsu Limited | Symbolic execution and test generation for GPU programs |
US8666723B2 (en) * | 2011-08-31 | 2014-03-04 | Oregon State Board Of Higher Education On Behalf Of Portland State University | System and methods for generating and managing a virtual device |
US20130091495A1 (en) * | 2011-10-06 | 2013-04-11 | Nec Laboratories America, Inc. | Feedback-directed random class unit test generation using symbolic execution |
GB2502099A (en) * | 2012-05-16 | 2013-11-20 | Ibm | Performance testing of web components using symbolic identities |
US9038032B2 (en) * | 2012-05-25 | 2015-05-19 | Fujitsu Limited | Symbolic execution and automatic test case generation for JavaScript programs |
-
2012
- 2012-07-16 US US13/549,785 patent/US9058427B2/en active Active
-
2013
- 2013-07-12 JP JP2013146221A patent/JP6142705B2/ja active Active
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20100242029A1 (en) * | 2009-03-19 | 2010-09-23 | Fujitsu Limited | Environment Data Refinement Based on Static Analysis and Symbolic Execution |
JP2011248887A (ja) * | 2010-05-24 | 2011-12-08 | Fujitsu Ltd | ソフトウェアモジュールのテスト方法及びシステム |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2015219906A (ja) * | 2014-05-15 | 2015-12-07 | 富士通株式会社 | ソフトウェア確認方法およびプロセッサ |
Also Published As
Publication number | Publication date |
---|---|
US9058427B2 (en) | 2015-06-16 |
JP6142705B2 (ja) | 2017-06-07 |
US20140019939A1 (en) | 2014-01-16 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6142705B2 (ja) | オブジェクト指向言語のための記号テストドライバの反復生成 | |
US8561021B2 (en) | Test code qualitative evaluation | |
US8756460B2 (en) | Test selection based on an N-wise combinations coverage | |
US9645800B2 (en) | System and method for facilitating static analysis of software applications | |
CN105389262B (zh) | 一种针对界面测试生成测试建议的方法和装置 | |
JP6904043B2 (ja) | 未知のプログラムバイナリのための入力発見 | |
WO2015130675A2 (en) | Apparatus and method for testing computer program implementation against a design model | |
US20140298297A1 (en) | Automatic feature-driven testing and quality checking of applications | |
US20180032735A1 (en) | System and method for enhancing static analysis of software applications | |
US20210405980A1 (en) | Long method autofix engine | |
Usman et al. | TEGDroid: Test case generation approach for android apps considering context and GUI events | |
US10169217B2 (en) | System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges | |
KR20210045122A (ko) | 기호 실행을 사용하는 소프트웨어 테스트 입력 생성 장치 및 방법 | |
US11561888B2 (en) | Initialization sequences for automatic software test generation | |
Titze et al. | Apparecium: Revealing data flows in android applications | |
Paydar et al. | An experimental study on flakiness and fragility of randoop regression test suites | |
JP2012181666A (ja) | 情報処理装置、情報処理方法及び情報処理プログラム | |
US9710360B2 (en) | Optimizing error parsing in an integrated development environment | |
US9489284B2 (en) | Debugging method and computer program product | |
US10776255B1 (en) | Automatic verification of optimization of high level constructs using test vectors | |
US8639490B2 (en) | Concretization of abstracted traces | |
US20170123959A1 (en) | Optimized instrumentation based on functional coverage | |
Rajarathinam et al. | Test suite prioritisation using trace events technique | |
Padmanabhuni et al. | Light-weight rule-based test case generation for detecting buffer overflow vulnerabilities | |
US20220261337A1 (en) | Validating inter-partition communication in microservice decomposition |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20160405 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20170215 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20170221 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20170316 |
|
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: 20170411 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20170424 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6142705 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |