Abstract: Mechanisms for analyzing computer instructions implementing a program in which typestate analysis is informed by concurrency analysis. The concurrency-guided typestate analysis may simulate the “worst case” scenario due to thread interleaving by transitioning a simulated state of the variable to a special state whenever the variable is not guarded by its intended guarding lock. While in the special state, the analysis may assume that the state of the simulated variable is the worst possible state with respect to processing operations that may lead to an error depending on the state of the variable. Thus, the analysis performed may assume that referencing the variable in a state-dependent operation while the simulated state of the variable is in the special state may lead to an error, and the analysis may generate a warning, accordingly. The analysis may process the computer instructions to infer which lock is intended to guard a shared variable.

Abstract: Given a program P, a specification S, and an abstraction function ?, verification determines whether P satisfies the specification S under the abstraction ?. If not, a trace T that violate the specification is selected, and either the abstraction ? is refined or a constraint that avoids the trace T is computed and added to a set of constraints. The set of constraints are used to modify the program P.

Abstract: Debugging an executing process. A method includes accessing a unique key that is common to two or more different representations of a same function in the process. A runtime for the executing process is annotated with the unique key. The method further includes detecting that the function is executing. The unique key is used to provide an indication in one or more of the two or more different representations that the function is executing.

Abstract: An aspect of the present invention simplifies maintenance of a software system by indicating the additional bug fixes that are to be tested when a bug is indicated to be fixed. In an embodiment, a user is required to indicate a list of software units and a first bug to indicate that the list of software units have been modified to fix the first bug. An analysis tool identifies a list of use cases, with each use case requiring execution of at least one of the list of software units. The analysis tool then determines a set of dependent bugs fixed earlier in the software system, where each of the set of dependent bugs affects at least one of the list of use cases. The set of dependent bugs are displayed as requiring further testing in view of fixing of the first bug.

Abstract: Methods and systems to automate the deployment from one SMP/E installed run-time mainframe system logical partition (LPAR) to one or more different and distinct LPARs within a mainframe environment are described. Deployment may consist of distributing one or more installation items (e.g., complete products, product upgrades, patches and/or temporary fixes) from one installation environment to another target system. Also, the installed items may have optionally undergone further configuration after the initial installation and prior to actual automated deployment. Each of the target systems are communicatively coupled to the first (i.e., source) LPAR.

Abstract: In certain example embodiments, distributed cloud application deployment systems (DCADS), and/or associated methods are provided. A formal description of the cloud application is created. The cloud application's formal representation, with its constituent nodes and their associated properties and interfaces, etc., is exported to a machine processable form. The exported DCADS machine processable rendition and any needed implementation artifacts are retrieved by a cloud application deployer that helps facilitate the deployment of the cloud application into the distributed and heterogeneous cloud environments as prescribed in the DCADS.

Abstract: A method is provided for displaying a numeric property value. The method includes (a) reading a file from a tangible computer-readable storage medium, the file containing a set of property display patterns, (b) extracting a particular property display code from the file, the particular property display pattern corresponding to the numeric property value to be displayed, (c) extracting a unit of measure and a reference to a conversion function from the particular property display pattern, (d) calling the referenced conversion function to perform a unit conversion on the numeric property value to convert from an internal unit of measure into an display unit of measure, and (e) displaying the converted numeric property value and the extracted unit of measure to a user. In another embodiment, software is provided for executing this method. Additional methods are provided for developing software.

Abstract: A computer code conflict notification and resolution technique that provides a collaborative programming environment for conflicts management is presented. The technique detects potential conflicts and provides facilities that allow programmers to work collaboratively to resolve the conflicts as they occur. This includes the ability to conduct a code session in which conflicting code elements are compared and changed as needed to resolve conflicts. In addition, in-place audio/video, text chat and application sharing is provided. This allows communication sessions to be conducted within the programming environment.

Abstract: A compiler system including a compiler configured to compile a source code into a machine language code is presented, so that the machine language code is executable on a processing unit, wherein the processing unit comprises an internal register that is changing its state responsive to an execution of the machine language code. The compiler is configured to encrypt the machine language code based on an encryption function that depends on the state of the internal register.

Abstract: An extension of symbolic execution for programs involving contracts with quantifiers over large and potentially unbounded domains is described. Symbolic execution is used to generate, from a program, concrete test cases that exhibit mismatches between the program code and its contracts with quantifiers. Quantifiers are instantiated using symbolic values encountered during a set of exhibited runs. In this setting, quantifier instantiation is limited to values supplied to or produced by a symbolic execution. Quantifier instantiation is controlled by performing a matching algorithm that uses run-time values of input and program variables in order to guide and limit the set of quantifier instantiations. With a sufficient set of instances, test cases are derived that directly witness limitations of the auxiliary assertions.

Abstract: The present invention provides a system for monitoring the production of computer program code, comprising an integrated development environment (IDE) for the production of computer program code and a component, integrated into the integrated development environment, adapted to monitor whether one or more sections of computer program code are generated automatically or manually, so as to determine a measure of the volume of computer program code manually produced by a developer.

Abstract: A system and method for specifying timing relationships among nodes in a graphical program. User input specifying desired timing of a first node with respect to timing of a second node may be received. In various embodiments, any kind of timing relationship or timing constraint between the first node and the second node may be specified. Timing information may be displayed on the display to visually indicate the timing of the first node with respect to timing of the second node. In one embodiment, displaying the timing information may comprise displaying a timing wire between the first node and the second node. The graphical program may be executed in such a way that the visually indicated timing of the first node with respect to timing of the second node is satisfied.

Abstract: The present invention relates to a method of computer based data card software downloading and updating, in which, the data card connects with computer via data communication interface and acts the power on initial process at same time, the data card downloads software kit from computer to RAM memory, and the data card operates the software kit downloaded to the RAM memory.

Abstract: An apparatus, method, and system of assisting a user in the process of developing software having a function to access a web service are disclosed. A determination result is generated, which indicates whether an operation test of determining whether the software under development properly operates should be performed by a first test module or a second test module. Based on the determination result, the operation test is performed by a selected one of the first test module and the second test module.

Abstract: The subject matter disclosed herein provides methods and apparatus, including computer program products, for providing software updates. In one aspect there is provided a method. The method may include receiving software objects associated with a software update. Moreover, a container may be provided. The container may include the received software objects and attributes. The attributes may describe the software objects to configure transport to different applications. Related systems, apparatus, methods, and/or articles are also described.

Abstract: Systems and methods for remotely installing software on a computing system while the computing system is running on a first bootable image, so that the computing system is not removed from operation during the installation of a second bootable image. The method comprises constructing the second bootable image on a storage medium accessible to the computing system while the computing system is operating in a first operating environment in association with the first bootable image, customizing the second bootable image so that the computing system can operate in a second operating environment in association with the second bootable image, disassociating the computing system from the first bootable image, and associating the computing system with the second bootable image.

Abstract: Provided is a Java bytecode translating method which includes: a bytecode fetch step (S1 10) that fetches a Java bytecode from a Java class file; a static field address detection and data processing step (S140) which gains access to a field (130) according to a first field address (FA1) and processes data; a static field address storage step (S 150) that stores a first upper field address (FAU1) including upper bits among bits of the first field address (FA1) in a first storage portion (110), and which stores a first lower field address (FAD1) including remainder lower bits excluding the first upper field address (FAU1) among the bits of the first field address (FA1) in an operand field (120b); a static operation code translating step (S 160) that translates an operation code stored in an operation code field (120a) into a new static field accessing operation code (NOPA); a first field address creation step (S240) that creates a second field address (FA2); and a first data processing step (S250) that gains ac

Abstract: A target function is identified during runtime. Instrumentation is applied to the target function during runtime that includes determining target function information associated with the target function, wherein the target function information includes a call signature of the target function. The target function is executed.

Abstract: A program monitoring method includes the steps of describing an operating point code (2P) indicating an operating point value (3P) in one or more locations of a module (1M), counting the operating point value (3P) indicated by the operating point code (2P) by a counter if an execution position becomes the location of the operating point code (2P) while the module (1M) is being executed, and deciding that the module (1M) has not been executed normally if a difference between the numerical value counted by the counter and a score value (3S) is not a predetermined numerical value.

Abstract: A computer implemented method, apparatus, and computer program product for executing instructions. A determination is made as to whether a set of instructions are a set of instrumentation instructions in response to identifying the set of instructions in instructions for execution. A further determination is made as to whether a processor executing the instructions is in an instrumentation mode if the set of instructions are instrumentation instructions. The processor executes the set of instrumentation instructions only if the processor is in the instrumentation mode.