Abstract: Managing sets of parameter values includes: receiving a plurality of sets of parameter values for a generic computer program, and processing log entries associated with executions of instances of the generic computer program, each instance associated with one or more parameter values. The processing includes: analyzing the generic computer program to classify each of one or more parameters associated with the generic computer program as a member of either a first class or a second class; processing a log entry associated with an execution of a first instance of the generic computer program to form a particular set of parameter values; and determining whether to add the particular set of parameter values to the plurality of sets of parameter values based on a comparison of a first identifier for the particular set of parameter values to identifiers for at least some of the sets of parameter values.

Abstract: The present disclosure is directed to a system for on-demand binary translation state map generation. Instead of interpreting the native code to be executed, binary translation circuitry (BT circuitry) may execute a binary translation (BT) in place of the native code. When a stop occurs (e.g., due to an interrupt, a modification of the native code, etc.), the BT circuitry may generate a binary translation state map (BT state map) that allows the location of the stop to be mapped back to the native code. Generation of the BT state map may involve determining a location and offset for the stop, performing region formation based on the location, loading instructions from the region (e.g., while accounting for the need to emulate instructions), forming the BT state map based at least on the size of the loaded instructions, and then mapping the stop back to the native code utilizing the offset.

Abstract: Methods, systems, and computer-readable media for refinement of static analysis of program code are disclosed. A report is received. The report was generated using initial static analysis of program code. The report indicates a plurality of warnings regarding the program code, at least some of which represent potential flaws, and the warnings are associated with a plurality of segments of the program code. Additional analysis of the segments of program code is performed. The additional analysis differs at least in part from the initial static analysis. Based at least in part on the additional analysis, at least some of the warnings are determined to represent false positives.

Abstract: A transfer method controls transfer of a template in a system (1) that supports introduction of an ERP package for a plurality of customer companies. The template includes: a plurality of software modules necessary for performing a plurality of functions including functions tailored to a plurality of industries or functions tailored to part of the industries; and a plurality of parameter settings used for determining operations of the software modules. The transfer method includes: a reception step of receiving an instruction to transfer a template; and a transfer step of transferring, on receiving the instruction to transfer a template, a plurality of software modules and a plurality of parameter settings which are included in the template from a first server (20) used for developing the template to a second server (30) used for performing a test for each customer company.

Abstract: The present application is directed towards systems and methods for identifying and grouping code objects into functional areas with boundaries crossed by entry points. An analysis agent may select a first functional area of a source installation of an application to be transformed to a target installation of the application from a plurality of functional areas of the source installation, each functional area comprising a plurality of associated code objects; and identify a first subset of the plurality of associated code objects of the first functional area having associations only to other code objects of the first functional area, and a second subset of the plurality of associated code objects of the first functional area having associations to code objects in additional functional areas, the second subset comprising entry points of the first functional area.

Abstract: Systems and methods for auto-tuning and compiling source code are provided. A first executable file is generated by compiling the source code in accordance with a first optimization scheme. Compiling reports, performance reports, and bottleneck information are generated for the first executable file. A second optimization scheme is generated, and a second executable file is generated by compiling the source code in accordance with the second optimization scheme. An optimized executable file is output based on the first executable file and the second executable file.

Abstract: An apparatus for voltage regulation device adjustment includes a rating module that determines an efficiency score for a current firmware of a voltage regulation device (“VRD”). The efficiency score describes a power efficiency for the VRD based on a configuration of an electronic device where the VRD is installed. The apparatus includes a comparison module that compares the determined efficiency score for the current firmware with a predetermined efficiency score for a different firmware for the VRD. The apparatus includes a firmware module that selects the different firmware for the VRD in response to determining that the VRD is less efficient with the current firmware than with the different firmware based on the comparison of the efficiency score for the current firmware with the predetermined efficiency score for the different firmware.

Abstract: In one approach, a method comprises receiving one or more higher-level instructions specifying to assign a value of a particular value type to a particular container of a plurality of containers, wherein the plurality of containers represent a data structure for maintaining one or more variables during execution of a block of code, wherein at least two containers of the plurality of containers are different sizes; generating one or more lower-level instructions that assign the value to the particular container based on applying one or more assignment rules to the one or more higher-level instructions based on the particular value type and executing the one or more lower-level instructions.

Abstract: A method of estimating a parameter relating to an upgrade of a wind turbine software includes toggling the wind turbine alternatingly between two modes, where the upgrade is implemented in one but not the other. Data is collected during toggling and divided into pairs of data parts, one from each mode. The data from the two modes is ordered separately and a quantile-to-quantile comparison is made.

Abstract: Systems and methods for coverage analysis using context information are described. The systems and methods can be used to obtain program code and test information for testing the program code, the test information associated with context information for providing context for testing the program code. Coverage information can be generated by testing the program code according to the test information. A first association can be generated between the context information and the test information. A second association can be generated between the context information and the program code. A third association can be generated between the coverage information and the test information. A subset of the coverage information can be determined based on the third association and a fourth association between the test information and the program code determined based on the first and second associations. An indication of the subset of the coverage information can be displayed.

Abstract: A method includes identifying an error in computer readable code and identifying a user profile associated with a development environment used to generate the computer readable code. The method also includes searching a database for user profile information indicative of a training sequence performed by a user associated with the user profile. The method further includes identifying a type of the error identified in the computer readable code and comparing the type of the error with one or more properties associated with the training sequence. The method additionally includes calculating a severity of the error based on the comparison with the one or more properties associated with the training sequence, and assigning a competence level to the user associated with the user profile based on the calculated severity. The method further includes generating a remediation suggestion to correct the error in the computer readable code based on the competence level.

Abstract: Techniques are disclosed for allocating computing resources. Historical verification test data for one or more workloads is accessed. The accessed data is updated by removing data for workloads that are mathematical outliers. Based on the updated data, for one or more workload groups, resource allocations for a range of test times are determined. Based on the allocations, costs for the one or more workload groups are predicted. One or more test configurations are updated based on the predicting.

Abstract: A multi-threaded imperative programming language includes language constructs that map to circuit implementations. The constructs can include a condition statement that enables a thread in a hardware pipeline to wait for a specified condition to occur, identify the start and end of a portion of source code instructions that are to be executed atomically, or indicate that a read-modify-write memory operation is to be performed atomically. Source code that includes one or more constructs mapping to a circuit implementation can be compiled to generate a circuit description. The circuit description can be expressed using hardware description language (HDL), for instance. The circuit description can, in turn, be used to generate a synchronous digital circuit that includes the circuit implementation. For example, HDL might be utilized to generate an FPGA image or bitstream that can be utilized to program an FPGA that includes the circuit implementation associate with the language construct.

Abstract: An analyzing unit analyzes source code specified by an input unit, to obtain fixed values which are used to distinguish between pieces of content of communication data for realizing a dependency relationship between pieces of software. A relationship between the obtained fixed values and software elements is saved in a storage unit. By an influence-by-change analyzing unit, pieces of information on a plurality of pieces of software saved in the storage unit are associated with each other based on the fixed values used to distinguish between pieces of content of communication data, and a dependency relationship between software program elements is analyzed. Analysis results are displayed in a diagram or table format on a display unit.

Abstract: Techniques are described herein for enhancing software application development and software design-for-test (DFT) technology by facilitating dynamic management and control of embedded dynamic test features via an application development and optimization platform. In some embodiments, an application development and optimization platform is described that can track, manage and rollout features of native mobile applications without the need to wait for public app store releases.

Abstract: A computer-implemented method for accessing a patch file for use in a system center configuration manager (SCCM) environment. The method includes accessing a patch file by a patch file agent, wherein the patch file agent is located in a system center configuration manager (SCCM) environment; and providing the patch file, by the patch file agent, to a server update services (SUS) without requiring use of a system center updates publisher (SCUP).

Abstract: Algorithms, examples, and related technology for automatic vectorization of a particular class of loops is described. The loops, denoted “CMMSR loops”, operate to find an extremum and also utilize an index denoting the position of the extremum in an array or other multi-element input. CMMSR loops are identified in a language translator by matching a specified template or having a specified set of parsing results, or both. Generated vectorization code includes, for example, code to compute candidates for the extremum, code to select the same instance of the extremum as a scalar execution when the input contains multiple instances, and wind-down code to compute an index expression based on the selected instance of the extremum. Vectorizations may execute on SIMD hardware or other vector processors.

Abstract: A method for detecting and localizing a fault in a system under test (SUT) includes generating an initial set of test vectors that provides complete n-wise coverage of the reduced test space. The method further includes generating an initial set of test cases from the initial set of test vectors and executing the initial set of test cases. The method further includes generating a set of new test cases from a selected failing test case, wherein generating the set of new test cases comprises generating, in relation to each attribute in the selected failing test case, a respective subset of new test cases at least in part by changing a respective attribute value for the attribute in the selected failing test case to each other candidate attribute value for the attribute that is not present in any of the one or more test cases that failed execution.

Abstract: Provided is a system and method for time-dependent activation of configuration content for a software application or service in a distributed computing environment. In one example, the method may include receiving a request associated with a software application, reading version information of a configuration object of the software application, the version information comprising different versions corresponding to different configuration content of the configuration object, identifying a currently active version of the configuration object from among the different versions based on activation identifiers of the different versions, and retrieving configuration content corresponding to the currently active version of the configuration object.

Abstract: A companion device can obtain a new version of a software program (e.g., in portions) from a server at the request of an accessory device, and provide the new version of the software to the accessory device. The software update of the accessory device can be initiated at the companion device. The companion device can communicate with the accessory device before and after the update to determine whether the update was successful. A notification about the update can then be provided to a user.