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
Other languages
English (en)
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/ja
Priority to US14/336,171 priority patent/US9141511B2/en
Publication of IN2013MU02701A publication Critical patent/IN2013MU02701A/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software 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)
IN2701MU2013 2013-08-19 2013-08-19 IN2013MU02701A (enExample)

Priority Applications (3)

Application Number Priority Date Filing Date Title
IN2701MU2013 IN2013MU02701A (enExample) 2013-08-19 2013-08-19
JP2014147675A JP5955900B2 (ja) 2013-08-19 2014-07-18 状態遷移経路の算出によるスリープ・ウェークアッププロトコル検証のための方法およびシステム
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 (enExample) 2013-08-19 2013-08-19

Publications (1)

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

Family

ID=52467774

Family Applications (1)

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

Country Status (3)

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

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109446056B (zh) * 2018-09-11 2023-03-21 平安科技（深圳）有限公司 代码验证方法、装置、电子设备及介质
CN111866060A (zh) * 2020-05-26 2020-10-30 普联国际有限公司 通信设备的tls连接方法、通信设备和通信系统
CN115865791B (zh) * 2023-03-02 2023-05-09 北京天弛网络有限公司 骨干网络故障的路径切换方法、系统、介质及电子设备

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 (ja) * 1997-09-01 2007-07-11 株式会社東芝 スリープ制御方法、およびイベント通知方法
JP3458796B2 (ja) * 1999-10-18 2003-10-20 株式会社デンソー 割込命令チェック装置及び記録媒体
JP2001117793A (ja) * 1999-10-21 2001-04-27 Denso Corp 割込命令チェック装置及び記録媒体
JP2002055833A (ja) * 2000-08-09 2002-02-20 Toshiba Corp リアルタイムシステム設計装置、リアルタイムシステム設計方法及びリアルタイムシステム設計プログラムを記録した記録媒体
US20030084376A1 (en) * 2001-10-25 2003-05-01 Nash James W. Software crash event analysis method and system
JP2003323465A (ja) * 2002-04-30 2003-11-14 Canon Inc 省電力時の不正アクセス自動検証装置
US20060075305A1 (en) * 2004-10-01 2006-04-06 Microsoft Corporation Method and system for source-code model-based testing
JP2006331027A (ja) * 2005-05-25 2006-12-07 Nissan Motor Co Ltd 検査装置、検査方法、及び検査プログラム
JP4414373B2 (ja) * 2005-06-30 2010-02-10 富士通株式会社 プログラムの検証プログラム、プログラムの検証装置、プログラムの検証方法
US20090132991A1 (en) 2007-11-16 2009-05-21 Nec Laboratories America, Inc Partial order reduction for scalable testing in system level design
JP2010066889A (ja) * 2008-09-09 2010-03-25 Sharp Corp 排他制御不具合候補抽出装置、排他制御不具合候補抽出方法、および排他制御不具合候補抽出プログラム
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 (ja) * 2009-12-18 2012-12-05 インターナショナル・ビジネス・マシーンズ・コーポレーション システム、方法、プログラムおよびコード生成装置
JP2011191843A (ja) * 2010-03-12 2011-09-29 Toyota Central R&D Labs Inc 割込干渉解析装置、割込干渉解析方法、及び割込干渉解析プログラム
KR101649925B1 (ko) * 2010-10-13 2016-08-31 삼성전자주식회사 멀티 트레드 프로그램에서 변수의 단독 메모리 접근여부를 분석하는 방법
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 (ja) 2016-07-20
JP2015038724A (ja) 2015-02-26

Similar Documents

Publication Publication Date Title
GB2527009A (en) Simulation of production systems
IN2013MU03158A (enExample)
AR109633A1 (es) Sistemas para ajustar datos de entrada agronómicos utilizando detección remota y métodos y aparatos relacionados
WO2014099532A3 (en) Method and system for network validation of information
PL405872A1 (pl) Sposób, program i system konwersji modeli danych systemu zasilania
MX376265B (es) Automatizacion de la perforacion utilizando control optimo estocastico.
IN2014DN10099A (enExample)
MX369969B (es) Sistemas y metodos para sistemas de manejo de respuesta a demanda mejorados (drms).
PH12016501255A1 (en) Improved molecular breeding methods
GB201020973D0 (en) Risk management system and method
IN2013DE02920A (enExample)
WO2013044260A3 (en) Fast minimum and maximum searching instruction
IN2014MU04090A (enExample)
Dimarco et al. Towards an ultra efficient kinetic scheme. Part II: The high order case
MX348918B (es) Círculos de comercio.
MY173033A (en) Information retrieval system evaluation method, device and storage medium
GB2505602A (en) Protecting a control vector in a cryptographic system
WO2014036306A3 (en) System and method for determining a value of information metric from a posterior distribution generated through stochastic inversion
MX2013002348A (es) Monitoreo de aplicacion.
IN2012DE00914A (enExample)
IN2013MU02701A (enExample)
GB201206932D0 (en) Comparing event data sets
FI20125002A7 (fi) Objektien ryhmittely tietokoneavusteisessa mallintamisessa
SG10201805187WA (en) Entity authentication in network
WO2014030930A3 (ko) 에너지 관리 대상 모델링을 통한 에너지 관리 방법