Generating pseudorandom test items for software testing of an Application Under Test (AUT) is provided. In one example, a method comprises selecting an oracle of one or more oracles within a test provider directory structure, the oracle defining one or more logical paths each comprising one or more test conditions and an expected result. A pseudorandom test item having an initial state of empty is generated, and a logical path of the one or more logical paths is selected. The one or more test conditions of the logical path are translated into a constraint. Based on the constraint, a pseudorandom test input is generated and stored in the pseudorandom test item in association with the expected result corresponding to the logical path.

A transient input/output in progress state is established during processing of a testcase by a test infrastructure in a computing environment. The method includes obtaining the testcase for an object having one or more pages, and processing the testcase by the test infrastructure. Processing the testcase by the test infrastructure includes, for a page of the object, generating a delay in the processing of the testcase for the page of the object. The delay opens a transient input/output in progress state during which one or more test operations reference the page of the object.

An automated video game testing framework and method includes communicatively coupling an application programming interface (API) to an agent in a video game, where the video game includes a plurality of in-game objects that are native to the video game. The agent is managed as an in-game object of the video game. A test script is executed to control the agent, via the API, to induce gameplay and interrogate a behavior of a test object. The test object is identified from the plurality of in-game objects based on a query that specifies an object attribute of the test object.

A computer-implemented method for static testing a software system that is decomposed into software units connected by interfaces. The method comprises receiving context information for an interface, which includes at least one postcondition for the at least one output variable of a respective first software unit and/or a precondition for the input variable of a respective second software unit; receiving a selection of a third software unit in so that a substitute decomposition appertaining thereto of the software system into the third software unit and a complement of the third software unit is produced, the third software unit and the complement forming the software system and being connected via a substitute interface; selecting, based on the item of context information a postcondition per output variable of the complement; and testing whether the selected postcondition can be forward-propagated by the third software unit with regard to a formal verification.

A robot design interface comprises tools for testing a robotic process automation (RPA) workflow. Some embodiments automatically generate a mock workflow comprising a duplicate of the original workflow wherein a set of RPA activities are replaced with substitute activities for testing purposes. Some embodiments expose an intuitive interface co-displaying the substitute activities in parallel to their respective original activities and enabling a user to configure various mock parameters. Testing is then carried out on the mock workflow.

A method of testing a web-based application comprising: at a computing device: receiving a test procedure, the web-based application having an associated web-based application code, the test procedure including at least one testing step comprised of at least an action attribute and an element attribute; for each of the at least one testing steps: identifying an action handler based on the action attribute; generating at least one instruction, by the action handler, and in accordance with a determination that the testing step is an interaction testing step and that there is a value attribute associated with the interaction testing step, modifying the at least one instruction based on the value attribute associated with the interaction testing step; and causing the web-driver to execute the at least one instruction on an identified section of web-based application code corresponding to the element attribute to perform an operation on the web-based application.

A system for detecting malicious software, comprising at least one hardware processor adapted to: execute a tested software object in a plurality of computing environments each configured according to a different hardware and software configuration; monitor a plurality of computer actions performed in each of the plurality of computing environments when executing the tested software object; identify at least one difference between the plurality of computer actions performed in a first of the plurality of computing environments and the plurality of computer actions performed in a second of the plurality of computing environments; and instruct a presentation of an indication of the identified at least one difference on a hardware presentation unit.

Provided is a system and method for dynamically adjusting a descriptive document with instructions for a user interface based on configuration settings and software version and/or release for a particular user and document data stored in a technical data object. The process ensures that the content of the descriptive document matches what a user will see on a screen when viewing the user interface. In one example, the method may include retrieving user interface configuration settings generating a simulated user interface that includes a plurality of user interface elements and formatting the user interface elements based on the user interface configuration settings, composing a window with text from a document and screenshot images of one or more formatted user interface elements from the simulated user interface corresponding to the text, and rendering the window via a display of a computing device.

A method for testing an avionic computer having internal parameters of which only a subset of internal parameters is accessible to a test bench. The method includes connecting the avionic computer to the test bench, equipping the test bench with a test computer having software similar to software of the avionic computer, all of the internal parameters of which are accessible to the test bench, executing the software of the avionic computer in interaction with the test bench and executing the software of the test computer at the same time as the software of the avionic computer, and visualizing internal parameters belonging to the subset of internal parameters of the avionic computer and visualizing internal parameters of the test computer, corresponding to internal parameters of the avionic computer not belonging to the subset of internal parameters of the avionic computer, to check the conformity of operation of the software.

A development system and a method of an offline software-in-the-loop simulation are disclosed. A common firmware architecture generates a chip control program. The common firmware architecture has an application layer and a hardware abstraction layer. The application layer has a configuration header file and a product program. A processing program required by a peripheral module is added to the hardware abstraction layer during compiling. The chip control program is provided to a controller chip or a circuit simulation software to be executed to control the product-related circuit through controlling the peripheral module.