|
Match
|
Document |
Document Title |
|
|
7627859 |
Method for configuring non-script language library files to be run as scripts
The preferred embodiment of the present invention comprises writing a script to perform a function defined in a subroutine in a library file, which is written in such a way that code that actually...
|
|
|
7627813 |
Testing the type of browser used to view webpages by implementing dynamic reference elements from a script
This invention relates to a process for recognition and referencing of dynamic objects ( 22 ) in Internet pages ( 2 ) viewed by browsers ( 30 ) executed by users' computers ( 3 ), characterised in...
|
|
|
7624378 |
Methods and systems of testing software, and methods and systems of modeling user behavior
Methods and systems of testing software and modeling user actions are described. In some embodiments, multiple different algorithms are provided for operating on a software model. The software...
|
|
|
7620946 |
Program slicing for codesign of embedded systems
The present invention is a machine implemented, design automation method that assists a designer in the understanding of a software and/or hardware source code specification by transforming the...
|
|
|
7620941 |
Mechanism for lossless user-level tracing on an architecture supporting PC-relative addressing
A method for tracing an instrumented program involves triggering a probe in the instrumented program, obtaining an original instruction associated with the probe, storing the original instruction...
|
|
|
7620937 |
System and method for debugging programs
A system and method for debugging programs such as Extensible Stylesheet Language (XSL) programs. A processor may locate program element tags in an XSL program code, may modify the XSL program code...
|
|
|
7620928 |
Method and apparatus for synthesizing a hardware system from a software description
A method and an apparatus take software source code to synthesize a hardware platform for running the software. The method determines which processor is suitable for running the code and meeting...
|
|
|
7617415 |
Code coverage quality estimator
A method for estimating a quality of code coverage of a test is described. The method includes training a neural network, using the neural network to generate a risk factor for each code element,...
|
|
|
7614043 |
Automated product defects analysis and reporting
An automation infrastructure which automatically analyzes software faults and/or bugs related to a product defect is provided. More particularly, the system can automatically analyze and detect...
|
|
|
7610512 |
System and method for automated and assisted resolution of it incidents
A computer implemented method for assisted and automated resolving of Information Technology (IT) incidents is provided. The method facilitates one or more users to define repair workflows to...
|
|
|
7603658 |
Application functionality for a test tool for application programming interfaces
Methods and apparatus for enabling efficient testing of application programming interface (API) frameworks and application code are disclosed. According to one aspect of the present invention, a...
|
|
|
7596778 |
Method and system for automatic error prevention for computer software
In one embodiment, the present invention is a method for automatically preventing errors in computer software. The method includes storing the computer software in a code repository; executing a...
|
|
|
7594108 |
Operator root certificates
When an application is loaded into a device ( 100, 200 ), the device verifies that the application originates from a trusted operator. The verification implies that the application must, in a...
|
|
|
7591021 |
Object model document for obfuscating object model therein
A persisted object model is loaded from an object model document comprising a compiled executable file having an image source, a security source, and a loader. The loader is instantiated, and...
|
|
|
7590973 |
Systems and methods for gathering, organizing and executing test cases
Systems and methods for gathering, organizing and executing test cases irrespective of the language or format employed. Implementation of the present invention takes place in association with a...
|
|
|
7590933 |
Method for displaying an annotated file
A method and system for displaying an annotated file are described. The method includes associating an annotation with a programming module of a baseline file and displaying in a window of a...
|
|
|
7590520 |
Non-deterministic testing
A computerized method creates test coverage for non-deterministic programs. The method receives a graph of edges and states representing a program under test, and creates a continuous cycle of...
|
|
|
7584458 |
Source code annotation language
Techniques and tools for implementing a source code annotation language are described. In one aspect, keywords are added to a function interface to define a contract for the function independent of...
|
|
|
7584457 |
Validating programs
Methods and apparatus, including computer program products implement techniques for validating programs. A language-independent description of a computer program is received, and the...
|
|
|
7584455 |
Predicate-based test coverage and generation
Techniques and tools for achieving improved test coverage in a finite program state space are described, such as a technique for selecting a set of predicates, calculating a set of possible...
|
|
|
7581208 |
Testing internationalized software using test resource file and test font
An efficient testing method is provided for internationalized software executed in a plurality of language environments. The method includes mock-translating an externalized resource file written...
|
|
|
7577942 |
Efficient monitoring of program variables under debug
Method, system and article of manufacture for monitoring variables. In one embodiment, information generated by a compiler is used to determine which variables need to be updated when performing a...
|
|
|
7577941 |
System and method for identifying potential security risks in controls
Controls of interest are indentified by determining which installed software objects associated with the application of interest exhibit certain characteristics, such as being publicly creatable,...
|
|
|
7577848 |
Systems and methods for validating executable file integrity using partial image hashes
Systems and methods for validating integrity of an executable file are described. In one aspect, multiple partial image hashes are generated, the combination of which represent a digest of an...
|
|
|
7574695 |
Performing checks on the resource usage of computer programs
A method and apparatus for performing checks on program code. In one embodiment, the method comprises receiving program code and statically verifying information about one or more dynamic checks in...
|
|
|
7571428 |
Reliability contracts
Reliability contracts declare an intent of executable code, and may be associated with at least a portion of the executable code. The intent of the executable code in the face of particular...
|
|
|
7568188 |
Method for testing a software shim
A method for testing a software shim is provided, in which a skeleton executable file is altered so that it mimics the executable file for which the shim is intended. The alterations made to the...
|
|
|
7559054 |
Abstract interpretation with a congruence abstract domain and/or a heap succession abstract domain
Techniques and tools are described for analyzing software. For example, an analysis tool performs abstract interpretation with a congruence abstract domain and/or a heap succession abstract domain....
|
|
|
7559053 |
Program and system performance data correlation
System performance data and program performance data may be collected, converted into the same format and correlated by time. A graph or other display of system performance data over a time period...
|
|
|
7546586 |
Multi-Interface aware scenario execution environment
A scenario execution environment (SEE) may include one or more action layers. Each action layer may be associated with one or more SEE actions. Each SEE action may be associated with one or more...
|
|
|
7539978 |
Method for understanding and testing third party software components
Systems and methods to understand how commercial-off-the-shelf (COTS) software components interact with a system when the COTS components are integrated into a system. A software wrapping...
|
|
|
7539975 |
Method, system and product for determining standard Java objects
Java class information is analyzed to determine if the code is standard for its particular class, and thus belongs to impliedly trustworthy software. An analysis tool performs a pre-analysis to...
|
|
|
7539604 |
Automatic modification of the behavior of system from a graphical representation of the behavior
The present invention provides a method of modifying the behavior of a modeled system from a graphical representation of the behavior of the system. Given a graphical representation of the behavior...
|
|
|
7536680 |
Method for modifying a class file to monitor data flow
A method for modifying a class file to monitor data flow is provided. The method includes selecting ( 401 ) one or more methods in the class file and adding ( 206, 209 ) one or more lines of code...
|
|
|
7536679 |
System and methods for test tool class inheritance
A software compliance test is typically directed only at particular classes in the inheritance hierarchy. Inherited APIs (classes), which are not the focus of the test, may cause the application...
|
|
|
7533370 |
Security features in on-line and off-line delivery of applications
A method and system for determining whether a client is attempting to copy an application or use the application without authorization. First, data for at least one prediction log file for the...
|
|
|
7530058 |
Non-compile pages
A concept for providing a process for parsing at least one code object comprising determining when a page associated with the at least one code object has been previously processed; parsing the...
|
|
|
7530057 |
Program code coverage
Determining code coverage of a computer program is disclosed. In an embodiment, the program is divided into a plurality of code sections, and the program including the plurality of code sections is...
|
|
|
7526755 |
Plug-in pre- and postconditions for static program analysis
A system and method employing pre- and/or post-condition(s) specified at a source code level and persisted (e.g., in associated object code and/or a specification repository) facilitating static...
|
|
|
7526678 |
Methods, systems, and products for verifying integrity of web-server served content
Methods, systems, and products are disclosed for verifying the integrity of web server content. Communication with a server is initiated and content is retrieved that is specified by a Uniform...
|
|
|
7523445 |
Method for generating an explanation of a CSP solution
The invention provides a computer-implemented method for generating a solution to a constraint satisfaction problem (CSP). The method operates to implement various steps that include defining the...
|
|
|
7523305 |
Employing cyclic redundancy checks to provide data security
The security of data is enhanced by the use of cyclic redundancy checks. Data is encoded with one or more cyclic redundancy checks and then transmitted by a transmitter to a receiver. The receiver...
|
|
|
7512903 |
Selectively displaying in an IDE
A method and system for managing a display of resources in an Integrated Development Environment (IDE) navigation tree is presented. The method includes the steps of receiving an input that defines...
|
|
|
7506175 |
File language verification
A technique for language verification of a Java® card CAP file is provided. The Java® card CAP file is converted from an original Java® code file while conserving its original Java® semantics....
|
|
|
7503038 |
System and method for seamlessly comparing objects
The present comparison technique operates on objects having the same type, similar types, or different types. Multiple comparison objects may be compared against one or more reference objects. The...
|
|
|
7502728 |
Code coverage testing in hardware emulation
Code coverage questions are addressed by a code coverage method that instruments an electronic module source design file with coverage probes and gives hierarchical names to the probes, then...
|
|
|
7500226 |
Efficient checking of state-dependent constraints
Constraints are defined in view of a program implementation. Constraints check program state or variables to maintain data consistency. A constraint component determines a constraint's scope and...
|
|
|
7496906 |
Evaluation of a code segment
Methods, systems, and media to test a code segment of a source file are disclosed. Various embodiments machine-render a source code skeleton in response to a selection of the code segment,...
|
|
|
7496900 |
Method for automatic detection of build regressions
A method and apparatus for automatically performing regression processing on trace data are provided. With the apparatus and method, call tree data structures are generated for two or more...
|
|
|
7496895 |
Multi-domain unified debugger
A Unified Debugger that enables the debugging of graphical models with combinations of entities from multiple domains such as time-based block diagrams, statecharts, and physical system models,...
|