EP 2238540 A1 20101013 - SELECTIVE CODE INSTRUMENTATION FOR SOFTWARE VERIFICATION
Title (en)
SELECTIVE CODE INSTRUMENTATION FOR SOFTWARE VERIFICATION
Title (de)
SELEKTIVE CODIERUNGSINSTRUMENTE ZUR SOFTWAREVERIFIZIERUNG
Title (fr)
INSTRUMENTATION DE CODE SÉLECTIVE POUR VÉRIFICATION DE LOGICIEL
Publication
Application
Priority
IB 2008001327 W 20080201
Abstract (en)
[origin: WO2009095741A1] A software testing tool may selectively modify (instrument) portions of a software project for dynamic verification analysis based on the results a static verification analysis. In one implementation, the tool may perform a static verification analysis (315) of the computer code and selectively instrument portions of the computer code for dynamic verification analysis, the selected portion of the computer code including a portion of the computer code that was determined by the static verification analysis to include an unproven error condition. The tool may further execute the computer code to perform a dynamic verification analysis of the selectively instrumented portion of the computer code and store output information describing potential errors identified by the dynamic verification analysis.
IPC 8 full level
G06F 11/36 (2006.01)
CPC (source: EP)
G06F 11/3664 (2013.01); G06F 11/3688 (2013.01)
Citation (search report)
See references of WO 2009095741A1
Citation (examination)
- RAMAMOORTHY ET AL: "Design and construction of an automated software evaluation system", RECORD OF THE 1973 IEEE SYMPOSIUM ON COMPUTER SOFTWARE RELIABILITY, IEEE, US, 1 January 1973 (1973-01-01), pages 28 - 37, XP008118454
- KOREL B ET AL: "Assertion-oriented automated test data generation", SOFTWARE ENGINEERING, 1996., PROCEEDINGS OF THE 18TH INTERNATIONAL CON FERENCE ON BERLIN, GERMANY 25-30 MARCH 1996, LOS ALAMITOS, CA, USA,IEEE COMPUT. SOC, US, 25 March 1996 (1996-03-25), pages 71 - 80, XP010158231, ISBN: 978-0-8186-7247-7, DOI: 10.1109/ICSE.1996.493403
Designated contracting state (EPC)
AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MT NL NO PL PT RO SE SI SK TR
Designated extension state (EPC)
AL BA MK RS
DOCDB simple family (publication)
DOCDB simple family (application)
IB 2008001327 W 20080201; EP 08751038 A 20080201