JP2015526826A - ソフトウェア検証用の状態ベースのテストケース生成のためのシステム及び方法 - Google Patents
ソフトウェア検証用の状態ベースのテストケース生成のためのシステム及び方法 Download PDFInfo
- Publication number
- JP2015526826A JP2015526826A JP2015529794A JP2015529794A JP2015526826A JP 2015526826 A JP2015526826 A JP 2015526826A JP 2015529794 A JP2015529794 A JP 2015529794A JP 2015529794 A JP2015529794 A JP 2015529794A JP 2015526826 A JP2015526826 A JP 2015526826A
- Authority
- JP
- Japan
- Prior art keywords
- input
- test
- test case
- computing device
- state
- 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
Abstract
Description
Claims (20)
- ソフトウェア検証用の状態ベースのテストケース生成のための方法であって、
テストコンピューティング装置によって、テストケースを生成するためのソフトウェアのプログラムブロックに対して第1の入力と、状態ベースの入力を含む第1の入力タイプとを決定することと、
前記テストコンピューティング装置によって、前記第1の入力タイプに基づいて、前記第1の入力のための値の順列を決定すること、
前記テストコンピューティング装置によって、前記状態ベースの入力により前記テストケースを実行することにおいて、前記プログラムブロックに対して前記第1の入力のための値の順列を適用することを含む前記テストケースを実行することと、
テストコンピューティング装置によって、前記テストケースが所定レベルの改良条件/判定カバレッジ(MC/DC)を満たすか否かを決定することと、
前記テストコンピューティング装置によって、前記テストケースが前記所定レベルのMC/DCを満たすか否かの表示を提供することと
を備える方法。 - 前記テストコンピューティング装置によって、前記プログラムブロックに対して、第2の入力と第2の入力タイプとを決定することをさらに備え、
前記第2の入力タイプは、非状態ベースの入力を含み、
前記テストケースを実行することは、定数、ランダム、ランダムな整数、ランプ、シーケンス、遷移、及び順列のうちの少なくとも1つに従って前記第1の入力の各順列に対して非状態ベースの入力のための値を選択することをさらに備える請求項1に記載の方法。 - 前記テストコンピューティング装置によって、前記所定レベルのMC/DCを決定することをさらに備える請求項1に記載の方法。
- 前記テストコンピューティング装置によって、前記テストケースを生成するための前記ソフトウェアの前記プログラムブロックを決定することをさらに備える請求項1に記載の方法。
- 前記テストコンピューティング装置によって、前記ソフトウェアのすべてのプログラムブロックに対してテストケースを決定することをさらに備える請求項1に記載の方法。
- 前記テストコンピューティング装置よって、前記ソフトウェアが適切にプログラミングされているか否かを決定するテストケースを用いることをさらに備える請求項1に記載の方法。
- テストコンピューティング装置によって、ユーザが第1の入力及び第1の入力タイプを入力するためのユーザインタフェース提供することをさらに備える請求項1に記載の方法。
- ソフトウェア検証用の状態ベースのテストケース生成のためのシステムであって、テストコンピューティング装置によって実行される場合に、
テストケースを生成用の車両ソフトウェアのプログラムブロックに対して第1の入力と、状態ベースの入力を含む第1の入力タイプとを決定することと、
前記プログラムブロックに対して、第2の入力と、非状態ベースの入力を含む第2の入力タイプとを決定することと、
前記第1の入力タイプに基づいて、前記第1の入力のための値の順列を決定することと、
前記第2の入力タイプに基づいて、前記第2の入力に対して値を割り当てるためのメカニズムを決定することと、
前記状態ベース入力と非状態ベース入力によって前記テストケースを実行することであって、前記テストケースの実行は、前記プログラムブロックへの前記第1の入力に対する順列の値を前記第2の入力に対する値に適用することを含み、
前記テストケースが所定レベルの改良条件/判定カバレッジ(MC/DC)を満たすか否かを決定することと、
前記テストケースが前記所定レベルの前記MC/DCを満たすか否かの表示を提供することと
を、少なくとも前記テストコンピューティング装置に実行させるロジックを記憶するメモリを備えるテストコンピューティング装置を備えるシステム。 - 前記第2の入力に対して値を割り当てるための前記メカニズムは、定数、ランダム、ランダムな整数、ランプ、シーケンス、遷移、及び順列の入力タイプのうちの少なくとも1つを備える請求項8に記載のシステム。
- 前記ロジックは、前記テストコンピューティング装置に、さらに、第1の入力と、第1の入力タイプと、第2の入力と、第2の入力タイプとを受信するためのユーザインタフェースを提供させる請求項8に記載のシステム。
- 前記ユーザインタフェースは、前記テストケースのグラフ表示を提供するためのテストケースプロットオプションをさらに備える請求項10のシステム。
- 前記ユーザインタフェースは、前記第1の入力のテストのための複数のシーケンスを生成するためのシーケンス追加オプションをさらに備える請求項10のシステム。
- 前記ロジックは、前記テストコンピューティング装置に、前記所定レベルのMC/DCをさらに決定させる請求項8に記載のシステム。
- 前記車両ソフトウェアを記憶する車両コンピューティング装置をさらに備え、前記車両コンピューティング装置は、前記車両ソフトウェア及び前記テストケースのうちの少なくとも1つを前記テストコンピューティング装置と通信するように構成される請求項8に記載のシステム。
- テストコンピューティング装置によって実行される場合に、
テストするために車両の車両ソフトウェアからプログラムブロックを選択することと、
前記テストケースを生成するための前記プログラムブロックに対して第1の入力と、状態ベースの入力を含む第1の入力タイプとを決定することと、
前記プログラムブロックに対して、第2の入力と、非状態ベースの入力を含む第2の入力タイプとを決定することと、
前記第1の入力タイプに基づいて、前記第1の入力のための値の順列を決定することと、
前記第2の入力タイプ上に基づいて、前記第2の入力に対して値を割り当てるためのメカニズムを決定することと、
前記状態ベース入力と非状態ベース入力によって前記テストケースを実行することであって、前記テストケースの実行は、前記プログラムブロックへの前記第1の入力に対する順列の値を前記第2の入力に対する値に適用することを含み、
前記テストケースが所定レベルの改良条件/判定カバレッジ(MC/DC)を満たすか否かを決定することと、
前記テストケースが前記所定レベルの前記MC/DCを満たすか否かの表示を提供することと
を少なくとも前記テストコンピューティング装置に実行させるロジックを記憶する非一時的なコンピュータ読み取り可能媒体。 - 前記ロジックは、前記テストコンピューティング装置に、前記所定レベルのMC/DCをさらに決定させる請求項15に記載の非一時的なコンピュータ読み取り可能媒体。
- 前記非状態ベースの入力は、定数、ランダム、ランダムな整数、ランプ、シーケンス、遷移、及び順列の入力タイプのうちの少なくとも1つを備える請求項15に記載の非一時的なコンピュータ読み取り可能媒体。
- 前記ロジックは、前記テストコンピューティング装置に、さらに、第1の入力と、第1の入力タイプと、第2の入力と、第2の入力タイプとを受信するためのユーザインタフェースを提供させる請求項15に記載の非一時的なコンピュータ読み取り可能媒体。
- 前記ロジックは、前記テストコンピューティング装置に、さらに、第1の入力と、第1の入力タイプと、第2の入力と、第2の入力タイプとを受信するためのユーザインタフェースを提供させる請求項15に記載の非一時的なコンピュータ読み取り可能媒体。
- 前記ユーザインタフェースは、前記第1の入力のテストのための複数のシーケンスを生成するためのシーケンス追加オプションをさらに備える請求項19に記載の非一時的なコンピュータ読み取り可能媒体。
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US13/599,351 US9971676B2 (en) | 2012-08-30 | 2012-08-30 | Systems and methods for state based test case generation for software validation |
US13/599,351 | 2012-08-30 | ||
PCT/US2013/040757 WO2014035495A1 (en) | 2012-08-30 | 2013-05-13 | Systems and methods for state based test case generation for software validation |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2015526826A true JP2015526826A (ja) | 2015-09-10 |
JP6215949B2 JP6215949B2 (ja) | 2017-10-18 |
Family
ID=50184087
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2015529794A Active JP6215949B2 (ja) | 2012-08-30 | 2013-05-13 | ソフトウェア検証用の状態ベースのテストケース生成のためのシステム及び方法 |
Country Status (4)
Country | Link |
---|---|
US (1) | US9971676B2 (ja) |
JP (1) | JP6215949B2 (ja) |
DE (1) | DE112013004307T5 (ja) |
WO (1) | WO2014035495A1 (ja) |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10108536B2 (en) | 2014-12-10 | 2018-10-23 | General Electric Company | Integrated automated test case generation for safety-critical software |
US9940222B2 (en) | 2015-11-20 | 2018-04-10 | General Electric Company | System and method for safety-critical software automated requirements-based test case generation |
US20180253677A1 (en) * | 2017-03-01 | 2018-09-06 | Gregory James Foster | Method for Performing Dynamic Data Analytics |
CN107748721A (zh) * | 2017-11-27 | 2018-03-02 | 中国航空无线电电子研究所 | 一种测试用例集自动生成方法 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2009181292A (ja) * | 2008-01-30 | 2009-08-13 | Toyota Motor Corp | Mc/dcパターン生成装置 |
JP2010113551A (ja) * | 2008-11-06 | 2010-05-20 | Kyushu Hitachi Maxell Ltd | テスト計画表作成装置及びそのプログラム |
JP2010267024A (ja) * | 2009-05-13 | 2010-11-25 | Nippon Telegr & Teleph Corp <Ntt> | テストデータ生成方法及び装置及びプログラム |
JP2012073692A (ja) * | 2010-09-28 | 2012-04-12 | Hitachi Ltd | 組込システムの保守支援装置 |
Family Cites Families (20)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6934934B1 (en) | 1999-08-30 | 2005-08-23 | Empirix Inc. | Method and system for software object testing |
EP1283422A1 (en) | 2001-08-07 | 2003-02-12 | Lucent Technologies Inc. | Testbench for the validation of a device under test |
WO2003054666A2 (en) | 2001-12-19 | 2003-07-03 | Steven Sims | System and method for automated test-case generation for software |
US7024589B2 (en) * | 2002-06-14 | 2006-04-04 | International Business Machines Corporation | Reducing the complexity of finite state machine test generation using combinatorial designs |
US7788556B2 (en) | 2002-11-13 | 2010-08-31 | Fujitsu Limited | System and method for evaluating an erroneous state associated with a target circuit |
US7478365B2 (en) | 2004-01-13 | 2009-01-13 | Symphony Services Corp. | Method and system for rule-based generation of automation test scripts from abstract test case representation |
WO2005085888A1 (en) * | 2004-03-05 | 2005-09-15 | Vfs Technologies Limited | Testing of embedded systems |
US7197382B2 (en) | 2004-04-19 | 2007-03-27 | Ford Global Technologies, Llc | Method and system for determining engine state of a hybrid electric vehicle |
US20070028219A1 (en) | 2004-10-15 | 2007-02-01 | Miller William L | Method and system for anomaly detection |
WO2006047741A2 (en) | 2004-10-27 | 2006-05-04 | Bae Systems Land & Armaments L.P. | Software test environment for regression testing ground combat vehicle software |
US20060101397A1 (en) * | 2004-10-29 | 2006-05-11 | Microsoft Corporation | Pseudo-random test case generator for XML APIs |
US7970594B2 (en) | 2005-06-30 | 2011-06-28 | The Mathworks, Inc. | System and method for using model analysis to generate directed test vectors |
US8473913B2 (en) * | 2006-01-11 | 2013-06-25 | Hitachi Data Systems Corporation | Method of and system for dynamic automated test case generation and execution |
US8949770B2 (en) | 2007-04-03 | 2015-02-03 | Ldra Technology, Inc. | Automated management of software requirements verification |
US20090006897A1 (en) * | 2007-06-27 | 2009-01-01 | Microsoft Corporation | Automated service testing |
KR101470319B1 (ko) | 2008-02-15 | 2014-12-08 | 삼성전자주식회사 | 컴포넌트 모델 기반의 가상 소프트웨어 플랫폼을 생성하는방법, 이를 이용하여 소프트웨어 플랫폼 아키텍처를검증하는 방법 및 그 장치 |
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 |
US8271950B2 (en) * | 2009-07-06 | 2012-09-18 | Microsoft Corporation | Test generation from captured user interface status |
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 |
US8382575B2 (en) * | 2010-09-17 | 2013-02-26 | Speilo Manufacturing ULC | System and method for identifying errors in slot machine and video lottery terminal games |
-
2012
- 2012-08-30 US US13/599,351 patent/US9971676B2/en active Active
-
2013
- 2013-05-13 JP JP2015529794A patent/JP6215949B2/ja active Active
- 2013-05-13 DE DE112013004307.6T patent/DE112013004307T5/de not_active Ceased
- 2013-05-13 WO PCT/US2013/040757 patent/WO2014035495A1/en active Application Filing
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2009181292A (ja) * | 2008-01-30 | 2009-08-13 | Toyota Motor Corp | Mc/dcパターン生成装置 |
JP2010113551A (ja) * | 2008-11-06 | 2010-05-20 | Kyushu Hitachi Maxell Ltd | テスト計画表作成装置及びそのプログラム |
JP2010267024A (ja) * | 2009-05-13 | 2010-11-25 | Nippon Telegr & Teleph Corp <Ntt> | テストデータ生成方法及び装置及びプログラム |
JP2012073692A (ja) * | 2010-09-28 | 2012-04-12 | Hitachi Ltd | 組込システムの保守支援装置 |
Also Published As
Publication number | Publication date |
---|---|
DE112013004307T5 (de) | 2015-05-21 |
JP6215949B2 (ja) | 2017-10-18 |
WO2014035495A1 (en) | 2014-03-06 |
US20140068339A1 (en) | 2014-03-06 |
US9971676B2 (en) | 2018-05-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN109074519B (zh) | 信息处理装置、信息处理方法以及程序 | |
US20190324772A1 (en) | Method and device for processing smart contracts | |
JP6215949B2 (ja) | ソフトウェア検証用の状態ベースのテストケース生成のためのシステム及び方法 | |
TW201541278A (zh) | 隨選檢測惡意程式之方法、電子裝置、及使用者介面 | |
CN104063307B (zh) | 一种软件测试方法和系统 | |
US10394987B2 (en) | Adaptive bug-search depth for simple and deep counterexamples | |
Friedrich et al. | Fast simulation of large‐scale growth models | |
US20150331786A1 (en) | Path execution reduction in software program verification | |
JP2022522790A (ja) | ブロックチェーントランザクションを追跡するための方法およびデバイス | |
CN109101819A (zh) | 一种漏洞检测方法及终端、存储介质 | |
US9250890B2 (en) | Optimizing performance of a computer system in response to a software change | |
CN112069507B (zh) | 机器学习框架漏洞检测方法、系统、设备及可读存储介质 | |
CN109522679B (zh) | 基于分类处理的功能激励向量生成方法及系统 | |
US10839132B2 (en) | Automatic cover point generation based on register transfer level analysis | |
US20200285736A1 (en) | Security-adaptive code execution | |
US9916412B2 (en) | Automatic generation of test layouts for testing a design rule checking tool | |
US9892010B2 (en) | Persistent command parameter table for pre-silicon device testing | |
CN115061825A (zh) | 隐私计算、隐私数据和联邦学习的异构计算系统及方法 | |
US10776077B2 (en) | Method, apparatus and recording medium for processing division calculation | |
US9864585B2 (en) | Rapid prototyping of backend services | |
JP6494887B1 (ja) | 検査装置、検査方法及び検査プログラム | |
WO2019142266A1 (ja) | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム | |
JP6661500B2 (ja) | 情報生成システム、装置、方法、及びプログラム | |
JP6572668B2 (ja) | 検査方法 | |
CN103914380A (zh) | 结构测试中的边界值测试方法及其系统 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20150303 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20160317 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20170131 |
|
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: 20170517 |
|
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: 20170822 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20170921 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6215949 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313113 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |