[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

WO2009017231A2 - パターン検査システム、パターン検査装置、方法およびパターン検査用プログラム - Google Patents

パターン検査システム、パターン検査装置、方法およびパターン検査用プログラム Download PDF

Info

Publication number
WO2009017231A2
WO2009017231A2 PCT/JP2008/063895 JP2008063895W WO2009017231A2 WO 2009017231 A2 WO2009017231 A2 WO 2009017231A2 JP 2008063895 W JP2008063895 W JP 2008063895W WO 2009017231 A2 WO2009017231 A2 WO 2009017231A2
Authority
WO
WIPO (PCT)
Prior art keywords
pattern examination
pattern
program
examination
examination device
Prior art date
Application number
PCT/JP2008/063895
Other languages
English (en)
French (fr)
Inventor
Naoto Maeda
Original Assignee
Nec Corporation
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Nec Corporation filed Critical Nec Corporation
Priority to JP2009525465A priority Critical patent/JP5403362B2/ja
Priority to US12/671,010 priority patent/US20100199264A1/en
Publication of WO2009017231A2 publication Critical patent/WO2009017231A2/ja

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/3688—Test management for test execution, e.g. scheduling of test suites
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/448—Execution paradigms, e.g. implementations of programming paradigms
    • G06F9/4488—Object-oriented
    • G06F9/449—Object-oriented method invocation or resolution

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)
  • Magnetic Resonance Imaging Apparatus (AREA)
  • Testing, Inspecting, Measuring Of Stereoscopic Televisions And Televisions (AREA)

Abstract

pct-art17.2a
PCT/JP2008/063895 2007-08-02 2008-08-01 パターン検査システム、パターン検査装置、方法およびパターン検査用プログラム WO2009017231A2 (ja)

Priority Applications (2)

Application Number Priority Date Filing Date Title
JP2009525465A JP5403362B2 (ja) 2007-08-02 2008-08-01 パターン検査システム、パターン検査装置、方法およびパターン検査用プログラム
US12/671,010 US20100199264A1 (en) 2007-08-02 2008-08-01 Pattern inspection system, pattern inspection device, method and pattern inspection program

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
JP2007-201584 2007-08-02
JP2007201584 2007-08-02

Publications (1)

Publication Number Publication Date
WO2009017231A2 true WO2009017231A2 (ja) 2009-02-05

Family

ID=40305025

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/JP2008/063895 WO2009017231A2 (ja) 2007-08-02 2008-08-01 パターン検査システム、パターン検査装置、方法およびパターン検査用プログラム

Country Status (3)

Country Link
US (1) US20100199264A1 (ja)
JP (1) JP5403362B2 (ja)
WO (1) WO2009017231A2 (ja)

Cited By (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102323906A (zh) * 2011-09-08 2012-01-18 哈尔滨工程大学 一种基于遗传算法的mc/dc测试数据自动生成方法
JP2012128584A (ja) * 2010-12-14 2012-07-05 Internatl Business Mach Corp <Ibm> ポインタを解析する方法、並びにそのコンピュータ及びコンピュータ・プログラム
JP2015520452A (ja) * 2012-05-14 2015-07-16 クアルコム，インコーポレイテッド モバイルマルチプロセッサプラットフォームにおける挙動特徴の監視
US9686023B2 (en) 2013-01-02 2017-06-20 Qualcomm Incorporated Methods and systems of dynamically generating and using device-specific and device-state-specific classifier models for the efficient classification of mobile device behaviors
US9684870B2 (en) 2013-01-02 2017-06-20 Qualcomm Incorporated Methods and systems of using boosted decision stumps and joint feature selection and culling algorithms for the efficient classification of mobile device behaviors
US9690635B2 (en) 2012-05-14 2017-06-27 Qualcomm Incorporated Communicating behavior information in a mobile computing device
US9742559B2 (en) 2013-01-22 2017-08-22 Qualcomm Incorporated Inter-module authentication for securing application execution integrity within a computing device
US9747440B2 (en) 2012-08-15 2017-08-29 Qualcomm Incorporated On-line behavioral analysis engine in mobile device with multiple analyzer model providers
US9756066B2 (en) 2012-08-15 2017-09-05 Qualcomm Incorporated Secure behavior analysis over trusted execution environment
US10089582B2 (en) 2013-01-02 2018-10-02 Qualcomm Incorporated Using normalized confidence values for classifying mobile device behaviors

Families Citing this family (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8776027B2 (en) * 2009-03-06 2014-07-08 Microsoft Corporation Extracting and collecting platform use data
US8689180B2 (en) * 2009-11-03 2014-04-01 International Business Machines Corporation Systems and methods for resource leak detection
CN103119557B (zh) * 2010-09-17 2017-05-17 甲骨文国际公司 云计算环境中的企业应用的基于模式的构造和扩展
US9003371B2 (en) 2010-12-30 2015-04-07 International Business Machines Corporation Recursive method call representation in a plot view of method execution performance
US9501382B2 (en) * 2013-06-25 2016-11-22 Purdue Research Foundation Systems and methods of detecting power bugs
US9438620B2 (en) * 2013-10-22 2016-09-06 Mcafee, Inc. Control flow graph representation and classification
US10296737B2 (en) * 2015-12-09 2019-05-21 International Business Machines Corporation Security enforcement in the presence of dynamic code loading
CN105608003B (zh) * 2015-12-17 2018-04-17 西安电子科技大学 基于控制流分析和数据流分析的Java程序静态分析方法
US20240045662A1 (en) * 2022-08-02 2024-02-08 Nvidia Corporation Software code verification using call graphs for autonomous systems and applications

Family Cites Families (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH06348475A (ja) * 1993-06-14 1994-12-22 Nec Corp ポインタ解析システム
JPH07262044A (ja) * 1994-03-25 1995-10-13 Hitachi Ltd イベントトレース解析方法
JP4588295B2 (ja) * 2000-12-08 2010-11-24 富士通株式会社 シーケンス解析方法およびシーケンス解析装置
JP3999949B2 (ja) * 2001-07-25 2007-10-31 株式会社東芝 別名検索装置、別名検索方法及び別名検索用プログラム
US7263532B2 (en) * 2003-09-23 2007-08-28 Microsoft Corporation Region-based memory management for object-oriented programs
US7526755B2 (en) * 2003-10-08 2009-04-28 Microsoft Corporation Plug-in pre- and postconditions for static program analysis
JP3966518B2 (ja) * 2004-03-12 2007-08-29 インターナショナル・ビジネス・マシーンズ・コーポレーション プログラム解析装置、その解析方法及びプログラム
JP2006146613A (ja) * 2004-11-19 2006-06-08 Matsushita Electric Ind Co Ltd プログラム変換方法
US8332939B2 (en) * 2007-02-21 2012-12-11 International Business Machines Corporation System and method for the automatic identification of subject-executed code and subject-granted access rights

Cited By (12)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2012128584A (ja) * 2010-12-14 2012-07-05 Internatl Business Mach Corp <Ibm> ポインタを解析する方法、並びにそのコンピュータ及びコンピュータ・プログラム
CN102323906A (zh) * 2011-09-08 2012-01-18 哈尔滨工程大学 一种基于遗传算法的mc/dc测试数据自动生成方法
CN102323906B (zh) * 2011-09-08 2014-01-08 哈尔滨工程大学 一种基于遗传算法的mc/dc测试数据自动生成方法
JP2015520452A (ja) * 2012-05-14 2015-07-16 クアルコム，インコーポレイテッド モバイルマルチプロセッサプラットフォームにおける挙動特徴の監視
US9690635B2 (en) 2012-05-14 2017-06-27 Qualcomm Incorporated Communicating behavior information in a mobile computing device
US9898602B2 (en) 2012-05-14 2018-02-20 Qualcomm Incorporated System, apparatus, and method for adaptive observation of mobile device behavior
US9747440B2 (en) 2012-08-15 2017-08-29 Qualcomm Incorporated On-line behavioral analysis engine in mobile device with multiple analyzer model providers
US9756066B2 (en) 2012-08-15 2017-09-05 Qualcomm Incorporated Secure behavior analysis over trusted execution environment
US9686023B2 (en) 2013-01-02 2017-06-20 Qualcomm Incorporated Methods and systems of dynamically generating and using device-specific and device-state-specific classifier models for the efficient classification of mobile device behaviors
US9684870B2 (en) 2013-01-02 2017-06-20 Qualcomm Incorporated Methods and systems of using boosted decision stumps and joint feature selection and culling algorithms for the efficient classification of mobile device behaviors
US10089582B2 (en) 2013-01-02 2018-10-02 Qualcomm Incorporated Using normalized confidence values for classifying mobile device behaviors
US9742559B2 (en) 2013-01-22 2017-08-22 Qualcomm Incorporated Inter-module authentication for securing application execution integrity within a computing device

Also Published As

Publication number Publication date
US20100199264A1 (en) 2010-08-05
JP5403362B2 (ja) 2014-01-29
JPWO2009017231A1 (ja) 2010-10-28

Similar Documents

Publication Publication Date Title
WO2009017231A2 (ja) パターン検査システム、パターン検査装置、方法およびパターン検査用プログラム
BRPI0915433A2 (pt) método, e, dispositivo.
NL2003118A1 (nl) Alignment system, lithographic system and method.
DE602008003068D1 (de) Vorrichtungsanschluss, Anschlussverfahren und Vorrichtung dafür
BRPI0813914A2 (pt) Sistema, e, método.
BRPI0822078A2 (pt) Método, e, sistema.
NL2002883A1 (nl) Overlay measurement apparatus, lithographic apparatus, and device manufacturing method using such overlay measurement apparatus.
BRPI0911123A2 (pt) dispositivo, método e sistema de processamento de informação, e, programa.
NL1031921A1 (nl) Afstandsbediening, inrichtingbedieningssysteem en afstandsbedieningswerkwijze.
BRPI1006971A2 (pt) &#34;dispositivo e método de processamento de informação, e, programa.&#34;
BRPI0814085A2 (pt) Sistema, e, método
BRPI0815101A2 (pt) Método, e, sistema
BRPI0813757A2 (pt) Sistema de implante, e, método
BRPI0822232A2 (pt) Dispositivo de radio transmissão e método de radiotransmissão.
DK2376015T3 (da) Pneumopedisk-ortodontisk instrument, system og fremgangsmåde.
BRPI0910723A2 (pt) aparelho e método de frenagem.
BRPI0920525A2 (pt) método, dispositivo e sistema de comunicação
BRPI0811722A2 (pt) Método, e sistema
NL2003256A1 (nl) Optical element for a lithographic apparatus, lithographic apparatus comprising such optical element and method for making the optical element.
BRPI0918996A2 (pt) equipamento, sistema, e método.
BRPI0813400A2 (pt) Aparelho de processamento de imagem, método de processamento de imagem, e, programa.
BRPI0808050A2 (pt) Método de transmissão, sistema de transmissão, dispositivo de transmissão e dispositivo de recepção.
BRPI0810190A2 (pt) Sistema, e, método.
BRPI0810963A2 (pt) sistema, e, método
BRPI0818023A2 (pt) Método utilizável com um poço, sistema utilizável em um poço, e aparelho utilizável em um poço

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 08792108

Country of ref document: EP

Kind code of ref document: A2

DPE2 Request for preliminary examination filed before expiration of 19th month from priority date (pct application filed from 20040101)
WWE Wipo information: entry into national phase

Ref document number: 12671010

Country of ref document: US

WWE Wipo information: entry into national phase

Ref document number: 2009525465

Country of ref document: JP

NENP Non-entry into the national phase

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 08792108

Country of ref document: EP

Kind code of ref document: A2