IN2013MU02701A - - Google Patents

Download PDF

Info

Publication number
IN2013MU02701A
IN2013MU02701A IN2701MU2013A IN2013MU02701A IN 2013MU02701 A IN2013MU02701 A IN 2013MU02701A IN 2701MU2013 A IN2701MU2013 A IN 2701MU2013A IN 2013MU02701 A IN2013MU02701 A IN 2013MU02701A
Authority
IN
India
Prior art keywords
program code
program
module
path
computed
Prior art date
Application number
Inventor
Tukaram B Muske
Advaita Datar
Amey Anand Zare
Original Assignee
Tata Consultancy Services Ltd
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 Tata Consultancy Services Ltd filed Critical Tata Consultancy Services Ltd
Priority to IN2701MU2013 priority Critical patent/IN2013MU02701A/en
Priority to JP2014147675A priority patent/JP5955900B2/en
Priority to US14/336,171 priority patent/US9141511B2/en
Publication of IN2013MU02701A publication Critical patent/IN2013MU02701A/en

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/3604—Software analysis for verifying properties of programs

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)

Abstract

Disclosed are a method and a system for facilitating verification of program code implementing Sleep Wakeup protocol for a microcontroller. An input handling module is configured to receive metadata from user required for verification of the program code. Identification module is configured to identify AST nodes corresponding to each program point in the program code. A computation module is configured to compute an actual IPS. TLS, path entities and shared variables for each program point in the program code. A path analysis module is configured to determine transition paths between each of the pairs of the program points specified in the metadata, and are computed in terms of the path entities. Also, review information is computed for each of the path entities comprised in the transition paths. Further, a report generation module is configured to generate a report comprising the review information facilitating the user to verify the program code.
IN2701MU2013 2013-08-19 2013-08-19 IN2013MU02701A (en)

Priority Applications (3)

Application Number Priority Date Filing Date Title
IN2701MU2013 IN2013MU02701A (en) 2013-08-19 2013-08-19
JP2014147675A JP5955900B2 (en) 2013-08-19 2014-07-18 Method and system for sleep wakeup protocol verification by calculation of state transition path
US14/336,171 US9141511B2 (en) 2013-08-19 2014-07-21 Method and system for verifying sleep wakeup protocol by computing state transition paths

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
IN2701MU2013 IN2013MU02701A (en) 2013-08-19 2013-08-19

Publications (1)

Publication Number Publication Date
IN2013MU02701A true IN2013MU02701A (en) 2015-06-26

Family

ID=52467774

Family Applications (1)

Application Number Title Priority Date Filing Date
IN2701MU2013 IN2013MU02701A (en) 2013-08-19 2013-08-19

Country Status (3)

Country Link
US (1) US9141511B2 (en)
JP (1) JP5955900B2 (en)
IN (1) IN2013MU02701A (en)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109446056B (en) * 2018-09-11 2023-03-21 平安科技（深圳）有限公司 Code verification method and device, electronic equipment and medium
CN111866060A (en) * 2020-05-26 2020-10-30 普联国际有限公司 TLS (transport layer service) connection method of communication equipment, communication equipment and communication system
CN115865791B (en) * 2023-03-02 2023-05-09 北京天弛网络有限公司 Path switching method, system, medium and electronic equipment for backbone network fault

Family Cites Families (22)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5872909A (en) * 1995-01-24 1999-02-16 Wind River Systems, Inc. Logic analyzer for software
US6178394B1 (en) 1996-12-09 2001-01-23 Lucent Technologies Inc. Protocol checking for concurrent systems
JP3943665B2 (en) * 1997-09-01 2007-07-11 株式会社東芝 Sleep control method and event notification method
JP3458796B2 (en) * 1999-10-18 2003-10-20 株式会社デンソー Interruption instruction check device and recording medium
JP2001117793A (en) * 1999-10-21 2001-04-27 Denso Corp Interrupting instruction checker and recording medium
JP2002055833A (en) * 2000-08-09 2002-02-20 Toshiba Corp Real time system designing device, its method and recording medium with recorded real time system designing program
US20030084376A1 (en) * 2001-10-25 2003-05-01 Nash James W. Software crash event analysis method and system
JP2003323465A (en) * 2002-04-30 2003-11-14 Canon Inc Automatic illicit access verification device at power saving time
US20060075305A1 (en) * 2004-10-01 2006-04-06 Microsoft Corporation Method and system for source-code model-based testing
JP2006331027A (en) * 2005-05-25 2006-12-07 Nissan Motor Co Ltd Inspection device, inspection method and inspection program
JP4414373B2 (en) * 2005-06-30 2010-02-10 富士通株式会社 Program verification program, program verification apparatus, and program verification method
US20090132991A1 (en) 2007-11-16 2009-05-21 Nec Laboratories America, Inc Partial order reduction for scalable testing in system level design
JP2010066889A (en) * 2008-09-09 2010-03-25 Sharp Corp Exclusive control trouble candidate extraction device, exclusive control trouble candidate extraction method and exclusive control trouble candidate extraction program
US20100275186A1 (en) * 2009-04-28 2010-10-28 Microsoft Corporation Segmentation for static analysis
US20110145799A1 (en) * 2009-12-12 2011-06-16 Microsoft Corporation Path-sensitive dataflow analysis including path refinement
JP5088754B2 (en) * 2009-12-18 2012-12-05 インターナショナル・ビジネス・マシーンズ・コーポレーション System, method, program, and code generation apparatus
JP2011191843A (en) * 2010-03-12 2011-09-29 Toyota Central R&D Labs Inc Interrupt interference analysis device, interrupt interference analysis method and interrupt interference analysis program
KR101649925B1 (en) * 2010-10-13 2016-08-31 삼성전자주식회사 Analysis for Single Thread Access of variable in Multi-threaded program
US8448146B2 (en) * 2011-03-31 2013-05-21 Infosys Limited Generation of functional tests for re-hosted applications
US8838413B2 (en) 2011-05-12 2014-09-16 Saudi Arabian Oil Company Valve actuator fault analysis system
US20140208297A1 (en) * 2013-01-20 2014-07-24 International Business Machines Corporation Validation of revised computer programs
US20140189652A1 (en) * 2013-05-21 2014-07-03 Concurix Corporation Filtering and Transforming a Graph Representing an Application

Also Published As

Publication number Publication date
US20150052504A1 (en) 2015-02-19
US9141511B2 (en) 2015-09-22
JP5955900B2 (en) 2016-07-20
JP2015038724A (en) 2015-02-26

Similar Documents

Publication Publication Date Title
GB2527009A (en) Simulation of production systems
AR109633A1 (en) SYSTEMS TO ADJUST AGRONOMIC ENTRY DATA USING REMOTE DETECTION AND RELATED METHODS AND APPLIANCES
IN2013MU03158A (en)
WO2014099532A3 (en) Method and system for network validation of information
MX2015014242A (en) Methods and systems for reservoir history matching for improved estimation of reservoir performance.
IN2014DN10099A (en)
PL405872A1 (en) Method, program and system for conversion of the power system data models
MX2016004126A (en) System and methods for improved demand response management system (drms).
EP4242892A3 (en) Code pointer authentication for hardware flow control
HK1155256A1 (en) A method for monitoring etl data processing procedure and the system thereof etl
MX353611B (en) Systems and methods to initiate a verification test within a flow meter via a flow computer.
WO2014018291A3 (en) Systems and methods for improving control system reliability
PH12016501255A1 (en) Improved molecular breeding methods
GB201020973D0 (en) Risk management system and method
MX2015011182A (en) Trading circles.
MY173033A (en) Information retrieval system evaluation method, device and storage medium
IN2014MU04090A (en)
WO2013044260A3 (en) Fast minimum and maximum searching instruction
GB2505602A (en) Protecting a control vector in a cryptographic system
IN2013MU03236A (en)
GB2530428A (en) Optical computing device having a redundant light source and optical train
MX341218B (en) Application monitoring.
IN2012DE00914A (en)
IN2013MU02701A (en)
WO2014036306A3 (en) System and method for determining a value of information metric from a posterior distribution generated through stochastic inversion