JP5473438B2 - テスト・ケース生成のための方法、情報処理システムおよびコンピュータ・プログラム - Google Patents
テスト・ケース生成のための方法、情報処理システムおよびコンピュータ・プログラム Download PDFInfo
- Publication number
- JP5473438B2 JP5473438B2 JP2009160076A JP2009160076A JP5473438B2 JP 5473438 B2 JP5473438 B2 JP 5473438B2 JP 2009160076 A JP2009160076 A JP 2009160076A JP 2009160076 A JP2009160076 A JP 2009160076A JP 5473438 B2 JP5473438 B2 JP 5473438B2
- Authority
- JP
- Japan
- Prior art keywords
- processor
- test case
- loading
- onto
- 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.)
- Expired - Fee Related
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/26—Functional testing
- G06F11/263—Generation of test inputs, e.g. test vectors, patterns or sequences ; with adaptation of the tested hardware for testability with external testers
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/2205—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using arrangements specific to the hardware being tested
- G06F11/2236—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using arrangements specific to the hardware being tested to test CPU or processors
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/26—Functional testing
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Memory System Of A Hierarchy Structure (AREA)
- Debugging And Monitoring (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Description
Claims (15)
- 機械に実装される方法であって、
複数のテスト・ケースから第1テスト・ケースを選択するステップと、
前記複数のテスト・ケースから第2テスト・ケースを選択するステップと、
前記第1テスト・ケースを第1プロセッサ上で実行し、前記第2テスト・ケースを第2プロセッサ上で実行するステップと、
前記実行後に、前記第1テスト・ケースを前記第2プロセッサ上にロードし、前記第2テスト・ケースを前記第1プロセッサ上にロードするステップと、
前記第1テスト・ケースを前記第2プロセッサ上で実行し、前記第2テスト・ケースを前記第1プロセッサ上で実行するステップと、
前記第1テスト・ケースを前記第2プロセッサ上にロードし、前記第2テスト・ケースを前記第1プロセッサ上にロードするステップの後に、TLBの論理をテストするステップと、
前記TLBの論理のテストの結果に応じて、アドレス・トランスレーション・ラインを、前記第1プロセッサ及び前記第2プロセッサそれぞれの専用トランスレーション・ルックアサイド・バッファ間で移動するステップと、
を含む前記方法。 - 前記第1テスト・ケースおよび前記第2テスト・ケースは、同時に実行する、請求項1に記載の方法。
- 前記第1プロセッサ上で前記第1テスト・ケースを前記実行する間に、メイン・メモリから、前記第1プロセッサに対応する第1キャッシュ内の第1キャッシュ・ラインへ、第1セットのデータをロードするステップと、
前記第2プロセッサ上で前記第2テスト・ケースを前記実行する間に、前記メイン・メモリから、前記第2プロセッサに対応する第2キャッシュ内の第2キャッシュ・ラインへ、第2セットのデータをロードするステップと、
前記第1プロセッサ上で前記第1テスト・ケースを実行するのに応答して前記第1セットのデータを変更し、前記第2プロセッサ上で前記第2テスト・ケースを実行するのに応答して前記第2セットのデータを変更するステップと、
をさらに含む、請求項1に記載の方法。 - 前記第1テスト・ケースを前記第2プロセッサ上にロードし、前記第2テスト・ケースを前記第1プロセッサ上にロードするステップの後に、前記第1セットのデータおよび前記第2セットのデータの前記変更を検出するステップと、
前記検出に応答して、前記変更済みの第1セットのデータを、前記第1キャッシュ・ラインから前記第2キャッシュへロードし、前記変更済みの第2セットのデータを、前記第2キャッシュ・ラインから前記第1キャッシュへロードするステップと、
をさらに含む、請求項3に記載の方法。 - 前記検出は、ミス論理、スヌーピング論理、フラッシュ論理、および無効化論理から成る群から選択されるキャッシュ論理により実行される、請求項4に記載の方法。
- 前記複数のテスト・ケースから第3テスト・ケースを選択するステップと、
前記第1プロセッサ上での前記第1テスト・ケースの前記実行および前記第2プロセッサ上での前記第2テスト・ケースの前記実行と同時に、前記第3テスト・ケースを第3プロセッサ上で実行するステップと、
前記第1テスト・ケースを前記第2プロセッサ上にロードさせ、前記第2テスト・ケースを前記第3プロセッサ上にロードさせ、前記第3テスト・ケースを前記第1プロセッサ上にロードさせる、第1循環を呼び出すステップと、
前記第1循環の後に、前記第1テスト・ケースを前記第2プロセッサ上で実行し、前記第2テスト・ケースを前記第3プロセッサ上で実行し、前記第3テスト・ケースを前記第1プロセッサ上で実行するステップと、
前記第1テスト・ケースを前記第3プロセッサ上にロードさせ、前記第2テスト・ケースを前記第1プロセッサ上にロードさせ、前記第3テスト・ケースを前記第2プロセッサ上にロードさせる、第2循環を呼び出すステップと、
前記第2循環の後に、前記第1テスト・ケースを前記第3プロセッサ上で実行し、前記第2テスト・ケースを前記第1プロセッサ上で実行し、前記第3テスト・ケースを前記第2プロセッサ上で実行するステップと、
をさらに含む、請求項1に記載の方法。 - 前記第1プロセッサ、前記第2プロセッサおよび前記第3プロセッサは同種である、請求項6に記載の方法。
- 1つ以上のプロセッサと、
前記プロセッサのうちの少なくとも1つによってアクセス可能なメモリと、
前記プロセッサのうちの少なくとも1つによってアクセス可能な不揮発性記憶領域と、 以下のアクション:
複数のテスト・ケースから第1テスト・ケースを選択すること、
前記複数のテスト・ケースから第2テスト・ケースを選択すること、
前記第1テスト・ケースを第1プロセッサ上で実行し、前記第2テスト・ケースを第2プロセッサ上で実行すること、
前記実行後に、前記第1テスト・ケースを前記第2プロセッサ上にロードし、前記第2テスト・ケースを前記第1プロセッサ上にロードすること、および
前記第1テスト・ケースを前記第2プロセッサ上で実行し、前記第2テスト・ケースを前記第1プロセッサ上で実行すること
前記第1テスト・ケースを前記第2プロセッサ上にロードし、前記第2テスト・ケースを前記第1プロセッサ上にロードするステップの後に、TLBの論理をテストすること、
前記TLBの論理のテストの結果に応じて、アドレス・トランスレーション・ラインを、前記第1プロセッサ及び前記第2プロセッサそれぞれの専用トランスレーション・ルックアサイド・バッファ間で移動すること
を実行するために、前記メモリに格納され、前記プロセッサのうちの少なくとも1つにより実行される、命令セットと、
を含む、情報処理システム。 - 前記第1テスト・ケースおよび前記第2テスト・ケースは、同時に実行する、請求項8に記載の情報処理システム。
- 前記命令セットは、以下のアクション:
前記第1プロセッサ上で前記第1テスト・ケースを前記実行する間に、メイン・メモリから、前記第1プロセッサに対応する第1キャッシュ内の第1キャッシュ・ラインへ、第1セットのデータをロードすること、
前記第2プロセッサ上で前記第2テスト・ケースを前記実行する間に、前記メイン・メモリから、前記第2プロセッサに対応する第2キャッシュ内の第2キャッシュ・ラインへ、第2セットのデータをロードすること、および
前記第1プロセッサ上で前記第1テスト・ケースを実行するのに応答して前記第1セットのデータを変更し、前記第2プロセッサ上で前記第2テスト・ケースを実行するのに応答して前記第2セットのデータを変更すること、
を実行する、請求項8に記載の情報処理システム。 - 前記命令セットは、以下のアクション:
前記第1テスト・ケースを前記第2プロセッサ上にロードし、前記第2テスト・ケースを前記第1プロセッサ上にロードした後に、前記第1セットのデータおよび前記第2セットのデータの前記変更を検出すること、および
前記検出に応答して、前記変更済みの第1セットのデータを、前記第1キャッシュ・ラインから前記第2キャッシュへロードし、前記変更済みの第2セットのデータを、前記第2キャッシュ・ラインから前記第1キャッシュへロードすること、
を実行する、請求項10に記載の情報処理システム。 - 前記検出は、ミス論理、スヌーピング論理、フラッシュ論理、および無効化論理から成る群から選択されるキャッシュ論理により実行される、請求項11に記載の情報処理システム。
- 前記命令セットは、以下のアクション:
前記複数のテスト・ケースから第3テスト・ケースを選択すること、
前記第1プロセッサ上での前記第1テスト・ケースの前記実行および前記第2プロセッサ上での前記第2テスト・ケースの前記実行と同時に、前記第3テスト・ケースを第3プロセッサ上で実行すること、
前記第1テスト・ケースを前記第2プロセッサ上にロードさせ、前記第2テスト・ケースを前記第3プロセッサ上にロードさせ、前記第3テスト・ケースを前記第1プロセッサ上にロードさせる、第1循環を呼び出すこと、
前記第1循環の後に、前記第1テスト・ケースを前記第2プロセッサ上で実行し、前記第2テスト・ケースを前記第3プロセッサ上で実行し、前記第3テスト・ケースを前記第1プロセッサ上で実行すること、
前記第1テスト・ケースを前記第3プロセッサ上にロードさせ、前記第2テスト・ケースを前記第1プロセッサ上にロードさせ、前記第3テスト・ケースを前記第2プロセッサ上にロードさせる、第2循環を呼び出すこと、
前記第2循環の後に、前記第1テスト・ケースを前記第3プロセッサ上で実行し、前記第2テスト・ケースを前記第1プロセッサ上で実行し、前記第3テスト・ケースを前記第2プロセッサ上で実行すること、
を実行する、請求項8に記載の情報処理システム。 - 前記第1プロセッサ、前記第2プロセッサおよび前記第3プロセッサは同種である、請求項13に記載の情報処理システム。
- コンピュータに、
複数のテスト・ケースから第1テスト・ケースを選択するステップと、
前記複数のテスト・ケースから第2テスト・ケースを選択するステップと、
前記第1テスト・ケースを第1プロセッサ上で実行し、前記第2テスト・ケースを第2プロセッサ上で実行するステップと、
前記実行後に、前記第1テスト・ケースを前記第2プロセッサ上にロードし、前記第2テスト・ケースを前記第1プロセッサ上にロードするステップと、
前記第1テスト・ケースを前記第2プロセッサ上で実行し、前記第2テスト・ケースを前記第1プロセッサ上で実行するステップと、
前記第1テスト・ケースを前記第2プロセッサ上にロードし、前記第2テスト・ケースを前記第1プロセッサ上にロードするステップの後に、TLBの論理をテストするステップと、
前記TLBの論理のテストの結果に応じて、アドレス・トランスレーション・ラインを、前記第1プロセッサ及び前記第2プロセッサそれぞれの専用トランスレーション・ルックアサイド・バッファ間で移動するステップと、
を実行させる、コンピュータ・プログラム。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US12/172595 | 2008-07-14 | ||
US12/172,595 US7966521B2 (en) | 2008-07-14 | 2008-07-14 | Light weight and high throughput test case generation methodology for testing cache/TLB intervention and diagnostics |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2010020766A JP2010020766A (ja) | 2010-01-28 |
JP5473438B2 true JP5473438B2 (ja) | 2014-04-16 |
Family
ID=41506190
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2009160076A Expired - Fee Related JP5473438B2 (ja) | 2008-07-14 | 2009-07-06 | テスト・ケース生成のための方法、情報処理システムおよびコンピュータ・プログラム |
Country Status (4)
Country | Link |
---|---|
US (1) | US7966521B2 (ja) |
JP (1) | JP5473438B2 (ja) |
KR (1) | KR101054231B1 (ja) |
TW (1) | TW201015545A (ja) |
Families Citing this family (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7398515B2 (en) * | 2003-07-16 | 2008-07-08 | International Business Machines Corporation | Buckets of commands in a multiprocessor-based verification environment |
US8621305B2 (en) * | 2010-07-08 | 2013-12-31 | Honeywell International Inc. | Methods systems and apparatus for determining whether built-in-test fault codes are indicative of an actual fault condition or a false alarm |
KR102026662B1 (ko) * | 2013-04-22 | 2019-09-30 | 삼성전자 주식회사 | 프로세서 검증을 위한 테스트 케이스 생성 장치 및 방법과, 검증장치 |
US9287005B2 (en) | 2013-12-13 | 2016-03-15 | International Business Machines Corporation | Detecting missing write to cache/memory operations |
US9892060B2 (en) | 2015-12-02 | 2018-02-13 | International Business Machines Corporation | Identifying stale entries in address translation cache |
US9612929B1 (en) * | 2016-01-13 | 2017-04-04 | International Business Machines Corporation | Efficient validation/verification of coherency and snoop filtering mechanisms in computing systems |
Family Cites Families (31)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4357656A (en) * | 1977-12-09 | 1982-11-02 | Digital Equipment Corporation | Method and apparatus for disabling and diagnosing cache memory storage locations |
US4800486A (en) * | 1983-09-29 | 1989-01-24 | Tandem Computers Incorporated | Multiple data patch CPU architecture |
JPS6298437A (ja) * | 1985-10-24 | 1987-05-07 | Oki Electric Ind Co Ltd | マイクロコンピユ−タ |
GB2278213A (en) * | 1993-05-18 | 1994-11-23 | Ibm | Test program generator. |
US5488573A (en) * | 1993-09-02 | 1996-01-30 | Matsushita Electric Industrial Co., Ltd. | Method for generating test programs |
JPH08272683A (ja) * | 1995-03-29 | 1996-10-18 | Fujitsu Ltd | キャッシュメモリの動作試験方法および動作試験システム |
JPH0973435A (ja) * | 1995-09-04 | 1997-03-18 | Hitachi Ltd | 密結合マルチプロセッサシステムの試験システム |
JPH11184828A (ja) * | 1997-12-22 | 1999-07-09 | Hitachi Ltd | マルチプロセッサシステムのテスト方式 |
US6182246B1 (en) * | 1999-01-21 | 2001-01-30 | Bsquare Corporation | Protocol acknowledgment between homogeneous system |
GB2353610A (en) * | 1999-08-21 | 2001-02-28 | Ibm | Computerised testcase management system |
US6871298B1 (en) * | 1999-11-12 | 2005-03-22 | Obsidian Software, Inc. | Method and apparatus that simulates the execution of paralled instructions in processor functional verification testing |
US7590973B1 (en) * | 2000-06-30 | 2009-09-15 | Microsoft Corporation | Systems and methods for gathering, organizing and executing test cases |
US6684359B2 (en) * | 2000-11-03 | 2004-01-27 | Verisity Ltd. | System and method for test generation with dynamic constraints using static analysis |
ATE313847T1 (de) * | 2001-06-20 | 2006-01-15 | Broadcom Corp | Selbsttest-schaltung für cache-speicher |
US7240243B2 (en) * | 2002-03-28 | 2007-07-03 | International Business Machines Corporation | System and method for facilitating programmable coverage domains for a testcase generator |
US20040078699A1 (en) * | 2002-09-18 | 2004-04-22 | Thompson Ryan C. | System for preventing translation lookaside buffer conflicts when generating and merging computer architecture test cases |
US7010734B2 (en) * | 2002-10-21 | 2006-03-07 | Sun Microsystems, Inc. | Method for microprocessor test insertion reduction |
US7133816B2 (en) * | 2002-11-04 | 2006-11-07 | International Business Machines Corporation | Test quality through resource reallocation |
US7174554B2 (en) * | 2002-12-20 | 2007-02-06 | Microsoft Corporation | Tools and methods for discovering race condition errors |
US7080126B2 (en) * | 2003-02-28 | 2006-07-18 | Bea Systems, Inc. | Computer program product for performing resource pool maintenance by maintaining resources in several deques |
US20060015689A1 (en) * | 2004-07-15 | 2006-01-19 | International Business Machines Corporation | Implementation and management of moveable buffers in cache system |
US7457989B2 (en) * | 2004-09-29 | 2008-11-25 | Microsoft Corporation | System and method for selecting test case execution behaviors for reproducible test automation |
US7356436B2 (en) * | 2005-02-02 | 2008-04-08 | International Business Machines Corporation | Method, system, and storage medium for estimating and improving test case generation |
US7386778B2 (en) * | 2005-10-20 | 2008-06-10 | Jon Udell | Methods for distributing programs for generating test data |
US7765450B2 (en) * | 2005-10-20 | 2010-07-27 | Jon Udell | Methods for distribution of test generation programs |
US7849362B2 (en) * | 2005-12-09 | 2010-12-07 | International Business Machines Corporation | Method and system of coherent design verification of inter-cluster interactions |
US7814378B2 (en) * | 2007-05-18 | 2010-10-12 | Oracle America, Inc. | Verification of memory consistency and transactional memory |
US7797650B2 (en) * | 2007-09-11 | 2010-09-14 | International Business Machines Corporation | System and method for testing SLB and TLB cells during processor design verification and validation |
US7752499B2 (en) * | 2007-09-11 | 2010-07-06 | International Business Machines Corporation | System and method for using resource pools and instruction pools for processor design verification and validation |
US7669083B2 (en) * | 2007-09-11 | 2010-02-23 | International Business Machines Corporation | System and method for re-shuffling test case instruction orders for processor design verification and validation |
US7836343B2 (en) * | 2008-03-03 | 2010-11-16 | International Business Machines Corporation | Method and apparatus for reducing test case generation time in processor testing |
-
2008
- 2008-07-14 US US12/172,595 patent/US7966521B2/en not_active Expired - Fee Related
-
2009
- 2009-06-18 KR KR1020090054601A patent/KR101054231B1/ko not_active IP Right Cessation
- 2009-07-06 JP JP2009160076A patent/JP5473438B2/ja not_active Expired - Fee Related
- 2009-07-07 TW TW098122976A patent/TW201015545A/zh unknown
Also Published As
Publication number | Publication date |
---|---|
TW201015545A (en) | 2010-04-16 |
KR101054231B1 (ko) | 2011-08-08 |
US7966521B2 (en) | 2011-06-21 |
KR20100007719A (ko) | 2010-01-22 |
JP2010020766A (ja) | 2010-01-28 |
US20100011248A1 (en) | 2010-01-14 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US10942737B2 (en) | Method, device and system for control signalling in a data path module of a data stream processing engine | |
US9229730B2 (en) | Multi-chip initialization using a parallel firmware boot process | |
US7254676B2 (en) | Processor cache memory as RAM for execution of boot code | |
US7797650B2 (en) | System and method for testing SLB and TLB cells during processor design verification and validation | |
US8099559B2 (en) | System and method for generating fast instruction and data interrupts for processor design verification and validation | |
JP5473438B2 (ja) | テスト・ケース生成のための方法、情報処理システムおよびコンピュータ・プログラム | |
US9405552B2 (en) | Method, device and system for controlling execution of an instruction sequence in a data stream accelerator | |
US9384352B2 (en) | Trusted boot and runtime operation | |
US10311236B2 (en) | Secure system memory training | |
US20090024877A1 (en) | System and Method for Creating Different Start Cache and Bus States Using Multiple Test Patterns for Processor Design Verification and Validation | |
CN114580344A (zh) | 测试激励生成方法、验证方法、验证系统及相关设备 | |
US20090070570A1 (en) | System and Method for Efficiently Handling Interrupts | |
US9047264B2 (en) | Low pin count controller | |
EP3884386A1 (en) | Programming and controlling compute units in an integrated circuit | |
JP7287947B2 (ja) | ダイレクト・メモリ・アドレス変換の効率的なテストのための集積回路、およびコンピュータ実装方法 | |
US8806153B2 (en) | Partial line cache write injector for direct memory access write | |
US7502913B2 (en) | Switch prefetch in a multicore computer chip | |
US8417735B1 (en) | Instruction-efficient algorithm for parallel scan using initialized memory regions to replace conditional statements | |
US7765362B2 (en) | Efficient system bootstrap loading | |
Manian et al. | OMB-UM: Design, implementation, and evaluation of CUDA unified memory aware MPI benchmarks | |
US11157285B2 (en) | Dynamic modification of instructions that do not modify the architectural state of a processor | |
US9830154B2 (en) | Method, apparatus and system for data stream processing with a programmable accelerator |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20120330 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20130508 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20130528 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20130826 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20130917 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20131216 |
|
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: 20140114 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20140204 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |