ITTO20070915A1 - Procedimento per la verifica di codici per elaboratore e relativo sistema di verifica - Google Patents

Procedimento per la verifica di codici per elaboratore e relativo sistema di verifica

Info

Publication number
ITTO20070915A1
ITTO20070915A1 IT000915A ITTO20070915A ITTO20070915A1 IT TO20070915 A1 ITTO20070915 A1 IT TO20070915A1 IT 000915 A IT000915 A IT 000915A IT TO20070915 A ITTO20070915 A IT TO20070915A IT TO20070915 A1 ITTO20070915 A1 IT TO20070915A1
Authority
IT
Italy
Prior art keywords
verification
codes
processor
procedure
verification system
Prior art date
Application number
IT000915A
Other languages
English (en)
Inventor
Antonio Remollino
Original Assignee
Antonio Remollino
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 Antonio Remollino filed Critical Antonio Remollino
Priority to IT000915A priority Critical patent/ITTO20070915A1/it
Priority to PCT/IB2008/003585 priority patent/WO2009081267A2/en
Priority to US12/808,719 priority patent/US8745593B2/en
Publication of ITTO20070915A1 publication Critical patent/ITTO20070915A1/it

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/362—Software debugging
    • G06F11/3624—Software debugging by performing operations on the source code, e.g. via a compiler

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)
IT000915A 2007-12-19 2007-12-19 Procedimento per la verifica di codici per elaboratore e relativo sistema di verifica ITTO20070915A1 (it)

Priority Applications (3)

Application Number Priority Date Filing Date Title
IT000915A ITTO20070915A1 (it) 2007-12-19 2007-12-19 Procedimento per la verifica di codici per elaboratore e relativo sistema di verifica
PCT/IB2008/003585 WO2009081267A2 (en) 2007-12-19 2008-12-17 Process for verifying computer codes and corresponding verification system
US12/808,719 US8745593B2 (en) 2007-12-19 2008-12-17 Process for verifying computer codes and corresponding verification system

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
IT000915A ITTO20070915A1 (it) 2007-12-19 2007-12-19 Procedimento per la verifica di codici per elaboratore e relativo sistema di verifica

Publications (1)

Publication Number Publication Date
ITTO20070915A1 true ITTO20070915A1 (it) 2009-06-20

Family

ID=40315906

Family Applications (1)

Application Number Title Priority Date Filing Date
IT000915A ITTO20070915A1 (it) 2007-12-19 2007-12-19 Procedimento per la verifica di codici per elaboratore e relativo sistema di verifica

Country Status (3)

Country Link
US (1) US8745593B2 (it)
IT (1) ITTO20070915A1 (it)
WO (1) WO2009081267A2 (it)

Families Citing this family (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8429603B2 (en) 2009-03-25 2013-04-23 International Business Machines Corporation Virtual typing executables
US8615740B2 (en) * 2009-03-25 2013-12-24 International Business Machines Corporation Self-fixing executables using virtual function types
CN103294517B (zh) * 2012-02-22 2018-05-11 国际商业机器公司 堆栈溢出保护装置、堆栈保护方法、相关编译器和计算装置
CN102662834B (zh) * 2012-03-22 2014-09-03 中国电子科技集团公司第五十八研究所 一种重构CoSy中间表示的缓冲区溢出检测方法
EP2757468A1 (en) * 2013-01-22 2014-07-23 Siemens Aktiengesellschaft Apparatus and method for managing a software development and maintenance system
US20160274751A1 (en) * 2015-03-16 2016-09-22 Kobo Incorporated Disambiguation of an e-book series name
US20160275118A1 (en) * 2015-03-16 2016-09-22 Kobo Incorporated Supplementing an e-book's metadata with a unique identifier
US9753722B2 (en) * 2015-12-14 2017-09-05 International Business Machines Corporation Automatically expiring out source code comments
US10275334B1 (en) * 2017-02-06 2019-04-30 Codepops Inc. Beginner-friendly system for identifying bugs in computer code
CN109976793B (zh) * 2019-03-15 2022-05-10 北京字节跳动网络技术有限公司 一种应用程序的运行方法、装置、设备和介质
CN114115884A (zh) * 2020-08-26 2022-03-01 腾讯科技（深圳）有限公司 一种编程服务的管理方法以及相关装置

Family Cites Families (14)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5963739A (en) * 1996-04-26 1999-10-05 Peter V. Homeier Method for verifying the total correctness of a program with mutually recursive procedures
US6560774B1 (en) * 1999-09-01 2003-05-06 Microsoft Corporation Verifier to check intermediate language
US7010779B2 (en) * 2001-08-16 2006-03-07 Knowledge Dynamics, Inc. Parser, code generator, and data calculation and transformation engine for spreadsheet calculations
US7150008B2 (en) * 2002-10-25 2006-12-12 Microsoft Corporation Non-invasive rule-based binary analysis of software assemblies
US20040133445A1 (en) * 2002-10-29 2004-07-08 Marathon Ashland Petroleum L.L.C. Generic framework for applying object-oriented models to multi-tiered enterprise applications
WO2005020071A1 (ja) * 2003-08-20 2005-03-03 Japan Tobacco Inc. プログラム生成システム、プログラム生成プログラムおよびプログラム生成モジュール
WO2005057969A1 (en) * 2003-12-10 2005-06-23 Nokia Corporation Method and mobile terminal arrangement for fast switching between multiple peripherals
US20060150160A1 (en) * 2004-06-14 2006-07-06 Sofcheck, Inc. Software analyzer
US20060020574A1 (en) * 2004-07-21 2006-01-26 Mentor Graphics Corporation Area optimization of hardware for algorithms by optimizing sizes of variables of the algorithm
US7559055B2 (en) 2005-06-15 2009-07-07 Research In Motion Limited Controlling collection of debugging data
JP2008003882A (ja) * 2006-06-23 2008-01-10 Fujitsu Ltd コンパイラプログラム，リストベクトルの領域割当て最適化方法，コンパイル処理装置およびコンパイラプログラムを記録したコンピュータ読み取り可能な記録媒体
KR100868762B1 (ko) * 2006-12-01 2008-11-17 삼성전자주식회사 임베디드용 소프트웨어의 오류 검출 방법
US20100058276A1 (en) * 2007-09-11 2010-03-04 Andreas Felder Method for the integration of an integrated circuit into a standardized software architecture for embedded systems
US8949791B2 (en) * 2009-07-08 2015-02-03 Vmware, Inc. Distributed software testing using cloud computing resources

Also Published As

Publication number Publication date
US20100281466A1 (en) 2010-11-04
WO2009081267A2 (en) 2009-07-02
WO2009081267A3 (en) 2009-11-05
US8745593B2 (en) 2014-06-03

Similar Documents

Publication Publication Date Title
ITTO20070915A1 (it) Procedimento per la verifica di codici per elaboratore e relativo sistema di verifica
BR112013000800A2 (pt) conjunto de preventores e sistema de lançamento
BRPI0911223A2 (pt) sistema de compressão de gás
BRPI0912054A2 (pt) sistema de posicionamento
BRPI1012304A2 (pt) sistema para auxílio de subida
BRPI0908042A2 (pt) válvula de ação contra-rebite para sistema de exaustão
IT1394784B1 (it) Sistema e procedimento di riconoscimento visivo
BR112012012231A2 (pt) método e sistema
BR112012000811A2 (pt) sistema para processamento de gás
BRPI0812528A2 (pt) Sistema de fixação
BRPI1015978A2 (pt) método, sistema, e, fluxímetro
BRPI0924215A2 (pt) método e sistema para execução de medição
BRPI0917782A2 (pt) sistema e método
BRPI0922847A2 (pt) sistema e método de posicionamento
BRPI0909653A2 (pt) sistema terapêutico transdérmico com membrama estabilizada
IT1391797B1 (it) Metodo e sistema di rilevamento della geometria di fratture sotterranee
IT1397489B1 (it) Metodo e sistema per diagnosticare compressori.
IT1393652B1 (it) Sistema di fissaggio
BRPI0922999A2 (pt) sistema submarino
BRPI0918095A2 (pt) sistema e método
BR112012012273A2 (pt) sistema de decodificação
BRPI0917731A2 (pt) sistema de terapia respiratória e método de terapia respiratória
BRPI1014156A2 (pt) sistema para o posicionamento de âncora
BRPI0913351A2 (pt) sistema para lavagem de tecidos à mão
IT1396986B1 (it) Sistema di fissaggio