Match Document Document Title
US20100333061 EXPLICIT STATE MODEL CHECKING OF SL/SF MODELS USING THE AUTO-GENERATED CODE  
A system and a method for validating a model for a control system as per a set of specifications. The method includes obtaining a model code corresponding to the model, where the model-code is...
US20120054721 DYNAMIC CALCULATION OF SAMPLE PROFILE REPORTS  
The construction or use of a hierarchical time tree that represents an execution time of a program. To construct the hierarchical time tree, the time frame corresponding to the root node is the...
US20110197176 Test Code Qualitative Evaluation  
A test environment may include qualitative evaluations of the test code used to test application code. Several qualitative evaluations may be determined from analysis of test code in compiled or...
US20130061212 Modern Application Tracing  
Modern application tracing techniques are described herein that enable dynamic logging of events declared in a static manifest. Various events for logging can be declared in a static manifest. The...
US20140068567 DETERMINING RELEVANT EVENTS IN SOURCE CODE ANALYSIS  
In embodiments of determining relevant events in source code analysis, a computing device includes a key event manager that is implemented to traverse executable paths in source code of executable...
US20110258609 METHOD AND SYSTEM FOR SOFTWARE DEFECT REPORTING  
A method and system ties together the identification of a defect during testing with the supporting application code on the systems that led to the generation of a defect. The association between...
US20120137273 TRACE VISUALIZATION FOR OBJECT ORIENTED PROGRAMS  
A method is provided to produce an information structure that indicates call hierarchy relationships among calls of a trace log file and that indicates time sequence relationships among calls of...
US20100153927 TRANSFORMING USER SCRIPT CODE FOR DEBUGGING  
User script code that is developed to be run in a host application, for example, as a macro can be transformed into debuggable code so that the host application may continue to operate during a...
US20130339931 APPLICATION TRACE REPLAY AND SIMULATION SYSTEMS AND METHODS  
Example systems and methods for trace replay and simulation are presented. In an example, a trace player can simulate the interactions of a variety of systems by replaying a trace log of previous...
US20130205281 TRACER BASED RUNTIME OPTIMIZATION FOR DYNAMIC PROGRAMMING LANGUAGES  
A method and an apparatus that generate tracer data randomly and infrequently for origins and destinations of values created during runtime of a compiled code of a source code is described. A...
US20130047141 TRACKING OF CODE BASE AND DEFECT DIAGNOSTIC COUPLING WITH AUTOMATED TRIAGE  
In response to a test case error generated by execution of a test case against a code build, a source code segment that caused the test case error is identified by a defect monitor. The identified...
US20130047140 TRACKING OF CODE BASE AND DEFECT DIAGNOSTIC COUPLING WITH AUTOMATED TRIAGE  
In response to a test case error generated by execution of a test case against a code build, a source code segment that caused the test case error is identified by a defect monitor. The identified...
US20130339932 Methods and Systems for Reporting on Build Runs in Software Development  
A method for reporting build runs includes: obtaining code changes for a software product; identifying the code change as affecting a work item of a software product under development, the work...
US20130219370 PROFILING AND SEQUENCING OPERATORS EXECUTABLE IN AN EMULATED COMPUTING SYSTEM  
Methods and systems are disclosed for analyzing performance of a translated code stream executing within a central processing module. One method includes, during execution of one or more native...
US20100299654 APPROACH FOR ROOT CAUSING REGRESSION BUGS  
A stable program, a new program version and a test case which passes (or fails) in the first program may be analyzed. Another new input may be found that either exhibits the similar (different)...
US20140237454 AUTOMATED DEBUG TRACE SPECIFICATION  
Debugging a debug target software by: (i) generating a first log file set, including at least one log file, based upon how the computer hardware set executes the instructions of the computer...
US20100083237 Reducing trace overheads by modifying trace operations  
A method of compiling a computer program to improve trace efficiency is disclosed. The computer program comprises a plurality of trace operations for triggering output of trace data generated by...
US20120042301 SYSTEMS AND METHODS FOR HANDLING DATABASE DEADLOCKS INDUCED BY DATABASE-CENTRIC APPLICATIONS  
Systems and methods are provided for handling database deadlocks induced by database-centric applications (DCAs). SQL statements and transactions associated with the DCAs are analyzed and parsed...
US20110035730 Tracking Database Deadlock  
A method for tracking a deadlock in a computing system is disclosed. The deadlock is caused by at least one application, and the computing system is communicatively coupled to a computing device...
US20140047416 Failure Profiling for Continued Code Optimization  
A method and an apparatus to continuously re-compile a code are described. The code can be compiled in a speculatively optimized manner from a source code to access an untyped variable according...
US20130318505 Efficient Unified Tracing of Kernel and User Events with Multi-Mode Stacking  
The invention efficiently provides user code information for kernel level tracing approaches. It applies an advanced variation of stack walking called multi-mode stack walking to the entire system...
US20110088017 OFFLINE FORMAL VERIFICATION OF EXECUTABLE MODELS  
A system and method for automatic formal verification of an executable system includes an assertion monitor configured to verify a system against an assertion in the specification. The assertion...
US20150248342 METHOD FOR FINDING ALL VALID INTERPROCEDURAL EXECUTION PATHS ON COBOL IN POLYNOMIAL TIME  
Disclosed are methods for finding all valid paths in a COBOL program. These methods are performed in polynomial time, allowing them to be scaled to accommodate large COBOL programs. As the methods...
US20140317606 Error List and Bug Report Analysis for Configuring an Application Tracer  
Error logs, bug reports, and other databases identifying problems with a tracer system may be mined to determine how a tracer may interact with a given function, module, or other group of...
US20120060146 Automatic Application Tuning  
According to an embodiment, a method of automatically tuning a software application is provided. The method includes modifying the execution of the software application using a first parameter,...
US20120185830 SOFTWARE PROBE MINIMIZATION  
A method of developing a tracing solution for the execution of blocks of computer code. The method comprises representing each block of code of an initial tracing solution as a vertex on an...
US20080178158 Program trace method  
Disclosed is a method of tracing a program that comprises: providing a relational database data structure defining a plurality of fields configured to store program trace information; executing a...
US20130159977 OPEN KERNEL TRACE AGGREGATION  
A kernel trace system is described that acts as a kernel driver to insert traces into an open system kernel using existing kernel probe application-programming interfaces (APIs) and copies these...
US20130007719 RUNNING AN EXECUTABLE DURING A DEBUG SESSION  
A method, computer program product, and system for running an executable during a debug session is described. A method may comprise running, via a computing device, a daemon during a debug...
US20120311540 PATH-SENSITIVE VISUALIZATIONS OF AGGREGATED PROFILING AND TRACE DATE  
Performing tracing functionality. A method includes collecting runtime information that describes the execution of code. The collected runtime information is correlated to specific lines of code...
US20080127108 Common performance trace mechanism  
A method for providing a mechanism for generating a common format for trace data is disclosed. In one embodiment, the method includes generating trace data at a plurality of providers, the trace...
US20110321016 INJECTION CONTEXT BASED STATIC ANALYSIS OF COMPUTER SOFTWARE APPLICATIONS  
Embodiments of the invention generally relate to injection context based static analysis of computer software applications. Embodiments of the invention may include selecting a sink within a...
US20070288905 SYNC POINT INDICATING TRACE STREAM STATUS  
A system comprising a processor adapted to execute software code and a trace logic coupled to the processor and adapted to collect trace information associated with the processor while the...
US20130346950 USABILITY TESTING  
Methods, computer-readable media, and systems are provided for usability testing. Usability testing can include recording, via a testing tool, actions of a user of an application and interactions...
US20140325487 SOFTWARE DEFECT REPORTING  
Provided are approaches for software defect reporting. Specifically, one approach provides identifying a software defect; generating a software defect report, wherein the software defect report is...
US20100333072 INTEGRATED PERFORMANCE AND LOAD TESTING TOOL FOR APPLICATION SERVERS  
Implementations of the present disclosure provide for testing an application, and include loading a testing tool by a client that is in communication with an application server that executes the...
US20130326486 KEYWORD BASED SOFTWARE TESTING SYSTEM AND METHOD  
An improved software testing system is described. In various embodiments, the system may produce a glossary containing keywords from the program state information associated with a software...
US20050240904 Built-in diagnostics  
A system and method facilitating diagnostics support is provided. The system includes application(s) instrumented in accordance with a built-in diagnostics (BID) framework, and, trace...
US20140229919 SEMANTIC STACK TRACE  
The present disclosure provides methods and systems for instrumenting a “semantic stack trace” (SST), where semantic information and dependency relationships between a plurality of code elements...
US20120137274 SOFTWARE APPLICATION FEEDBACK COLLECTION SYSTEM AND METHOD  
A software application feedback collection system includes a creating module, a usage recorder, an exception recorder, and a sending module. The creating module creates a feedback file in a...
US20140282388 CAPTURE AND DISPLAY OF HISTORICAL RUN-TIME EXECUTION TRACES IN A CODE EDITOR  
A program code execution is monitored. Variable type and value information the one or more variables in the program code take during the execution of the program code are stored, and compiled over...
US20140282386 CAPTURE AND DISPLAY OF HISTORICAL RUN-TIME EXECUTION TRACES IN A CODE EDITOR  
A program code execution is monitored. Variable type and value information the one or more variables in the program code take during the execution of the program code are stored, and compiled over...
US20060225049 Trace based signal scheduling and compensation code generation  
A method and apparatus for selecting a trace in a program and scheduling a consume signal instruction in the trace according to a only a dependency in the trace.
US20150128110 MOBILE APPLICATION DEVELOPMENT AND DEPLOYMENT  
Methods and apparatus, including computer program products, for mobile application development and deployment. A method includes, in a server residing in a network, receiving an application...
US20080092123 Computer software test coverage analysis  
A computer implemented method, apparatus, and computer usable program code for performing software testing. A first set of traces is compressed to form a first set of compressed traces. The first...
US20120204156 SOFTWARE APPLICATION RECREATION  
A software application recreation in a computing environment is provided. One embodiment involves analyzing program execution trace data of a software application, and using the analysis results...
US20110035724 SOFTWARE APPLICATION RECREATION  
A software application recreation in a computing environment is provided. One embodiment involves analyzing program execution trace data of a software application, and using the analysis results...
US20120198423 Code Path Tracking  
Methods, systems, and products are provided for code path tracking. Embodiments include identifying an instrumented trace point in software code to be path tracked; identifying a function executed...
US20110078661 MARKER CORRELATION OF APPLICATION CONSTRUCTS WITH VISUALIZATIONS  
The use of marker(s) in the source code of a program under evaluation. A representation of the marker(s) remains in the binary version of the program under evaluation. During execution, upon...
US20110138363 COMBINING METHOD PARAMETER TRACES WITH OTHER TRACES  
Implementations of the present disclosure provide methods including executing an application, generating a method parameter trace, the method parameter trace providing one or more parameter values...