JP2017138978A - カバレッジに基づく設計モデル用自動テストケース拡張のためのシステムおよび方法 - Google Patents
カバレッジに基づく設計モデル用自動テストケース拡張のためのシステムおよび方法 Download PDFInfo
- Publication number
- JP2017138978A JP2017138978A JP2017012598A JP2017012598A JP2017138978A JP 2017138978 A JP2017138978 A JP 2017138978A JP 2017012598 A JP2017012598 A JP 2017012598A JP 2017012598 A JP2017012598 A JP 2017012598A JP 2017138978 A JP2017138978 A JP 2017138978A
- Authority
- JP
- Japan
- Prior art keywords
- test
- model
- coverage
- control processor
- gap
- 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
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/3668—Software testing
- G06F11/3672—Test management
- G06F11/3676—Test management for coverage analysis
-
- 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/3688—Test management for test execution, e.g. scheduling of test suites
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)
- Debugging And Monitoring (AREA)
Abstract
Description
110 制御プロセッサ
120 通信リンク
130 設計モデル
135 モデルカバレッジギャップ
140 ギャップ変換器
150 データ格納装置
152 テスト目標
154 テストケース
155 外部メモリ
156 テストモデル
158 カバレッジギャップ変換規則
160 テストジェネレータ
180 カバレッジギャップ分析器
200 プロセス
210 ステップ
220 ステップ
230 ステップ
240 ステップ
300 プロセス
305 ステップ
310 ステップ
315 ステップ
320 ステップ
325 ステップ
330 ステップ
400 ユーザインタフェース
410 未実施項目フレーム
420 テストケースフレーム
430 状態フレーム
500 分析レポート
510 テストカバレッジギャップ位置
520 テストカバレッジギャップ位置
530 テストカバレッジギャップ位置
540 Elseブロック
Claims (9)
- プログラム命令を実行するように構成された制御プロセッサ(110)を備えたコンピュータと、
前記制御プロセッサ(110)にリンクされたギャップ変換器(140)であって、設計モデル(130)の1つ以上のモデルカバレッジギャップ(135)を数学的テスト目標式に変換するように構成された、ギャップ変換器(140)と、
前記制御プロセッサ(110)にリンクされたテストジェネレータ(160)であって、テストモデル(156)内の前記テスト目標(152)から一群のテストケース(154)を作成するように構成された、テストジェネレータ(160)と、
を備え、
前記ギャップ変換器(140)は、前記数学的テスト目標式をテスト目標演算子に翻訳するとともに、前記テスト目標演算子を前記設計モデル(130)内の対応する演算子に紐付けすることによってテストモデル(156)を作成するようにさらに構成されている、
自動テストケース拡張のためのシステム(100)。 - 前記モデルカバレッジギャップ(135)をモデルベース開発ツールから受信するように構成された、請求項1に記載のシステム(100)。
- 前記テスト目標(152)は1つ以上の試験目的を定義する、請求項1に記載のシステム(100)。
- 前記テスト目標演算子は、前記設計モデル(130)に紐付けることができるテスト目標演算子である、請求項1に記載のシステム(100)。
- テスト目標(152)、テストモデル(156)、およびカバレッジギャップ変換規則(158)を格納するデータ格納装置(150)を備えた、請求項1に記載のシステム(100)
- 前記制御プロセッサ(110)はプログラム命令を実行するようにさらに構成され、前記プログラム命令により、
前記制御プロセッサ(110)は、
前記目的の演算子におけるテスト目標(152)を前記設計モデル(130)の前記テストノード演算子に伝達する(propagate)ことによって前記テストモデル(156)を拡張し、
前記カバレッジギャップをカバーする前記テストケース(154)と前記モデルカバレッジギャップ(135)の原因とを得るよう、前記拡張されたテストモデル(156)に対して前記テストジェネレータ(160)を実行する、
請求項1に記載のシステム(100)。 - 前記制御プロセッサ(110)はプログラム命令を実行するようにさらに構成され、前記プログラム命令により、
前記制御プロセッサ(110)は基準変換テーブルを用いることによってカバレッジ基準を翻訳する、請求項6に記載のシステム(100)。 - 前記制御プロセッサ(110)はプログラム命令を実行するようにさらに構成され、前記プログラム命令により、
前記制御プロセッサ(110)は前記モデルベース開発ツールから前記基準変換テーブルを得る、請求項7に記載のシステム(100)。 - 前記制御プロセッサ(110)はプログラム命令を実行するようにさらに構成され、前記プログラム命令により、
前記制御プロセッサ(110)は、
前記カバレッジ基準の分類および特定の少なくともいずれか一方と、
前記カバレッジ基準に対する1つ以上の変換規則(158)の生成と、
を行う、請求項6に記載のシステム(100)。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US15/013,391 US9792204B2 (en) | 2016-02-02 | 2016-02-02 | System and method for coverage-based automated test case augmentation for design models |
US15/013,391 | 2016-02-02 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2017138978A true JP2017138978A (ja) | 2017-08-10 |
JP6973846B2 JP6973846B2 (ja) | 2021-12-01 |
Family
ID=57965690
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2017012598A Active JP6973846B2 (ja) | 2016-02-02 | 2017-01-27 | カバレッジに基づく設計モデル用自動テストケース拡張のためのシステムおよび方法 |
Country Status (5)
Country | Link |
---|---|
US (1) | US9792204B2 (ja) |
EP (1) | EP3208716A1 (ja) |
JP (1) | JP6973846B2 (ja) |
CN (1) | CN107025170B (ja) |
CA (1) | CA2956364C (ja) |
Families Citing this family (13)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108052744A (zh) * | 2017-12-15 | 2018-05-18 | 四川汉科计算机信息技术有限公司 | 航空软件仿真综合测试验证平台 |
EP3547144B1 (en) * | 2018-03-26 | 2021-08-25 | Mitsubishi Electric Corporation | Structural tests generation |
CN110673590B (zh) * | 2019-10-21 | 2021-02-05 | 安徽江淮汽车集团股份有限公司 | 自动驾驶***可靠性判断方法、装置、设备及存储介质 |
CN110795603B (zh) * | 2019-10-29 | 2021-02-19 | 支付宝(杭州)信息技术有限公司 | 一种基于树模型的预测方法和装置 |
CN110874325B (zh) * | 2019-10-31 | 2023-04-07 | 北方工业大学 | 一种基于用户会话的Web应用测试用例扩充方法 |
US11204848B1 (en) | 2020-12-15 | 2021-12-21 | International Business Machines Corporation | System testing infrastructure with hidden variable, hidden attribute, and hidden value detection |
US11132273B1 (en) | 2020-12-15 | 2021-09-28 | International Business Machines Corporation | System testing infrastructure with hidden variable, hidden attribute, and hidden value detection |
US11113167B1 (en) | 2020-12-15 | 2021-09-07 | International Business Machines Corporation | System testing infrastructure with hidden variable, hidden attribute, and hidden value detection |
US11188453B1 (en) | 2020-12-15 | 2021-11-30 | International Business Machines Corporation | Verification of software test quality using hidden variables |
US11379352B1 (en) | 2020-12-15 | 2022-07-05 | International Business Machines Corporation | System testing infrastructure with hidden variable, hidden attribute, and hidden value detection |
CN112597011B (zh) * | 2020-12-16 | 2024-04-16 | 测点大数据(苏州)有限公司 | 一种基于多语言的算子测试用例生成和优化方法 |
WO2024102168A1 (en) * | 2022-11-10 | 2024-05-16 | Ansys, Inc. | Automation of low-level test creation for safety-critical embedded software |
CN116578498B (zh) * | 2023-07-12 | 2023-09-29 | 西南交通大学 | 一种单元测试用例自动生成方法及*** |
Family Cites Families (26)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5918037A (en) | 1996-06-05 | 1999-06-29 | Teradyne, Inc. | Generating tests for an extended finite state machine using different coverage levels for different submodels |
US5913023A (en) | 1997-06-30 | 1999-06-15 | Siemens Corporate Research, Inc. | Method for automated generation of tests for software |
US6125359A (en) * | 1997-09-23 | 2000-09-26 | Unisys Corporation | Method and apparatus for identifying the coverage of a test sequence in a rules-based expert system |
US6356858B1 (en) * | 1998-04-03 | 2002-03-12 | International Business Machines Corp. | Coverage measurement tool for user defined coverage models |
US7272752B2 (en) | 2001-09-05 | 2007-09-18 | International Business Machines Corporation | Method and system for integrating test coverage measurements with model based test generation |
US6978401B2 (en) * | 2002-08-01 | 2005-12-20 | Sun Microsystems, Inc. | Software application test coverage analyzer |
JP2006024006A (ja) | 2004-07-08 | 2006-01-26 | Denso Corp | テストケース生成装置、テストケース生成プログラム、モデルベース開発プログラム、ソースコード生成妥当性診断装置、ソースコード生成妥当性診断プログラム、およびモデルベース開発方法。 |
US8234105B1 (en) * | 2008-01-08 | 2012-07-31 | The Mathworks, Inc. | Mapping between code coverage and model coverage for a design |
US8307342B2 (en) | 2008-05-14 | 2012-11-06 | Honeywell International Inc. | Method, apparatus, and system for automatic test generation from statecharts |
US20090319830A1 (en) | 2008-06-20 | 2009-12-24 | Fraunhofer-Gesellschaft Zur Foerderung Der Gangewandten Forschung E.V. | System and Method for Automatically Testing a Model |
US8612938B2 (en) | 2009-01-05 | 2013-12-17 | Tata Consultancy Services Limited | System and method for automatic generation of test data to satisfy modified condition decision coverage |
US8352237B2 (en) * | 2009-09-11 | 2013-01-08 | International Business Machines Corporation | System and method for system integration test (SIT) planning |
US20110083121A1 (en) | 2009-10-02 | 2011-04-07 | Gm Global Technology Operations, Inc. | Method and System for Automatic Test-Case Generation for Distributed Embedded Systems |
US8645924B2 (en) | 2011-06-06 | 2014-02-04 | Fujitsu Limited | Lossless path reduction for efficient symbolic execution and automatic test generation |
CN102323906B (zh) | 2011-09-08 | 2014-01-08 | 哈尔滨工程大学 | 一种基于遗传算法的mc/dc测试数据自动生成方法 |
US8683442B2 (en) * | 2011-09-21 | 2014-03-25 | GM Global Technology Operations LLC | Software test case generation from a partial design model |
US9423407B2 (en) * | 2011-09-30 | 2016-08-23 | Westinghouse Electric Company Llc | Automated analysis coverage verification (AACV) |
US9038026B2 (en) * | 2011-10-17 | 2015-05-19 | International Business Machines Corporation | System and method for automating test automation |
US8527813B2 (en) | 2011-12-19 | 2013-09-03 | Siemens Aktiengesellschaft | Dynamic reprioritization of test cases during test execution |
KR101408870B1 (ko) | 2012-11-06 | 2014-06-17 | 대구교육대학교산학협력단 | Uml sd로부터 mccfg를 기반으로 하는 다단계 테스트 케이스 생성장치 및 방법 |
WO2015161239A1 (en) * | 2014-04-17 | 2015-10-22 | Versata Development Group, Inc. | User interface test coverage |
US9411710B2 (en) * | 2014-08-01 | 2016-08-09 | Unisys Corporation | Automated regression test case selector and black box test coverage tool for product testing |
GB2530516A (en) * | 2014-09-24 | 2016-03-30 | Ibm | Intelligent Software Test Augmenting |
US10108536B2 (en) * | 2014-12-10 | 2018-10-23 | General Electric Company | Integrated automated test case generation for safety-critical software |
CN104809067B (zh) * | 2015-05-07 | 2017-11-17 | 北京邮电大学 | 面向等式约束的测试用例生成方法和装置 |
US10346140B2 (en) * | 2015-08-05 | 2019-07-09 | General Electric Company | System and method for model based technology and process for safety-critical software development |
-
2016
- 2016-02-02 US US15/013,391 patent/US9792204B2/en active Active
-
2017
- 2017-01-26 CA CA2956364A patent/CA2956364C/en active Active
- 2017-01-26 CN CN201710056954.8A patent/CN107025170B/zh active Active
- 2017-01-27 JP JP2017012598A patent/JP6973846B2/ja active Active
- 2017-01-31 EP EP17153891.1A patent/EP3208716A1/en not_active Ceased
Also Published As
Publication number | Publication date |
---|---|
EP3208716A1 (en) | 2017-08-23 |
US9792204B2 (en) | 2017-10-17 |
CA2956364A1 (en) | 2017-08-02 |
CN107025170A (zh) | 2017-08-08 |
US20170220456A1 (en) | 2017-08-03 |
CN107025170B (zh) | 2021-11-16 |
CA2956364C (en) | 2020-07-21 |
JP6973846B2 (ja) | 2021-12-01 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6973846B2 (ja) | カバレッジに基づく設計モデル用自動テストケース拡張のためのシステムおよび方法 | |
CN105701008B (zh) | 用于测试用例生成的***和方法 | |
CN107066375B (zh) | 安全关键软件自动化基于需求的测试实例生成***和方法 | |
US20100192128A1 (en) | System and methods of using test points and signal overrides in requirements-based test generation | |
US9471468B2 (en) | System, method, and computer program to improve the productivity of unit testing | |
KR20160044305A (ko) | 코드의 단위 테스트를 위한 장치 및 방법 | |
CN108804304B (zh) | 测试用例生成方法及装置、存储介质、电子设备 | |
EP3667582A1 (en) | Systems and methods for evaluating assessments | |
JP2016115175A (ja) | ソフトウェアテスト装置およびソフトウェアテストプログラム | |
US10169217B2 (en) | System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges | |
US11615016B2 (en) | System and method for executing a test case | |
JP2010102620A (ja) | ユーザ操作シナリオ生成装置、方法およびプログラム | |
JP2012181666A (ja) | 情報処理装置、情報処理方法及び情報処理プログラム | |
CN108132799B (zh) | 过程间静态程序分析信息提取方法、装置及设备 | |
Frey et al. | “Safety automata”—A new specification language for the development of PLC safety applications | |
WO2013161057A1 (ja) | ソースコード検査方法及び装置 | |
JP2007188179A (ja) | 計算機システムの性能評価装置、性能評価方法、及び性能評価プログラム | |
CN110795338B (zh) | 一种基于前后端交互的自动化测试方法、装置及电子设备 | |
US8694293B2 (en) | Simulation support method, computer-readable storage medium storing simulation support program, and simulation support apparatus | |
JP2014115960A (ja) | 検証装置、検証方法及び検証プログラム | |
EP4231204A1 (en) | System for developing and running applications in hybrid quantum computing networks | |
JP2017142554A (ja) | 検査装置 | |
Trout | Testing safety-critical systems using Model-based Systems Engineering (MBSE) | |
CN118227452A (zh) | 项目测试方法、装置、电子设备及存储介质 | |
KR20240015594A (ko) | 양자정보기술 시스템 설계/검증 및 사용자 이용 편의성향상 처리 장치 및 방법 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
RD03 | Notification of appointment of power of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7423 Effective date: 20190402 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20200123 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20210224 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20210315 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20210607 |
|
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: 20211004 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20211028 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6973846 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |