G06F8/00

System and method for equivalence class analysis-based automated requirements-based test case generation

A system for equivalence class analysis-based automated requirements-based test case generation includes a control processor, a data store containing textual design requirements, a textual converter unit structured to convert the textual design requirements to a machine-readable version of design requirements, a requirement partition unit configured to partition the machine-readable design requirements into one or more sets of related design requirements, an equivalence class partition unit configured to process the machine-readable design requirements and input/output variables into a set of equivalence classes, an equivalence class analyzer unit structured to analyze the set of equivalence classes to generate equivalence class tests and identify uncovered input space, and a boundary class analyzer unit structured to identify boundaries of the equivalence classes and generate boundary value tests and robustness tests. A method for equivalence class analysis-based automated requirements-based test case generation implementable on the system, and a non-transitory computer readable medium are also disclosed.

Automated code verification and machine learning in software defined networks

A processor is configured to execute an event-driven program along a plurality of execution paths. Each of the plurality of execution paths is determined by randomly chosen outcomes at non-deterministic points along the plurality of execution paths. A memory is configured to store values of properties of the event-driven code in response to executing the event-driven program along the plurality of execution paths. The processor is also configured to infer normal ranges of the properties of the event-driven program based on the values stored in the memory.

Automated code verification and machine learning in software defined networks

A processor is configured to execute an event-driven program along a plurality of execution paths. Each of the plurality of execution paths is determined by randomly chosen outcomes at non-deterministic points along the plurality of execution paths. A memory is configured to store values of properties of the event-driven code in response to executing the event-driven program along the plurality of execution paths. The processor is also configured to infer normal ranges of the properties of the event-driven program based on the values stored in the memory.

Verification and export of federated areas and job flow objects within federated areas

An apparatus includes a processor to: receive a request for a federated area (FA) package including a FA storing a job flow definition; retrieve an instance log of a past performance that includes identifiers of the job flow definition, a data object employed as an input to a past performance, and a task routine executed in the past performance; employ an identifier to identify an FA storing a data object employed as an input; employ an identifier to identify an FA storing an executed task routine; generate the FA package to include the FAs storing the job flow definition, the instance log, the data object and the task routine, and include a copy of each in its respective federated area within the FA package; include an integrity value for each FA in the FA package; and transmit the FA package to the requesting device.

ADAPTIVE PLATFORM
20190265953 · 2019-08-29 ·

An adaptive content platform includes one or more content-enabled, dependent applications, each of which includes a user interface and business logic. A services layer, which is interfaced with the dependent applications and a software infrastructure, provides one or more services that are usable by the dependent applications.

ADAPTIVE PLATFORM
20190265953 · 2019-08-29 ·

An adaptive content platform includes one or more content-enabled, dependent applications, each of which includes a user interface and business logic. A services layer, which is interfaced with the dependent applications and a software infrastructure, provides one or more services that are usable by the dependent applications.

Dynamic addition and removal of operating system components

Systems, computer program products and computer program products for facilitating the dynamic addition and removal of operating system components on computing devices based on application or user interaction over time are disclosed. Such systems, computer program products and computer program products provide one or more API intercept layers, a rules engine and a hydrate engine that facilitates the ability to dynamically rehydrate or hydrate operating system components. In an embodiment, a minimal (or core) operating system image on a computing device is deployed. Then, required components may be dynamically added (i.e., streamed or rehydrated) from storage, a server or cloud service as required by an executing application program on the computing device. In another embodiment, a totally complete operating system image is deployed on a computing device. Then, unused components may be dynamically removed (i.e., dehydrated) from the computing device over time based on application or user interaction.

Orchestration for robotic process automation

An example embodiment may involve persistent storage containing definitions of (i) assignments of bots to endpoints, (ii) software packages for execution by the bots, (iii) schedules for the bots to execute the software packages, and (iv) processes that associate the bots with the software packages and the schedules. This embodiment may also involve processors configured to: receive, from a computing device, a request for bot deployment, wherein the computing device includes a bot runtime; identify, in the processes, a bot assigned to an endpoint that is associated with the computing device, wherein the bot is associated with a software package and a schedule; and transmit, to the computing device, data including a representation of the bot, a copy of the software package, and a copy of the schedule, wherein reception of the data causes the bot to execute, using the bot runtime, the software package in accordance with the schedule.

SYSTEM AND METHOD FOR GRAPHICALLY DISPLAYING RECOMMENDED MAPPINGS IN AN INTEGRATION CLOUD SERVICE DESIGN TIME
20190236822 · 2019-08-01 ·

In accordance with an embodiment, described herein is a system and method for graphically displaying recommended mappings between a source data object and a target data object in a design time of a cloud-based integration service. The system can include a recommendation engine that provides recommended mappings between the source and target data objects, so that the recommended mappings can be graphically displayed in a mapping interface. The recommended mappings can be filtered based one or more filtering criteria. Each recommended mapping can be displayed differently from an actual mapping, and can be associated with a reliability/quality indicator. A particular recommended mapping can be accepted to become an actual mapping, or to be rejected. The system allows a user to toggle between actual mappings and recommended mappings between the source and target data objects.

SYSTEM AND METHOD FOR GRAPHICALLY DISPLAYING RECOMMENDED MAPPINGS IN AN INTEGRATION CLOUD SERVICE DESIGN TIME
20190236822 · 2019-08-01 ·

In accordance with an embodiment, described herein is a system and method for graphically displaying recommended mappings between a source data object and a target data object in a design time of a cloud-based integration service. The system can include a recommendation engine that provides recommended mappings between the source and target data objects, so that the recommended mappings can be graphically displayed in a mapping interface. The recommended mappings can be filtered based one or more filtering criteria. Each recommended mapping can be displayed differently from an actual mapping, and can be associated with a reliability/quality indicator. A particular recommended mapping can be accepted to become an actual mapping, or to be rejected. The system allows a user to toggle between actual mappings and recommended mappings between the source and target data objects.