Abstract: A program verification circuit comprises a failed state counting unit and a failed bit counting unit. The failed state counting unit counts failed program states among a plurality of program states, and generates a first program mode signal indicating whether counting of failed bits is required. The failed bit counting unit selectively counts failed bits in response to the first program mode signal, and generates a second program mode signal indicating whether a program operation is completed.

Abstract: An improved system and method for profiling elements of software applications facilitates identification and diagnosis of performance issues. Using aspect-oriented programming, additional code, referred to as an advice, is added at various steps in execution of a stored procedure. The additional code specifies additional action to be taken, such as capture of a stored procedure signature, parameters, and system time before and after execution. By adding the code at load time, the system of the present invention provides a mechanism by which the original procedure code as stored in the database and the application code calling the stored procedure can remain unchanged. Captured data is used in generating a profile of the stored procedure call.

Abstract: The present disclosure relates to a computer-implemented method for abstract software performance profiling. The method may include providing, using a computing device, a virtual run-time stack associated with a software performance profile. The method may further include generating, using the computing device, at least one abstract tag associated with the virtual run-time stack. The method may also include performing, using the computing device, at least one operation on the virtual run-time stack, the at least one operation including, at least in part, the at least one abstract tag.

Abstract: The execution behavior of a selected application is recorded for subsequent replay. During recording, only those portions of memory that are accessed by the selected application are stored. As a result, the amount of data that is stored during the recording session is reduced and data that is not necessary for replaying the selected application, which may include possible sensitive and personal information, are not stored.

Abstract: This disclosure describes, for a example, a plant control system comprising: program editing means for creating a control program including an interlock condition and diagnosis of interlock; plant control means for executing a program object in the control program; and interlock diagnosing means for updating and displaying satisfaction/dissatisfaction of the interlock condition at a predetermined point before the present, further specifying only a source factor variable of the dissatisfaction even if plural stages of interlock circuits are formed, and automatically displaying the source factor variable in a graphic language, the interlock diagnosing means having a logical operation unit and a display unit.

Abstract: The invention relates to a method of automatic testing of a software system through test driver code that classifies test data into equivalence classes and updates the available test data after using it against the software system. One embodiment of the invention is a Test Runner that monitors the effect of calling the software system on the available test data and uses this information to automatically determine the execution order of test cases to meet a number of objectives including to: Reuse data between calls, ensure all test cases are executed, perform parallelized testing, perform time dependent testing, perform continuous testing according to a probability distribution on test cases, perform automated management of complex test data and finally to provide an easy and concise way for a user to define a large sets of test cases.

Abstract: A system, method, and product are disclosed for testing multiple threads simultaneously. The threads share a real memory space. A first portion of the real memory space is designated as exclusive memory such that the first portion appears to be reserved for use by only one of the threads. The threads are simultaneously executed. The threads access the first portion during execution. Apparent exclusive use of the first portion of the real memory space is permitted by a first one of the threads. Simultaneously with permitting apparent exclusive use of the first portion by the first one of the threads, apparent exclusive use of the first portion of the real memory space is also permitted by a second one of the threads. The threads simultaneously appear to have exclusive use of the first portion and may simultaneously access the first portion.

Abstract: The invention monitors display (error) messages from software programs presented to users and looks for items of interest. When detected, the text of the message is collected along with source of the message, and other details. This data is checked against a database of Messages, either locally, or networked to a remote database. If the issue has not been previously detected it is added to the database. If the message had been detected previously, counters recording frequency of occurrence. Then an option to see additional information is provided. If selected the database returns all the information it has on this specific issue. Also, additionally created content that normally does not exist in the message such as which application and vendor issued the message, frequency of occurrence, and vendor contact information. Additional content such as a detailed description and solutions that were manually created is included in the results to the user.

Abstract: Systems and methods for identifying expressions that are potential causes of program bugs are disclosed. A program and at least one input resulting in at least one passing test of the program can be received. Further, at least one plausible repair candidate expression in the program can be identified. In addition, the methods and systems can determine whether replacement of the at least one identified expression with at least one value, which is different from a value provided by the at least one identified expression, maintains the passage of the at least one passing test. Moreover, the at least one identified expression can be output when the replacement maintains the passage of the at least one passing test to enable a determination of a modification of the program that repairs a bug in the program.

Abstract: The consistency of the heading expressions used in each screen in a plurality of evaluated screens is exhaustively and reliably evaluated. The GUI evaluation system comprises: GUI information storage means for storing GUI information that concerns heading included in an evaluation target screen and includes information indicative of heading expression which is the expression used for the heading; heading group specification means for grouping headings included in each evaluation target screen by expression used for the headings in accordance with the GUI information stored in the GUI information storage means; and heading expression evaluation means for evaluating a consistency of heading expressions between a plurality of evaluation target screens by comparing heading groups that are grouped by the heading group specification means and included in all possible combinations of two of the plurality of evaluation target screens.

Abstract: An exemplary method includes a message broker subsystem 1) attempting to deliver one or more messages intended for a recipient software application to the recipient software application, 2) determining that the recipient software application is in a fault state after failing to deliver the one or more messages to the recipient software application, 3) automatically performing a fail-over process on one or more other messages intended for the recipient software application in response to the determination that the recipient software application is in the fault state, and 4) continuing to attempt to deliver a message selected from the one or more messages to the recipient software application while automatically performing the fail-over process on the one or more other messages. Corresponding methods and systems are also disclosed.

Abstract: In one embodiment the present invention includes a computer-implemented method of measuring bottlenecks in a computer program implemented in a hardware client-server environment. The method includes defining an execution parameter to measure of the hardware client-server environment. The method further includes modifying code blocks to include instrumentation code. The instrumentation code relates to the execution parameter. The method further includes executing, in the hardware client-server environment, the code blocks having been modified. The method further includes generating instrumentation data, related to the execution parameter, that result from executing the code blocks. The method further includes outputting the instrumentation data having been generated. In this manner, the bottlenecks may be measured; the measured bottlenecks may be sorted; noteworthy bottlenecks may be identified; and the aspects of the hardware client-server environment may be adjusted to address the bottlenecks.

Abstract: Some embodiments of the invention provide techniques whereby a user may perform a system reset (e.g., to address system performance and/or reliability degradation, such as which may be caused by unused applications that unnecessarily consume system resources, an attempted un-install of an application that left remnants of the application behind, and/or other causes). In some embodiments, performing a system reset replaces a first instance of an operating system on the system with a new instance of the operating system, and removes any applications installed on the system, without disturbing the user's data.

Abstract: An indication of a start of an execution of a process can be received, and a time counter associated with measuring a time elapsed can be initiated by the execution of the process. The time elapsed by the execution of the process can be compared with a predetermined threshold timeout value, and a report indicating the time elapsed by the execution of the process and whether the elapsed time exceeded the predetermined threshold timeout value can be automatically generated.

Abstract: A system of debugging computer code includes a processor: obtaining state information corresponding to a first machine at a checkpoint initiated during execution of the computer code on the first machine; and configuring the second machine to a same operating state as the first machine at the checkpoint to create a mirrored version of the first machine. The system also includes receiving a notification that execution of the program on a first machine has failed, and in response to receiving the notification: triggering a processor of the second machine to initiate execution of a copy of the code from a specific code execution point at which the checkpoint was; activating a debugger module to run concurrently with the execution of the program on the second machine and collect and store the debug data as corresponding to execution failure of the computer code at the first machine.

Abstract: An architecture and techniques for implementing a unified and extensible meta-testing framework within a distributed environment. This framework allows entities within the distributed environment to run tests written in different testing frameworks in a unified way. In addition, this disclosure describes techniques for allowing an entity within the distributed environment to test itself, both from its own perspective as well as from the perspective of other entities within the distributed environment.

Abstract: Computer-implemented method, computerized apparatus and a computer program product for test selection. The computer-implemented method comprising: obtaining a test suite comprising a plurality of tests for a Software Under Test (SUT); and selecting a subset of the test suite, wherein the subset provides coverage of the SUT that correlates to a coverage by a workload of the SUT, wherein the workload defines a set of input events to the SUT thereby defining portions of the SUT that are to be invoked during execution.

Abstract: Embodiments of methods and systems for analyzing performance of an application are provided. In that regard, an embodiment of a method for analyzing performance, among others, comprises collecting performance metric data from the application over time; segmenting the performance metric data into time segments representing sets of contiguous time samples which exhibit similar performance metric behavior; determining the presence of an anomaly in a time segment; and correlating the anomalous segment with other data available to the system to determine the cause of the anomaly.

Abstract: A reproduction support apparatus supports reproduction of an OS is to be reproduced by a reproducing apparatus, and includes a processor configured to input a first identification data group that includes identification data identifying files of a file group constituting the OS to be reproduced; and a storage device storing a second identification data group that includes identification data identifying files of a file group constituting OSs of an OS group including the OS to be reproduced and the files of the file group constituting the OSs of the OS group. The processor is further configured to retrieve from the second identification data group, identification data matching the first identification data group; extract from the file group stored in the storage device, a file identified by the retrieved identification data; and transmit to the reproducing apparatus, information concerning files among the extracted files, for reproducing the OS to be reproduced.

Abstract: The present invention extends to methods, systems, and computer program products for propagating unhandled exceptions in distributed execution environments, such as clusters. A job (e.g., a query) can include a series of computation steps that are executed on multiple compute nodes each processing parts of a distributed data set. Unhandled exceptions can be caught while computations are running on data partitions of different compute nodes. Unhandled exception objects can be stored in a serialized format in a compute node's local storage (or an alternate central location) along with auxiliary details such as the data partition being processed at the time. Stored serialized exception objects for a job can be harvested and aggregated in a single container object. The single container object can be passed back to the client.

Abstract: A method and apparatus for efficient wireless interface installation is disclosed. In one embodiment, a method for installing a first interface driver and a second interface driver is disclosed. The method comprises iterating a first interface driver installation process until at least one of success or a predetermined number of failures, if the first interface driver installation process is successful, iterating a second interface driver installation process until at least one of success or another predetermined number of failures, and generating an interface for communications between the first interface driver and the second interface driver, if the second interface driver installation process is successful.

Abstract: A fault-based software testing method and system are provided. The fault-based software testing method includes: generating a plurality of error programs by injecting faults into a testing target program; grouping the generated error programs into a plurality of groups with respect to respective test data, and selecting representative error programs with respect to the respective groups; and when an error is detected in the execution result of the representative error programs with respect to the corresponding test data, determining that errors are detected in all the error programs of the corresponding group.

Abstract: Methods and systems to test of web browser enabled applications are disclosed. In one embodiment, a browser application can allow a user to perform test and analysis processes on a candidate web browser enabled application. The test enabled browser can use special functions and facilities that are built into the test enabled browser. One implementation of the invention pertains to functional testing, and another implementation of the invention pertains to pertains to site analysis.

Abstract: In a method for verifying firmware of an electronic device, the electronic device includes a baseboard management controller (BMC) for storing a BMC firmware, and a basic input-output system (BIOS) for storing a BIOS firmware. The method writes a first verification code into the BMC firmware, and writes a second verification code into the BIOS firmware. The method writes the BMC firmware into the BMC, and writes the BIOS firmware into the BIOS. The method further triggers the electronic device to power off if the first verification code of the BMC firmware is not identical to the second verification code of the BIOS firmware, and boots an operating system of the electronic device if the first verification code of the BMC firmware is identical to the second verification code of the BIOS firmware.

Abstract: Detecting configuration problems in an ECLIPSE-based software application can be detected. Such a method can begin with the receipt of a user-command to test a configuration of an ECLIPSE-based software application or with a detection of a feature addition/update when an auto-testing feature is enabled. Information about the available sites for the ECLIPSE-based application can then be obtained. Then, a list of software elements required to operate the ECLIPSE-based software application can be compiled. At least one data attribute can be extracted from the meta data of each software element in the compiled list. The extracted data attributes can then be analyzed. When the analysis identifies a configuration problem, the existence of the configuration problem can be validated.

Abstract: Disclosed herein are systems, methods, and non-transitory computer-readable storage media for analyzing source code and identifying potential defects. The methods employ both static analysis and dynamic testing to detect program defects early in the development stage for better quality with less cost. The analysis also ranks identified potential defects and reports only the most likely defects to a human developer. Once defects are detected, they can be removed right away and similar defects can be prevented automatically.

Abstract: A system for processing of errors, including an emulator configured for replicating a state of a computer system so as to trigger an application execution error, and obtaining a cause of the error; an expert system configured for generating a scenario for processing of the error based on the cause; and updating a database that contains an identifier of the error, the cause, the state of the computer and the scenario, including updating an error tree that maintains cumulative information about the errors; and an error processor configured for identifying an occurrence of the error, loading the scenario from the database, and running the scenario.

Abstract: A method, non-transitory computer readable medium, and apparatus that obtains a request message in a hierarchical format. A set of flat request records is generated based on the request message wherein each flat request record includes at least a key and a value. Each flat request record is compared to a set of criteria records to generate one or more response sets wherein each criteria record includes at least a key, a value, and a response identifier and each response set includes one or more response identifiers. One or more rules are applied to the one or more response sets to identify one or more response identifiers. One or more responses corresponding to the one or more identified response identifiers are optionally assembled and form at least part of an output.

Abstract: An industrial controller module (13a) is provided with a routine of program instructions (29a) for storing a log of I/O table state changes (31) in a defined portion of memory (23). Upon the occurrence of a trigger event, a file of the state changes (37) is saved in the memory (23). Each entry (32) in the log of I/O table state changes (31) includes a timestamp (33) and values of each word of I/O state data (36) that changed at a time of the timestamp. Logs of state change data (16a), including timestamp data, can also be saved for intelligent sensors and actuators (16) and uploaded with the log of controller processor state data (31) to a computer (20) with a diagnostic program (21a) for playing back the state changes and synchronizing changes of the intelligent sensors and actuators (16) with changes of the controller processor module (13a).

Abstract: Methods and devices for automated software testing. This includes identifying objects present in an application under test and identifying actions supported the objects present in application under test. Based on objects selected for testing, actions are also selected and some actions require input data to be received. Verification points, which are conditions for testing objects, are set. A test script is generated based on selected objects, actions and verification points.

Abstract: A system and method for generating a specific level of software testing of algorithms and applications. A test plan, including input parameter values, expected output parameter values, and dataset size, is entered. The test plan is then executed, and results of the test are scored in accordance with predetermined software testing level definitions, yielding one of a predetermined possible testing levels achieved by the tested software.

Abstract: A method, system and computer program product for generating appropriately sized core files used in diagnosing application crashes. An instruction pointer corresponding to the instruction that led to the application crash is identified. Address ranges of the garbage collection module and the compiler module are obtained. A determination is made as to whether the address of the instruction pointer lies within any of these address ranges for each stack frame in a crash stack. If it does not, then read or write instructions executed prior to the instruction that led to the application crash are identified for each stack frame in the crash stack. If a value of a register involved in such read or write instructions is within the address range of the compiled code buffers and/or heap, then the compiled code buffers and/or heap need to be included in the core file; otherwise, they do not.

Abstract: The present invention features an operational system test method, comprising defining a fault model, inserting a test agent, hooking a test location, collecting test information, and removing the test agent. The invention also features an operational system test method, comprising defining a fault model, inserting a test agent, identifying a memory area according to a test location, hooking the identified memory area, collecting test information, and removing the test agent.

Abstract: A server in communication with a remote control device and a display device includes a super input/output (SIO) microchip, a basic input/output system (BIOS), and a baseboard management controller (BMC). The SIO microchip outputs debugging commands and IPMI commands. The BMC includes a setting module, receiving module, and a transmitting module. The setting module sets the BIOS to establish communication between the BMC and the SIO microchip. The receiving module receives the IPMI commands or the debugging commands to debug errors of firmware pre-stored in the BMC. The transmitting module outputs the errors of the firmware to the remote control device or the display device via the SIO microchip.

Abstract: The present invention provides a secure JTAG interface to an application-specific integrated circuit (ASIC). In the preferred embodiment the invention operates through the combined efforts of a Security Module (SM) comprising a state machine that controls the security modes for the ASIC, and a Test Control Module (TCM) which contains the JTAG interface. The TCM operates in either a restricted mode or an unrestricted mode, depending on the state of the SM state machine. In a restricted mode, only limited access to memory content is permitted. In an unrestricted mode, full access to memory content is permitted.

Abstract: Methods, systems, and computer program products for providing toll-free service in a telecommunications network are disclosed. According to one aspect, the subject matter described herein includes a method for providing toll-free service in a telecommunications network. The method includes, at a signaling node that includes at least one processor: receiving a first signaling message that includes a toll-free called party number, where the first signaling message is one of a non-TCAP call setup message, a mobility management query, a number portability (NP) query, and an E.164 number (ENUM) query; determining a directory number associated with the toll-free called party number; and sending the first signaling message or a second signaling message, the sent message including at least one of the directory number and routing information associated with the directory number.

Abstract: Methods, media, and systems for detecting anomalous program executions are provided. In some embodiments, methods for detecting anomalous program executions are provided, comprising: executing at least a part of a program in an emulator; comparing a function call made in the emulator to a model of function calls for the at least a part of the program; and identifying the function call as anomalous based on the comparison. In some embodiments, methods for detecting anomalous program executions are provided, comprising: modifying a program to include indicators of program-level function calls being made during execution of the program; comparing at least one of the indicators of program-level function calls made in the emulator to a model of function calls for the at least a part of the program; and identifying a function call corresponding to the at least one of the indicators as anomalous based on the comparison.

Abstract: Methods and systems are disclosed for evaluating testing of a software system in a testing project in which the testing is performed on software code in a plurality of components of the software system. Multi-dimensional data related to the testing project, including results of the testing, are automatically collected. Values for metrics related to a quality of testing effort that components have undergone in the testing project are developed. In one embodiment, the measure is based on a measure of amount of software code of the plurality of components that has been tested during the testing project. Projected testing results at completion of the testing are developed by forecasting projected values of at least one metric at completion of the testing project.

Abstract: A system includes a manager module that oversees execution of a business process by a test module. The business process includes a plurality of process steps, and the test module comprises a plurality of test cases, a plurality of software test tools, and a plurality of parameters. The test module is configured to permit a user to select a particular process step of the business process, to select a particular test case for the particular process step, to select a particular software test tool for the particular test case, and to select a particular parameter flow for the particular software test tool. The test module is also configured to execute the selected process step using the selected test case, the selected software test tool, and the selected parameter flow.

Abstract: An integrated circuit includes a processor core, a clock control circuit and a debugging circuit. The processor core processes target software. The clock control circuit determines whether an electrical connection exists between the processor core and an external debugger and generates a determination result. The clock control circuit generates an output clock signal based on the determination result. The external debugger performs a debugging operation for the target software. The output clock signal is selectively activated based on the determination result and an input clock signal. The debugging circuit provides information with respect to the debugging operation for the target software to the external debugger based on the output clock signal.

Abstract: This invention provides a method, computer program and system for updating a model of a system under test for use in model-based testing. In one embodiment, the system includes a rules engine, a comparator and a message dictionary. The rules engine runs an action against the system under test and runs the action against a model under test. The comparator compares an output from the system under test with a corresponding output from the model under test, wherein the output from the model under test is selected from one of a plurality of output message records. The dictionary engine updates the output message record by changing the message record if the output of the model under test is different from the output of the system under test. If the output message record is empty, the dictionary engine adds an output message record based on the system under test.

Abstract: Embodiments provided a formalized set of intermediate analysis contexts that are relevant for analysis checks of target code. Such intermediate analysis context may include, but are not limited to, the development phase of targeted code, the type or state of the targeted code, a source manipulating the targeted code, a purpose for the targeted code, or other development or runtime requirements. Accordingly, embodiments dynamically identify a current analysis context under which targeted code is being developed and can then execute rules based on knowledge of what contexts the rule(s) may apply. More specifically, analysis rules can describe (e.g., via metadata) those context conditions under which a rule can run. Based on such description and the current context, those rules that have been configured to apply to such context conditions can be executed.

Abstract: An information processing apparatus comprising: a plurality of processing units; a plurality of individual monitoring units provided for each of the plurality of processing units, that monitor an operation condition of a corresponding processing unit, and judge whether or not the corresponding processing unit is operating normally, and notify the judgment result for the corresponding processing unit to outside; and an administrative unit connected to the plurality of individual monitoring units, that receives notification from any of the individual monitoring units, and performs troubleshooting processing on a processing unit corresponding to an individual monitoring unit that has made a notification that a corresponding processing unit is not operating normally.

Abstract: An automated system and method for test data generation for software testing. The present application relates to management of software testing by generating test data automatically. Further the system and method generate test data automatically with respect to two coverage criteria Boundary Value Coverage (BVC) and Masking Boundary Value Coverage (MBVC) in the white-box setting.

Abstract: A method for verifying the connectivity of software applications hosted on networked computers. The connectivity of hosted function applications to be loaded into networked computers is verified and validated using quasi-hosted function applications that simulate the communications functions (i.e., connectivity) of those hosted function applications. The quasi-hosted function applications are run on the same hardware that the real hosted function applications will be run on. Furthermore, the connectivity of a real hosted function application loaded into one computer can be verified and validated by simulating communications of that real hosted function application with a multiplicity of quasi-hosted function applications running on the networked computers.

Abstract: The report generation support system according to the embodiment comprises an input history recording part, operation history recording part, selection part, extraction part, and a display controller. The input history recording part records findings input at the time of generating a medical report and, by linking with an input start time and/or finish time of the findings. The operation history recording part records, as an operation history, the type of operation conducted on an image at the time of generating a report and the time when the operation was conducted by linking with the operated image. The selection part selects at least a part of findings in a report. The extraction part extracts a focus image in the selected findings, based on an input start time and/or finish time of the findings corresponding to the selected location, and the contents of the operation history of the corresponding time.

Abstract: The present invention provides a method, system and computer program product for identifying regression test cases for a software application by identifying one or more units of functionalities of the software application, structuring the use case activity diagrams using the identified units of functionalities, modifying the structured use case activity diagrams when there is a change in the software application, and analyzing the modifications made to the structured use case activity diagrams to identify regression test cases for the changes in the software application.

Abstract: Saving the state of at least one open application on a data processing system when an event forces open applications to close includes monitoring data processing system activities to detect an event indicative of a forthcoming system shutdown action. The system shutdown action includes a command which forces closing of running applications. Responsive to detecting the event, execution of said shutdown action is suspended and the state of the at least one open application is recorded. An indication that a state of the at least one running application has been recorded for reuse is stored and, following the recording and storing steps, execution of said shutdown action is restored.

Abstract: Test data used in evaluating the performance of a program is generated. First, a source program targeted for performance evaluation, sample data, and a generation parameter used for determining the size of the test data to be generated are received from an input device. A processor then executes the source program using the sample data and obtains the number of executions for each of a plurality of statements in the source program. In addition, on the basis of the obtained number of executions, the processor generates test data having a size that is a multiple of the generation parameter of the sample data size, the test data being such that the frequency of executions for each of the plurality of statements in the source program is the same as the frequency of executions for each of the plurality of statements when executing the source program using the sample data.

Abstract: Methods, media, and systems for detecting an anomalous sequence of function calls are provided. The methods can include compressing a sequence of function calls made by the execution of a program using a compression model; and determining the presence of an anomalous sequence of function calls in the sequence of function calls based on the extent to which the sequence of function calls is compressed. The methods can further include executing at least one known program; observing at least one sequence of function calls made by the execution of the at least one known program; assigning each type of function call in the at least one sequence of function calls made by the at least one known program a unique identifier; and creating at least part of the compression model by recording at least one sequence of unique identifiers.