Поиск патентов

Настройки

Глубина выборки

Укажите год

Небесная энциклопедия

Космические корабли и станции, автоматические КА и методы их проектирования, бортовые комплексы управления, системы и средства жизнеобеспечения, особенности технологии производства ракетно-космических систем

Подробнее

Мониторинг СМИ

Мониторинг СМИ и социальных сетей. Сканирование интернета, новостных сайтов, специализированных контентных площадок на базе мессенджеров. Гибкие настройки фильтров и первоначальных источников.

Подробнее

Форма поиска

Ключевые слова. Может быть несколько по одной на строку

Поддерживает ввод нескольких поисковых фраз (по одной на строку). При поиске обеспечивает поддержку морфологии русского и английского языка

Автор

Ведите корректный номера.

Владелец

Ведите корректный номера.

Классы IPC

Ведите корректный номера.

Классы CPC

Ведите корректный номера.

Начиная с года

Укажите год

Заканчивая годом

Укажите год

Применить Всего найдено 78724. Отображено 100.

12-01-2012 дата публикации

Script description separation reconstructing device, script description separation reconstructing method, and non-transitory computer readable medium storing script description separation reconstructing program

Номер: US20120011488A1

Автор: Noriaki Suzuki

Принадлежит: NEC Corp

An object is to provide a script description separation reconstructing device that can describe the same operation by the same command script regardless of a subsystem configuration of a controlled system, a configuration of a control system, and a kind of the command script. Using system configuration information indicating what kind of subsystem structure the controlled system is composed of, A script description separation reconstructing means reconstructs in a form of separating a system control command script description into a process inside each controller and a process by a host side.

Подробнее

Номер записи: 1

12-01-2012 дата публикации

Development system

Номер: US20120011490A1

Автор: Atsushi Mizuno, Shigeaki Takaki

Принадлежит: Toshiba Corp

According to one embodiment, a development system includes an instruction set simulator (ISS) and a checker. The ISS includes a central processing unit (CPU) model that simulates an execution program and a memory model as a work area of the processor model. The checker monitors execution of an access instruction, included in the execution program, on the memory model and, when a difference between a data length at the time of writing and a data length at the time of reading on the same spot is detected, notifies an execution spot at the time of detection as an endian dependent spot.

Подробнее

Номер записи: 2

19-01-2012 дата публикации

Using xml to run tests in a multi-tenant database environment

Номер: US20120016913A1

Автор: Steven Tamm, Walter MacKlem

Принадлежит: Salesforce com Inc

A method for using extensible markup language (XML) for testing a process in a multi-tenant database system is disclosed. The method includes providing a user interface (UI) for a user of the multi-tenant database system, receiving the process for testing via the UI, where the process is created using the UI, receiving an indication from the UI that an XML file is to be extracted for testing the process, and extracting the XML file in response to the received indication, where the XML file is usable for testing the process. Further, sample data for the process can also be created and received. In addition, modifications of the XML file from the user via the UI can be done, the XML file can be executed for testing the process.

Подробнее

Номер записи: 3

19-01-2012 дата публикации

Time-Based Trace Facility

Номер: US20120017123A1

Автор: David C. Reed, Joel L. Masser, Max D. Smith

Принадлежит: International Business Machines Corp

Method, system, and computer program product embodiments of a time-based trace facility for facilitating software debugging without interfering with the run-time behavior, performance or resource usage of the traced software are provided. The trace facility resides in a different address space than the target address space and uses different time-slices of CPU resources to execute the instructions in the address spaces. The trace facility uses a cross-memory mode to read the state data from the target address space in accordance with a time schedule. The trace facility writes the state data to a trace area, which may be located in either the target or trace address spaces or external storage. With this approach, the trace facility can read a large amount of state data frequently to construct the type of historical record needed to analysis run-time behavior, performance and resource usage. The trace facility may use a parameter file to configure a particular trace e.g. specify the target address space, one or more processing tasks within the target address space, a specific trace module, filters to extract specific state data, the time interval, the trace area, etc.

Подробнее

Номер записи: 4

19-01-2012 дата публикации

APPARATUS AND METHOD FOR DETECTING, PRIORITIZING AND FIXING SECURITY DEFECTS AND COMPLIANCE VIOLATIONS IN SAP® ABAPtm CODE

Номер: US20120017280A1

Автор: Andreas Wiegenstein, Markus R. Schumacher, XU Jia

Принадлежит: VIRTUAL FORGE GmbH

A static code analysis (SCA) tool, apparatus and method detects, prioritizes and fixes security defects and compliance violations in SAP® ABAP™ code. The code, meta information and computer system configuration settings are transformed into an interchangeable format, and parsed into an execution model. A rules engine is applied to the execution model to identify security and compliance violations. The rules engine may include information about critical database tables and critical SAP standard functions, and the step of applying the rules engine to the execution model may include the calculation of specific business risks or whether a technical defect has a business-relevant impact. In particular, an asset flow analysis may be used to determine whether critical business data is no longer protected by the computer system. Such critical business data may include credit or debit card numbers, financial data or personal data.

Подробнее

Номер записи: 5

26-01-2012 дата публикации

Dynamic Test Scripts

Номер: US20120023485A1

Автор: Avaneesh Dubey, Pradeep Shankara, Ranjeetha Raja

Принадлежит: SAP SE

A method and apparatus for generating dynamic test scripts enables the design and use of testing scripts that are independent of an application and the user interface layout of the application. The method and apparatus store a set of test data, checks and an action list independent from a test script. The test script matches the properties of the test data, checks and action list items with the properties of user interface elements in an application at run-time. The run-time matching allows for the script to be utilized for different applications as well as altered or updated versions of those applications with minimal or no changes to the testing script. This method and system are particularly relevant for the testing of applications using the user interface rather than backend utilities (APIs, services etc.).

Подробнее

Номер записи: 6

02-02-2012 дата публикации

Use of attribute sets for test entity identification during software testing

Номер: US20120030515A1

Автор: Roman Rapp, Suekrue Birakoglu

Принадлежит: SAP SE

An attribute collector may collect an attribute set for each test entity of a plurality of test entities associated with a software test executed in a software environment. An attribute analysis signal handler may receive an attribute analysis signal associated with a change in the software environment, and a view generator may provide an attribute-based view associated with an affected attribute set associated with the change, the attribute-based view identifying an affected test entity that is affected by the change.

Подробнее

Номер записи: 7

02-02-2012 дата публикации

Selective branch-triggered trace generation apparatus and method

Номер: US20120030521A1

Автор: David B. LeGendre, David C. Reed, Herman Aranguren, Max D. Smith

Принадлежит: International Business Machines Corp

A method for selectively generating trace data is disclosed. Such a method includes executing a first module on a processor. The processor is operably coupled to a memory storing the first module and one or more branch modules. The method further includes detecting the execution of an instruction of the first module to execute a branch module. In response to detecting execution of the instruction, traces of branch modules subsequently executed by the processor are generated. Upon detecting a return of execution by the processor to the first module, the generation of traces is terminated and a trace report is generated. A corresponding apparatus and computer program product are also disclosed herein.

Подробнее

Номер записи: 8

02-02-2012 дата публикации

Apparatus and method for automated testing of software program

Номер: US20120030654A1

Автор: Hong Seong Park, Jeong Seok Kang, Min Woo Ju, Si Wan Kim

Принадлежит: Industry Academic Cooperation Foundation of KNU

Provided is an apparatus and method for automated testing of a software program. More particularly, provided is an apparatus and method for automated testing of a software program of which a source code is frequently changed. An aspect of the present invention provides an apparatus and method for automated testing of a software program that may automatically perform testing with respect to a source code file changed within a software program based on a correlation between a plurality of test objects for testing of the software program.

Подробнее

Номер записи: 9

02-02-2012 дата публикации

Method and system for using a virtualization system to identify deadlock conditions in multi-threaded programs by controlling scheduling in replay

Номер: US20120030657A1

Автор: Min Xu, Qi Gao

Принадлежит: Individual

A method and system for determining potential deadlock conditions in a target multi-threaded software application. The target application is first run in a virtual machine and the events within the application are recorded. The recorded events are replayed and analyzed to identify potential lock acquisition conflicts occurring between threads of the application. The potential lock acquisition conflicts are identified by analyzing the order in which resource locks are obtained and pairs of resources that have respective locks obtained in different orders are analyzed. These analyzed pairs are used to define a different order of events in the target application that, when the target application is re-run with the second order of events, may trigger a deadlock condition. The target application is then re-run with the different order of events in an attempt to trigger and then identify potential deadlock situations.

Подробнее

Номер записи: 10

09-02-2012 дата публикации

Debug interface circuit and electronic device using the same

Номер: US20120033336A1

Автор: xing-hua Tang

Принадлежит: Hon Hai Precision Industry Co Ltd, Hongfujin Precision Industry Shenzhen Co Ltd

A debug interface circuit connecting between a connector and an integrated circuit (IC) of an electronic device. The connector is used for providing a path for a debug device debugging the IC. The debug interface circuit includes a first electrostatic protection unit and a second electrostatic protection unit. One end of the first electrostatic protection unit is electrically connected between a first pin of the IC and an output port of the connector, and the other end of the first electrostatic protection unit is electrically grounded. One end of the second electrostatic protection unit is electrically connected between a second pin of the IC and an input port of the connector, and the other end of the second electrostatic protection unit is electrically grounded. The first pin is used for receiving signals from the output port. The second pin used for transmitting signals to the input port.

Подробнее

Номер записи: 11

16-02-2012 дата публикации

Determining Simulation Fidelity in a Self-Optimized Simulation of a Complex System

Номер: US20120041749A1

Автор: Ched D. Hays, Gundam Raghuswamyreddy, Jason S. Ma, Jose L. Ortiz, Michael C. Hollinger, Thomas W. Aarts

Принадлежит: International Business Machines Corp

Mechanisms are provided for controlling a fidelity of a simulation of a computer system. A model of the system is received that has a plurality of components. A representation of the plurality of individual components of the system is generated. A component is assigned to be a fidelity center having a highest possible associated fidelity value. Fidelity values are assigned to each other component in the plurality of individual components based on an affinity of the other component to the fidelity center. The system is simulated based on assigned fidelity values to the components in the plurality of individual components.

Подробнее

Номер записи: 12

16-02-2012 дата публикации

Method and Apparatus for Detecting Changes in Websites and Reporting Results to Web Developers for Navigation Template

Номер: US20120042237A1

Автор: Masroor Malik, Tim Armandpour

Принадлежит: Yodlee com Inc

A computerized appliance includes a non-transitory physical memory medium couple to the computerized appliance, and software executing on the computerized appliance from the non-transitory physical memory medium. The computerized appliance performs a method comprising steps of accessing an electronic information page on a network by proxy on behalf of a client, following a navigation template assembled from a plurality of functional logic blocks, determining failed execution of the navigation template, determining the logic block involved at the point of failure, determining information necessary to repair the logic block determined at the point of failure, creating a new modular logic block according to the information, and installing the newly-created modular logic block into the navigation template that failed, and automatically replacing the failed logic block in all stored navigation templates that depend on the failed logic block.

Подробнее

Номер записи: 13

16-02-2012 дата публикации

Systems and Methods for Debugging an Application Running on a Parallel-Processing Computer System

Номер: US20120042303A1

Автор: Christopher G. Demetriou, Matthew N. Papakipos, Noah L. Gibbs

Принадлежит: Demetriou Christopher G, Gibbs Noah L, Papakipos Matthew N

A runtime system implemented in accordance with the present invention provides an application platform for parallel-processing computer systems. Such a runtime system enables users to leverage the computational power of parallel-processing computer systems to accelerate/optimize numeric and array-intensive computations in their application programs. This enables greatly increased performance of high-performance computing (HPC) applications.

Подробнее

Номер записи: 14

23-02-2012 дата публикации

Multiplexing application and debug channels on a single usb connection

Номер: US20120047295A1

Автор: Chi Kwok Wong

Принадлежит: Individual

A computer system for software development and debugging for an embedded system includes a Universal Serial Bus (USB), a host computer comprising a USB driver interfaced with the USB, wherein the USB driver can multiplex application data and debug data to and from the USB, and an embedded system comprising a USB module interfaced with the USB. The USB module can multiplex the application data and the debug data to and from the host computer via the USB.

Подробнее

Номер записи: 15

23-02-2012 дата публикации

State driven test editor

Номер: US20120047488A1

Автор: Dietmar Strasser, Ernst Ambichl

Принадлежит: Micro Focus US Inc

A test script editor that easily can be used by anybody in the development team, including non-programmer business analyst testers. The test script editor enables building maintainable and stable test scripts by simple selecting from a set of accessible actions (a combination of the test object and the associated test method). The accessible actions can be calculated by application state engine by calculating all state transitions of preceding actions and subsequent actions in the script. The test script editor can provide context sensitive navigation help for appending steps at the end of the script, inserting steps within the script, changing existing steps and deleting steps.

Подробнее

Номер записи: 16

01-03-2012 дата публикации

Execution layer debugger

Номер: US20120054550A1

Автор: Efstratios Tsantilis, Roman Möhl, Zoltan Albrecht

Принадлежит: SAP SE

In one embodiment, a method includes determining an execution plan of a plurality of blocks in an application. The execution plan defines a structure for execution of blocks in the plurality of blocks. A debugging command is received in a debugger. An active block in the structure defined in the execution plan. A computing device performs a block level action on the active block.

Подробнее

Номер записи: 17

01-03-2012 дата публикации

System including a vendor computer system for testing software products in a cloud network

Номер: US20120054551A1

Автор: Jing-Bo HUANG, YU GAO, Yuan-Chun Liao

Принадлежит: Hewlett Packard Development Co LP

A system including a vendor computer system. The vendor computer includes a test controller and a resource controller. The test controller is configured to provide a central access point to the vendor computer system and to manage test cases. The resource controller is configured to control testing of software products. The resource controller allocates cloud resources in a cloud network to test the software products via the test case.

Подробнее

Номер записи: 18

01-03-2012 дата публикации

Method and system for a non-hierarchical trace system using a hierarchical control interface

Номер: US20120054558A1

Автор: Cameron James Mcallister, Philip Richard Taunton

Принадлежит: International Business Machines Corp

A method and system for tracing components in computer applications is provided in which trace data from components can be logged in real time. A hierarchical control interface 209 is used in which leaf nodes 306 - 311 represent components 204 being traced. The hierarchical control interface 209 includes means for setting trace levels for components 204 being traced. A non-hierarchical trace system 210 is used for carrying out the trace processing and includes means 320 for storing trace level settings received from the hierarchical control interface 209 . The trace system 210 also includes means 322 for receiving a call from a component 204 with trace data; means for checking the trace level settings 321 for the component 204 ; and means for storing or discarding the trace data accordingly.

Подробнее

Номер записи: 19

01-03-2012 дата публикации

Performing security assessments in an online services system

Номер: US20120054871A1

Автор: Brian Soby, Robert Fly

Принадлежит: Salesforce com Inc

A system and method for performing security assessments in an online services system. In one embodiment, a method includes receiving an accepted security assessment agreement from a user, where the security assessment agreement is associated with a software application utilized in an online services system. The method also includes receiving configuration data associated with the software application; receiving scanning data associated with the software application; and sending the configuration data and scanning data to one or more security assessment systems.

Подробнее

Номер записи: 20

15-03-2012 дата публикации

Data processing apparatus, trace unit and diagnostic apparatus

Номер: US20120066552A1

Автор: John Michael Horley, Paul Anthony Gilkerson

Принадлежит: ARM LTD

A trace circuit 8 is configured to generate a stream of trace data elements indicative of processing operations performed by a processing circuit 4 . The trace circuit 8 has a plurality of reference address registers 30 - 1 configured to store corresponding reference addresses. When the processing circuit 4 performs a processing operation associated with an associated memory address, the trace circuit 8 selects one of the reference address registers 30 - 1 as a selected reference address register, and generates a trace data element indicating: (i) which of the reference address registers 30 - 1 is the selected reference address register, and (ii) a difference, if any, between the associated memory address and the reference address of the selected reference address register. A diagnostic apparatus 20 for analysing the trace stream has a similar set of reference address registers 30 - 2 which are used to reconstruct the associated memory address from the generated trace data element.

Подробнее

Номер записи: 21

29-03-2012 дата публикации

Debugging of a data processing apparatus

Номер: US20120079458A1

Автор: Michael John Williams, Richard Roy Grisenthwaite

Принадлежит: ARM LTD

A data processing apparatus is provided comprising processing circuitry and instruction decoding circuitry. The data processing apparatus is capable of operating at a plurality of different privilege. Processing circuitry of the data processing apparatus imposes on program instructions different access permissions to at least one of a memory and a set of registers at different ones of the different privilege levels. A debug privilege-level switching instruction is provided and decoding circuitry is responsive to this instruction to switch the processing circuitry from a current privilege level to a target privilege level if the processing circuitry is in a debug mode. However, if the processing circuitry is in a non-debug mode the instruction decoding circuitry prevents execution of the privilege-level switching instruction regardless of the current privilege level.

Подробнее

Номер записи: 22

29-03-2012 дата публикации

Module Interrogation

Номер: US20120079508A1

Автор: Ashwin S. Needamangala, John R. Ashmun, Kantcho I. Bogdev, Mariyan D. Fransazov, Ying Deng

Принадлежит: Microsoft Corp

Module interrogation techniques are described in which modules configured to rely upon one or more operating system features are interrogated to determine which features are used and by which modules. A module is loaded that is configured to interact with a plurality of features provided by an operating system. Using one or more redirection techniques, calls made by the module to access features of the operating system are redirected to alternate functionality. Based on the redirection, data is generated to indicate the features of the operating system that are used by the module. The techniques may be performed for each of a plurality of modules to populate a database that relates features of the operating system to the plurality of modules.

Подробнее

Номер записи: 23

05-04-2012 дата публикации

Recording a Command Stream with a Rich Encoding Format for Capture and Playback of Graphics Content

Номер: US20120081378A1

Автор: Filip Iliescu, Jean-Francois Roy

Принадлежит: Apple Inc

Analyzing an application executing on a target device. An application may be executed on a target device. Low cost measurement may be gathered regarding the application executing on the target device. In response to a trigger, high cost measurement data may be gathered regarding the application executing on the target device. The high cost measurement data may include graphics commands provided by the application. The graphics commands and related information may be stored and provided to a host. The host may modify the graphics commands to perform experiments to determine performance issues of the application executing on the target device. The host may determine whether the performance is limited by the CPU or the GPU and may determine specific operations that are causing performance issues. The host may provide suggestions for overcoming the performance issues.

Подробнее

Номер записи: 24

05-04-2012 дата публикации

Confidence-based static analysis

Номер: US20120084755A1

Автор: Marco Pistoia, Omer Tripp

Принадлежит: International Business Machines Corp

Systems, methods and program products are provided for confidence-based static analysis, including initiating a static analysis of computer software, associating a confidence value with a first element of the static analysis, determining a current state of the static analysis, calculating an adjusted confidence value in accordance with a confidence adjustment function as applied to the current state and the confidence value associated with the first element, associating the adjusted confidence value with a second element of the static analysis resulting from a transition from the first element, and eliminating the second element from the static analysis if the adjusted confidence value meets elimination criteria.

Подробнее

Номер записи: 25

26-04-2012 дата публикации

Program for test case generation based on use case diagram and method for test case generation using the same

Номер: US20120101977A1

Автор: Hyunseung SON, Robertyoungchul Kim, Suchun Jin, Wooyeol Kim

Принадлежит: HANBACK ELECTRONICS Co Ltd, Industry Academic Cooperation Foundation of Hongik University

In the program for generating a test case based on a use case diagram and the method for generating a test case using the same according to exemplary embodiments of the present invention, since a use case specification specifying a procedure or method scenario performed in a use case diagram is used to complement insufficient information of a use case diagram used to extract a test case, a layer, although he is not a specialist or an expert, can easily generate a certain level of a test case to effectively perform a test. Thus, requirements can be verified in advance by generating a test case from a use case program, reducing the costs for a system development.

Подробнее

Номер записи: 26

26-04-2012 дата публикации

Software development

Номер: US20120102454A1

Автор: Andrew Wright, Mark Todd, Philip R. Lee, Stephen J. Burghard

Принадлежит: International Business Machines Corp

A method, system and computer program product for developing software in which the software comprises a plurality of programs. A change to a program is received. A data structure checking procedure may then be invoked. The changed program is parsed for a reference to a data structure. Other instances of the data structure are located in other programs within the software. The referenced data structure is compared to the located other instances of the data structure. A predefined action (such as notifying a programmer or correcting the inconsistencies) is performed in response to any detected differences between the referenced data structure and the located other instances of the data structure. These steps are repeated for all data structures within the changed program.

Подробнее

Номер записи: 27

26-04-2012 дата публикации

Collaborative Software Debugging In A Distributed System With Client-Specific Access Control

Номер: US20120102465A1

Автор: Cary L. Bates

Принадлежит: International Business Machines Corp

In a distributed system that includes a debug server and debug clients coupled for data communications through a data communications network, where the server includes a debug administrator, a message router, a back-end debugger, and a debuggee, collaborative software debugging includes receiving, by the debug server, a plurality of application-level messages, including receiving, from a session owner, a request to enable a predefined operational mode; enabling the predefined operational mode; routing, by the message router in accordance with an application-level message passing protocol and in accordance with the enabled predefined operational mode, the application-level messages among the debug clients, the debug administrator, and the back-end debugger, including providing distributed control of the back-end debugger to the debug clients with application-level messages routed to the back-end debugger; and returning, by the debug server to the debug clients in response to the application-level messages routed to the back-end debugger, client-specific debug results.

Подробнее

Номер записи: 28

03-05-2012 дата публикации

Method and apparatus for off-line analyzing crashed programs

Номер: US20120110383A1

Автор: Lijun An, Taiyun Wang

Принадлежит: HT mMOBILE Inc, Sunplus Technology Co Ltd

In a method for off-line analyzing crashed programs, a simulator of a debugger is made to enter into a running state, and set breakpoints in the running state. Register and memory signals are separated from a dump signal outputted by a platform during crash. The debugger is used to replace, at the breakpoints, register and memory signals of the simulator originally in the running state with the register and memory signals separated from the dump signal. A debugging signal in the running state is replaced with a debugging signal during crash. The debugger is used to analyze reasons of crash based on the debugging, register, and memory signals after replacement. By separating the register and memory signals from the dump signals outputted by the platform during crash without involving any OS signal, there is no need to modify the platform and the GDB debugger when analyzing the reasons of crash.

Подробнее

Номер записи: 29

03-05-2012 дата публикации

Trace synchronization

Номер: US20120110387A1

Автор: Andrew Brookfield Swaine, John Michael Horley, Michael John Williams, Sheldon James Woodhouse, Thomas Sean Houlihane

Принадлежит: ARM LTD

A data processing apparatus having one or more trace data sources. At least one of said trace data sources includes a trace data generator responsive to activity in monitored circuitry to generate trace data representing said activity. A synchronization marker generator is coupled to the trace data generator and operates to generate a synchronization marker and insert the synchronization marker into the trace data stream. A controller is coupled to the synchronization marker generator to generate and insert a synchronization marker into the trace data stream. The controller controls initiation in dependence on behavior of the data processing apparatus downstream of the trace data generator. In this way, the downstream behavior of the data processing apparatus can be made to influence the rate and timing of insertion of synchronization markers into a trace data stream.

Подробнее

Номер записи: 30

03-05-2012 дата публикации

Dynamic and intelligent partial computation management for efficient parallelization of software analysis in a distributed computing environment

Номер: US20120110580A1

Автор: Indradeep Ghosh, Mukul Ranjan Prasad

Принадлежит: Fujitsu Ltd

A method for verifying software includes determining the result of a bounding function, and using the result of the bounding function to apply one or more policies to the execution of the received job. The bounding function evaluates the execution of a received job, the received job indicating a portion of software to be verified. The result of the bounding function is based upon the present execution of the received job, one or more historical parameters, and an evaluation of the number of idle nodes available to process other jobs.

Подробнее

Номер записи: 31

17-05-2012 дата публикации

Testing Software On A Computer System

Номер: US20120123761A1

Автор: Aled A. Griffiths, Joel M. Keeble, Mark Brady, Michael O'Connor

Принадлежит: International Business Machines Corp

A method is provided for testing a computer system, which system includes an interface supporting connection to one or more hardware devices. The method comprises initially performing a plurality of discrete software test processes in a first order of performance. For each test process, by reference to the said interface, the hardware device interactions occasioned by each said test process are recorded. Subsequently the said test processes are run in a second order of performance, which second order is derived from the record of hardware device interactions. A computer system configured to implement the method is also provided.

Подробнее

Номер записи: 32

17-05-2012 дата публикации

Traceability in a modeling environment

Номер: US20120124552A1

Автор: Aravind Pillarisetti, Kai Tuschner, William J. Aldrich, Xiaocang Lin

Принадлежит: MathWorks Inc

Exemplary embodiments employ a mapping among entities that are related to each other. The entities may include a graphical model, generated code, a generated report, a requirements document and/or an intermediate representation. The mapping may facilitate graphical identifications between parts of one entity that maps to part of another entity. The graphical identification may occur based on a selection of a part in one of the entities.

Подробнее

Номер записи: 33

24-05-2012 дата публикации

Symbolic finite automata

Номер: US20120130932A1

Автор: Jonathan Paul de Halleux, Margus Veanes, Nikolai Tillmann

Принадлежит: Microsoft Corp

Described are symbolic finite automata for symbolically expressing and analyzing regular expression constraints, such as for use in program analysis and testing. A regular expression or pattern is transformed into a symbolic finite automaton having transitions that are labeled by formulas that denote sets of characters (rather than individual characters). Also described is composing two or more symbolic finite automata into a resulting symbolic finite automaton that is fully satisfiable. A constraint solver may be used to ensure satisfiability.

Подробнее

Номер записи: 34

24-05-2012 дата публикации

Capture and Playback for GUI-Based Tasks

Номер: US20120131456A1

Автор: FAN LI, JIANG LI, Qingwei Lin

Принадлежит: Microsoft Corp

Described herein are techniques for capture and playback of user-performed GUI-based (Graphical User Interface) tasks across multiple GUI-based applications. The described techniques include performing the playback of such tasks without depending upon the playback environmental conditions matching the original capture conditions.

Подробнее

Номер записи: 35

24-05-2012 дата публикации

Controlling performance and scalability of a software application during development

Номер: US20120131554A1

Автор: Christian Mohr, Veit Bolik, Wolfgang Mueller

Принадлежит: Individual

Various embodiments of systems and methods for controlling a performance and scalability of a software application during development are described herein. A method includes generating a test environment to repeatedly trigger a test on an executable software module from a beginning of a development phase. In response to triggering, reading a set of input data, evaluating a measurement result corresponding to each input data, determining a relation of the measurement results as one of a linear and a non-linear relative to the set of input data, and initiating a corrective action for the software module if the non-linear relation is determined. The method employs the linearity (linear and non-linear relation) as a key performance indicator (KPI) to control the performance and/or scalability of the software module during development. A repetitive and/or regular testing of performance and scalability using the linearity as KPI while developing the application ensures a high performance complaint and scalable application after development.

Подробнее

Номер записи: 36

24-05-2012 дата публикации

Managing breakpoints in a multi-threaded environment

Номер: US20120131558A1

Автор: Cary Lee Bates, Paul W. Buenger, Steven Gene Halverson

Принадлежит: International Business Machines Corp

An electronic device is provided that, in an embodiment, saves a plurality of values for a variable specified by a condition after a respective plurality of encounters of a breakpoint by a program that modifies the variable. One of the plurality of values is selected based on a condition. A determination is made whether to stop execution of the program at the breakpoint based on the one of the plurality of the values. Execution of the program is stopped at the breakpoint if the determining is true. The program is allowed to continue to execute if the determining is false.

Подробнее

Номер записи: 37

24-05-2012 дата публикации

Virtual machine testing

Номер: US20120131560A1

Автор: Ali Y. Duale, Dennis W. Wittig, Shailesh R. Gami

Принадлежит: International Business Machines Corp

A system for testing a base machine includes the base machine that has a base feature set (BFS) and a testing module. The system also includes a test case generator, configured to: select a prior level of the base machine, the prior level having a legacy architecture; determine a feature set of the legacy architecture based on the BFS; generate a set of test instructions based on the feature set; and provide the set of test instructions to the testing module.

Подробнее

Номер записи: 38

31-05-2012 дата публикации

Skip list generation

Номер: US20120136871A1

Автор: Alexander Zaphob Barnes, David Karlov, Herve Soulard

Принадлежит: Canon Inc

A method of generating a skip list is disclosed. The skip list comprises a data structure for referencing a plurality of ordered nodes, the data structure having a plurality of linked lists, a total number of the plurality of linked lists being constrained by an available memory of a memory system, the method comprising the steps of: inserting a first node of the plurality of nodes into a predetermined linked list of the plurality of linked lists of the data structure of the skip list in the available memory; promoting the first node to one or more other linked lists based on a first set of criteria; and generating the skip list by inserting at least a second node of the plurality of nodes into the data structure and promoting the second node based on a second set of criteria, said second set of criteria being different from the first set of criteria.

Подробнее

Номер записи: 39

31-05-2012 дата публикации

Stream based debugging techniques

Номер: US20120137178A1

Автор: Eric L. Barsness, John M. Santosuosso, Michael D. Pfeifer, Ryan K. Cradick

Принадлежит: International Business Machines Corp

Techniques are described for debugging a processing element (or elements) in a stream based database application in a manner that reduces the impact of debugging the processing element (or elements) on the overall running environment by selectively fusing (or un-fusing) processing elements running on a group of compute nodes. In addition to fusing and un-fusing processing elements or otherwise modifying a state of the stream application, a debugging application and stream manager may modify data flows within the application stream in a variety of ways to minimize any disruption resulting from a debugging session.

Подробнее

Номер записи: 40

31-05-2012 дата публикации

Tracking Information Flow

Номер: US20120137275A1

Автор: Ernest S. Cohen

Принадлежит: Microsoft Corp

This invention provides a technique for tracking information flow in a computer program or system, dynamically marking variables as high or low to indicate whether there has possibly been direct flow to that variable from the data initially marked high. Each conditional and loop test is classified as high or low, based only on low data. An assignment of an expression to a variable marks the variable high if the expression contains a variable marked high, or if the assignment occurs during execution of the body of a test that was classified as high; otherwise the assignment marks the variable low. Program execution aborts if the classifying expression for a test depends on the value of a high variable, or if the test is classified low, the test includes a high variable, and the test evaluates to false.

Подробнее

Номер записи: 41

07-06-2012 дата публикации

Concurrent workload simulation for application performance testing

Номер: US20120143588A1

Автор: Dang E. Ren, Li P. Li, Peng P. Wang, Zhi C. Liu

Принадлежит: International Business Machines Corp

Embodiments of the present invention provide a method, system and computer program product for concurrent workload simulation for application performance testing. In an embodiment of the invention, a method for concurrent workload simulation for application performance testing is provided. The method includes loading a list of recorded workloads for different tasks of a computing application under test in a workload simulator executing in memory by at least one processor of a host computer. The method also includes grouping the recorded workloads by common task in a corresponding block. Finally, the method includes generating loads for simulating performance of the computing application under test from the grouped workloads so as to require serial execution of workloads in a common block in order of appearance in the common block, but to allow concurrent execution of workloads in different blocks.

Подробнее

Номер записи: 42

14-06-2012 дата публикации

Display of data from parallel programming contexts

Номер: US20120151447A1

Автор: Daniel Moth, Paul E. Maybee

Принадлежит: Microsoft Corp

The display of a debugging interface for use with parallel computing. When a break state has been entered in a particular code context (such as a method) by a particular execution context (such as a thread), related execution contexts are found that were also executing in the particular code context. While in the break state, multiple expressions are then evaluated for each of the execution contexts. The results are then displayed with perhaps navigation controls that allow the results to be efficiently navigated.

Подробнее

Номер записи: 43

21-06-2012 дата публикации

Active server system monitor

Номер: US20120158827A1

Автор: Robin Montague Mathews

Принадлежит: VERIZON PATENT AND LICENSING INC

A system may include a home media server, a plurality of clients of the home media server, and a plurality of entities executed by the home media server and configured to provide media content instances to the plurality of clients. The system may further include an active server system monitor configured to register an entity of the plurality of entities, determine at least one monitoring parameter associated with the registered entity, monitor the registered entity according to the at least one monitoring parameter to determine an issue with the registered entity, and if an issue is determined, terminate and restart the registered entity.

Подробнее

Номер записи: 44

21-06-2012 дата публикации

Displaying values of variables in a first thread modified by another thread

Номер: US20120159117A1

Автор: Cary L. Bates

Принадлежит: International Business Machines Corp

In an embodiment, an address watch is established on a memory address while the execution of a first thread of a program is halted. In response to a second thread modifying memory contents at the memory address, encountering the address watch and halting, a determination is made whether a first variable in the program that represents the memory address is displayed on a user interface for the first thread. If the first variable in the program that represents the memory address is displayed on the user interface for the first thread, the value of the first variable is read and displayed on the user interface of the first thread.

Подробнее

Номер записи: 45

21-06-2012 дата публикации

Automatically changing parts in response to tests

Номер: US20120159247A1

Автор: Frederick A. Kulack, John E. Petri, Todd E. Johnson

Принадлежит: International Business Machines Corp

In an embodiment, in response to an error encountered by a test of a program, a rule is found that specifies the error and an action. A part in the program is selected in response to the action, the part is modified, and the test is re-executed. In various embodiments, the part is modified by changing the code in the part or by replacing the part with a previous version of the part.

Подробнее

Номер записи: 46

21-06-2012 дата публикации

Debugger presentation of parallel application threads

Номер: US20120159261A1

Автор: Daniel Demetris George Moth, Paul Edward Maybee

Принадлежит: Microsoft Corp

User interface technologies for viewing the state of threads of a target parallel application, such as a massively parallel application intended to run on a GPGPU system, during debugging of the target parallel application are disclosed. The target parallel application includes a kernel, and the kernel includes a set of threads. Coalesced thread information of the threads is presented with the user interface technologies based on user-controllable criteria.

Подробнее

Номер записи: 47

28-06-2012 дата публикации

Methods and tools to debug complex multi-core, multi-socket qpi based system

Номер: US20120166882A1

Автор: Binata Bhattacharyya, Jayakrishna Guddeti, Keshavan K. Tiruvallur

Принадлежит: Intel Corp

Methods and apparatus relating to debugging complex multi-core and/or multi-socket systems are described. In one embodiment, a debug controller detects an event corresponding to a failure in a computing system and transmits data corresponding to the event to one of the other debug controllers in the system. Other embodiments are also disclosed and claimed.

Подробнее

Номер записи: 48

28-06-2012 дата публикации

Software static testing apparatus and method

Номер: US20120167037A1

Автор: Jeong-Hwan Kim, Sa-Choun PARK

Принадлежит: Electronics and Telecommunications Research Institute ETRI

A software static testing apparatus generates code by integrating a plurality of source files corresponding to automotive software, creates logical expressions for the code and a test case, and performs testing of the plurality of source files using a resulting logical expression obtained by using the logical expression for the code and the logical expression for the test case.

Подробнее

Номер записи: 49

28-06-2012 дата публикации

Apparatus and method for evaluating autosar meta file-based basic software properties

Номер: US20120167045A1

Автор: Boo-Sun JEON, Hyun-soon Nam, Joo-Chul Lee, Ki-soon Sung, Tae-Man Han

Принадлежит: Electronics and Telecommunications Research Institute ETRI

Disclosed herein is an apparatus for evaluating Automobile Open System Architecture (AUTOSAR) meta file-based basic software properties. The apparatus includes a meta file generation unit, a basic software configuration unit, and a basic software property evaluation unit. The meta file generation unit generates the meta file properties of an AUTOSAR meta file. The basic software configuration unit sets the basic software properties of a basic software configuration file. The basic software property evaluation unit evaluates basic software properties using the meta file properties in order to determine whether the basic software properties were set in conformity with an AUTOSAR standard.

Подробнее

Номер записи: 50

28-06-2012 дата публикации

Efficiently developing software using test cases to check the conformity of the software to the requirements

Номер: US20120167055A1

Автор: Atsushi Yokoi

Принадлежит: International Business Machines Corp

A method for efficiently developing software and supporting creation of source code so as to develop software that meets the requirements. A plurality of test cases defining a plurality of respective tests to be executed to check the conformity of the software to the requirements are used. In a test execution step, one or more specific test cases selected from the plurality of test cases are executed or the specific test cases are caused to be executed. Furthermore, a test result of a test case executed or caused to be executed in the test case execution step is added to the source code.

Подробнее

Номер записи: 51

28-06-2012 дата публикации

Evaluating Coverage of a Software Test

Номер: US20120167059A1

Автор: Masahiko Kosuda

Принадлежит: International Business Machines Corp

Evaluating the coverage of a test, the evaluating including using an apparatus that includes a storage component, an analysis component, and an output component. The storage component is for storing log data of a plurality of tests. The log data includes a plurality of input values that are input to a specified input field on a specified screen and transmitted to a server in each of the plurality of tests that use the specified screen displayed on a client device. The analysis component is for performing analysis that includes analyzing to what extent the plurality of input values included in the log data stored in the storage component cover values that should be input to the specified input field in the plurality of tests. The output component is for outputting a result of the analyzing from the analysis component.

Подробнее

Номер записи: 52

05-07-2012 дата публикации

Cache Result Register for Quick Cache Information Lookup

Номер: US20120173825A1

Автор: Kevin C. Heuer, Robert A. McGowan, Robert Ehrlich

Принадлежит: FREESCALE SEMICONDUCTOR INC

Each level of cache within a memory hierarchy of a device is configured with a cache results register (CRR). The caches are coupled to a debugger interface via a peripheral bus. The device is placed in debug mode, and a debugger forwards a transaction address (TA) of a dummy transaction to the device. On receipt of the TA, the device processor forwards the TA via the system bus to the memory hierarchy to initiate an address lookup operation within each level of cache. For each cache in which the TA hits, the cache controller (debug) logic updates the cache's CRR with Hit, Way, and Index values, identifying the physical storage location within the particular cache at which the corresponding instruction/data is stored. The debugger retrieves information about the hit/miss status, the physical storage location and/or a copy of the data via direct requests over the peripheral bus.

Подробнее

Номер записи: 53

05-07-2012 дата публикации

Three-dimensional gui object stores in automation test tools

Номер: US20120173998A1

Автор: Nitin CHATURVEDI, Varun K. Mishra

Принадлежит: International Business Machines Corp

A method for storing graphical user interface (GUI) object properties includes: storing GUI object properties for each GUI object for a starting version of an application in an object map; associating the stored GUI object properties for each GUI object with a starting version identifier; determining that at least one of the GUI objects is changed; in response to determining that the at least one GUI object is changed, storing modifications of the GUI object properties for the at least one GUI object in the object map; and associating the modifications of the GUI object properties for the at least one GUI object with a new version identifier of the application. Over time, the object map contains multiple variants of the GUI objects. An automation test tool may use this object map to intelligently select appropriate GUI object version for recognition at script run time.

Подробнее

Номер записи: 54

12-07-2012 дата публикации

Flow analysis instrumentation

Номер: US20120179726A1

Автор: Andrew F. Roberts

Принадлежит: Ab Initio Original Works LLC, Ab Initio Software LLC, Ab Initio Technology LLC

Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for flow analysis. In one aspect, a method includes modifying a dataflow graph, the dataflow graph including a plurality of paths connecting at least one entry point and at least one exit point, including adding components to the dataflow graph that add flow units to data records and remove flow units from data records, each flow unit identifying a segment of a path traversed by the data record. The method also includes identifying execution paths based on flow units obtained by processing a plurality of data records using the modified dataflow graph. The method also includes determining a subset of the plurality of data records, wherein a selected set of execution paths are represented by the subset.

Подробнее

Номер записи: 55

19-07-2012 дата публикации

Apparatus and method for compressing trace data

Номер: US20120185675A1

Автор: Chang-Moo Kim, Dong-hoon Yoo, Hee-Jun Shim, Jae-Young Kim, Yeon-gon Cho

Принадлежит: SAMSUNG ELECTRONICS CO LTD

An apparatus and method for compressing trace data is provided. The apparatus includes a detection unit configured to detect trace data corresponding to one or more function units performing a substantially significant operation in a reconfigurable processor as valid trace data, and a compression unit configured to compress the valid trace data.

Подробнее

Номер записи: 56

19-07-2012 дата публикации

Method of measuring and diagnosing misbehaviors of software components and resources

Номер: US20120185732A1

Автор: Ashwin Kumar Karkala, Govinda Raj Sambamurthy, Rahul Goyal, Raji Sankar, Sandeep Pandita

Принадлежит: Oracle International Corp

Systems and methods are described for diagnosing behavior of software components in an application server. The application server can comprise a plurality of components that process incoming requests. A diagnostics advisor can be deployed with the application server and can determine an efficiency and/or inefficiency of each of the components of the application server or other middleware system. The efficiency determined by computing a ratio of a number of requests that completed execution in the component during a particular sampling time period to the number of requests that were received by the component during the sampling time period. The inefficiency is the inverse of efficiency, i.e. it is a ratio of the number of requests that are still being executed by the one or more components at the end of the sampling time period to the number of requests that were received by the one or more components during the sampling time period. The diagnostics advisor employs the determined efficiency and/or inefficiency to diagnose a misbehavior or other problem of the components in the application server.

Подробнее

Номер записи: 57

19-07-2012 дата публикации

Apparatus and method for detecting a memory access error

Номер: US20120185741A1

Автор: Alexey Anatolevich Gerenkov, Ekaterina Anatolevna Gorelkina, Sergey Sergeevich Grekhov

Принадлежит: SAMSUNG ELECTRONICS CO LTD

Provided are an apparatus and method for detecting a memory access error in a computer system. The apparatus and method may intercept a sub-system that processes a request for access to a memory, and may be applied to various computer systems without causing any performance deterioration. The apparatus includes a sub-system configured to process a request for access to a memory, and an interception module configured to detect a memory access address by intercepting the sub-system.

Подробнее

Номер записи: 58

19-07-2012 дата публикации

Testing Software Applications with Progress Tracking

Номер: US20120185832A1

Автор: Gianluca Seghetti, Riccardo Rossi

Принадлежит: International Business Machines Corp

Methods for testing a software application by providing one or more test units. Each test unit is adapted to verify a feature of the software application. A weight is assigned to each test unit. A theoretical sequence of execution of the test units is determined for the assigned weights and the test units are executed for the theoretical sequence.

Подробнее

Номер записи: 59

26-07-2012 дата публикации

Verification of Signal Processing Using Intelligent Points

Номер: US20120192013A1

Автор: Carlo Amalfitano, Christopher Marot, Timothy Stockton

Принадлежит: Certon Software Inc

A technique for debugging of a signal processing program or model (or the debugging and reconciliation of two independent software instantiations). Timelines (Vectors) of signal values for verification are condensed to a small amount of information, easy to understand and manage. The information is stored in “Intelligent Points”, which can be graphically specified by the test engineering. The Intelligent Points can include one or more attributes that describe how to generate the appropriate signals. The information so stored can then be automatically expanded to complete timelines.

Подробнее

Номер записи: 60

26-07-2012 дата публикации

Handling breakpoints in an asynchronous debug model

Номер: US20120192160A1

Автор: Roger H.E. Pett

Принадлежит: International Business Machines Corp

Breakpoints are handled in an asynchronous debug model by building a queue of basic operations to run a debug application program interface (API). User commands are each broken down into a simple command and placed on the queue. In response to a debug event, a new simple command is generated. If, when a first command on the queue is processed, a thread is not stopped at a location with an installed breakpoint, an operation corresponding to the first command is started, the operation is removed from the queue, and a next operation is started. If the thread is stopped at the location with the breakpoint, the thread performs a hop. When the hop terminates, the first command is removed from the queue. If the first command is a run command, and there is no cause to stop the thread, the run command is moved to the end of the queue.

Подробнее

Номер записи: 61

26-07-2012 дата публикации

Optimizing Handlers for Application-Specific Operations for Validating C++ Programs Using Symbolic Execution

Номер: US20120192162A1

Автор: Guodong Li, Indradeep Ghosh, Sreeranga P. Rajan

Принадлежит: Fujitsu Ltd

Particular embodiments discover a relationship between a plurality of methods of a C++ object; define one or more rules to represent the relationship; verify the rules by symbolically executing the methods; and if the rules are verified, then use the rules when symbolically executing the methods so that bytecode of the methods is not executed.

Подробнее

Номер записи: 62

02-08-2012 дата публикации

Automatically Testing a Web Application That Has Independent Display Trees

Номер: US20120198351A1

Автор: Diar Ahmed, Gary Look, Hugh Zhang, Prashant Singh, Teck Hua Lee

Принадлежит: Oracle International Corp

An automatic testing application is provided that can simulate a user interaction with a web application. The automatic testing application can determine that the web application has been completely displayed within a graphical user interface of a web browser using a consistent global page state. The automatic testing application can test that the web application has been correctly displayed by verifying a state of a visualization component of the web application using a communication component. Subsequently, the automatic testing application can transmit an event to the web application that can modify the state of the visualization component using the communication component. Once the automatic testing application has determined that the web application has been completely re-displayed, using the consistent global page state, the automatic testing application can test that the web application has been correctly re-displayed by verifying a modified state of the visualization component using the communication component.

Подробнее

Номер записи: 63

02-08-2012 дата публикации

Providing Programming Support to Debuggers

Номер: US20120198424A1

Автор: Madhusudanan Kandasamy, Vidya Ranganathan

Принадлежит: International Business Machines Corp

Method for providing programming support to a debugger are disclosed. The method includes defining at least one debugger programming statement, and instructing the debugger to execute the at least one debugger programming statement which modifies a least a portion of the computer program during execution of the computer program without recompiling the computer program. The debugger may be instructed to execute the at least one debugger programming statement at a specified position of the computer program. The at least one debugger programming statement may include a delete instruction that instructs the debugger to prevent one or more programming statements at a specified position in the computer program from being executed. The debugger may be instructed to execute the at least one debugger programming statement instead of one or more programming statements at a specified position in the computer program without recompiling the computer program.

Подробнее

Номер записи: 64

02-08-2012 дата публикации

Deadlock Detection Method and System for Parallel Programs

Номер: US20120198460A1

Автор: YAO Qi, Yong Zheng, Zhi Da Luo

Принадлежит: International Business Machines Corp

A deadlock detection method and computer system for parallel programs. A determination is made that a lock of the parallel programs is no longer used in a running procedure of the parallel programs. A node corresponding to the lock that is no longer used, and edges relating to the lock that is no longer used, are deleted from a lock graph corresponding to the running procedure of the parallel programs in order to acquire an updated lock graph. The lock graph is constructed according to a lock operation of the parallel programs. Deadlock detection is then performed on the updated lock graph.

Подробнее

Номер записи: 65

09-08-2012 дата публикации

Determining Deltas in a Spatial Locality of a Function Call Graph in a Source Controlled System

Номер: US20120204152A1

Автор: Pavan L. Advani

Принадлежит: International Business Machines Corp

In and for software projects, arrangements for permitting a user to understand how the spatial locality of a function call may have changed with respect to any changes in a function definition. This permits an analysis of different workflows which use the same function, wherein the definition of the function may have changed. To the extent that there might be corresponding changes in the workflows which use such a function, the user will readily develop an idea of why some workflows changed and some did not. The invention method and apparatus determine and display deltas (changes) between different versions of a file where the function call occurs.

Подробнее

Номер записи: 66

09-08-2012 дата публикации

Program generating apparatus and program generating method

Номер: US20120204182A1

Автор: Masahiro Doteguchi

Принадлежит: Fujitsu Ltd

A program generating apparatus includes a second program generating unit to generate a second program including a memory image that reproduces data used to execute a subsection by a first arithmetic unit, subsection information including initial value information at the start position of the subsection, a program controlling portion to store the memory image in a second storing unit used by a second arithmetic unit, to set the second arithmetic unit to the same state as the first arithmetic unit at the start position of the subsection, and to cause the second arithmetic unit to execute the subsection of a first program, a monitor program including a function needed to execute the first program, and a monitor program initializing portion to make settings for causing the monitor program to provide a service requested when the second arithmetic unit executes the first program.

Подробнее

Номер записи: 67

16-08-2012 дата публикации

System and Method for Application Testing

Номер: US20120210306A1

Автор: Neal E. Tucker, Todd Greenwood-Geer

Принадлежит: Zumobi LLC

The present invention is directed to a system and method which allows applications that are otherwise not addressable by a network to be accessed and tested via the network. For test purposes, an Application Under Test (AUT) is bundled with a several components that allow a Test Server (TS) to access the AUT as if the AUT were directly addressable via the network. In one embodiment, the AUT is bundled with a Client Proxy (CP). The client proxy is also limited in that it also is not addressable by the test server. However, the client proxy can make outgoing socket connections (HTTP, in this implementation). The client proxy queries a Server Proxy (SP) for queued requests, sends the appropriate commands to the AUT, and then responds to the SP with the results. The combination of the SP and the CP, working in tandem, abstract the network connection to the device and provide a virtual connection to the AUT. To the TS, there is a socket (HTTP) connection directly to the device, and thus the methods are invoked directly on the device.

Подробнее

Номер записи: 68

30-08-2012 дата публикации

Loading and Debugging Method and Debugging System Thereof

Номер: US20120222010A1

Автор: Haijian He, Xiaohui Wu

Принадлежит: ZTE Corp

A loading and debugging method and a debugging system thereof are disclosed in the present invention, wherein the debugging method includes: loading a relocatable program according to an order of input segments in an ARM image file; compiling a link of the loaded relocatable program to generate an executable file; and loading the executable file into a debugging tool, to realize the debugging of the relocatable program. The present invention achieves the debugging of a dynamic program loaded dynamically, and addresses the issue that the symbol information of the loaded relocatable file cannot be acquired and the code debugging cannot be performed directly when the relocatable file is loaded dynamically.

Подробнее

Номер записи: 69

30-08-2012 дата публикации

Method and apparatus for detecting software bugs

Номер: US20120222014A1

Автор: Doron Peretz, Eli Shalom

Принадлежит: Typemock Ltd

A computer-implemented method and apparatus for unit testing, the method comprising: intercepting user interactions when a user is testing a function implemented by user code; recording execution data for the function execution; generating one or more tests based on the execution data, wherein each test is generated in accordance with a heuristic applicable for the function; detecting a code change in the function; and automatically executing the tests function to test the user code as changed.

Подробнее

Номер записи: 70

06-09-2012 дата публикации

Method and System for Monitoring and Debugging Access to a Bus Slave Using One or More Throughput Counters

Номер: US20120226839A1

Автор: Akila Subramaniam, Brian Cruickshank, Charles Fuoco, Chunhua Hu, Samuel Paul Visalli

Принадлежит: Texas Instruments Inc

A bus monitoring and debugging system operating independently without impacting the normal operation of the CPU and without adding any overhead to the application being monitored. Bus transactions to a selected slave are monitored to determine possible conflicts when multiple masters may be addressing the slave. Users are alerted to timing problems as they occur, and bus statistics that are relevant to providing insight to system operation are automatically captured. Logging of relevant events may be enabled or disabled when a sliding time window expires, by a selected address range or alternatively by external trigger events.

Подробнее

Номер записи: 71

06-09-2012 дата публикации

Assist Thread Analysis and Debug Mechanism

Номер: US20120226946A1

Автор: Giles Roger Frazier, Richard Louis Arndt

Принадлежит: International Business Machines Corp

A processor recognizes a request from a program executing on a first hardware thread to initiate software code on a second hardware thread. In response, the second hardware thread initiates and commences executing the software code. During execution, the software code uses hardware registers of the second hardware thread to store data. Upon termination of the software code, the second hardware thread invokes a hypervisor program, which extracts data from the hardware registers and stores the extracted data in a shared memory area. In turn, a debug routine executes and retrieves the extracted data from the shared memory area.

Подробнее

Номер записи: 72

13-09-2012 дата публикации

Efficient model checking technique for finding software defects

Номер: US20120233599A1

Автор: Cristina N. Cifuentes, Manuel Javier Valdiviezo Basauri

Принадлежит: Oracle International Corp

A method for detecting defects in a computer program. The method steps include obtaining source code and a potential defect definition; identifying, based on the potential defect definition, a set of program objects associated with a potential defect in the source code; extracting an executable program slice having the potential defect from the source code; generating, by a processor, an abstracted model of the program slice by: modeling, using data abstraction, the set of program objects as data-abstracted variables, identifying, within the program slice, a set of control statements including predicates necessary for evaluating the set of control statements, modeling, using predicate abstraction, the predicates as predicate-abstracted Boolean variables, and creating, based on the data-abstracted variables and the predicate-abstracted Boolean variables, a finite state machine (FSM) model of the program slice; and identifying an error state of the FSM indicating an occurrence of the potential defect within the program slice.

Подробнее

Номер записи: 73

20-09-2012 дата публикации

Application services source refactoring

Номер: US20120240104A1

Автор: Donald J. Yantzi, Ibrahim Batthish, Satish Gungabeesoon

Принадлежит: International Business Machines Corp

An embodiment of the disclosure can compile source of an interactive application with debug options enabled. Execution activity of the interactive application can be enabled. A code path of a selected service of the interactive application can be executed in a debug environment using a user interface of the selected service to identify execution data associated with the selected service. Unresolved branch conditions in the execution data can be addressed for each code path of the selected service. A source extraction of the selected service can be performed.

Подробнее

Номер записи: 74

27-09-2012 дата публикации

Analyzing factory processes in a software factory

Номер: US20120245896A1

Автор: Daniel V. Oppenheim, Fausto Bernardini, Jarir K. Chaar, Joseph P. Huchel, Krishna C. Ratakonda, Thomas A. Jobson, Jr., Yi-Min Chee

Принадлежит: International Business Machines Corp

A method, system, and/or computer-readable medium analyzes problems in a software factory. Factory metrics that describe resources and operations within the software factory are collected and analyzed to detect problems that might have occurred during an execution of a work packet within the software factory. If the detected problems exceed one or more threshold criteria, then a detailed analysis of the detected problems is performed by matching each detected problem to one or more specific root causes through an analysis of the factory process building blocks.

Подробнее

Номер записи: 75

27-09-2012 дата публикации

Debugging data mappings

Номер: US20120246519A1

Автор: Boris Savov

Принадлежит: Individual

Various embodiments of systems and methods for data mappings with visual debugging capabilities are described herein. A debugger is used to debug data transformations while presenting the actual transformation being debugged. The mapping being debugged is depicted differently than the rest of the mappings. A user can check the current context, continue debugging, resume execution, or terminate the debug session.

Подробнее

Номер записи: 76

27-09-2012 дата публикации

Debugger-set identifying breakpoints after coroutine yield points

Номер: US20120246624A1

Автор: Dmitry Lomov, Gregory B. Miskelly, Ian W. J. Halliday, Kayle K. Hinkle, III, Stephen H. Toub

Принадлежит: Microsoft Corp

A debugger can step through target code in a computer program. The debugger can identify a coroutine yield point in the target code, and can obtain identifying information to identify continued processing of a coroutine instance triggered by the operator. The debugger can set a breakpoint at a location for continued stepping after the coroutine yield point. The breakpoint can have a condition of matching the identifying information with runtime information. The debugger can perform the coroutine instance and resume execution of the target code after the coroutine yield point. The debugger can also encounter the breakpoint in the target code, and can determine whether the condition of the breakpoint is met. If so, the debugger can pause execution of the target code at the breakpoint. If not, the debugger can continue execution of the target code past the breakpoint without pausing at the breakpoint.

Подробнее

Номер записи: 77

27-09-2012 дата публикации

Automatic Verification of Determinism for Parallel Programs

Номер: US20120246662A1

Автор: Eran Yahav, Martin Vechev, Raghavan Raman, Sarkar Vivek

Принадлежит: International Business Machines Corp

Automatic verification of deteiminism in structured parallel programs includes sequentially establishing whether code for each of a plurality of tasks of the structured parallel program is independent, outputting sequential proofs corresponding to the independence of the code for each of the plurality of tasks and deteimining whether all memory locations accessed by parallel tasks of the plurality of tasks are independent based on the sequential proofs.

Подробнее

Номер записи: 78

04-10-2012 дата публикации

Thread folding tool

Номер: US20120254880A1

Автор: Kirk J. Krauss

Принадлежит: International Business Machines Corp

A computer-implemented method of performing runtime analysis on and control of a multithreaded computer program. One embodiment of the present invention can include identifying threads of a computer program to be analyzed. Under control of a supervisor thread, a plurality of the identified threads can be folded together to be executed as a folded thread. The execution of the folded thread can be monitored to determine a status of the identified threads. An indicator corresponding to the determined status of the identified threads can be presented in a user interface that is presented on a display.

Подробнее

Номер записи: 79

11-10-2012 дата публикации

Early analysis of software design diagrams

Номер: US20120260230A1

Автор: Mursheid Khan, Naresh Balaram Choudhary

Принадлежит: Infosys Ltd

Methods, apparatus, and computer-readable media for analyzing the prospective quality of source code produced according to a class representation (e.g., a UML class diagram) are disclosed. According to one embodiment, a class-level representation of a software application is received, one or more object classes of the class-level representation are selected, and a number of quality metrics are calculated for the selected object classes. The quality metrics can be output as a report or used to modify object classes of the class representation to improve the prospective quality of source code produced according to the class representation.

Подробнее

Номер записи: 80

11-10-2012 дата публикации

Testing system

Номер: US20120260234A1

Автор: Jevanthi Priva C.K., Moksha Suryakant Jivane, Nandita Babu, Nikhil Patwardhan, Sarang Kamlesh Barpatre, Sushant Vale

Принадлежит: Tata Consultancy Services Ltd

The present subject matter relates a testing system for an application. The system includes a test data generation module to generate test data for a program code. The test data generation module in turn includes a relational expression creation module that determines a relational expression corresponding to a set of parameters of the program code based on a rule indicating a format of a valid test data for the parameters. A boundary recognition module identifies a set of boundary values of the parameters based on the relational expression. Further, a solver module then generates valid test data and invalid test data for the parameters based on the boundary values.

Подробнее

Номер записи: 81

18-10-2012 дата публикации

Testing and mitigation framework for networked devices

Номер: US20120265490A1

Автор: Daniel Malcolm Hoffman, Frank Markus, Nathan John Walter Kube

Принадлежит: Individual

The present disclosure generally relates to the automated testing of a system that includes software or hardware components. In some embodiments, a testing framework generates a set of test cases for a system under test using a grammar Each test case may perform an action, such as provide an input to the system under test, and result in an output from the system under test. The inputs and outputs are then compared to the expected results to determine whether the system under test is performing correctly. The data can then be interpreted in the grammar system or used as input to a fault isolation engine to determine anomalies in the system under test. Based on identified faults, one or more mitigation techniques may be implemented in an automated fashion.

Подробнее

Номер записи: 82

18-10-2012 дата публикации

Tool for Analyzing Siebel Escripts

Номер: US20120266025A1

Автор: Oliver Derek Alexander Seiffert

Принадлежит: International Business Machines Corp

A method, system and computer program product for enabling automated analysis of an extracted eScript to identify one or more problems within a configuration and script. The eScript is extracted from a Siebel repository and received in a DAVID (Development Application Verification Information on Demand for Siebel application where the VB.NET application, called SiebelParser, is utilized to conduct the analysis of the eScript. Occurrences of issues within an eScript are detected by SiebelParser. Issues within the eScript may include one or more of: empty event handlers, explicit object release, setting field values utilizing hard coded values, unnecessarily activated fields, call to next record after a call to delete record, and functions containing unnecessary code. Results from the analysis are reported to one log file document. The results of SiebelParser's log file are later incorporated to a spreadsheet by DAVID, to provide a more readable output format.

Подробнее

Номер записи: 83

18-10-2012 дата публикации

Event Management In A Non-Stop Debugging Environment

Номер: US20120266138A1

Автор: Cary L. Bates

Принадлежит: International Business Machines Corp

Event management in a non-stop debugging environment that includes a debugger configured to debug a multi-threaded debuggee, where encountering an event by one of the threads stops execution of only the one thread without concurrently stopping execution of other threads and event management includes: receiving, by the debugger, a user request to establish a dynamically disabled event that is disabled for all threads upon a stop in execution of any thread; establishing, by the debugger, the dynamically disabled event; identifying, by the debugger, a stop in execution of a particular thread; and disabling, by the debugger, the dynamically disabled event for all threads of the debuggee.

Подробнее

Номер записи: 84

18-10-2012 дата публикации

Thread-Specific Watch Event Administration In A Non-Stop Debugging Environment

Номер: US20120266139A1

Автор: Cary L. Bates

Принадлежит: International Business Machines Corp

A non-stop debugging environment includes a debugger configured to debug a multi-threaded debuggee, where encountering an event by one of threads stops execution of only the one thread without concurrently stopping execution of other threads. In the non-stop debugging environment, thread-specific watch event administration includes holding from execution, by the debugger, a thread triggering a watch event; determining, by the debugger, whether the watch event was set for the thread triggering the watch event; if the watch event was set for the thread triggering the watch event, setting, by the debugger, the debug perspective of a GUI to the thread triggering the watch event; and, if the watch event was not set for the thread triggering the watch event: retrieving, by the debugger, watch event information from the thread triggering the watch event; and resuming, by the debugger without user interaction, execution of the thread triggering the watch event.

Подробнее

Номер записи: 85

18-10-2012 дата публикации

Impact Indication Of Thread-Specific Events In A Non-Stop Debugging Environment

Номер: US20120266140A1

Автор: Cary L. Bates

Принадлежит: International Business Machines Corp

A non-stop debugging environment includes a debugger configured to debug a multi-threaded debuggee, where encountering an event by one of the threads stops execution of only the one thread without concurrently stopping execution of other threads. In such a non-stop debug environment, impact indication of thread-specific events includes tracking, by the debugger, activity associated with a thread-specific event and displaying, by the debugger in a graphical user interface (GUI), an indication of thread-specific event impact in dependence upon the tracked activity.

Подробнее

Номер записи: 86

18-10-2012 дата публикации

System and Method for Automating Testing of Computers

Номер: US20120266142A1

Автор: Enver Bokhari

Принадлежит: Individual

An application under test may be run in a test mode that receives a series of test scenarios and produces a set of test results under the control of a verification application. The verification application utilizes “typed-data” (i.e., data having known types that are associated with the data itself, e.g., XML-based data) such that a number of parameters can be set for each event and a number of result parameters can be checked for each result in at least one script. A series of scripts can be combined into an action file that may invoke scripts and override parameters within the invoked scripts. The events can be sent and received using a number of messaging protocols and communications adapters.

Подробнее

Номер записи: 87

18-10-2012 дата публикации

Broadcast receiving apparatus and method of installing service

Номер: US20120266157A1

Автор: Kye-ryeon MUN, Young-Ho Choi

Принадлежит: SAMSUNG ELECTRONICS CO LTD

A broadcast receiving apparatus is provided. The broadcast receiving apparatus includes a communication interface unit which receives a new application corresponding to a new service; a determination unit which installs the new application in the second operating system and determines whether the new application normally operates in the second operating system; and a control unit which, when the new application normally operates in the second operating system, installs the new application in the first operating system.

Подробнее

Номер записи: 88

25-10-2012 дата публикации

Software operability service

Номер: US20120272103A1

Автор: Chris Ernest Matichuk, Cristian G. Petruta, Silviu C. Calinoiu

Принадлежит: Microsoft Corp

In embodiments of a software operability service, activities of software can be monitored to collect software activity data. A software operability signature for the software can then be generated from the software activity data, and the software operability signature indicates an operability of the software. The software operability signature and associated contextual data can then be communicated to a network service that analyzes the software operability signature. In an embodiment, the network service compares the software operability signature to a baseline operability signature to determine whether the software is operating consistent or inconsistent with the baseline operability signature.

Подробнее

Номер записи: 89

01-11-2012 дата публикации

Automatic Verification and Synthesis for Weak Memory Models

Номер: US20120278792A1

Автор: Eran Yahav, Martin Vechev, Michael Kuperstein

Принадлежит: International Business Machines Corp

Techniques are provided for automatic verification and inference of memory fences in concurrent programs that can bound the store buffers that are used to model relaxed memory models. A method is provided for determining whether a program employing a relaxed memory model satisfies a safety specification. An abstract memory model is obtained of the relaxed memory model. The abstract memory model represents concrete program states of the program as a finite number of abstract states. The safety specification is evaluated for the program on the abstract memory model having the finite number of abstract states. Fence positions at one or more locations can be determined to ensure that the safety specification is satisfied.

Подробнее

Номер записи: 90

08-11-2012 дата публикации

Optimized jtag interface

Номер: US20120284579A1

Автор: Lee D. Whetsel

Принадлежит: Texas Instruments Inc

An optimized JTAG interface is used to access JTAG Tap Domains within an integrated circuit. The interface requires fewer pins than the conventional JTAG interface and is thus more applicable than conventional JTAG interfaces on an integrated circuit where the availability of pins is limited. The interface may be used for a variety of serial communication operations such as, but not limited to, serial communication related integrated circuit test, emulation, debug, and/or trace operations.

Подробнее

Номер записи: 91

08-11-2012 дата публикации

Live service anomaly detection system for providing cyber protection for the electric grid

Номер: US20120284790A1

Автор: Rajeev Bhargava

Принадлежит: Decision Zone Inc

Provided is a method of improving security in an electrical grid network. The method includes configuring a lifecycle map associated with an operation in the electrical grid network, the lifecycle map including at least a start configuration, a final configuration, and a plurality of valid events arranged to link the start configuration and the final configuration, the start configuration and the final configuration corresponding to particular states of the electrical grid network. The method also includes monitoring at least one of messages and device configurations in the electrical grid network to detect one or more live events associated with the operation and comparing the plurality of live events to the lifecycle map to identify an anomaly in the live events.

Подробнее

Номер записи: 92

15-11-2012 дата публикации

System and method for testing the development and updates in a test system using production/live data

Номер: US20120291014A1

Автор: Sridhar Shrinivasan

Принадлежит: Individual

A software testing system and method is disclosed for a production system and production database. The method includes creating a test system for testing aspects of the production system; initializing a test database; processing program statements in the test system using the test database; not changing the production database when processing statements in the test system; and when the program statement in the test system acts upon a targeted database record, copying the targeted record from the production to the test database only if necessary. When the program statement is a select or update statement, the method can include checking if the test database includes the targeted record, if so processing the statement using the record in the test database; and if not copying the targeted record from the production to the test database, and processing the statement using the record in the test database.

Подробнее

Номер записи: 93

15-11-2012 дата публикации

System and method for testing a user application using a computing apparatus and a media playback apparatus

Номер: US20120291016A1

Автор: Doo Hwan Yi, John Kim, Wonjang BAEK

Принадлежит: SK Planet Co Ltd

The present invention relates to a system and method for testing a user application using a computing apparatus and a media playback apparatus. According to the present invention, the media playback apparatus tests the user application which is generated by executing a developer application in a computing apparatus, wherein the computing apparatus is connected to the media playback apparatus through a network. Thus, applications stored in a plurality of computing apparatuses can be tested using a single media playback apparatus.

Подробнее

Номер записи: 94

29-11-2012 дата публикации

Performing asynchronous testing of an application occasionally connected to an online services system

Номер: US20120304014A1

Автор: Amol Hardikar, Artur Kesel, Didier Prophete, Madhav Pathak, Mark Movida, Ronald Fischer, Sönke Rohde

Принадлежит: Salesforce com Inc

In a method, system, and computer-readable medium having instructions for performing asynchronous testing of an application that is occasionally connected to an online services system, metadata describing at least a portion of an online services database is retrieved and the at least a portion of the online services database is authorized for replication at a software application, information is determined for an entity for an application database from the metadata, a request is sent for a database using the software application interface and the request has an asynchronous operation call to the database for the entity, an execution of the asynchronous operation call is recorded within a callback function, a response is received for the asynchronous operation call, and a result is determined for the software application performance.

Подробнее

Номер записи: 95

29-11-2012 дата публикации

Points-to analysis as value flow

Номер: US20120304158A1

Автор: Cristina N. Cifuentes, Lian Li, Nathan Robert Albert Keynes

Принадлежит: Oracle International Corp

In general, in one aspect, the invention relates to a method for performing points-to analysis by generating a value flow graph for source code. The method steps include: initializing the value flow graph including a set of memory objects and a set of edges based on Base and Assignment instructions, where the set of edges represents inclusion constraints between the set of memory objects and a set of pointer variables; determining a pointed-to-by set including at least one pointer variable of the set of pointer variables; updating the value flow graph by introducing a flow edge based on an indirect reference, where the flow edge is related to a memory object of the set of memory objects that is added to a working list; updating the pointed-to-by set based on the memory object in the working list; and analyzing the source code using the pointed-to-by set.

Подробнее

Номер записи: 96

06-12-2012 дата публикации

Control server and method for switching running of test programs stored in multiple storage mediums of test server

Номер: US20120311385A1

Автор: Li-Qun Zhao, Ming Li

Принадлежит: Hon Hai Precision Industry Co Ltd, Hongfujin Precision Industry Shenzhen Co Ltd

A control sever electronically connects a test server via network interfaces. The test server includes multiple storage mediums that store multiple test programs for testing the test server. The control server includes a switching control unit. The switching control unit selects one storage medium from the storage mediums as a startup device of the test server, and sends a control command to run one or more test programs stored in the startup device. In response to receiving a test result from the test server, the switching control unit selects a next storage medium from the storage mediums as a new startup device, and runs one or more test programs stored in the new staring device until all the storage mediums have been selected as startup devices one by one.

Подробнее

Номер записи: 97

13-12-2012 дата публикации

Forward post-execution software debugger

Номер: US20120317550A1

Автор: Allan Craig Franklin, Andre Yew, Daniel O'Dowd, II Mallory Morgan Green, Michael Johnson, Michael Lindahl, Neil Puthuff

Принадлежит: Green Hills Software LLC

A method and system debug a computer program by using trace data, which is a recording of the sequence of machine instructions executed by a program during a time period along with the addresses and values of memory locations accessed and modified by each machine instruction. After the time period, the method and system use the trace data to simulate the execution of the program during the time period under the control of a debugger. In addition, the method and system use the trace data to simulate the execution of the program during the time period backwards in time under the control of the debugger.

Подробнее

Номер записи: 98

20-12-2012 дата публикации

Utilizing auxiliary variables in modeling test space for system behavior

Номер: US20120324286A1

Автор: Ariel Birnbaum, Avi Ziv, Itai Segall, Rachel Tzoref-Brill, Steven Mittermaier

Принадлежит: International Business Machines Corp

Systems and methods for modeling test space for verifying system behavior, using one or more auxiliary variables, are provided. The method comprises implementing a functional coverage model including: one or more attributes, wherein respective values for the attributes are assigned according to a test plan, and one or more constraints defining restrictions on value combinations assigned to the attributes, wherein the restrictions are Boolean expressions defining whether said value combinations are valid; determining a set of valid value combinations for the attributes that satisfy the restrictions to define the test space for verifying the system behavior; and determining relevant auxiliary variables and a corresponding function for said auxiliary variables to reduce the complexity associated with modeling the test space.

Подробнее

Номер записи: 99

20-12-2012 дата публикации

Key Based Cluster Log Coalescing

Номер: US20120324290A1

Автор: Christopher Verton Lenfest, James Newman Chen

Принадлежит: International Business Machines Corp

An approach is provided to trace a software program running in a multi-nodal complex computing environment. A trace request is sent from a requestor node to the nodes with the trace request associated with the software program and also associated with a transaction identifier. The software program is executed on the nodes. While the program is executing, trace data entries resulting from the execution of the software program are logged at the respective nodes with each trace data entry being associated with the transaction identifier. A log request is subsequently sent from the requestor node to the other nodes. The resulting trace data is then received by the requestor node from the target nodes and logged in a transaction based log. The transaction-based log is then provided to a user of the requestor node.

Подробнее

Номер записи: 100