Abstract: Systems and methods for automated code analysis and tagging are disclosed. In one embodiment, a method for automated code analysis and tagging may include: (1) receiving, by a code annotation computer program executed by a computer processor, a training code snippet from a training codebase; (2) parsing, by the code annotation computer program, the training code snippet into a data structure; (3) quantifying, by the code annotation computer program, the data structure, (4) parsing, by the code annotation computer program, a docstring associated with the training code snippet into a plurality of keywords; (5) quantifying, by the code annotation computer program, the plurality of keywords; and (6) training, by the code annotation computer program, a code annotation model based on a similarity between the quantified data structure and a smoothing parameter for a Dirichlet prior smoothing estimate.

Abstract: The disclosed techniques may include receiving a request for a first step of a development workflow for deploying a standardized computer function within an organization. In addition, the techniques may include identifying a first file corresponding to the first step of the workflow. The techniques may include providing the first file to the application of the client device to cause the application of the client device to display a first text element at a first portion of a graphical interface and a first interactive element at a second portion of the graphical interface. The techniques may include receiving first information from the first interactive element. The techniques may include performing a first action in accordance with the first step of the development workflow. Further, the techniques may include generating a second file to implement a second step of the workflow based at least in part on the received first information.

Abstract: An approach for assessing a user experience with a product deployment. The approach embeds markers in documentation associated with a product. The approach embeds the markers in the product, correlated with the marker positions in the documentation. The approach calculates metrics, associated with timings between markers, based on deployment of the product by a user. The approach generates a report of an experience of the user in deploying the product.

Abstract: Some embodiments provide a method for identifying runtime complexity of a policy. The method receives, through a user interface (UI), a set of code defining a particular policy. For each variable in the particular policy, the method identifies a first occurrence of the variable in the particular policy to determine a number of values assigned to the variable. Variables determined to be assigned one value are separated from variables determined to be assigned more than one value. Based on the determinations for each variable, the method calculates a set of metrics that include at least time complexity, size complexity, and count complexity for the particular policy. The method then displays, through the UI, the calculated set of metrics along with a set of one or more suggestions for optimizing the particular policy based on the calculated set of metrics.

Abstract: Methods and apparatus provide for communications between an information processing device operated by a first user, which is connected via a network to another information processing device operated by a second user, where an application executing on the information processing device and generating an application image on a basis of operation information provided by the first user is transmitted to the other information processing device over the network.

Abstract: A method, computer system, and a computer program product for application modernization is provided. The present invention may include receiving operation data related to an application. The present invention may include identifying a plurality of entities based on the operation data related to the application. The present invention may include identifying one or more interactions between each of the plurality of entities. The present invention may include determining an energy consumption pattern for the application by analyzing a consumption of energy related to workload. The present invention may include determining a modernization scope for the application based on the energy consumption pattern.

Abstract: Systems and methods for streamlining risk modeling in software development using natively sourced kernels are described. The system may receive a native kernel for the first model, wherein the native kernel comprises a native code sample and a native description of the native code sample. The system may input the native code sample into an artificial intelligence model to generate a first output. The system may filter the first output based on the native description to generate a first validation assessment for the first model. The system may generate for display, in the user interface, the first validation assessment.

Abstract: Embodiments of the invention are directed to computer-implemented methods of analyzing a web-based software application. A non-limiting example of the computer implemented method includes generating, using a processor system, a set of to-be-tested element-event pairs of the web-based software application. A set of compatibility tests is received at the processor system, where the set of compatibility tests is operable to perform compatibility testing of a corresponding set of element-event pairs. A comparison is performed between the set of to-be-tested element-event pairs and the corresponding set of element-event pairs. A compatibility testing recommendation is generated based at least in part on a result of the comparison.

Abstract: Software systems and methods convert algorithms and software codes into time affecting linear pathways (TALPs) via decomposition and convert paired Input/Output (I/O) datasets into TALPs via Value Complexity polynomials. Generated TALPs can be enhanced through merging with other TALPs. TALPs can be grouped by matching the outputs of the TALP-associated prediction polynomials with some set of given criteria into families and cross-families that are useful in a new type of software optimization that allows for output values of grouped TALPs to be modeled, pooled, discretized and optimized to enhance goals or meet user goals.

Abstract: A method for verifying a set of computer-executable instructions using at least one failing test generated by a test-case generator is disclosed herein. The method comprises verifying the set of computer-executable instructions by a verification module using a plurality of predefined verification conditions; determining if the verification is successful; in response to successful verification, label the set of computer-executable instructions as successful; and in response to unsuccessful verification, generate at least one counterexample, with respect to a proof failure and corresponding to at least one failed verification condition of the plurality of the predefined verification conditions, and generate a failing test, by a test-case generator, based on at least one counterexample. A program verification tool for testing the set of computer-executable instructions is also disclosed.

Abstract: Systems and methods for performing binary translation include a system that is capable of translating binaries written for use in a source execution environment to binaries compatible with a target execution environment. Consistent with some embodiments, a binary translation system includes a system service and a runtime code module that exists in an application memory address space. The binary translation system translates object-level binaries corresponding to executables, linkers, libraries, and the like and stores the translation in a translation cache that is cryptographically secured to ensure that only a system having a specific key is able to access the translations. If the application or application binary has been modified since the translation was performed, the system service will ensure that the translation is removed from the cache, a new translation is performed, and all threads accessing that translation are updated to the new translation.

Abstract: This disclosure relates to a method for managing installation of applications, where the method includes receiving, from a first computing device associated with an administrator of an organization, a pin request to attach an application, provided by an application store platform, with a version of the application, initiating, in response to the pin request, transfer of a copy of the version of the application from the application store platform to a data storage device, generating an application identifier that identifies a location of the version of the application stored in the data storage device, and transmitting installation data to a second computing device that is managed by the organization. The installation data includes the application identifier, which is used by the second computing device to install the version of the application from the data storage device.

Abstract: A deep learning model trained to learn to predict source code is tuned for a target source code generation task through reinforcement learning using a reward score that considers the quality of the source code predicted during the tuning process. The reward score is adjusted to consider code-quality factors and source code metrics. The code-quality factors account for the predicted source code having syntactic correctness, successful compilation, successful execution, successful invocation, readability, functional correctness, and coverage. The source code metrics generate a score based on how close the predicted source code is to a ground truth code.

Abstract: The present application relates to the technical field of computers, and discloses a micro-front-end-based page internationalization configuration method and apparatus, a device and a medium. The method includes: creating an internationalized page in a micro-front-end main application, and configuring the internationalized page to obtain a configured internationalized page; persisting data in the configured internationalized page; and reading the data and transmitting the data to at least one micro-front-end sub-application for any one of the micro-front-end sub-applications to perform page translation according to the data.

Abstract: A method of validating a regulated application by generating, on a local data processing system, an automated agent to oversee a validation process of the regulated application on the local data processing system regardless of a local or web-based nature of the regulated application.

Abstract: A method may include obtaining, for each period within a time interval, raw performance metric values for a performance metric of a service, encoding the raw performance metric values to generate inferred performance metric values for the performance metric, and selecting a portion of the inferred performance metric values. The portion corresponds to a representative period. The may method further include obtaining a service request for the service, generating a simulated response to the service request, and transmitting the simulated response using the portion of the inferred performance metric values.

Abstract: An architecture analysis apparatus (106) receives an architecture model input by a user, and analyzes a plurality of modules included in the architecture model to obtain a call relationship between the modules. Then, the plurality of modules are allocated to different layers based on an architecture setting entered by the user, whether a call relationship between the plurality of modules complies with a call rule is detected, and a detection result is displayed to the user by using an interface.

Abstract: Mutation testing can indicate whether mutants of a software application, created by intentionally altering source code of the software application, are successfully “killed” by test cases executed against the mutants. Mutation testing can be performed via parallel threads by, within each parallel thread, modifying individual source code class files and recompiling the modified class files to generate and test mutants. Individual mutation test results produced within each of the parallel threads can be aggregated to generate an aggregated test result report that indicates overall testing metrics associated with the mutation testing across the parallel threads.

Abstract: Software systems and methods convert algorithms and software codes into time affecting linear pathways (TALPs) via decomposition and convert paired Input/Output (I/O) datasets into TALPs via Value Complexity polynomials. Generated TALPs can be enhanced through merging with other TALPs. TALPs can be grouped by matching the outputs of the TALP-associated prediction polynomials with some set of given criteria into families and cross-families that are useful in a new type of software optimization that allows for output values of grouped TALPs to be modeled, pooled, discretized and optimized to enhance goals or meet user goals.

Abstract: The subject technology provides receiving a neural network (NN) model to be executed on a target platform, the NN model including multiple layers that include operations and some of the operations being executable on multiple processors of the target platform. The subject technology further sorts the operations from the multiple layers in a particular order based at least in part on grouping the operations that are executable by a particular processor of the multiple processors. The subject technology determines, based at least in part on a cost of transferring the operations between the multiple processors, an assignment of one of the multiple processors for each of the sorted operations of each of the layers in a manner that minimizes a total cost of executing the operations. Further, for each layer of the NN model, the subject technology includes an annotation to indicate the processor assigned for each of the operations.