Abstract: A computerized method that combines identifying conflicting requirements and monitoring requirements integrity. Traceability link strengths are computed between a code element and a plurality of requirements. Revised traceability link strengths are computed between a revised version of the same code element and the plurality of requirements. The revised traceability link strengths are compared to the pre-existing traceability link strengths and a deviation decreased is identified when the revised traceability link strength is less than the pre-existing traceability link strength. An additional traceability link strength is computed between the revised version of the same code element and a new requirement, the new requirement first appearing with the revised version of the same code element. A conflict between the new requirement and the pre-existing requirements is identified when both a deviation decrease is identified and when additional traceability link strength exceeds a correlation threshold.

Abstract: An application is installed on a user device based on context information of another user device. A retail service platform determines that context information of a user device satisfies pre-defined context information, initiates installation of an application on the user device based on the pre-defined context information, and then initiates installation of the application on another user device based on a request from the (first) user device. The retail service platform determines to uninstall the application from the other user device based on a change in the context information of the (first) user device.

Abstract: The invention provides, in some aspects, systems for proactive management of development and performance of a software application based on monitoring it (and/or one or more of its components) during the course of development or execution. Those systems signal alerts upon determining that actual or expected usage of the application (or its components) by users of like classes (or roles) is anticipated to, or does, exceed quotas, when the application is placed in production mode.

Abstract: Development of network-based computing resources can be enhanced through the use of methods and systems that allow for controlled editing of specification data used in an automated build process in a user-friendly way. Particularly, one or more software tools can be used to allow editing of application programming interfaces (API) specification data such as Web Application Description Language (WADL) or Web Service Description Language (WSDL) and/or to allow editing of elements used to generate software development kit (SDK) documentation relied upon by an automatic build system. For example, a first interface may be configured for editing parameter values and parameter types related to functionality of the API while a second interface may restrict use to editing descriptive aspects of the API such as the SDK.

Abstract: Disclosed is a method and system for software remediation. A data storage device may store one or more sets of related software application image blocks, wherein a set of image blocks is associated with a software application and is generated by parsing components of the software application, such that said image blocks include at least a partial image of a file associated with the application, and at least one of: (1) registry keys and values associated with the application, and (2) operating system objects associated with the application. A communication module may exchange characterization data relating to image blocks with a client computer. A customized check module may be provided for providing the client computer with a set of one or more customized checks, and designate an image block as anomalous based on the result of a check. A remediation module may be provided for repairing the anomalous image block.

Abstract: Inheritance contributions of programming class functions and class variables are diagrammed. A functional diagram illustrates individual class contributions of functions. A variable composition diagram illustrates individual class contributions of variables. A diagrammatic depiction of functions overridden and functions contributed in the inheritance hierarchy is provided. Functions which are unique, overridden and/or have contributions in different classes of the hierarchy are visually distinguished (e.g., by distinguishing marks). Classes in the hierarchy are graphically depicted with relative sizes based on percent contribution.

Abstract: One embodiment of the present invention provides a system that facilitates diagnostic logging for software components. During operation, the system receives program code for a software component that was generated from an object model, where a key attribute has been specified for the object model. During execution of the program code, the system detects when an instance of the key attribute for the object model is accessed, and attaches state associated with the instance to a thread context in the runtime environment. The system then appends this state to a log during a logging operation to facilitate discovering and analyzing program faults.

Abstract: When a power supply is cut off on updating programs, improper data remains since the power source to be supplied to the vehicle-mounted device is unstable. The check for the improper data and restoration processing are required for a reactivation processing implemented by an update processing unit so that the update is completed correctly, therefore, the user is waited. In contrast, the update processing also implemented by the update processing unit for a time period during which the power source becomes unstable is interrupted, and implemented for the time period during which the power source voltage is stable. The power source voltage is considered to be unstable based on a function of the vehicle speed, brake pedal actuation, parking brake actuation, and/or power source activation. In consequence, the update processing is carried on steadily without making the user wait.

Abstract: An application includes functionality for dynamically modifying controls based on readme documentation content after the development of the application is substantially complete. A developer marks up a documentation file to include references to graphical user interface controls. The application generates a registry that stores associations between the documentation content and the affected controls. The application then modifies the properties of the affected controls to alter presentation or at least one behavior of each affected control. When the application creates an instance of an affected control, the control includes the modified presentation or behavior.

Abstract: Techniques for replacing ROM-based (Read-Only Memory) DLLs (Dynamic Link Libraries) in a Windows CE type embedded operating system such that the target DLL is replaceable by the hook DLL, and the target DLL is callable by the hook DLL but not callable directly by any other applications after loading of the hook DLL. The techniques enable replacement irrespective whether the hook DLL and the target DLL have the same name and irrespective of which DLL is loaded first. The techniques change the file name of the target DLL in a list of loaded DLL modules by a trusted program that executes in the full kernel mode.

Abstract: Systems, methodologies, computer-readable media, and other embodiments associated with ordering instructions are described. One exemplary system embodiment can include an analysis logic configured to analyze executable instructions from an executable program. A re-write logic can be configured to re-order selected load instructions within the executable program based on latency times for the selected load instructions.

Abstract: A method for analyzing data reordering operations in Single Issue Multiple Data source code and generating executable code therefrom is provided. Input is received. One or more data reordering operations in the input are identified and each data reordering operation in the input is abstracted into a corresponding virtual shuffle operation so that each virtual shuffle operation forms part of an expression tree. One or more virtual shuffle trees are collapsed by combining virtual shuffle operations within at least one of the one or more virtual shuffle trees to form one or more combined virtual shuffle operations, wherein each virtual shuffle tree is a subtree of the expression tree that only contains virtual shuffle operations. Then code is generated for the one or more combined virtual shuffle operations.

Abstract: A method includes constructing a lambda object-oriented scripting language (?JS) model for a software program written in JavaScript; converting the ?JS model to a continuation-passing style (CPS) model for the software program; constructing a control flow graph (CFG) for the software program based on the CPS model; and optimizing the CPS model by merging a sequence of two or more “let” operations. The two or more “let” operations in the CPS model and are generated based on the ?JS model, so that they are represented by a single node in the CFG.

Abstract: Systems, devices, and methods, including program instructions, are provided for firmware filters and patches. One method embodiment includes executing extended firmware interface (EFI) program instructions during runtime to modify a firmware implementation underlying an interface and invoking the modified firmware implementation, while the original firmware code in non-volatile memory remains unmodified. A further embodiment includes adding a runtime service in an system abstraction layer (SAL) interface and adding a subordinate runtime service that describes a device not known to a firmware image on a system but useable by a particular operating system (OS).

Abstract: A method and computer system logs events occurring in an application in a single or multi-computer environment, functioning non-intrusively and transparently vis-á-vis this application. A first computer node receives a communication from a client; the first computer node executes a transactional application that provides services to the client. A process of the transactional application includes a call to a first function. In response to the call to the first function, a modified function is executed that calls both the first function and second recording function. The call to the recording function is detected at a secondary computer node, different from the first computer node. The recording function executes at the second node to store logged data at the second computer node, the logged data representing execution of the first process.

Abstract: Controlling how changes made to a version of a reusable component (e.g., for displaying in a graphical user interface) are applied, or not applied, to another version or versions of that component. A variation is defined, the variation comprising a set of overridden property values for the component. The variation is derived from a version of the component, and inherits property values from the version and also from its ancestors, if applicable. To reuse the component, the reuse may be derived from the variation, in which case the reuse inherits the overridden property values through the variation, provided the variation is turned on, and through the version from which the variation was derived if the variation is turned off. A particular variation may be turned on and off within an inheritance chain.

Abstract: A multi-chassis router allows an administrator to install software from a single user interface. The multi-chassis router automatically forwards the software to each chassis within the multi-chassis router when given a single command to install the software from an administrator. The multi-chassis router also automatically validates the software on each chassis. After reporting the results of the validations, the multi-chassis router may wait for the administrator to issue a commit command before committing each chassis within the multi-chassis router to the software. Alternatively, in response to a failed validation or for other reason, an administrator can issue a single ROLLBACK command. This allows each chassis within the multi-chassis router to have the same software during all stages of a software installation and ensures software on each chassis is compatible with software on every other chassis.

Abstract: This disclosure generally relates to analyzing and validating computer software written in an object-oriented scripting language such as JavaScript. The analyzing and validating method comprises marking a variable in source code of a software program written in an object-oriented scripting language such as JavaScript; marking one or more locations in the source code of the software program; constructing a control flow graph (CFG) for the software program; and tracking the marked variable through the CFG by determining a path in the CFG that leads from a first node corresponding to the marked variable to one of the marked locations in the source code of the software program. In an embodiment, the variable is marked in source code using a keyword.

Abstract: A compiler is provided that determines when the use of software transactional memory (STM) primitives may be optimized with respect to a set of collectively dominating STM primitives. The compiler analysis coordinates the use of variables containing possible shadow copy pointers to allow the analysis to be performed for both direct write and buffered write STM systems. The coordination of the variables containing the possible shadow copy pointers ensures that the results of STM primitives are properly reused. The compiler analysis identifies memory accesses where STM primitives may be eliminated, combined, or substituted for lower overhead STM primitives.

Abstract: This disclosure generally relates to analyzing and validating computer software written in an object-oriented scripting language such as Javascript. The analyzing and validating method comprises marking an object in source code of a software program written in an object-oriented scripting language such as JavaScript; identifying one or more locations paired with the object in the source code of the software program; constructing a control flow graph (CFG) for the software program; and determining whether there is any path in the CFG that leads from a first node corresponding to the marked object to a second node corresponding to any identified location paired with the object. In an embodiment, the object is marked in source code using a keyword.