JP6316120B2 - テストケース生成システム及びテストケースを記録した記録媒体 - Google Patents
テストケース生成システム及びテストケースを記録した記録媒体 Download PDFInfo
- Publication number
- JP6316120B2 JP6316120B2 JP2014134156A JP2014134156A JP6316120B2 JP 6316120 B2 JP6316120 B2 JP 6316120B2 JP 2014134156 A JP2014134156 A JP 2014134156A JP 2014134156 A JP2014134156 A JP 2014134156A JP 6316120 B2 JP6316120 B2 JP 6316120B2
- Authority
- JP
- Japan
- Prior art keywords
- test case
- pass
- information
- fail condition
- test
- 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
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
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
- G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Software Systems (AREA)
- Debugging And Monitoring (AREA)
Description
110 :コンピュータ
111 :CPU
113 :ROM
114 :ハードディスク
120 :テストケース生成プログラム
130 :入力装置
140 :表示装置
200 :ソースコード
210 :検証モデル生成プログラム
215 :検証モデル
220 :実行経路探索プログラム
225 :トレース群
230 :実行経路解析部
235 :時相論理式
240 :制御内容生成部
250 :合否条件生成部
260 :テストケース生成部
280 :テストケース群
290 :テストシステム
600 :プロパティ解釈テーブル
710 :ソースコード
720 :検証モデル
730 :トレース
810 :テスト実行制御内容情報
820 :合否条件情報
900 :テストケース
Claims (10)
- 検査対象となるオブジェクトコードまたは実行可能形式ファイルのモデルから探索された実行経路情報から、テスト実行制御内容に関する情報を生成する制御内容生成部と、
前記検査対象に対する、時間要素を含む検査式と、前記実行経路情報から、時間要素のない判定式とその判定式を実行するタイミングの組からなる合否条件に関する情報を生成する合否条件生成部と、
前記テスト実行制御内容に関する情報と、前記合否条件に関する情報とから、前記検査式に対応する合否条件を有するテストケースを生成するテストケース生成部と、
を備えることを特徴とするテストケース生成システム。 - 請求項1に記載のテストケース生成システムにおいて、
前記検査式の前記時間要素が「いつも」の意味のときに、前記合否条件生成部は、前記合否条件に関する情報に、前記合否条件の判定結果のANDを取ることを示す第1の情報を付加し、
前記テストケース生成部は、前記第1の情報を付加して前記テストケースを生成することを特徴とするテストケース生成システム。 - 請求項1に記載のテストケース生成システムにおいて、
前記検査式の前記時間要素が「将来」の意味のときに、前記合否条件生成部は、前記合否条件に関する情報に、前記合否条件の判定結果のORを取ることを示す第2の情報を付加し、
前記テストケース生成部は、前記第2の情報を付加して前記テストケースを生成することを特徴とするテストケース生成システム。 - 請求項1に記載のテストケース生成システムにおいて、
前記検査式の前記時間要素が「将来」の意味のときに、前記テストケース生成部は、前記検査式に対応する前記合否条件のトリガが最後のイベントとして追加された前記テストケースを出力することを特徴とするテストケース生成システム。 - 請求項1に記載のテストケース生成システムにおいて、
前記合否条件生成部は、前記検査式を前記合否条件に変換するルールを含む検査式解釈情報を参照して、前記合否条件に関する情報を生成することを特徴とするテストケース生成システム。 - 請求項5に記載のテストケース生成システムにおいて、
前記検査式解釈情報は、前記検査式の構文形と、前記合否条件と、1つのテストケース全体で合否判定を行う際の合否条件間の関係とを構成項目として含むことを特徴とするテストケース生成システム。 - 請求項1に記載のテストケース生成システムにおいて、
前記モデルから制御フローの情報を解析する実行経路解析部をさらに備えることを特徴とするテストケース生成システム。 - 請求項7に記載のテストケース生成システムにおいて、
前記テストケース生成部は、前記制御フローの情報を用いて、前記テスト実行制御内容に関する情報と前記合否条件に関する情報とを整列することにより、前記テストケースを生成することを特徴とするテストケース生成システム。 - 請求項7に記載のテストケース生成システムにおいて、
前記制御内容生成部は、前記制御フローの情報を用いて、前記テスト実行制御内容に関する情報を生成することを特徴とするテストケース生成システム。 - 請求項7に記載のテストケース生成システムにおいて、
前記合否条件生成部は、前記制御フローの情報を用いて、前記合否条件に関する情報を生成することを特徴とするテストケース生成システム。
Priority Applications (5)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2014134156A JP6316120B2 (ja) | 2014-06-30 | 2014-06-30 | テストケース生成システム及びテストケースを記録した記録媒体 |
US15/308,299 US10162739B2 (en) | 2014-06-30 | 2015-06-03 | Test case generation system and recording medium wherein test case is recorded |
EP15816004.4A EP3163448A4 (en) | 2014-06-30 | 2015-06-03 | Test case generation system and recording medium wherein test case is recorded |
CN201580023480.6A CN106415504B (zh) | 2014-06-30 | 2015-06-03 | 测试用例生成***及记录测试用例的记录介质 |
PCT/JP2015/065964 WO2016002417A1 (ja) | 2014-06-30 | 2015-06-03 | テストケース生成システム及びテストケースを記録した記録媒体 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2014134156A JP6316120B2 (ja) | 2014-06-30 | 2014-06-30 | テストケース生成システム及びテストケースを記録した記録媒体 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2016012274A JP2016012274A (ja) | 2016-01-21 |
JP6316120B2 true JP6316120B2 (ja) | 2018-04-25 |
Family
ID=55018969
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2014134156A Active JP6316120B2 (ja) | 2014-06-30 | 2014-06-30 | テストケース生成システム及びテストケースを記録した記録媒体 |
Country Status (5)
Country | Link |
---|---|
US (1) | US10162739B2 (ja) |
EP (1) | EP3163448A4 (ja) |
JP (1) | JP6316120B2 (ja) |
CN (1) | CN106415504B (ja) |
WO (1) | WO2016002417A1 (ja) |
Families Citing this family (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR101704338B1 (ko) * | 2016-02-12 | 2017-02-08 | 강원대학교산학협력단 | 실시간 시스템을 위한 테스트 케이스 생성 장치 및 방법 |
JP6802354B2 (ja) * | 2017-03-03 | 2020-12-16 | 三菱電機株式会社 | 通信試験装置、通信試験方法及びプログラム |
KR20180119857A (ko) * | 2017-04-26 | 2018-11-05 | 현대자동차주식회사 | 소프트웨어 변경 영향성 분석 방법 및 장치 |
US10833688B2 (en) * | 2017-06-23 | 2020-11-10 | Hitachi Automotive Systems, Ltd. | Electronic control device |
KR102104295B1 (ko) * | 2018-02-20 | 2020-04-24 | 주식회사 아이오티큐브 | 탐색 전략을 자동으로 생성하는 방법 및 자동으로 생성된 탐색 전략을 사용한 콘콜릭 테스팅 수행 방법 |
EP3614217A3 (en) * | 2018-08-24 | 2020-09-09 | Tata Consultancy Services Limited | Controlling behavior of an internet of things (iot) automation system by identifying policy violations |
WO2020065804A1 (ja) * | 2018-09-27 | 2020-04-02 | 株式会社島津製作所 | 適格性自動判定システム |
US10761961B2 (en) * | 2018-12-21 | 2020-09-01 | Fujitsu Limited | Identification of software program fault locations |
EP3859532B1 (en) * | 2020-01-31 | 2022-10-12 | Tata Consultancy Services Limited | Method and system for counter example guided loop abstraction refinement |
CN115934513A (zh) * | 2022-11-16 | 2023-04-07 | 大商所飞泰测试技术有限公司 | 一种需求分析及测试设计适配方法、装置、设备及介质 |
Family Cites Families (34)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6499132B1 (en) * | 2001-06-15 | 2002-12-24 | Verisity Ltd. | System and method for analyzing temporal expressions |
US7340725B1 (en) * | 2004-03-31 | 2008-03-04 | Microsoft Corporation | Smart test attributes and test case scenario in object oriented programming environment |
US7503037B2 (en) * | 2004-04-02 | 2009-03-10 | Bea Systems, Inc. | System and method for identifying bugs in software source code, using information from code coverage tools and source control tools to determine bugs introduced within a time or edit interval |
JP2006024006A (ja) * | 2004-07-08 | 2006-01-26 | Denso Corp | テストケース生成装置、テストケース生成プログラム、モデルベース開発プログラム、ソースコード生成妥当性診断装置、ソースコード生成妥当性診断プログラム、およびモデルベース開発方法。 |
CN100351811C (zh) * | 2004-11-15 | 2007-11-28 | 华为技术有限公司 | 一种软件产品健壮性的测试方法及装置 |
US8146057B1 (en) * | 2005-01-07 | 2012-03-27 | Interactive TKO, Inc. | Instrumentation system and method for testing software |
US7644078B2 (en) * | 2005-02-28 | 2010-01-05 | Gm Global Technology Operations, Inc. | System and method for mining of temporal data |
US8266600B2 (en) | 2005-03-28 | 2012-09-11 | Nec Laboratories America, Inc. | Model checking of multi threaded software |
CN1908892A (zh) * | 2005-08-01 | 2007-02-07 | 王彤 | 测试用例设计方法和*** |
US8683441B2 (en) * | 2006-01-11 | 2014-03-25 | International Business Machines Corporation | Software equivalence checking |
US8347271B1 (en) * | 2007-03-05 | 2013-01-01 | Emc Corporation | Software testing |
TWI347519B (en) * | 2007-05-16 | 2011-08-21 | Nat Univ Tsing Hua | Method for generating software test cases |
US7873945B2 (en) * | 2007-06-29 | 2011-01-18 | Microsoft Corporation | Automatically generating test cases for binary code |
US7506312B1 (en) * | 2008-01-31 | 2009-03-17 | International Business Machines Corporation | Method and system for automatically determining risk areas to retest |
JP2009251936A (ja) * | 2008-04-07 | 2009-10-29 | Mitsubishi Electric Corp | プログラマブル表示器の画面プログラム自動試験システム |
US8495574B2 (en) * | 2008-06-16 | 2013-07-23 | International Business Machines Corporation | Code coverage tool |
US8387021B2 (en) * | 2008-09-26 | 2013-02-26 | Microsoft Corporation | Symbolic runtime checking of quantified contracts |
JP5176869B2 (ja) | 2008-10-27 | 2013-04-03 | 富士通株式会社 | テストケース生成プログラムとテストケース生成装置およびテストケース生成方法 |
US8359576B2 (en) * | 2008-11-14 | 2013-01-22 | Fujitsu Limited | Using symbolic execution to check global temporal requirements in an application |
JP2010250669A (ja) * | 2009-04-17 | 2010-11-04 | Denso Corp | テストケース生成装置、オブジェクト検査装置、およびプログラム |
US9117028B2 (en) * | 2011-12-15 | 2015-08-25 | The Boeing Company | Automated framework for dynamically creating test scripts for software testing |
CN103186466B (zh) * | 2011-12-31 | 2016-06-15 | ***股份有限公司 | 基于关联测试用例自动生成的信息交互测试装置及方法 |
US20130275946A1 (en) * | 2012-04-16 | 2013-10-17 | Oracle International Corporation | Systems and methods for test development process automation for a test harness |
US8972949B2 (en) * | 2012-05-29 | 2015-03-03 | Fujitsu Limited | Rule-based method for proving unsatisfiable conditions in a mixed numeric and string solver |
CN102693183B (zh) * | 2012-05-30 | 2015-04-01 | 瑞斯康达科技发展股份有限公司 | 一种实现软件自动化测试的方法及*** |
US9021449B2 (en) * | 2012-08-16 | 2015-04-28 | Fujitsu Limited | Software regression testing using symbolic execution |
US8997064B2 (en) * | 2012-08-16 | 2015-03-31 | Fujitsu Limited | Symbolic testing of software using concrete software execution |
US8856751B2 (en) * | 2012-09-20 | 2014-10-07 | Fujitsu Limited | Abstract symbolic execution for scaling symbolic execution generation and automatic test generation |
JP6003699B2 (ja) * | 2013-02-08 | 2016-10-05 | 富士通株式会社 | テストデータ生成プログラム、方法及び装置 |
JP6032095B2 (ja) * | 2013-03-27 | 2016-11-24 | 富士通株式会社 | テストケース生成方法、テストケース生成装置、およびテストケース生成プログラム |
US10031841B2 (en) * | 2013-06-26 | 2018-07-24 | Sap Se | Method and system for incrementally updating a test suite utilizing run-time application executions |
US9251045B2 (en) * | 2013-12-27 | 2016-02-02 | International Business Machines Corporation | Control flow error localization |
US9336128B2 (en) * | 2014-03-21 | 2016-05-10 | Oracle International Corporation | Method and system for code analysis using symbolic types |
US9483380B2 (en) * | 2014-04-15 | 2016-11-01 | Fujitsu Limited | Parameterized states in symbolic execution for software testing |
-
2014
- 2014-06-30 JP JP2014134156A patent/JP6316120B2/ja active Active
-
2015
- 2015-06-03 EP EP15816004.4A patent/EP3163448A4/en not_active Withdrawn
- 2015-06-03 WO PCT/JP2015/065964 patent/WO2016002417A1/ja active Application Filing
- 2015-06-03 US US15/308,299 patent/US10162739B2/en not_active Expired - Fee Related
- 2015-06-03 CN CN201580023480.6A patent/CN106415504B/zh not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
CN106415504B (zh) | 2019-08-30 |
US20170046252A1 (en) | 2017-02-16 |
EP3163448A1 (en) | 2017-05-03 |
CN106415504A (zh) | 2017-02-15 |
US10162739B2 (en) | 2018-12-25 |
WO2016002417A1 (ja) | 2016-01-07 |
JP2016012274A (ja) | 2016-01-21 |
EP3163448A4 (en) | 2018-06-13 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6316120B2 (ja) | テストケース生成システム及びテストケースを記録した記録媒体 | |
US10025696B2 (en) | System and method for equivalence class analysis-based automated requirements-based test case generation | |
US7958400B2 (en) | Detecting unexpected impact of software changes using coverage analysis | |
JP5775829B2 (ja) | ソフトウェアの構造可視化プログラムおよびシステム | |
CN104536883B (zh) | 一种静态缺陷检测方法及其*** | |
US9208451B2 (en) | Automatic identification of information useful for generation-based functional verification | |
Hammouda et al. | A design approach to automatically synthesize ansi-c assertions during high-level synthesis of hardware accelerators | |
Najm | Measuring Maintainability Index of a Software Depending on Line of Code Only | |
TW201907304A (zh) | 用於一微控制器程式之程式碼涵蓋範圍追蹤 | |
Févotte et al. | Studying the numerical quality of an industrial computing code: A case study on code_aster | |
US8943370B2 (en) | Trace value correlation with data field declarations | |
KR101583932B1 (ko) | 프로그램의 시그니처를 생성하는 시그니처 생성 장치 및 방법, 시그니처의 악성 코드를 검출하는 악성 코드 검출 장치 및 방법 | |
US20190146893A1 (en) | Simulation device, simulation system, simulation method, and simulation program | |
JP2015069400A (ja) | ソフトウェアテストシステム | |
JP6002507B2 (ja) | ソフトウェア検証用プログラムおよびソフトウェア検証システム | |
Puhan et al. | Program crash analysis based on taint analysis | |
JP2017224185A (ja) | バグ混入確率計算プログラム及びバグ混入確率計算方法 | |
JP6723483B2 (ja) | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム | |
Hong et al. | Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution | |
JPWO2014141352A1 (ja) | システム制御装置 | |
JP7059827B2 (ja) | ソースコード生成装置 | |
Sharma et al. | Discovering instructions for robust binary-level coverage criteria | |
Große et al. | Measuring the quality of a SystemC testbench by using code coverage techniques | |
Medeiros | Safely evolving preprocessor-based configurable systems | |
Gupta | Automatic generation of coverage directives targeting signal relationships by statically analyzing RTL |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20170131 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20180109 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20180213 |
|
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: 20180306 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20180327 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6316120 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |