Abstract: System for performance-based design space composition in engineering systems includes design configuration module, explainable recommendation module and user interface module. A list of one or more system configurations is generated, each system configuration having a unique set of components that satisfy system goals and system requirements. For each system configuration, system performance values are determined based on performance enabled by each system component. A design dashboard presents the system configurations in rank order and the system performance value for each of the system configuration components.

Abstract: An embodiment of the present invention may enable editing and deployment of software by including in an application container editable source code used to produce an application, and tools to edit and build the application, such as a code editor and a build tool to convert the source code to the executable application. The container may include an executable application which may execute in the environment on which the container is saved. A server in the container may control execution of the executable application and build the executable application. A remote user computer may communicate with the code editor to edit the source code, which in its updated version may be built to produce an updated version of the executable application. The server may stop execution of the existing executable application, and start execution of the updated version of the executable application.

Abstract: Tracking software usage through the following operations: calculating current digests of common libraries used by software programs and obtaining digital signatures of tracking information of the software programs comprising identifiers of their common libraries and the corresponding current digests; responses are returned to calls for the software programs in association with the corresponding tracking information and digital signatures. A corresponding method under the control of a client comprises receiving a response to a call for a software program in association with the corresponding tracking information and digital signature. The common libraries of the software program are tracked according to a verification of the digital signature and of the current digests against corresponding reference digests. Computer programs and computer program products for performing the methods are proposed. Moreover, corresponding server computing system, client computing system and computing infrastructure are proposed.

Abstract: One example method includes deploying an application in a distributed computing environment. Telemetry data is collected that corresponds with the deployment of an application. The telemetry data is received by a machine learning model that was trained with test telemetry data to determine whether the deploying is successful or failed. A successful inference results in continued deployment and a fail inference results in a rollback of the application.

Abstract: In some embodiments, a robotic process automation (RPA) robot is configured to identify a runtime target of an automation activity (e.g., a button to click, a form field to fill in, etc.) by searching a user interface for a UI element matching a set of characteristics of the target defined at design-time. When the target identification fails, some embodiments display an error message indicating which target characteristic could not be matched. Some embodiments further display for selection by the user a set of alternative target elements of the runtime interface.

Abstract: Computer executable instructions including code sections are received and compared to previously analyzed computer executable instructions. The code sections are then analyzed and assigned a risk score. If the risk score is over a threshold, an alarm may be communicated or the system may substitute computer executable instructions that may have been created according to a standard or have been previously approved.

Abstract: A technique is described herein for assisting a user in editing a file. The technique involves producing current context information that includes an input message and selected file content. The input message describes a user's editing objective, while the selected file content describes a portion of the file to which the editing objective is to be applied. The technique then requests a pattern-completion engine to generate edit information based on the current context information. The edit information describes one or more changes to the selected file content that satisfy the objective of the user. The pattern-completion engine uses a machine-trained autoregressive text-completion model that is trained on revision history information. The model can be trained in a process that incorporates various tests to ensure that the edit information that is generated works as expected, satisfies various performance metrics, and fulfills the editing objectives of the user.

Abstract: The present disclosure relates to a method for generating a binding between a C/C++ library and one or more interpreted high-level languages, in order to expose the functionalities of the C/C++ library to this or these high-level languages, involving the following steps: a step of writing a definition of the binding in the form of a high-level language, a step of processing this definition in order to produce binding elements, a step of grouping the binding elements around each of the high-level language(s) to produce a C++ binding code, and a step of compiling the C++ code and linking this to the C/C++ library. This can be used, in particular, to implement human-machine interfaces for terrestrial, aerial or maritime mobile equipment.

Abstract: In some examples, simulation-based software design and delivery attribute tradeoff identification and resolution may include receiving requirements specification, and generating, based on an analysis of the requirements specification, canonical sustainability requirements. Based on an analysis of the canonical sustainability requirements, sustainable software attribute decisions and an attribute optimization score may be generated, and used to generate a sustainable software attribute balance score and a tradeoff attributes list. Based on an analysis of the sustainable software attribute balance score and the tradeoff attributes list, a green quotient may be generated and used to generate an architecture document. Further, based on an analysis of the architecture document, software quality rules may be generated, and used to generate a software application.

Abstract: A system for generating executable code of a software program that is matched with an intermediate representation (IR) of a source code of the software program. The system comprises a processor adapted for adding one or more annotation entries, each for a location in the IR, to program data in the IR. An internal annotation entry is generated for an internal location in the IR that is not referenced by an IR symbol in the global IR symbol table of the IR. The processor is further adapted for compiling the IR to produce a binary object comprising the annotation entries, and providing the binary object to a linker or to a dynamic loader to update in an executable object an executable internal annotation entry associated with an internal annotation entry to reference a run-time location in the executable object.

Abstract: A compliance discovery and integration process is implemented in association with a cloud-based security and compliance platform and associated CI/CD framework. The process assumes an existing DevOps-based deployment of a product, such as an enterprise application that executes in a runtime production environment. The technique of this disclosure addresses the problem of misalignment between a compliance policy and the product's post-deployment regulation posture by providing tools and methods that enable pro-active augmentation of governance and compliance policy during the pre-deployment phase and with respect to a next deployment of the product (e.g., a next or updated version). Thus, when the product is later deployed in its next deployment, its regulation posture (post-deployment) is already consistent with the compliance policy.

Abstract: A feature estimating device includes a parser identifying means for identifying a parser, the parser being contained in software, for parsing user input and executing a relevant command, a dividing means for extracting commands form a character string in the parser and clustering control flows connecting with the extracted commands as starting points to divide a code of the software for each feature, and a feature estimating means for estimating, based on a characteristic part of each divided code, a feature for each divided code.

Abstract: An interrupt-driven system verification method based on interrupt sequence diagrams includes the steps of: establishing an interrupt-driven system model based on an interrupt sequence diagram, dividing interaction fragments in the obtained interrupt sequence diagram into basic interaction fragments and composite interaction fragments and sequentially converting the basic interaction fragments and the composite interaction fragments into the corresponding automaton models, combining the automaton models into one automaton model, adding the constraints in the interrupt sequence diagram to the converted automaton model, adding the verification attribute information as a constraint to the converted automaton model, describing an automaton as an input format acceptable to the automaton verification tool, and verifying the model with the automaton verification tool.

Abstract: Methods and systems for automated scoring of open-source libraries on their state of reuse in software projects are provided. A system is configured to extract information about the software project, determine whether the extracted information includes information regarding any forked projects, calculate a useful fork reuse score for a forked project, calculate a reuse score in the forked project based on source code attributes including a source code class, create a tree structure for the source code class, identify functions from the tree structure of the source code class, identify similar code sections from the two source code files, calculate a code attributes reuse score based on the similar code sections, calculate a dependent consumption reuse score which indicates how much a function is reused by a dependent class, and calculate a unified reuse score based on the reuse score of the forked project and the dependent consumption reuse score.

Abstract: Some embodiments automatically assess source code merge conflict resolution candidates and then display a recommendation explaining strengths and weaknesses of each candidate. Thus informed, a developer can avoid adopting changes which produce merged code that does not build or does not pass tests, and avoid merged code that departs from a pattern followed in previous changes to a code base. Candidate conflict resolution assessments depend on objective criteria such as merged code buildability, operational accuracy, edit pattern consistency, or conflict resolution generator confidence. Candidates may be automatically ranked, prioritized, or rejected outright by an embodiment. Work item descriptions and candidate provenance may be displayed to aid developer selection of an optimal merge candidate.

Abstract: A method and an apparatus for generating software test reports are provided. The method includes following steps: providing a testing platform that supports retrieving one or more documents such as screenshots or DOM-like documents related to screen content of an application under test (AuT) and analyzing the documents to obtain description data of the screen content; selecting to execute a test report generator, and querying the description data, multiple test scripts ever executed on a system under test (SuT) and multiple test actionables from the testing platform by the test report generator, so as to evaluate a test trace of the AuT, calculate at least one test actionable and test data adapted for the AuT, and return the calculated test actionable to the testing platform; and executing the test actionable on the AuT in the SuT by the testing platform, so as to generate test reports of the AuT.

Abstract: Embodiments for providing an enhanced codebase in a computing environment by a processor. One or more container specification files may be automatically generated for a codebase based on one or more extracted attribute names and values.

Abstract: A system and method for determining the flow of one or more business terms between a plurality of software applications. The system includes extracting data from the source code data which includes a plurality of technical artifacts. An application model unit generates an application model that includes a representation of selected data components of the extracted data and generates application model data that includes data representative of a plurality of business terms and a plurality of technical artifacts. A term identification identifies the business terms and a mapping unit maps together the plurality of business terms and the plurality of technical artifacts from the application model data to form map data. A term lineage determination unit determines an inter-application lineage of the business terms based on the map data. The inter-application lineage is representative of data paths associated with the business term flowing between the software applications.

Abstract: Methods, systems, and computer readable media to automatically generate source code for simple object application protocol (SOAP) web services are described. The method can include selecting a type of web service and a web service. The method can also include selecting one or more inputs or one or more outputs corresponding to the type of the selected web service. The method can further include defining one or more conditions for the one or more outputs. The method can also include automatically generating a source code file for the web service based on one or more of the type of web service, the one or more inputs, the one or more outputs, or the one or more conditions, and deploying the source code file to a server. The method can further include generating a document that lists one or more specifications of the web service.

Abstract: Aspects of the disclosure relate to instinctive cipher compilation and implementation in a continuous integration and delivery environment. In some embodiments, a computing platform may receive, via the communication interface, a requirements document for an application. The computing platform may extract context data from the requirements document. The computing platform may scan a repository of code to identify code to be modified based on the context data. The computing platform may identify modifications to the code based on the context data and generate updated code based on the identified modifications. The computing platform may deploy and test the updated code in a test environment. The computing platform may determine a variance between the updated code and the requirements document and generate a variance report. In some embodiments, the computing platform may compare the variance to a predetermined threshold, and accept or redeploy the updated code based on the comparison.