IN2013MU02497A - - Google Patents

Info

Publication number
IN2013MU02497A
IN2013MU02497A IN2497MU2013A IN2013MU02497A IN 2013MU02497 A IN2013MU02497 A IN 2013MU02497A IN 2497MU2013 A IN2497MU2013 A IN 2497MU2013A IN 2013MU02497 A IN2013MU02497 A IN 2013MU02497A
Authority
IN
India
Prior art keywords
string
token
language
validated
generated
Prior art date
Application number
Inventor
Goldsmith Murali Krishna
Ulka Aniruddha Shrotri
venkatesh R
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 IN2497MU2013 priority Critical patent/IN2013MU02497A/en
Priority to US14/445,610 priority patent/US9223685B2/en
Publication of IN2013MU02497A publication Critical patent/IN2013MU02497A/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/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3692—Test management for test results analysis
    • 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/3684—Test management for test design, e.g. generating new test cases
    • 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
    • G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • 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

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)
  • Software Systems (AREA)
  • Stored Programmes (AREA)

Abstract

System and method for validating a specification associated with a software application and/or a hardware is disclosed. The specification comprising expected behaviour requirements specified in a specification language and the semantics in the tabular notation is received. In order to validate the specification, a string may be identified for the specification. The string may indicate characters conforming to the specification language. Upon identifying the string, a token may be generated using the string. The token may be a binary representation of the string. The token may be arranged into a data structure. The specification is checked to conform to the specification language. Two or more specifications specified in the specification language are merged. A test case is generated from the validated specification. The expected behaviour with the actual behaviour of the specification is validated.
IN2497MU2013 2013-07-29 2013-07-29 IN2013MU02497A (en)

Priority Applications (2)

Application Number Priority Date Filing Date Title
IN2497MU2013 IN2013MU02497A (en) 2013-07-29 2013-07-29
US14/445,610 US9223685B2 (en) 2013-07-29 2014-07-29 Validating a specification associated with a software application and/or a hardware

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
IN2497MU2013 IN2013MU02497A (en) 2013-07-29 2013-07-29

Publications (1)

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

Family

ID=52391605

Family Applications (1)

Application Number Title Priority Date Filing Date
IN2497MU2013 IN2013MU02497A (en) 2013-07-29 2013-07-29

Country Status (2)

Country Link
US (1) US9223685B2 (en)
IN (1) IN2013MU02497A (en)

Families Citing this family (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
IN2013MU02497A (en) * 2013-07-29 2015-06-26 Tata Consultancy Services Ltd
US20160077956A1 (en) * 2014-09-11 2016-03-17 Wipro Limited System and method for automating testing of software
US9363087B2 (en) * 2014-10-02 2016-06-07 Microsoft Technology Licensing, Inc. End-to-end security for hardware running verified software
US10176085B2 (en) 2015-06-24 2019-01-08 Tata Consultancy Services Limited Method and system for generating functional test cases for software systems
US20170147202A1 (en) * 2015-11-24 2017-05-25 Facebook, Inc. Augmenting text messages with emotion information
US9886651B2 (en) * 2016-05-13 2018-02-06 Microsoft Technology Licensing, Llc Cold start machine learning algorithm
US10685294B2 (en) 2017-03-29 2020-06-16 International Business Machines Corporation Hardware device based software selection
US10101971B1 (en) 2017-03-29 2018-10-16 International Business Machines Corporation Hardware device based software verification
US10042614B1 (en) 2017-03-29 2018-08-07 International Business Machines Corporation Hardware device based software generation

Family Cites Families (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4819233A (en) * 1987-04-08 1989-04-04 Westinghouse Electric Corp. Verification of computer software
US6385765B1 (en) 1996-07-02 2002-05-07 The Research Foundation Specification and verification for concurrent systems with graphical and textual editors
US6681383B1 (en) 2000-04-04 2004-01-20 Sosy, Inc. Automatic software production system
US7334216B2 (en) 2000-04-04 2008-02-19 Sosy, Inc. Method and apparatus for automatic generation of information system user interfaces
US20040103396A1 (en) * 2002-11-20 2004-05-27 Certagon Ltd. System for verification of enterprise software systems
US7508985B2 (en) * 2003-12-10 2009-03-24 International Business Machines Corporation Pattern-matching system
WO2008143660A1 (en) * 2006-05-12 2008-11-27 Iosemantics, Llc Generating and utilizing finite input output models, comparison of semantic models and software quality assurance
US8019795B2 (en) * 2007-12-05 2011-09-13 Microsoft Corporation Data warehouse test automation framework
US20100088678A1 (en) * 2008-10-08 2010-04-08 Alturki Musab Method and apparatus for the formal specification and analysis of timing properties in software systems
JP5460629B2 (en) 2011-03-10 2014-04-02 株式会社日立製作所 Tabular software specification creation support method and apparatus
IN2013MU02497A (en) * 2013-07-29 2015-06-26 Tata Consultancy Services Ltd

Also Published As

Publication number Publication date
US9223685B2 (en) 2015-12-29
US20150033208A1 (en) 2015-01-29

Similar Documents

Publication Publication Date Title
IN2013MU02497A (en)
PH12017550113A1 (en) System and method for extracting and sharing application-related user data
EP4242892A3 (en) Code pointer authentication for hardware flow control
GB2558826A8 (en) Mitigation of anti-sandbox malware techniques
IN2013CH05115A (en)
CL2015003015A1 (en) Method implemented by computer to compile a transformation chain of a recalculation user interface.
GB2527966A (en) Creating rules for use in third-party tag management systems
BR112016024153A2 (en) Method and system for implementing a wireless digital wallet
GB2525719A8 (en) Method and system for providing a vulnerability management and verification service
BR112017009666A2 (en) method and device for social platform-based data mining
MX2015015260A (en) Using inverse operators for queries on online social networks.
MX349731B (en) Managing microseismic data for fracture matching.
MX369969B (en) System and methods for improved demand response management system (drms).
BR112015015904A2 (en) natural language rendering of structured search queries
MX2016005489A (en) Similarity determination method, device, and terminal.
GB2523972A (en) System and method for providing a security code
GB2538370A (en) Designing wellbore completion intervals
GB2529086A (en) Integrated system for production design assistance
BR112017000880A2 (en) "Method for injecting signals into a utility distribution network and utility distribution network system"
GB2570089A (en) Geomechanical risk and hazard assessment and mitigation
GB201310419D0 (en) Seismic trace attribute
AR098379A1 (en) SECURITY VERIFICATION METHOD OF AN APPLICATION, AN APPLICATION SERVER, A CLIENT APPLICATION AND A SYSTEM
PH12017500227A1 (en) A system and method for security enhancement
BR112015008843A8 (en) A COMPUTER-IMPLEMENTED METHOD TO PROVIDE AT LEAST PART OF A USER-ADAPTABLE OCCULATORY EQUIPMENT, DATA-PROCESSING NETWORK DEVICE, AND COMPUTER READABLE MEDIA
IN2013DE02920A (en)