GB201107809D0 - A method and apparatus for managing evaluation of computer program code - Google Patents

A method and apparatus for managing evaluation of computer program code

Info

Publication number
GB201107809D0
GB201107809D0 GBGB1107809.4A GB201107809A GB201107809D0 GB 201107809 D0 GB201107809 D0 GB 201107809D0 GB 201107809 A GB201107809 A GB 201107809A GB 201107809 D0 GB201107809 D0 GB 201107809D0
Authority
GB
United Kingdom
Prior art keywords
computer program
program code
managing evaluation
managing
evaluation
Prior art date
Legal status (The legal status 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 status listed.)
Withdrawn
Application number
GBGB1107809.4A
Other versions
GB2490702A (en
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
PERI BHASKAR
Original Assignee
PERI BHASKAR
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 PERI BHASKAR filed Critical PERI BHASKAR
Priority to GB1107809.4A priority Critical patent/GB2490702A/en
Publication of GB201107809D0 publication Critical patent/GB201107809D0/en
Publication of GB2490702A publication Critical patent/GB2490702A/en
Withdrawn legal-status Critical Current

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
    • 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
    • G06F11/3672—Test management
    • G06F11/3688—Test management for test execution, e.g. scheduling of test suites

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)
GB1107809.4A 2011-05-10 2011-05-10 Managing the evaluation of computer program code by selecting computer code items and rules to evaluate the items. Withdrawn GB2490702A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
GB1107809.4A GB2490702A (en) 2011-05-10 2011-05-10 Managing the evaluation of computer program code by selecting computer code items and rules to evaluate the items.

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
GB1107809.4A GB2490702A (en) 2011-05-10 2011-05-10 Managing the evaluation of computer program code by selecting computer code items and rules to evaluate the items.

Publications (2)

Publication Number Publication Date
GB201107809D0 true GB201107809D0 (en) 2011-06-22
GB2490702A GB2490702A (en) 2012-11-14

Family

ID=44243901

Family Applications (1)

Application Number Title Priority Date Filing Date
GB1107809.4A Withdrawn GB2490702A (en) 2011-05-10 2011-05-10 Managing the evaluation of computer program code by selecting computer code items and rules to evaluate the items.

Country Status (1)

Country Link
GB (1) GB2490702A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113535183A (en) * 2021-07-28 2021-10-22 北京达佳互联信息技术有限公司 Code processing method and device, electronic equipment and storage medium

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9836487B2 (en) * 2014-07-28 2017-12-05 Cognizant Technology Solutions India Pvt. Ltd. System and method for ensuring code quality compliance for various database management systems
AU2021443661B2 (en) * 2021-04-30 2024-04-18 Technology One Limited Audit evidencing systems, methods & apparatus

Family Cites Families (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2005029382A2 (en) * 2003-09-19 2005-03-31 Lattix, Inc. Apparatus and method for managing design of a software system using dependency structure
US20050172267A1 (en) * 2004-01-30 2005-08-04 Derek Bergin Method and system for testing software
US8595703B2 (en) * 2006-01-30 2013-11-26 Microsoft Corporation Context based code analysis
US8028269B2 (en) * 2007-03-09 2011-09-27 International Business Machines Corporation Compliance management method and system
JP2008269527A (en) * 2007-04-25 2008-11-06 Nec Corp File configuration management support system, device and program, and file configuration managing method

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113535183A (en) * 2021-07-28 2021-10-22 北京达佳互联信息技术有限公司 Code processing method and device, electronic equipment and storage medium
CN113535183B (en) * 2021-07-28 2024-05-28 北京达佳互联信息技术有限公司 Code processing method, device, electronic equipment and storage medium

Also Published As

Publication number Publication date
GB2490702A (en) 2012-11-14

Similar Documents

Publication Publication Date Title
EP2740007A4 (en) An apparatus comprising a display and a method and computer program
GB2496107C (en) A method and apparatus for preventing unwanted code execution
EP2793785A4 (en) Method and computer program for monitoring use of an aborbent product
HK1209192A1 (en) Methods nodes and computer program for positioning of a device
IL224957B (en) A method system and program for improved healthcare
GB2490108B (en) A method, apparatus and computer program for user control of a state of an apparatus
EP2735139A4 (en) Method, computer program, reception apparatus, and information providing apparatus for trigger compaction
HK1181148A1 (en) Method and device for obtaining screenshot based on a touch screen
HK1169872A1 (en) A parallel testing method and server
EP2737404A4 (en) A method for detecting anomaly action within a computer network
EP2658691A4 (en) Method, computer program and apparatus for determining a gripping location
EP2758892A4 (en) System and method for indirectly classifying a computer based on usage
SG11201400812RA (en) Server apparatus and program
EP2790095A4 (en) Method of displaying electronic document, and apparatus and computer program therefor
GB2509651B (en) Object designation method, device and computer program
EP2699997A4 (en) Method and apparatus for providing a multi-dimensional data interface
EP2700005A4 (en) Method and apparatus for generating resource efficient computer program code
GB201117912D0 (en) A method and system for providing a loyalty program
EP2820868A4 (en) Positioning method and apparatus and computer program product
GB2509474B (en) Apparatus and method for managing access to a resource
EP2723633A4 (en) A method and system for measuring motions
EP2907086A4 (en) System, method and computer program for forecasting residual values of a durable good over time
GB2496429B (en) A method and apparatus and program
EP2775396A4 (en) Program execution method and apparatus
EP2776954A4 (en) A method of analysing data

Legal Events

Date Code Title Description
WAP Application withdrawn, taken to be withdrawn or refused ** after publication under section 16(1)