Abstract: A method and apparatus for certification of facts introduces a certifier and a fact certificate into the fact-exchange cycle that enables parties to exchange trustworthy facts. Certification is provided to a fact presenter during the first part of the fact-exchange cycle, and verification is provided to the fact receiver during the last part of the cycle. To request a certification, a fact presenter presents the Certifier with a fact. In return, the certifier issues a fact certificate, after which the fact presenter presents the fact certificate to the fact receiver instead of presenting the fact itself. The receiver inspects the received certificate in order to evaluate the fact's validity and trustworthiness. For some facts and notions of verification, the certificate is sufficient and its inspection does not require any communication. For others, the receiver requests a verification service from the Certifier in order to complete the verification.

Abstract: Implementations of the present disclosure include methods, systems, and computer-readable storage mediums for concurrent production use of an enterprise system and testing of a modified enterprise system. Actions include receiving a test schema that provides one or more application views to application tables of production data in a database, at least one application view including a read-only view, providing one or more local tables for local test data provided during execution of the modified enterprise system, providing one or more triggers to the at least one application view, and executing the enterprise system based on a production database schema and concurrently executing the modified enterprise system based on the test database schema.

Abstract: Computer systems and associated methods are disclosed to implement a model development environment (MDE) that allows a team of users to perform iterative model experiments to develop machine learning (ML) media models. In embodiments, the MDE implements a media data management interface that allows users to annotate and manage training data for models. In embodiments, the MDE implements a model experimentation interface that allows users to configure and run model experiments, which include a training run and a test run of a model. In embodiments, the MDE implements a model diagnosis interface that displays the model's performance metrics and allows users to visually inspect media samples that were used during the model experiment to determine corrective actions to improve model performance for later iterations of experiments. In embodiments, the MDE allows different types of users to collaborate on a series of model experiments to build an optimal media model.

Abstract: An apparatus tests specific processing performed by plural computing machine resources provided by one or plural computers. The apparatus adds an instruction request command to request an instruction from the apparatus at a predetermined position in a source code of the specific processing performed by each computing machine resource, and generates the source code with an additional command.

Abstract: An input system and failsafe automation system, wherein the failsafe automation system includes a motion controller connected to multiple failsafe processors that are each respectively associated with a safety level, and wherein the motion controller includes at least one associated drive, where the respective drive is respectively associated with areas and each respective area has an associated safety level that indicates the level of (fail)safety level with which the respective area needs to be established such that the failsafe automation system allows individual areas in spaces such as production halls to be easily equipped with the necessary (fail)safety level.

Abstract: The described technology provides a system and method for sequential execution of one or more operation segments in an asynchronous event driven architecture. One or more operation segments may be associated and grouped into an activity of operation segments. The operation segments of an activity may be sequentially executed based on a queue structure of references to operation segments stored in a context memory associated with the activity. Any initiated operation segment may be placed on the queue structure upon completion of an associated I/O action.

Abstract: Data is received that characterizes graphical user interface elements of a software application. Thereafter, labels within the received data are identified. Further, those labels having corresponding input fields are identified. These identified input fields are used to poll a test data repository for test data appropriate for such input fields. Using the test data obtained as part of the polling, a testing script for the software application is executed which injects the test data into the identified input fields. Related apparatus, systems, techniques and articles are also described.

Abstract: A bug or problem that occurs during execution of an application is detected and a time at which the problem occurred is stored. An enhanced copy of the application is restored from before the time at which the problem occurred, and the enhanced copy of the application is run. If the problem is reproduced, the application is paused. If the problem is not reproduced, restoration of the enhanced copy, running of the enhanced copy and detection of the problem are repeated for a pre-designated number of times.

Abstract: A mobile application program testing method is provided for a server. The method includes receiving a code-to-be-tested sent by a first terminal, compiling the code-to-be-tested to a mobile application program, and recording a downloading address used for downloading the mobile application program. The method also includes generating a barcode used for obtaining the downloading address; and returning the barcode to the first terminal to be displayed. A second terminal acquires the barcode, obtains the downloading address, downloads the mobile application program according to the downloading address, and tests the mobile application program on the second terminal.

Abstract: Application compatibility testing for mobile applications enables enterprises to improve the extraction of mobile application suitability features (MASFs) from an App using techniques other than reading the package's manifest. In addition to performing dependency analysis in the open package format context, embodiments of the invention interpret the analysis results in the context of mobile devices where, in addition to binary, i.e. go/no go, OS compatibility, there is compatibility testing for other suitability metrics, such as enterprise policy compliance and device capability and/or compliance. A MASF results dictionary keeps track of the various identified hardware and software interfaces of the App.

Abstract: Methods and systems for deploying software applications based on previous deployments. One method includes collecting first telemetry data tracking usage of a first plurality of features of a first software application by a first plurality of devices and creating a first plurality of mappings based on the first telemetry data. The method further includes, as part of deploying the first software application within an organization, collecting second telemetry data tracking usage of a second plurality of features of a second software application by a second plurality of devices of the organization, creating a second plurality of mappings based on the second telemetry data, determining a set of features to be included in a testing plan relating to the first software application based on the first plurality of mappings and the second plurality of mappings, and implementing the testing plan as part of deploying the first software application within the organization.

Abstract: A computer-implemented method is presented for visualizing a stack frame graph of software resources on a user interface of a computing device. The computer-implemented method includes determining a priority of each stack frame by employing a call stack analysis technique, selecting a most important frame from stack traces of a targeted application, and displaying, on the user interface, call stacks representing each frame.

Abstract: A system and method generates a contextual model for a source model. The system and method receives a designation of a component of interest in the source model. The system and method analyzes the source model and identifies those model elements within the source model that have an interaction behavior with the component of interest. The system and method includes the component of interest and the model elements having the interaction behavior with the component of interest in the contextual model. The system and method connects the model elements to the component of interest in the context model in a similar manner as in the source model. The context model may be run or evaluated.

Abstract: Provided are methods and systems for simulating context-dependent electronic content on a separate digital sign. A user creates context-dependent electronic content for a separate digital sign, and associates the electronic content with context rules for displaying the content. The context-dependent electronic content is then displayed on a digital sign, such as in a normal display mode. To simulate the electronic content, a user selects simulation parameters for the simulation. An electronic content management system then configures the simulation parameters into a simulation protocol. When the simulation protocol is executed at the digital sign, digital sign displays the electronic content based on the simulation protocol, irrespective of the context associated with the sign. The simulation can continue, for example, until the user terminates the simulation.

Abstract: Provided are examples of apparatus and methods which relate to infrastructure testing, such as end-to-end reliability testing of a network deployed across one or more clouds in a cloud computing system. In an example method, a machine-executable order describing a computing network is received at a platform management device. The computing network can include a plurality of provisioned computing resources. The platform management device can be configured to manage a plurality of disparate platforms of pooled computing resources, such as disparate clouds in the cloud computing system. The computing network is deployed by executing the machine-executable order. At least one function of each provisioned computing resource in the plurality of provisioned computing resources can be tested. The testing can include transmitting one or more calls to a respective application program interface of each provisioned computing resource in the plurality of provisioned computing resources.

Abstract: The cognitive identification of related code changes is disclosed herein including receiving a set of changes for a software package that include changes to at least one program, analyzing data associated with the set of changes to identify a goal of the set of changes, querying a data repository for a pattern associated with the identified goal, and receiving, from the data repository, the pattern associated with the identified goal. The pattern includes at least one program to be changed for the identified goal. The method further including comparing the set of changes to the pattern, determining, based on the comparison, that at least one program included in the pattern is not changed in the set of changes, and transmitting a message to a computing device associated with a user that indicates that the at least one program included in the pattern is not changed in the set of changes.

Abstract: Methods and systems for detecting anomalous function execution in a program, such as a video game or simulation program, are described herein. Certain methods attempt to isolate and score functions that behave in a particular manner that is deemed to be problematic within a repetitive program. Other methods can use the repetitive nature of the program to directly compare and isolate problematic functions.

Abstract: Resolving software patch issues is provided. Recorded activities performed by users to resolve an issue with a patch applied to an application on a group of client devices are compared. A set of common user activities are identified within the recorded activities performed by the users. A subset of highest ranking common user activities is selected from the set of common user activities. A fix for the issue with the patch is generated based on the subset of highest ranking common user activities. Corrective action based on the fix is taken to resolve the issue with the patch on a client device, the client device experiencing the issue resolved by users on the group of client devices.

Abstract: Techniques for designing tests of a service catalog without having to write and/or edit the underlying scripts are disclosed. A library of tests step templates is populated and provided to a user. The tests step templates in the library may be selected by the user and edited to fill in specific parameters that specify the actions to be taken during execution of the test step. The test step may then be combined with other test steps to form a test. In some embodiments, the library may include test templates made up of frequently used sequences of individual test steps. Once a test has been designed, the test may be run, either manually triggered by a user or according to a schedule. The system may then run through the steps of the test, as specified by the user, by running the underlying scripts. As the test is run, results are generated.

Abstract: The present application relates to systems for programing devices, such as unmanned autonomous vehicles or “drones,” with a card-based format and methods for using the same. The system and methods generally comprise a programing system that receives one or more instructional cards selected by a user. The system generates an executable program based on the instructional cards received, and transmits the program to a device for execution.

Abstract: In one implementation, a static analysis system can include an operator engine to identify a modification operation on a string based on a structural comparison of program code to a static analysis rule, a label engine to maintain a label with the string based on the static analysis rule, and a sink engine to identify that the label denotes a string property and provide an analysis message associated with the string property based on the label.

Abstract: A method and system generate test cases for applications that include User Graphical Interfaces (GUIs). The system may extract GUI information from prototype requirements (e.g., interactive wireframes), generate a screen model for each screen of the GUI by using a subset of extracted GUI information, generate an application model representing the prototype requirements by combining the screen model for each screen, and generate test cases by using the sequence of the GUICs and the event types included in the test path and a semantic knowledge base. The semantic knowledge base is generated by using the relationships between GUICs and the GUIC events.

Abstract: The present disclosure generally relates to assessing climate change risk at a security level. A computing system receives a selection of a climate change scenario from a user operating a remote client device. The computing system generates one or more environmental metrics for one or more energy sources based on the scenario selected by the user. The computing system converts the one or more environmental metrics for the one or more energy sources into one or more profitability indicators. The computing system correlates at least one energy source of the one or more energy sources to each security. The computing system generates a projected climate change risk for each security based on the one or more environmental metrics for the one or more energy sources. The computing system provides a data set representing the projected climate change risk to the remote client device.

Abstract: A system may include a database and server device(s) disposed within a remote network management platform. The database may contain established normalization information for a plurality of software applications installed on computing devices of a managed network.

Abstract: Systems and techniques for deep hierarchy navigation include instantiating user interface (UI) components of an application in an application view on a computing device, where each of the UI components is represented by an application (app) model. For each of the UI components, dependencies on other objects are mapped including paths to the other objects. In response to an action to submit data contained in the UI components, each of the UI components is checked against validation rules. In response to one of the UI components violating one of the validation rules, an error in the UI component violating the rule is identified in a popover window using the mapped dependencies to identify the error. In response to a selection of the error in the popover window, the application is focused on the UI component containing the error.

Abstract: Techniques and solutions are described for automatically creating test code from production code. The production code can include one or more test code identifiers, such as of code checkpoints or modifiable code segments, for example, replaceable code segments or redirectable method calls. Using a user interface, such as a wizard, a user can view test code identifiers, select test code identifiers to activate, and optionally supply values, operators, or code to be used in the test code. The generated test code can include a test version of the production code that is separate from the production code. The generated test code can include test methods that include import parameters, export parameters and operators therefor, and other code to be used in tests to be performed using the test version of the production code.

Abstract: A chart has visual marks representing a dataset and displays icons, each icon specifying a line or band calculation based on the visual marks. The method detects input on a first icon while concurrently displaying the chart and the icons. Upon selection of the first icon, the method displays option icons according to the first icon. Each option icon specifies a different way of applying the first line or band calculation to the displayed visual marks. The method detects movement of the first icon to a first option icon. The first option icon specifies a first way of the applying the first line or band calculation to the displayed visual marks. Accordingly, the method performs the first line or band calculation on the displayed visual marks in the first way to form a line or band, and superimposes the line or band on the chart.

Abstract: The present invention has an object to analyze, regarding an existing system without a source code, the relationship between input items and internal system processing with respect to output items and present the analysis results to a user. An existing system processing specification extractor is an apparatus for making an existing system operate and analogizing input items of the existing system and internal system processing patterns without performing analysis of implementation and includes: an output data change information acquisition unit that classifies changes of output data associated with input to the existing system on the basis of types of changes of each output element; and an internal system processing specifying unit that combines the classifications obtained by making different input to the existing system and specifies a type of processing based on a usage pattern of an input item value.

Abstract: Methods, systems, apparatuses, and computer program products are provided for correlating a user interface (UI) of an executing process with a profiling trace generated for the process. A profiling trace of a process is captured during execution of the process. A window handle associated with the process is determined. Video of a displayed window having the window handle is captured simultaneous with the capturing of the profiling trace. The displayed window displays a user interface (e.g., a graphical user interface) of the process. The captured profiling trace and the video are stored in a profiling trace object, and may be analyzed together to diagnose any problems/issues with the process.

Abstract: A call to a memory management application programming interface (API) that results in a buffer overflow due to inaccurate bounds checking could potentially leave the system vulnerable to being exploited by a third party. Approaches presented herein can monitor calls to these APIs in order to determine typical memory sizes passed to these APIs. During an initial baselining period a number of profiles are generated that indicate expected memory size parameters under various different call conditions, such from specific sources or call stacks. Comparing subsequently received API calls against the expected values from the relevant profile enables the legitimacy of an API call to be determined with relatively high accuracy. A suspicious call is identified based at least in part upon determining that the memory size of the call falls outside an expected range for that API and the relevant context.

Abstract: A system for automated mobile application testing and activity monitoring where the mobile app runs on one of a plurality of available mobile devices running an operating system supported by the testing system. The automated testing system intelligently exercises each user interface element on each screen of the test mobile app for expected function, creating a graphical map of screen relationship and links in the process. Summary reports on user interface element function, mobile app usability and programming remediation hints on detailed pages may be displayed or sent to a client's software engineer task tracking package.

Abstract: Information flow analysis is conducted on conversational flow specifications of conversational agents. The conversational flow specification prescribes operation of a conversational agent and includes actions to be taken, inputs triggering the actions and input confirmations executed after receipt of a given input and before triggering a given action. The actions, inputs and input confirmations define conversational flow paths through the conversational flow specification. Unconfirmed conversational flow paths through the conversational flow specification are identified and reported to the author of the conversational flow specification. Each unconfirmed conversational flow path only contains inputs and actions and no input confirmations.

Abstract: A program analysis unit of a browser emulator manager exhaustively searches a code by performing syntax analysis of a code included in web content to search a transfer code to another site or a content acquisition code, and specifies at least any of an object and a function and a property of the object used in the code found as a result of the search. Further, the program analysis unit extracts a code having a dependence relationship with the transfer code or the content acquisition code based on at least any of the object and the function and the property of the object thus specified.

Abstract: Tracking GPU tasks includes receiving a GPU command buffer, executing the command buffer, and generating events in response to execution of the command buffer, each event generated at a different portion of a GPU pipeline. Generating events includes tagging each event with a unique event-type identifier, tagging each event so as to identify the command buffer, and storing each tagged event is in a memory. Displaying GPU tasks, including obtaining, from a kernel portion of an operating system, event records of a first type, partitioning the events into two or more collections of event records, and displaying two or more of the event records of the first collection in a first temporally ordered sequence.

Abstract: A system, method, and computer program product are provided for generating a maturity assessment of a document management system. In use, a plurality of questionnaires are stored, in a database, where the questionnaires include questions relating to document management system. Further, one or more answers to one or more of the questions are received, via at least one input device. Utilizing at least one processor, the one or more of answers to the one or more of the questions are processed, for generating a maturity assessment of the document management system. To this send, information relating to the maturity assessment of the document management system is output via at least one output device.

Abstract: Systems and methods for using a synchronization mechanism to dynamically update instrumentation during program execution are described herein. Using the synchronization mechanism, a decision tree structure of instruments can be avoided, saving processing resources. The synchronization mechanism can be a field or the like that is declared using a synchronization primitive. For example, the synchronization primitive can be a volatile or synchronized keyword in some programming languages. The field can refer to a currently-selected instrument implementation, thereby avoiding using a decision-tree structure to find a desired instrument implementation.

Abstract: A mechanism is provided for controlling execution of a computer program. An execution of unallowed software may be prohibited. Structural elements of a graphical user interface of the computer program are detected. The detected structural elements are compared with a stored signature, each signature comprising structural elements of a graphical user interface of allowed computer programs. Upon not finding a matching signature among the stored signatures when comparing, further executing of the computer program is inhibited.

Abstract: A method for automated generation and provision of at least one client/server-based software application having a user interface for a user is provided. The method provides at least the following: an application platform, which a user can log into, at least one client-specific database in which data can be stored, at least one application model stored in the client-specific database for generating the at least one software application, which application model is used to describe the functionality of the software application, a user interface and the data structure in a machine-processable form, and a model engine on the application platform for accessing data in the client-specific database.

Abstract: Method and apparatus for efficient test execution in a testing environment is provided. The method may include a test file. The test file may include one or more test cases for test execution. The test execution request may include one or more test files. The method may further use an execution server for the handling and the managing of the test request. The method may further use a plurality of agents. The agents may process and execute the test execution requests that are being handled and managed by the execution server. The processing and the executing of the test requests may produce real-time execution test results. The method may further cause the execution server to connect, in real-time, to the agent. The agent may display, on a GUI, the real-time status of the test execution requests.

Abstract: An instance of a consensus protocol in initiated by a processor initiating an application program interface to submit a value and obtaining the value. The processor sends a message including the value to one or more hardware components communicatively coupled to the processor. Logic in the hardware components obtains the message and appends the message with a sequence number, where the sequence number identifies the instance. Logic in the hardware accepts the value and supplies the value to the processor. The processor replicates the value for the instance and returns the value to the application via a callback.

Abstract: A system and method for automatic feedback and monitoring of avionics robustness and cybersecurity testing includes a fuzzer for generating fuzzed test cases based on legitimate data inputs and transmitting the test cases to various avionics systems under test (SUT). Individual monitor modules serve as monitors for particular devices, ports, or protocols of the SUT, determining states of the SUT before and after the test cases are introduced into the system by observing responses to system messages and regular system activities. Based on changes in system states, the monitor modules may determine system errors of the SUT, logging any determined errors along with associated test cases and system states for offline analysis.

Abstract: Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for a self-learning robotic process automation are disclosed. In one aspect, a method includes receiving an automated script that includes one or more commands and that is configured to interact with graphical elements that appear on a user interface. The method further includes executing a command of the one or more commands of the automated script. The method further includes determining that an error occurred during execution of the command of the one or more commands of the automated script. The method further includes determining a modification for the command by applying a script repair model. The method further includes executing the modified command. The method further includes determining whether the error or another error occurred during execution of the modified command. The method further includes determining whether to update the automated script with the modified command.

Abstract: A technique includes tracking changes to a code base using a source code management application; and maintaining a correlation between defects in the code base and changes addressing the defects. The technique includes determining a defect density in a subset of the code base associated with implementation of a requirement for the code base. Determining the defect density includes identifying how many defects are addressed by changes that modify the subset of the code base.

Abstract: System and methods for providing plugin-based software verification are described. A method may include, upon receiving a first registration instruction containing a first harness plugin associated with a first automated software test, configuring, by a test harness lifecycle controller, a first test harness based on the first harness plugin to support the executing of the first automated software test, wherein the first automated software test is a software test executable by a computer without human intervention. The method may include, upon receiving a first execution instruction, executing, by a test execution engine instructed by the test harness lifecycle controller, the first software test in the first test harness. The method may further include, upon receiving a request for test results, transmitting, by the test harness lifecycle controller in response to the request, test results collected during the executing of the first automated software test.

Abstract: A computer implemented method and system for creating a mobile application provides a mobile application development software (MADS) and pre-coded software components (PCSCs) encapsulated in a mobile application creation interface (MACI). The MADS dynamically maps data to be rendered in the mobile application with one or more data sources and launches the MACI. The MADS creates one or more composite software components (CSCs) by combining more than one of distinct software components selected from component sources and/or the PCSCs. The MADS inserts one or more PCSCs and/or CSCs into the MACI. The MADS generates one or more recommendations for adding one or more characteristic objects associated with the mobile application.

Abstract: In one embodiment, a method determines a data set stored in a database system and stores a visualization that is generated using the data set. A visual code is generated for the visualization where the visual code includes a link to the stored visualization. The method then outputs the visual code with the data set. A request via the link is received from a mobile device where the request is generated in response to the mobile device capturing the visual code. The method outputs the stored visualization to the mobile device in response to receiving the request.

Abstract: A test device may include an application that accesses online content. In some examples, a test intermediary and/or a test user interface (UI) are downloaded to the test device in response to a request by the application for obtaining the content from a network location. The test intermediary may be positioned to receive communications between the application and the content during testing of the content and/or the application. For example, the test intermediary may intercept metrics and other callbacks passed between the content and the application during manual or automated testing. In some instances, the test intermediary may provide the metrics and/or other test outputs for display in the test user UI rendered on the test device. The content may be rendered to be functional within the test UI, and the existence of the test intermediary and/or the test UI may be transparent to the application and the content.

Abstract: An automation framework for internationalization compliant applications is described. The automation framework includes a computer that executes a parser, an execution engine, and a logger. The parser parses a test case from a test case suite to identify script instructions to test an internationalization compliant application. The script instructions include a reference identifier. The execution engine executes the script instructions to test the internationalization compliant application, to identify at least one message identifier and at least one message string based on referencing a lookup database for an automation framework using the reference identifier, and to validate at least one message identifier and at least one message string with the internationalization compliant application. The logger logs a result of executing the script instructions, and outputs the result via an output device.

Abstract: In accordance with an embodiment, an application server environment can include a plurality of partitions and a resource group template, which can be referenced by a resource group in one or more of the plurality of partitions. A data source configuration can be defined as part of the resource group template. The data source configuration can be overridden with attributes specific to a particular referencing partition. A data source subsystem can create a data source object in accordance with the overridden data source configuration, for use in creating connections to a database associated with the particular referencing partition, monitoring and diagnosing the data source object.

Abstract: Described are a method and system for generating stateflow model from software requirements. The method includes receiving at least one software requirement as input. The method also includes annotating the received software requirements to create annotated software requirements. The method further includes parsing the annotated software requirements to create a plurality of stateflow blocks. The method further includes connecting, the created stateflow blocks, to generate a stateflow model.