D2.4 Report describing the iv4xr Framework

This document describes the iv4xr Framework. It starts by giving an overview of the Framework, its top level architecture and its main components. The document then focuses on the Framework Core part, as the other main components are described in other Deliverables. In this document we will also focus on a more conceptual presentation of the Framework Core. The GitHub-pages of respectively the Framework and the Framework Core provide instructions and further documentation on their usage.

Document overview.

• Section 1 gives an introduction. Section 2 gives a brief overview of related work.

• Section 3 explains the execution model of iv4xr agents and some basics about their

  automated navigation and exploration feature.

• Section 4 explains the concept of tactics and goals. These are key concepts for iv4xr test

  agents.

• Section 5 presents different types of assertions/specifications that iv4xr agents can check

  and mentions the kind of output the test agents produce.

• Section 6 discusses dynamic goals, which are essential to build smarter test agents.

• Section 7 briefly discusses how to deploy iv4xr into the testing setup of some system under

  test.

• Section 8 presents some selected results of our study on agent-based tests produced by

  iv4xr.

• Finally, Section 9 gives a conclusion.