Including Simulation Patents (Class 717/135)
  • Publication number: 20110314455
    Abstract: Software applications (“training applications”) that are designed to train users how to use a target software application may be generated by automatic examination of the target application. In one implementation, a device may extract elements of the target application that affect a user interface of the target application. The device may store the elements as user interface elements and generate a training application that uses at least some of the user interface elements to present portions of an interface of the target application.
    Type: Application
    Filed: June 17, 2010
    Publication date: December 22, 2011
    Applicant: VERIZON PATENT AND LICENSING, INC.
    Inventor: Manah M. KHALIL
  • Publication number: 20110307860
    Abstract: A testing tool for verifying a reliability of robot software components is provided, and more particularly, a simulation-based interface testing automation system and method that may automatically perform a test for functions and performance of an interface with respect to robot software components are provided. Thus, it is possible to efficiently perform a test for an interface of robot software components. In particular, it is possible to automatically generate test cases required for testing, to perform a test in various languages, and to perform a test suitable for a robot.
    Type: Application
    Filed: August 10, 2010
    Publication date: December 15, 2011
    Inventors: Hong Seong Park, Jeong Seok Kang, Hyeong Seob Choi, Sang Woo Meng, Si Wan Kim
  • Patent number: 8079021
    Abstract: A video display terminal capable of operating with a graphical user interface such as Windows provides windowing functionality to permit use of popular applications programs resident on a server, without requiring more than application data to be transmitted from the server, and keyboard and mouse information to be transmitted from a terminal to the server. A terminal for communicating with a server includes a network interface for communicating with a server and a processor coupled to the network interface for operating with the network interface and for accessing a windows application resident on the server without executing locally the windows application resident on the server. The processor provides windowing functionality to permit use of a windows application resident on the server without requiring more than windowing information of the windows application to be transmitted from the server, wherein the windowing information includes application data.
    Type: Grant
    Filed: April 19, 2006
    Date of Patent: December 13, 2011
    Assignee: WYSE Technology Inc.
    Inventors: Randy Buswell, Bill Gay, Sui M. Lam, David Stone
  • Patent number: 8079022
    Abstract: Systems and methods facilitate accurate and rapid simulation of software by periodically saving simulation states and design stimuli for use as a replay model. Divergences from the stored information may be detected during subsequent re-executions, which can in turn be run using the saved stimuli and states.
    Type: Grant
    Filed: June 4, 2007
    Date of Patent: December 13, 2011
    Assignee: Carbon Design Systems, Inc.
    Inventors: Mark Seneski, Richard Sayde, Joshua D. Marantz, Richard J. Cloutier, Dylan Dobbyn, William E. Neifert
  • Publication number: 20110289489
    Abstract: A system may include a plurality of test environments, each test environment being configured to simulate user actions according to a test configuration. The system may further include a test simulator device including a processor in selective communication with the plurality of test environments and configured to receive a user action; send the user action to a first of the plurality of test environments having a first test environment; and send the user action to a second of the plurality of test environments having a second test environment.
    Type: Application
    Filed: May 20, 2010
    Publication date: November 24, 2011
    Applicant: Verizon Patent and Licensing Inc.
    Inventors: Balaji Kumar, Kamal Abou-Khamis, Venkadaraman Balasubramanian, Praveenkumar Subramanian, Manikandan Subramanian
  • Publication number: 20110283267
    Abstract: Disclosed herein are techniques for compiling a procedure for testing a page. In some implementations, a component definition for a component instance referred to in computer programming language instructions defining a test procedure for testing a page may be received. The page may be defined by a page description implemented in a markup language. The page description may include a reference to a first portion of a component instance. Compiled wrapper code operable to simulate the presence of the component instance may be generated. The compiled wrapper code may represent the first portion of the component instance referenced in the page description. A compiled test procedure may be generated based on the computer programming language instructions. The compiled test procedure may include the compiled wrapper code. The compiled test procedure may be capable of being executed to perform the test procedure.
    Type: Application
    Filed: May 10, 2011
    Publication date: November 17, 2011
    Applicant: SALESFORCE.COM, INC.
    Inventors: Andrew Waite, Alan Ballard, K. Sagar Wanaselja, Richard Unger
  • Publication number: 20110276947
    Abstract: Some embodiments provide a system that facilitates the evaluation of an equation. During operation, the system obtains one or more data-access functions to be used in the equation. Next, the system obtains an analysis context for the equation separately from the data-access functions. The analysis context may include one or more analysis parameters that specify one or more data sources and/or types of analysis to be used in evaluating the equation. Finally, the system evaluates the equation using the data-access functions and the data sources.
    Type: Application
    Filed: May 4, 2010
    Publication date: November 10, 2011
    Applicant: SYNOPSYS, INC.
    Inventors: Christian M. R. Delbaere, Anil P. Balaram
  • Patent number: 8046748
    Abstract: A method and system to emulate an M-bit instruction set. At least some of the illustrative embodiments are a method comprising fetching at least a portion of an instruction (the instruction from a first instruction set that is not directly executable by a processor), indexing into a table to an index location (the index location based on the at least a portion of the instruction), executing a first series of instructions directly executable by the processor (the first series of instructions pointed to by the table at the index location), and thereby emulating execution of the instruction from the first instruction set.
    Type: Grant
    Filed: July 25, 2005
    Date of Patent: October 25, 2011
    Assignee: Texas Instruments Incorporated
    Inventors: Gilbert Cabillic, Jean-Philippe Lesot, Gerard Chauvel
  • Patent number: 8046747
    Abstract: The present invention comprises apparatus and systems for measuring, monitoring, tracking and simulating enterprise communications and processes. A central message repository or database is constructed, comprised of monitoring messages sent from process messaging systems. The database may then be accessed or queried as desired. A simulation tool assists in reviewing present and proposed processes and sub-processes before modifying existent systems or creating new systems.
    Type: Grant
    Filed: February 17, 2006
    Date of Patent: October 25, 2011
    Assignee: YYZ, LLC
    Inventors: Vincent R. Cyr, Kenneth Fritz
  • Patent number: 8046746
    Abstract: Symbolic execution identifies possible execution paths of a computer program or method, each having certain constraints over the input values. The symbolic execution also records updates of memory locations, e.g. updates of the fields of symbolic objects in the heap of an object oriented program, involving a description of the previous heap, the updated symbolic object, a field identification, and a newly assigned symbolic value. The symbolic execution can also record calls to summarized methods, involving a description of previous calls, an identification of the summarized methods, and its symbolic arguments. The behavior of summarized methods can be expressed by axioms. Axioms describe the relationship between summarized methods under certain conditions. Axioms can be generated from parameterized unit tests. A parameterized unit test is a method with parameters which executes a sequence of calls to methods of an implementation under test; it asserts constraints over the inputs and outputs of the calls.
    Type: Grant
    Filed: August 4, 2005
    Date of Patent: October 25, 2011
    Assignee: Microsoft Corporation
    Inventors: Nikolai Tillmann, Wolfgang Grieskamp, Wolfram Schulte
  • Publication number: 20110258612
    Abstract: Methods and systems for debugging byte code in an on-demand service environment system including a system for simulating execution debug in a multi-tenant database environment. In one embodiment, such a method includes receiving a request at a web-server of the system, wherein the request comprises a request for services from a multi-tenant database implementation within the system, in which the multi-tenant database implementation includes elements of hardware and software that are shared by a plurality of separate and distinct customer organizations, each of the separate and distinct customer organizations being remotely located from a host organization having the system executing therein.
    Type: Application
    Filed: September 15, 2010
    Publication date: October 20, 2011
    Applicant: SALESFORCE.COM
    Inventors: Taggart C. Matthiesen, Richard Unger, Peter S. Wisnovsky
  • Patent number: 8042179
    Abstract: A method for preventing a return address from being falsified due to a buffer overflow during the program execution, and for detecting the buffer-overflow beforehand. When the return address is re-written during program execution, the debug function of the central processing unit is used to output an error. The falsification of the return address is detected through the error output. Then the falsified return address is re-written to a value stored in advance to enable the program to return to normal operation. When the falsification of the return address is detected, the executing program is terminated.
    Type: Grant
    Filed: September 3, 2004
    Date of Patent: October 18, 2011
    Assignee: Science Park Corporation
    Inventors: Koichiro Shoji, Yoshiyasu Takafuji, Takashi Nozaki
  • Publication number: 20110246971
    Abstract: A method, system and computer program product for recording and replaying a program execution in a client-server environment capable of supporting different client-server communication protocols. A common recorder of the exemplary embodiments identifies respective class files and libraries used by a client application to process client actions and data passed in client requests and server responses. The recorder stores class files and data in a replay file and later re-creates server loads and client actions based on the class files, data and client action results in the replay file during a replay of the execution.
    Type: Application
    Filed: April 2, 2010
    Publication date: October 6, 2011
    Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Stevenson Chua, Rakesh Kumar Dash
  • Publication number: 20110239198
    Abstract: An automated software testing and validation system allows testing of a software application under test (SAUT) regardless of the dynamic nature of the SAUT. An abstracted set of hierarchal or linear objects model certain regions of the SAUT. Automated test scripts utilize theses regions to intuitively navigate and identify potions of the SAUT to automate. The scripts can also access specific SAUT elements contain within each defined region. These elements can then be used to invoke actions or verify outputs there from. The system uses a set of rich identification rules embodied in the system which allow the user to configure the identification of any element within the abstracted region. The rules are customizable to allow the user to configure the desired level of loose coupling between the automated scripts and the target element to adapt the scripts to the nature of the SAUT.
    Type: Application
    Filed: April 1, 2011
    Publication date: September 29, 2011
    Applicant: ArtofTest,Inc.
    Inventor: Faris Sweis
  • Patent number: 8028273
    Abstract: Methods, data processing systems, and program products supporting the insertion of clone latches within a digital design are disclosed. According to one method, a parent latch within the digital design is specified in an HDL statement in one of the HDL files representing a digital design. In addition, a clone latch is specified within the digital design utilizing an HDL clone latch declaration. An HDL attribute-value pair is associated with the HDL clone latch declaration to indicate a relationship between the clone latch and the parent latch according to which the clone latch is automatically set to a same value as the parent latch when the parent latch is set. Thereafter, when a configuration compiler receives one or more design intermediate files containing the clone latch declaration, the configuration compiler creates at least one data structure in a configuration database representing the clone latch and the relationship between the clone latch and the parent latch.
    Type: Grant
    Filed: April 18, 2008
    Date of Patent: September 27, 2011
    Assignee: International Business Machines Corporation
    Inventors: Wolfgang Roesner, Derek Edward Williams
  • Patent number: 8024807
    Abstract: A mechanism for determining a probabilistic security score for a software package is provided. The mechanism calculates a raw numerical score that is probabilistically linked to how many security vulnerabilities are present in the source code. The score may then be used to assign a security rating that can be used in either absolute form or comparative form. The mechanism uses a source code analysis tool to determine a number of critical vulnerabilities, a number of serious vulnerabilities, and a number of inconsequential vulnerabilities. The mechanism may then determine a score based on the numbers of vulnerabilities and the number of lines of code.
    Type: Grant
    Filed: May 30, 2008
    Date of Patent: September 20, 2011
    Assignee: Trend Micro Incorporated
    Inventors: Kylene Jo Hall, Dustin C. Kirkland, Emily Jane Ratliff
  • Patent number: 8019447
    Abstract: A method to control a device may include forming an integrated simulation model of an actual environment in which the device is or will be operating. The integrated simulation model may be formed using pre-existing data and real-time data related to the actual environment. The method may also include presenting a simulation including a representation of the device operable in the integrated simulation model of the actual environment and allowing control of operation of the simulation of the device in the integrated simulation model of the actual environment. The method may further include controlling operation of the device in the actual environment using the simulation of the representation of the device in the integrated simulation model of the actual environment.
    Type: Grant
    Filed: September 14, 2007
    Date of Patent: September 13, 2011
    Assignee: The Boeing Company
    Inventors: Zachary C. Hoisington, Blaine K. Rawdon
  • Patent number: 8010578
    Abstract: A database development system is provided. The system includes a current-state source representation of a database that can be captured in a model of the database and a metadata component that preserves user intentions describing when a user interacts with the system to perform a refactoring operation (or other code enhancement) for use in subsequent operations by the system. A deployment component is provided that utilizes the preserved user intentions to optimize behavioral upgrades to the system, where simulations can be run against the model to facilitate efficient and automated deployments.
    Type: Grant
    Filed: June 27, 2008
    Date of Patent: August 30, 2011
    Assignee: Microsoft Corporation
    Inventors: James D. Laflen, Jason D. Clark, Gerrit Erwin Randolph Drapers, Liangxiao Zhu, Amy L. Myhre, Duncan L. Davenport
  • Patent number: 8010950
    Abstract: One embodiment of the present invention provides a system for testing a binding Application Programming Interface (API) on a device, wherein the binding API is bound to a native API for the device and provides different commands than the native API. During operation, the system executes a native-API test on the device through the native API to produce a native-API test-result. The system subsequently receives the native-API test-result from the device at a test-harness. Next, the system sends a binding-API test to a test-agent on the device which enables the test-agent to execute the binding-API test through the binding API to produce a binding-API test-result. The system then receives the binding-API test-result from the test-agent. Finally, the system compares the native-API test-result to the binding-API test-result to determine if the binding API is functionally equivalent to the native API.
    Type: Grant
    Filed: July 10, 2007
    Date of Patent: August 30, 2011
    Assignee: Oracle America, Inc.
    Inventors: Dmitri Silaev, Daniel S. Rice, Stanislav V. Avzan, Vasily Kopyl
  • Patent number: 8000952
    Abstract: A system and method to generate simulations of a target application or software. The method comprises recognizing a start point associated with a multiple path simulation of a target application and automatically generating simulation branches of the multiple path simulation from the recognized start point. The method and system of the invention allows a simulation developer to create “multi-path” simulations more quickly and efficiently by, for example, (i) recognizing which junctions in the simulation are starting points for multiple paths, (ii) where the multiple paths converge, and (iii) the content of the multiple paths.
    Type: Grant
    Filed: March 9, 2006
    Date of Patent: August 16, 2011
    Assignee: International Business Machines Corporation
    Inventor: Bradley K. Wells
  • Publication number: 20110197179
    Abstract: A source line simulator system determines a line of source code that corresponds to a virtual return address in response to executing a debugging command on the source code. The simulator system determines whether the line of source code that corresponds to the virtual return address is correct and can enable a simulator mode based on a determination that the line of source code that corresponds to the virtual return address is not correct. The simulator system can generate a debugging graphical user interface (GUI) that displays an indicator at a line of source code that is correct.
    Type: Application
    Filed: February 8, 2010
    Publication date: August 11, 2011
    Inventor: Jan Kratochvil
  • Patent number: 7996816
    Abstract: The present invention enables a component under test to bind to a single component, that is capable of simulating most depended upon services, including the details of their interface, whether or not they return explicit results or cause side effects, and regardless of the state of their implementation. This invention includes features that allow for dynamic reconfiguration to meet the needs of both manual and automated testing, including the ability to control normal and exceptional results, as well as features to support both unit and integration testing.
    Type: Grant
    Filed: November 15, 2006
    Date of Patent: August 9, 2011
    Assignee: International Business Machines Corporation
    Inventors: Timothy Marc Francis, Geoffrey Martin Hambrick, Stephen Joseph Kinder
  • Patent number: 7987454
    Abstract: The processing of server pages is emulated at run time. The system includes a library of custom tags, and a server page emulator for reading the server page, including identifying any calls to the library of custom tags, and further for emulating any calls to the custom tags identified in the server page; and thereby generating and processing the server pages dynamically at runtime. Each server page is parsed to create a tree of nodes for each element of the page, and each node identified as one of template text, custom tag start, custom tag end, and expression language (EL) expression. For each template text node, text is written directly to final markup. For each custom tag node, a return code indicates that the body should be skipped, processed normally, or provided as bulk data to the tag implementation. For each EL expression node, the EL expression is evaluated and the result written to final markup.
    Type: Grant
    Filed: December 20, 2005
    Date of Patent: July 26, 2011
    Assignee: International Business Machines Corporation
    Inventor: James P. Hennessy
  • Patent number: 7975263
    Abstract: A method for managing a profile includes generating an initial profile of code using an initial sampling frequency. An information entropy value of the profile is computed. A representative profile of the code is determined from additional profiles using a sampling frequency determined from the information entropy value. Other embodiments are disclosed and claimed.
    Type: Grant
    Filed: January 10, 2006
    Date of Patent: July 5, 2011
    Assignee: Intel Corporation
    Inventors: Robert Geva, Jinpyo Kim
  • Patent number: 7971192
    Abstract: A method of analyzing simulation results of a model, the method comprising: obtaining a process model including model elements including tasks, non-reusable sub-processes, and called reusable sub-processes; assigning a unique identifier to each model-element; generating unique model-element-proxies for all model-elements except for model elements corresponding to a model-reusable-sub-process or a model element contained by a model-reusable-sub-process; generating unique model-element-proxies for model-reusable-sub-processes and model-elements contained by model-reusable-sub-processes; associating each generated model-element-proxy with a corresponding model-element; executing simulation of the process model and persisting for each element instance data produced during simulation, the instance data including an element instance identifier and a corresponding model-element-proxy identifier; querying persisted simulation data for information using model-element-proxy identifiers.
    Type: Grant
    Filed: September 6, 2006
    Date of Patent: June 28, 2011
    Assignee: International Business Machines Corporation
    Inventor: Mariusz Tyborowski
  • Publication number: 20110154301
    Abstract: A computer system for programming applications in a programming environment, including, a computer adapted to execute software to form a programming environment enabling creation of a software application using multiple programming languages, a multidimensional debugger installed on the computer; wherein the multidimensional debugger is made up from two or more debuggers each for use in debugging a different programming language, wherein the two or more debuggers use a common work memory to share information; and wherein the two or more debuggers use a common user interface.
    Type: Application
    Filed: December 22, 2009
    Publication date: June 23, 2011
    Applicant: SAP AG
    Inventors: Boris KLINKER, Soren Balko, Reiner Hille-Doering, Markus Richter
  • Patent number: 7954091
    Abstract: A method for unit testing of business processes for Web services, including steps of mapping the Web service description language (WSDL) elements of a process under test and its partner processes into equivalent Object-Oriented language (OO) elements, and performing testing on the process under test based on Object-Oriented unit testing frameworks. Each Web service interface of the process under test and its partner processes is mapped into an equivalent OO interface, partner stubs are generated on basis of the OO interfaces of the partner processes, WSDL binding and service port information are defined for the generated partner stubs, test cases are formed which contain test logic describing the service invocations between the process under test and its partner processes, and the test cases are executed, wherein the partner stub and its associated mock object collectively implement the service of a corresponding partner process.
    Type: Grant
    Filed: February 23, 2007
    Date of Patent: May 31, 2011
    Assignee: International Business Machines Corporation
    Inventors: Zhong Jie Li, Bin Du, Wei Sun
  • Publication number: 20110099540
    Abstract: There are provided a method and system for testing software for an industrial machine with continuous test values reflecting actual environmental factors, using a simulator before the software for the industrial machine is embedded into an actual industrial machine. A method for testing software for an industrial machine, the method comprising the steps of: coding a program for a diagram through which the industrial machine is driven; compiling the program into an instruction with which the industrial machine is driven; downloading the compiled program onto a simulator for implementing a programming interface provided by the industrial machine; executing the compiled program in the simulator: generating a first data for testing the compiled program: transmitting the first test data to the simulator having the downloaded program from a testing tool; and outputting a result data obtained after executing the program having the transmitted first test data and then transmitting the result data to the testing tool.
    Type: Application
    Filed: November 4, 2009
    Publication date: April 28, 2011
    Inventors: Hyunseop Bae, Kyung Hwa Choi, Seokjoo Choi, Seong Won Park, Seung Joon Lee
  • Patent number: 7930683
    Abstract: A method for testing a software program creates test data by simulating data exchange messages between a server and a client and stores test data in Comma Separated Value (CSV) files. Data repository files stored in the CSV format can be edited by common tools, like a spreadsheet program, and can be maintained easily. The test automation method provides a data capturer tool so that the data repository could be created based on any existing test environment. The test automation method converts data repository files and simulates messages in order to load data to a mobile infrastructure system and set up data fixtures. The test automation method could be integrated in a build process so that data repository and test cases are validated against any program changes periodically.
    Type: Grant
    Filed: March 31, 2006
    Date of Patent: April 19, 2011
    Assignee: SAP AG
    Inventor: Chunyue Li
  • Patent number: 7913230
    Abstract: A computer-implemented method for generating and managing test documentation for a software product may include steps of generating a test template; generating at least one test scenario for each of a plurality of functional areas, each test scenario being configured to test a business flow that mimics how an end user would use the software product; associating the generated test scenario(s) with the generated test template; generating at least one test case that includes a plurality of test steps; associating the generated test case(s) with the generated test template; copying the test template to generate test results, the generated test results being independent of the generated test template, and carrying out a test cycle by executing the test scenario(s) and the test case(s) associated with the generated test results of the generated test template and storing the results of the executed test scenario(s) and the executed test case(s) in a database.
    Type: Grant
    Filed: January 31, 2007
    Date of Patent: March 22, 2011
    Assignee: Oracle International Corporation
    Inventor: Gene Vikutan
  • Patent number: 7913222
    Abstract: Methods, systems and computer program products are disclosed for automatically generating hardware description language code from a model. The hardware description language code may be generated from a graphical program/model, such as a block diagram model. The hardware description language code may also be generated from a text-based program/model, such as a model created using MATLAB® tools. In particular, the present invention provides for the automatic code generation of an interface between components in the model. The present invention may provide options for selecting at least one of multiple types or styles of the component interfaces in the model. The selection of the interface types or styles may be controlled by the user or inferred by other parameters, such as implementation parameters.
    Type: Grant
    Filed: December 14, 2004
    Date of Patent: March 22, 2011
    Assignee: The Mathworks, Inc.
    Inventors: Brian K. Ogilvie, John Zhao, Bharath Venkateraman
  • Publication number: 20110066893
    Abstract: A method is implemented in a computer infrastructure having computer executable code tangibly embodied on a computer readable storage medium having programming instructions. The programming instructions are operable to receive a maturity level for an organization and select at least one defect analysis starter/defect reduction method (DAS/DRM) defect profile based on the maturity level. Additionally, the programming instructions are operable to determine a projection analysis for one or more stages of the life cycle of a software code project of the organization based on the at least one DAS/DRM defect profile.
    Type: Application
    Filed: September 11, 2009
    Publication date: March 17, 2011
    Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Kathryn A. BASSIN, Steven KAGAN, Susan E. SKRABANEK
  • Patent number: 7899661
    Abstract: Systems and methods for run-time switching for simulation with dynamic run-time accuracy adjustment. In one embodiment, a computer implemented method performs a simulation of a computer instruction executing on a simulated hardware design by a first simulation model, wherein the first simulation model provides first timing information of the simulation. The first timing information is stored to a computer usable media. A pending subsequent simulation of the instruction is detected. Responsive to the presence of the first timing information in the computer usable media, the computer instruction is simulated by a second simulation model, wherein the second simulation model provides less accurate second timing information of the simulation than the first simulation model. The simulation run time information is updated for the subsequent simulation with the first timing information.
    Type: Grant
    Filed: February 16, 2007
    Date of Patent: March 1, 2011
    Assignee: Synopsys, Inc.
    Inventors: Karl Van Rompaey, Andreas Wieferink
  • Patent number: 7900258
    Abstract: An automated analysis system identifies the presence of malicious P-code or N-code programs in a manner that limits the possibility of the malicious code infecting a target computer. The target computer system initializes an analytical virtual P-code engine (AVPE). As initialized, the AVPE comprises software simulating the functionality of a P-code or intermediate language engine as well as machine language facilities simulating the P-code library routines that allow the execution of N-code programs. The AVPE executes a target program so that the target program does not interact with the target computer. The AVPE analyzes the behavior of the target program to identify occurrence of malicious code behavior and to indicate in a behavior pattern the occurrence of malicious code behavior. The AVPE is terminated at the end of the analysis process, thereby removing from the computer system the copy of the target program that was contained within the AVPE.
    Type: Grant
    Filed: February 25, 2008
    Date of Patent: March 1, 2011
    Assignee: International Business Machines Corporation
    Inventor: Peter A. J. van der Made
  • Patent number: 7895577
    Abstract: The invention relates to a device for testing the structural coverage of a software program and a method implementing the device. The software, stored in a first memory comprises instructions which can be located via addresses on an address bus connecting the processor to the first memory. The device includes a second memory connected to the address bus that can be used to store values in memory associated with each address, these values indicating the conditions for calling up the associated address by the processor. The method consists in erasing all the contents of the second memory, performing tests validating the software, comparing the contents of the second memory with a list of addresses where instructions are located.
    Type: Grant
    Filed: June 21, 2005
    Date of Patent: February 22, 2011
    Assignee: Thales
    Inventor: Jerome Papineau
  • Patent number: 7895571
    Abstract: A computer implemented method, an apparatus, and a computer usable program product for rendering client-side logic in a webpage when the webpage is rendered is provided. A webpage development framework initiates a script component built in a component library of a webpage development framework, wherein the script component is subject to a lifecycle of the webpage development framework. The webpage development framework defines at least one webpage attribute using at least one value-binding expression in the script component, wherein the at least one value-binding expression provides access to a server-side data model. The webpage development framework then evaluates the at least one value-binding expression, wherein the at least one value-binding expression comprises a current value for the server-side data model.
    Type: Grant
    Filed: January 25, 2007
    Date of Patent: February 22, 2011
    Assignee: International Business Machines Corporation
    Inventors: Eric Philip Fried, John Richard Houlihan, Kevin William Monroe, Jorge D. Rodriguez
  • Patent number: 7890924
    Abstract: A generalized software process simulation model is utilized to simulate software engineering processes and support project management and control. The simulation model takes advantage of generic software modeling blocks which represent differing stages or activities in a software development process and are represented in modeling environment. The generic software modeling blocks are also used to represent sub-processes and activities within higher-level processes. The blocks also provide dialog boxes which allow entering and adjustment of data and equations. Through manipulation of blocks and comparisons of simulations, a project manager can simulate and observe the outcome of different process decisions. Additional simulation capabilities are possible, as software engineering is one example of the technology.
    Type: Grant
    Filed: May 3, 2004
    Date of Patent: February 15, 2011
    Assignee: State of Oregon acting by and through the State Board of Higher Education on behalf of Portland State University
    Inventor: David M. Raffo
  • Publication number: 20110035724
    Abstract: 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 in recreating an executable version of the software application from data traced at significant points during the software application execution. Recreating an executable version of the software application involves creating white space code to simulate the software application execution timing by replacing business logic code of the software application with white space code in the recreated executable version. The recreated executable version of the software application programmatically behaves essentially similarly to the software application.
    Type: Application
    Filed: August 10, 2009
    Publication date: February 10, 2011
    Applicant: International Business Machines Corporation
    Inventors: Paul Kettley, Ian J. Mitchell
  • Patent number: 7886280
    Abstract: There is disclosed a system for flattening hierarchically structured flows using a breadth-first approach. At each level of hierarchy of a hierarchically structured source flow, complex nodes are flattened by one level across the entire breadth of the flow. The results of this flattening are placed in a target flow, and any connections that existed in the source flow are re-established in the target flow in such a way that any data input into the target flow will be processed as if it had been input into the source flow. After a processing iteration, if there are still complex nodes remaining in the target flow, the target flow becomes the next source flow, and the process is repeated until the flow has been completely flattened.
    Type: Grant
    Filed: December 1, 2008
    Date of Patent: February 8, 2011
    Assignee: International Business Machines Corporation
    Inventor: Hamzeh Zawawy
  • Patent number: 7873506
    Abstract: The operation of an electronic system comprising a plurality of integrated circuits or other circuit elements is simulated using a software-based development tool that provides a generic framework for simultaneous simulation of multiple circuit elements having potentially different clock speeds, latencies or other characteristics. One or more interfaces provided in the software-based development tool permit registration of processing events associated with one or more of the circuit elements. The software-based development tool is further operative to determine a system clock for a given simulation, and to schedule execution of the associated processing events in a manner that takes into account differences between the system clock and one or more circuit element clocks, so as to maintain consistency in the execution of the processing events relative to the determined system clock.
    Type: Grant
    Filed: June 30, 2003
    Date of Patent: January 18, 2011
    Assignee: Agere Systems Inc.
    Inventors: Paul N. Hintikka, Sileshi Kassa, Vinoj N. Kumar, Ravi K. Mandava
  • Publication number: 20110010159
    Abstract: End-to-end testing of applications across networks is enabled. To test the application and the infrastructure subsystems, an application server connected to the network contains an application under test. A response simulator is connected to the other end of the network. A test module is accessible to the application and to the simulator and contains a test message to be transmitted to the simulator, and an expected response message from the simulator. The application transmits each test message and compares a response message from the simulator to an expected response message. The simulator obtains the response to each test message from the test module.
    Type: Application
    Filed: July 8, 2009
    Publication date: January 13, 2011
    Applicant: International Business Machines Corporation
    Inventors: Oliver Birch, Can Paul Boyacigiller, Christopher Charles Dacombe, Sreenivasa Rao Pamidala, Zhijian Pan, Bouna Sall
  • Publication number: 20110004868
    Abstract: Recorded user actions are combined with captured program status information to automatically generate test sequences which provide greater test coverage than a mere replayed script. A finite state machine is automatically constructed, based on the captured program status information and on user action groups specified by a tester. Test sequences based on the finite state machine are automatically built and executed, to exercise the program being tested.
    Type: Application
    Filed: July 6, 2009
    Publication date: January 6, 2011
    Applicant: Microsoft Corporation
    Inventor: Anutthara Bharadwaj
  • Patent number: 7865795
    Abstract: Methods and apparatuses for generating a random sequence of commands for a semiconductor device. The method generates random state transitions within a finite state machine model of the semiconductor device. A sequence of commands is determined which are associated to the generated random state transitions based on the finite state machine model of the semiconductor device.
    Type: Grant
    Filed: February 28, 2008
    Date of Patent: January 4, 2011
    Assignee: Qimonda AG
    Inventors: Thomas Nirmaier, Wolfgang Spirkl
  • Publication number: 20100333061
    Abstract: 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 generated by a modeling tool. Further, a test-code capable of monitoring one or more model parameters that need to be validated is generated using a testing tool. The model-code and the test-code are combined to obtain an integrated-code. The integrated code is executed in the testing tool that compares the obtained output values with the expected output values as provided in the specifications. Further, the model is identified as valid or invalid based on the comparison based on the results of the comparison.
    Type: Application
    Filed: June 25, 2009
    Publication date: December 30, 2010
    Applicant: GM GLOBAL TECHNOLOGY OPERATIONS, INC.
    Inventors: Swarup K. Mohalik, Suresh Jeyaraman, Sathyaraja H. Nandugudi
  • Publication number: 20100325616
    Abstract: A system of testing software is provided. The system comprises a first hardware system having hardware components to execute a first version of the software, and additionally comprises a second hardware system having hardware components to execute a second version of the software at approximately the same time as the hardware components of the first hardware system execute the first version of the software. Here, the hardware components of the first hardware system are essentially equal to the hardware components of the second hardware system. In addition, the system includes a simulator coupled to the first hardware system and the second hardware system through the same network. This simulator comprises an agent to input a substantially same amount and a substantially same type of input data into the first and second hardware systems for execution by the first and second versions, respectively.
    Type: Application
    Filed: August 30, 2010
    Publication date: December 23, 2010
    Applicant: eBay Inc.
    Inventors: Jayaram Singonahalli, Darrin Curtis Alves, Douglas Ray Woolard
  • Publication number: 20100318974
    Abstract: Business objects are decoupled from hierarchical structural elements and coupled to simulated structural elements to provide a stable testing environment. Testing data is provided within the simulated structural environment to enable consistency and accuracy in testing and developing business objects.
    Type: Application
    Filed: June 16, 2009
    Publication date: December 16, 2010
    Applicant: SAP AG
    Inventors: Jan Hrastnik, Adam Polly
  • Publication number: 20100318973
    Abstract: An apparatus for providing dynamic virtual platform sub-module activation may include at least one processor and at least one memory storing computer program code configured to, with the at least one processor, cause the apparatus or another apparatus to perform at least receiving an indication, from software being executed via a virtual platform comprising a software representation of hardware, of a request to access a sub-module of the virtual platform, and activating the sub-module requested from an initial deactivated state in response to the indication received. A corresponding method and computer program product are also provided.
    Type: Application
    Filed: June 10, 2009
    Publication date: December 16, 2010
    Inventors: Tino Rautiainen, Jani L. Hyvonen
  • Patent number: 7849447
    Abstract: A system includes a first application that is the subject of a test. A log of information relates to use of the first application. At least one data file relates to the first application. A second application conducts the test based at least in part on the log and the data file. A method includes generating test data based on an analysis of the log of information relating to use of the first application, analyzing the at least one data file relating to the first application, and conducting the test based at least in part on the test data and the at least one data file.
    Type: Grant
    Filed: November 21, 2005
    Date of Patent: December 7, 2010
    Assignee: Verizon Laboratories Inc.
    Inventors: George Demetrios Karis, Michael S. Heinrichs, Timothy Gar Wai Ho
  • Patent number: 7849446
    Abstract: Transactional programming promises to substantially simplify the development and maintenance of correct, scalable, and efficient concurrent programs. Designs for supporting transactional programming using transactional memory implemented in hardware, software, and a mixture of the two have emerged recently. Unfortunately, conventional debugging programs are often inadequate when employed in relation to code that employs transactional memory and new or modified techniques are needed. We describe techniques whereby certain facilities of a transactional memory implementation can be leveraged to provide replay debugging. With replay debugging, the user can examine a partial or complete execution of an atomic block after it has happened—for example, right before the execution commits. Moreover, in some cases the user can modify the replayed execution, and decide to commit the new modified execution instead of the original replayed one.
    Type: Grant
    Filed: December 10, 2006
    Date of Patent: December 7, 2010
    Assignee: Oracle America, Inc.
    Inventors: Yosef Lev, Mark S. Moir
  • Patent number: 7849440
    Abstract: In a graphical modeling environment, a preview of code generated in response to a selected component in a graphical model is presented using a graphical user interface. The code preview provides feedback to a user regarding the impact of the settings for the selected component, allowing the user to observe the effect of certain settings before generating code for the entire graphical model. The code preview may be presented through the same graphical user interface used to select the settings for the component, or a separate graphical user interface.
    Type: Grant
    Filed: April 16, 2004
    Date of Patent: December 7, 2010
    Assignee: The MathWorks, Inc.
    Inventor: Matthew Englehart