JP4959941B2 - ソフトウェアの双方向プロービング - Google Patents
ソフトウェアの双方向プロービング Download PDFInfo
- Publication number
- JP4959941B2 JP4959941B2 JP2004568892A JP2004568892A JP4959941B2 JP 4959941 B2 JP4959941 B2 JP 4959941B2 JP 2004568892 A JP2004568892 A JP 2004568892A JP 2004568892 A JP2004568892 A JP 2004568892A JP 4959941 B2 JP4959941 B2 JP 4959941B2
- Authority
- JP
- Japan
- Prior art keywords
- value
- address location
- software
- probe
- stored
- 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.)
- Expired - Lifetime
Links
- 230000002452 interceptive effect Effects 0.000 title description 9
- 238000012360 testing method Methods 0.000 claims abstract description 110
- 239000000523 sample Substances 0.000 claims abstract description 97
- 238000000034 method Methods 0.000 claims abstract description 32
- 239000013598 vector Substances 0.000 claims abstract description 13
- 230000006870 function Effects 0.000 claims description 34
- 238000012545 processing Methods 0.000 claims description 8
- 230000002457 bidirectional effect Effects 0.000 abstract description 16
- 238000000611 regression analysis Methods 0.000 abstract description 5
- 238000012546 transfer Methods 0.000 abstract description 3
- 238000012544 monitoring process Methods 0.000 description 8
- 238000004458 analytical method Methods 0.000 description 5
- 238000010586 diagram Methods 0.000 description 4
- 101000609957 Homo sapiens PTB-containing, cubilin and LRP1-interacting protein Proteins 0.000 description 3
- 102100039157 PTB-containing, cubilin and LRP1-interacting protein Human genes 0.000 description 3
- 238000005259 measurement Methods 0.000 description 3
- 238000012986 modification Methods 0.000 description 3
- 230000004048 modification Effects 0.000 description 3
- 101150109471 PID2 gene Proteins 0.000 description 2
- 238000013459 approach Methods 0.000 description 2
- 238000004891 communication Methods 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 238000012935 Averaging Methods 0.000 description 1
- 101100190466 Caenorhabditis elegans pid-3 gene Proteins 0.000 description 1
- 101100243943 Caenorhabditis elegans pid-5 gene Proteins 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 238000012937 correction Methods 0.000 description 1
- 230000007774 longterm Effects 0.000 description 1
- 238000012423 maintenance Methods 0.000 description 1
- 239000000203 mixture Substances 0.000 description 1
- 238000003908 quality control method Methods 0.000 description 1
- 238000013522 software testing Methods 0.000 description 1
- 230000003068 static effect Effects 0.000 description 1
- 238000012795 verification Methods 0.000 description 1
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
-
- 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
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- Quality & Reliability (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Debugging And Monitoring (AREA)
- Tests Of Electronic Circuits (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
- Executing Machine-Instructions (AREA)
- Soundproofing, Sound Blocking, And Sound Damping (AREA)
- Electrophonic Musical Instruments (AREA)
- Saccharide Compounds (AREA)
Description
本特許出願は、2002年9月23日に米国特許商標庁に出願された仮特許出願第60/412,834号、「双方向プロービング(Bidirectional Probing)」による優先権の利益を享受するとともに、当該仮出願の内容を参照により本明細書に組み入れる。
func0(a, b, c)
{
probe(1, c)
probe(2, b)
probe(4, a)
d = func1(b)
probe(5, d)
probe(3, g)
e, f = func2(c, g)
probe(6, e)
h, g = func3(a, d, e, f)
probe(11, h)
return h
}
func3(a', b', c', d')
{
e' = f'(a', b', c', d')
probe(8, e')
return e'
}
// b * b + aの算出
int func0(int a, int b)
{
int d; int e; //値を変更可能とするため
probe(2, &b); //変数への参照が必要
d = func1(b); //これが
e = d + a; //func 0の機能性
probe(7, &e);
return e;
}
int func1(int arg0)
{
int res;
res = arg0 * arg0; //これがfunc 1の機能性
probe(8, &res);
return res;
}
Claims (21)
- 複数のデータ変数及び関数引数を有するソフトウェアを被テスト装置で実行することにより当該ソフトウェアをテストする方法であって、前記ソフトウェアのソースコードの所定位置には特定のデータ変数又は関数引数を参照するプローブ命令が予め挿入されており、前記方法が、
前記被テスト装置によって前記ソフトウェアを実行するステップを有し、
前記プローブ命令が、予め設定された動作モードに応じて、かつ前記ソフトウェアの実行を停止させることなく、前記参照された変数又は関数引数に格納される値をテストシステムから受信した値に基づいて予め定められた方法で得られる値により前記ソフトウェアの実行中に置き換えるか、前記値を前記テストシステムへ出力するかの少なくとも1つを実行するように構成されることを特徴とする方法。 - 前記値を置き換えるために、前記プローブ命令によって示される、前記値が格納されるアドレス位置へ入力されるデータが、前記アドレス位置から前記値として前記テストシステムに出力されたデータの修正版であることを特徴とする請求項1記載の方法。
- 前記値を置き換えるために前記プローブ命令によって示される、前記値が格納されるアドレス位置へ入力されるデータが、前記アドレス位置から前記値として前記テストシステムに出力されたデータと同一であることを特徴とする請求項1記載の方法。
- 前記値を置き換えるために前記プローブ命令によって示される、前記値が格納されるアドレス位置へ入力されるデータが、過去の前記プローブ命令実行時に前記アドレス位置から前記値として前記テストシステムに出力されたデータに基づいて、予め定められた方法により生成されたものであることを特徴とする請求項1記載の方法。
- 前記値を置き換えるために前記プローブ命令によって示される、前記値が格納されるアドレス位置へ入力されるデータが、過去の前記プローブ命令実行時に前記アドレス位置から前記値として前記テストシステムに出力されたデータに基づいて、予め定められた方法により生成されたテストベクトルを含むことを特徴とする請求項1記載の方法。
- 前記アドレス位置が、前記被テスト装置又は前記テストシステムのメモリ中の記憶位置を特定することを特徴とする請求項2乃至5のいずれか1項に記載の方法。
- 前記アドレス位置が、前記被テスト装置又は前記テストシステムのハードディスクドライブ中の記憶位置を特定することを特徴とする請求項2乃至5のいずれか1項に記載の方法。
- 複数のデータ変数及び関数引数を有するソフトウェアをテストするための装置であって、
中央処理部と、
前記中央処理部に接続される記憶部とを有し、
前記記憶部が、
特定のデータ変数又は関数引数を参照するプローブ命令であって、前記ソフトウェアのソースコードの所定位置に挿入されたプローブ命令を含む前記ソフトウェアを実行する、
ように前記中央処理部に対して命令するためのコンピュータ読み取り可能な命令を格納し、
前記プローブ命令が、予め設定された動作モードに応じて、かつ前記ソフトウェアの実行を停止させることなく、前記参照された変数又は関数引数に格納される値をテストシステムから受信した値に基づいて予め定められた方法で得られる値により前記ソフトウェアの実行中に置き換えるか、前記値をテストシステムへ出力するかの少なくとも1つを実行するように構成されることを特徴とする装置。 - 前記値を置き換えるために前記プローブ命令によって示される、前記値が格納されるアドレス位置へ入力されるデータが、前記アドレス位置から前記値として前記テストシステムに出力されたデータの修正版であることを特徴とする請求項8記載の装置。
- 前記値を置き換えるために前記プローブ命令によって示される、前記値が格納されるアドレス位置へ入力されるデータが、前記アドレス位置から前記値として前記テストシステムに出力されたデータと同一であることを特徴とする請求項8記載の装置。
- 前記値を置き換えるために前記プローブ命令によって示される、前記値が格納されるアドレス位置へ入力されるデータが、過去の前記プローブ命令実行時に前記アドレス位置から前記値として前記テストシステムに出力されたデータに基づいて、予め定められた方法により生成されたものであることを特徴とする請求項8記載の装置。
- 前記値を置き換えるために前記プローブ命令によって示される、前記値が格納されるアドレス位置へ入力されるデータが、過去の前記プローブ命令実行時に前記アドレス位置から前記値として前記テストシステムに出力されたデータに基づいて、予め定められた方法により生成されたテストベクトルを含むことを特徴とする請求項8記載の装置。
- 前記アドレス位置が、前記装置のメモリ中の記憶位置を特定することを特徴とする請求項9乃至12のいずれか1項に記載の装置。
- 前記アドレス位置が、前記装置のハードディスクドライブ中の記憶位置を特定することを特徴とする請求項9乃至12のいずれか1項に記載の装置。
- 複数のデータ変数及び関数引数を有するソフトウェアをテストするためのシステムであって、
特定のデータ変数又は関数引数を参照する1つ以上のプローブ命令をソースコード中に含んだ前記ソフトウェアを実行するように構成される被テスト装置と、
前記被テスト装置に接続され、前記被テスト装置を制御するテスタとを有し、
前記プローブ命令が、予め設定された動作モードに応じて、かつ前記ソフトウェアの実行を停止させることなく、前記参照された変数又は関数引数に格納される値を前記テスタから受信した値に基づいて予め定められた方法で得られる値により前記ソフトウェアの実行中に置き換えるか、前記値を前記テスタへ出力するかの少なくとも1つを実行するように構成されることを特徴とするシステム。 - 前記値を置き換えるために前記プローブ命令によって示される、前記値が格納されるアドレス位置へ入力されるデータが、前記アドレス位置から前記値として前記テスタに出力されたデータの修正版であることを特徴とする請求項15記載のシステム。
- 前記値を置き換えるために前記プローブ命令によって示される、前記値が格納されるアドレス位置へ入力されるデータが、前記アドレス位置から前記値として前記テスタに出力されたデータと同一であることを特徴とする請求項15記載のシステム。
- 前記値を置き換えるために前記プローブ命令によって示される、前記値が格納されるアドレス位置へ入力されるデータが、過去の前記プローブ命令実行時に前記アドレス位置から前記値として前記テスタに出力されたデータに基づいて、予め定められた方法で生成されたものであることを特徴とする請求項15記載のシステム。
- 前記値を置き換えるために前記プローブ命令によって示される、前記値が格納されるアドレス位置へ入力されるデータが、過去の前記プローブ命令実行時に前記アドレス位置から前記値として前記テスタに出力されたデータに基づいて、予め定められた方法で生成されたテストベクトルを含むことを特徴とする請求項15記載のシステム。
- 前記アドレス位置が、前記被テスト装置又は前記テスタのメモリ中の記憶位置を特定することを特徴とする請求項16乃至19のいずれか1項に記載のシステム。
- 前記アドレス位置が、前記被テスト装置又は前記テスタのハードディスクドライブ中の記憶位置を特定することを特徴とする請求項16乃至19のいずれか1項に記載のシステム。
Applications Claiming Priority (5)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US41283402P | 2002-09-23 | 2002-09-23 | |
US60/412,834 | 2002-09-23 | ||
US10/428,733 US8020148B2 (en) | 2002-09-23 | 2003-05-01 | Bi-directional probing and testing of software |
US10/428,733 | 2003-05-01 | ||
PCT/EP2003/010492 WO2004027623A2 (en) | 2002-09-23 | 2003-09-22 | Bi-directional probing of software |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2006500695A JP2006500695A (ja) | 2006-01-05 |
JP4959941B2 true JP4959941B2 (ja) | 2012-06-27 |
Family
ID=31998143
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2004568892A Expired - Lifetime JP4959941B2 (ja) | 2002-09-23 | 2003-09-22 | ソフトウェアの双方向プロービング |
Country Status (9)
Country | Link |
---|---|
US (2) | US8020148B2 (ja) |
EP (1) | EP1576477B1 (ja) |
JP (1) | JP4959941B2 (ja) |
KR (1) | KR100976371B1 (ja) |
CN (1) | CN1701305B (ja) |
AT (1) | ATE325383T1 (ja) |
AU (1) | AU2003267394A1 (ja) |
DE (1) | DE60305073T2 (ja) |
WO (1) | WO2004027623A2 (ja) |
Families Citing this family (17)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6823478B1 (en) * | 2000-09-12 | 2004-11-23 | Microsoft Corporation | System and method for automating the testing of software processing environment changes |
US7350194B1 (en) * | 2001-09-24 | 2008-03-25 | Oracle Corporation | Techniques for debugging computer programs involving multiple computing machines |
US7793271B2 (en) * | 2004-06-17 | 2010-09-07 | State Of Oregon Acting By And Through The State Board Of Higher Education On Behalf Of Portland State University | Bi-directional product development process simulation |
US20060130048A1 (en) * | 2004-12-13 | 2006-06-15 | Ebay Inc. | Shared schema for software user interface designers and developers |
US7568186B2 (en) * | 2005-06-07 | 2009-07-28 | International Business Machines Corporation | Employing a mirror probe handler for seamless access to arguments of a probed function |
US20070074175A1 (en) * | 2005-09-23 | 2007-03-29 | Telefonaktiebolaget L M Ericsson (Publ) | Method and system for dynamic probes for injection and extraction of data for test and monitoring of software |
CN100388195C (zh) * | 2006-02-22 | 2008-05-14 | 北京金山软件有限公司 | 一种64位视窗操作系统下获取函数参数的方法及系统 |
US8359585B1 (en) * | 2007-01-18 | 2013-01-22 | Advanced Testing Technologies, Inc. | Instrumentation ATS/TPS mitigation utilizing I/O data stream |
EP1962194A1 (en) * | 2007-02-23 | 2008-08-27 | Telefonaktiebolaget LM Ericsson (publ) | A method and a system for dynamic probe authentication for test and monitoring of software |
US8500730B2 (en) * | 2007-11-16 | 2013-08-06 | Biosense Webster, Inc. | Catheter with omni-directional optical tip having isolated optical paths |
US8413120B2 (en) | 2008-10-27 | 2013-04-02 | Advanced Micro Devices, Inc. | Method and system for thread monitoring |
CN102023923B (zh) * | 2010-12-28 | 2014-07-02 | 北京邮电大学 | 一种基于别名分析技术的软件测试方法 |
GB2507048A (en) * | 2012-10-16 | 2014-04-23 | Bae Systems Plc | System testing algorithm and apparatus |
US9021428B2 (en) * | 2013-05-29 | 2015-04-28 | Microsoft Technology Licensing, Llc | Troubleshooting visuals and transient expressions in executing applications |
CN103455421B (zh) * | 2013-08-19 | 2016-08-10 | 西安交通大学 | 基于程序控制依赖引导的回归测试案例生成方法 |
US9880818B2 (en) * | 2014-11-05 | 2018-01-30 | Ab Initio Technology Llc | Application testing |
US10936289B2 (en) | 2016-06-03 | 2021-03-02 | Ab Initio Technology Llc | Format-specific data processing operations |
Family Cites Families (36)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5191646A (en) * | 1986-11-20 | 1993-03-02 | Hitachi, Ltd. | Display method in software development support system |
US5581695A (en) | 1990-05-09 | 1996-12-03 | Applied Microsystems Corporation | Source-level run-time software code debugging instrument |
US5604841A (en) * | 1990-07-06 | 1997-02-18 | United Technologies Corporation | Hierarchical restructuring generic test templates and reusable value spaces for machine failure isolation using qualitative physics |
US5202955A (en) * | 1990-07-06 | 1993-04-13 | United Technologies Corporation | Dynamic assumption ordering for qualitative physics |
US5317740A (en) * | 1991-03-07 | 1994-05-31 | Digital Equipment Corporation | Alternate and iterative analysis of computer programs for locating translatable code by resolving callbacks and other conflicting mutual dependencies |
EP0551009B1 (en) * | 1992-01-08 | 2001-06-13 | Emc Corporation | Method for synchronizing reserved areas in a redundant storage array |
JPH0756729A (ja) | 1993-08-10 | 1995-03-03 | Pfu Ltd | プログラムデバッグシステム |
US5604895A (en) * | 1994-02-22 | 1997-02-18 | Motorola Inc. | Method and apparatus for inserting computer code into a high level language (HLL) software model of an electrical circuit to monitor test coverage of the software model when exposed to test inputs |
EP0690378A1 (en) * | 1994-06-30 | 1996-01-03 | Tandem Computers Incorporated | Tool and method for diagnosing and correcting errors in a computer programm |
US5634127A (en) * | 1994-11-30 | 1997-05-27 | International Business Machines Corporation | Methods and apparatus for implementing a message driven processor in a client-server environment |
US6324683B1 (en) * | 1996-02-23 | 2001-11-27 | International Business Machines Corporation | System, method and program for debugging external programs in client/server-based relational database management systems |
GB9622684D0 (en) | 1996-10-31 | 1997-01-08 | Sgs Thomson Microelectronics | An integrated circuit device and method of communication therwith |
US6202199B1 (en) * | 1997-07-31 | 2001-03-13 | Mutek Solutions, Ltd. | System and method for remotely analyzing the execution of computer programs |
US6282701B1 (en) * | 1997-07-31 | 2001-08-28 | Mutek Solutions, Ltd. | System and method for monitoring and analyzing the execution of computer programs |
US6212650B1 (en) | 1997-11-24 | 2001-04-03 | Xilinx, Inc. | Interactive dubug tool for programmable circuits |
US7152027B2 (en) * | 1998-02-17 | 2006-12-19 | National Instruments Corporation | Reconfigurable test system |
US5963726A (en) * | 1998-03-20 | 1999-10-05 | National Instruments Corporation | Instrumentation system and method including an improved driver software architecture |
SE9801678L (sv) | 1998-05-13 | 1999-11-14 | Axis Ab | Datorchip och datoranordning med förbättrad avlusningsförmåga |
EP0992906B1 (en) * | 1998-10-06 | 2005-08-03 | Texas Instruments Inc. | Apparatus and method for software breakpoint in a delay slot |
US6412106B1 (en) * | 1999-06-16 | 2002-06-25 | Intervoice Limited Partnership | Graphical system and method for debugging computer programs |
US6934934B1 (en) * | 1999-08-30 | 2005-08-23 | Empirix Inc. | Method and system for software object testing |
US6405364B1 (en) * | 1999-08-31 | 2002-06-11 | Accenture Llp | Building techniques in a development architecture framework |
JP2001147830A (ja) * | 1999-11-19 | 2001-05-29 | Nec Microcomputer Technology Ltd | リアルタイムosの状態変更方法 |
US6304972B1 (en) * | 2000-01-03 | 2001-10-16 | Massachusetts Institute Of Technology | Secure software system and related techniques |
FR2820222B1 (fr) * | 2001-01-26 | 2003-03-21 | Schneider Automation | Procede de programmation d'une application d'automatisme |
US7917895B2 (en) * | 2001-07-27 | 2011-03-29 | Smartesoft, Inc. | Automated software testing and validation system |
US7539591B2 (en) * | 2001-08-24 | 2009-05-26 | Vi Technology, Inc. | Enterprise test data management system utilizing hierarchical test data models and related methods |
US7107578B1 (en) * | 2001-09-24 | 2006-09-12 | Oracle International Corporation | Techniques for debugging computer programs involving multiple programming languages |
US7047519B2 (en) * | 2001-09-26 | 2006-05-16 | International Business Machines Corporation | Dynamic setting of breakpoint count attributes |
US7134115B2 (en) * | 2002-02-07 | 2006-11-07 | Matsushita Electric Industrial Co., Ltd. | Apparatus, method, and program for breakpoint setting |
JP3764405B2 (ja) * | 2002-05-27 | 2006-04-05 | 株式会社東芝 | デバッグ装置及びデバッグ方法 |
US7124401B2 (en) * | 2002-09-03 | 2006-10-17 | Sap Aktiengesellschaft | Testing versions of applications |
US7219333B2 (en) * | 2002-11-22 | 2007-05-15 | Texas Instruments Incorporated | Maintaining coherent synchronization between data streams on detection of overflow |
US7111281B2 (en) * | 2002-12-26 | 2006-09-19 | International Business Machines Corporation | Method, system, and article of manufacture for debugging utilizing screen pattern recognition and breakpoints |
US7171653B2 (en) * | 2003-06-03 | 2007-01-30 | Hewlett-Packard Development Company, L.P. | Systems and methods for providing communication between a debugger and a hardware simulator |
US7299456B2 (en) * | 2003-09-18 | 2007-11-20 | International Business Machines Corporation | Run into function |
-
2003
- 2003-05-01 US US10/428,733 patent/US8020148B2/en active Active
- 2003-09-22 CN CN038253518A patent/CN1701305B/zh not_active Expired - Fee Related
- 2003-09-22 AU AU2003267394A patent/AU2003267394A1/en not_active Abandoned
- 2003-09-22 DE DE60305073T patent/DE60305073T2/de not_active Expired - Lifetime
- 2003-09-22 EP EP03748070A patent/EP1576477B1/en not_active Expired - Lifetime
- 2003-09-22 KR KR1020057004947A patent/KR100976371B1/ko active IP Right Grant
- 2003-09-22 WO PCT/EP2003/010492 patent/WO2004027623A2/en active IP Right Grant
- 2003-09-22 AT AT03748070T patent/ATE325383T1/de not_active IP Right Cessation
- 2003-09-22 JP JP2004568892A patent/JP4959941B2/ja not_active Expired - Lifetime
-
2011
- 2011-07-12 US US13/180,794 patent/US20110271256A1/en not_active Abandoned
Also Published As
Publication number | Publication date |
---|---|
WO2004027623A3 (en) | 2004-05-13 |
DE60305073D1 (de) | 2006-06-08 |
EP1576477A2 (en) | 2005-09-21 |
EP1576477B1 (en) | 2006-05-03 |
KR20050073458A (ko) | 2005-07-13 |
US20110271256A1 (en) | 2011-11-03 |
JP2006500695A (ja) | 2006-01-05 |
WO2004027623A2 (en) | 2004-04-01 |
DE60305073T2 (de) | 2006-09-28 |
AU2003267394A1 (en) | 2004-04-08 |
US8020148B2 (en) | 2011-09-13 |
US20040059962A1 (en) | 2004-03-25 |
ATE325383T1 (de) | 2006-06-15 |
CN1701305B (zh) | 2010-05-05 |
CN1701305A (zh) | 2005-11-23 |
KR100976371B1 (ko) | 2010-08-18 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US20110271256A1 (en) | Bi-directional probing of software | |
KR100366963B1 (ko) | 반도체 디바이스 시뮬레이트 장치 및 그것을 이용한반도체 테스트용 프로그램 디버그 장치 | |
US7269773B2 (en) | Test program debugger device, semiconductor test apparatus, test program debugging method and test method | |
JP2009509258A (ja) | ソフトウェアのテスト及び監視のためのデータの注入及び抽出に対する動的プローブの方法及びシステム | |
US20110047529A1 (en) | Method for automatic script generation for testing the validity of operational software of a system onboard an aircraft and device for implementing the same | |
JP2004509425A (ja) | テストコントローラアクセスデータを用いて回路をテスト及び/または診断する方法及びシステム | |
US20050028146A1 (en) | Systems and methods for software and firmware testing using checkpoint signatures | |
CN112597006B (zh) | 一种嵌入式软件集成测试自动化执行系统及方法 | |
Svenningsson et al. | Model-implemented fault injection for hardware fault simulation | |
CN113157508B (zh) | 嵌入式系统的测试方法、系统、装置、设备及存储介质 | |
JP4213306B2 (ja) | 半導体試験用プログラムデバッグ装置 | |
US6718498B2 (en) | Method and apparatus for the real time manipulation of a test vector to access the microprocessor state machine information using the integrated debug trigger | |
JP2002333469A (ja) | 半導体試験用プログラムデバッグ装置 | |
Eklow et al. | Simulation based system level fault insertion using co-verification tools | |
JP4132499B2 (ja) | 半導体試験用プログラムデバッグ装置 | |
Jeon et al. | Increasing the testability of object-oriented frameworks with built-in tests | |
Stockmann et al. | Debugging Models in the Context of Automotive Software Development. | |
JP2004348596A (ja) | Icテスタ用プログラムのデバッグ装置、方法、及びプログラム | |
Cunha et al. | On the use of boundary scan for code coverage of critical embedded software | |
Steininger et al. | Built-in fault injectors-the logical continuation of bist? | |
Eichelberger et al. | Debugger-based record replay and dynamic analysis for in-vehicle infotainment | |
Yang et al. | A model driven testing environment for embedded software | |
Bouvier et al. | A practical approach to measuring and improving the functional verification of embedded software | |
Cunha et al. | A distributed debugging tool for a parallel software engineering environment | |
Alessandro et al. | A new methodology and tool set to execute software test on real-time safety-critical systems |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20060920 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20091211 |
|
A601 | Written request for extension of time |
Free format text: JAPANESE INTERMEDIATE CODE: A601 Effective date: 20100301 |
|
A602 | Written permission of extension of time |
Free format text: JAPANESE INTERMEDIATE CODE: A602 Effective date: 20100308 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20100610 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20100702 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20101102 |
|
A911 | Transfer to examiner for re-examination before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A911 Effective date: 20101108 |
|
A912 | Re-examination (zenchi) completed and case transferred to appeal board |
Free format text: JAPANESE INTERMEDIATE CODE: A912 Effective date: 20101203 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20120322 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20150330 Year of fee payment: 3 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 Ref document number: 4959941 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
EXPY | Cancellation because of completion of term |