Testing Adaptive Software with Probabilistic Guarantees

Martina Maggio, Saarland University, Germany, and Lund University, Sweden

  • 25.11.2020, 17:30 - 18:30

Testing software that adapts, like a machine learning algorithm, is very complicated. In most cases, it is very difficult - if not impossible - to conduct exhaustive testing and analyse each possibile configuration. This is not only because the space of the configurations is very large, but also because the software learns and adapts, and running the same function with the same set of inputs may result in different outcomes. Martina Maggio will speak of this matter in a virtual seminar November 25 at 17:30 GMT. 

Virtual link: TBA

In this context, it is impossible to get a deterministic answer to the software correctness, and there is a need for a paradigm shift to the probabilistic setup. In our research, we explored different alternatives to obtain probabilistic guarantees. The classical tools from statistics are Monte Carlo simulations and the Extreme Value Theory. We show that these tools have limitations that can be overcame by formulating the problem of testing a software that adapts itself as a chance-contrained optimization problem. In doing so, we employ the scenario theory, from the field of robust control.

This seminar is part of the joint ICE-TCS/GSSI Virtual seminars.

Vinsamlegast athugið að á viðburðum Háskólans í Reykjavík (HR) eru teknar ljósmyndir og myndbönd sem notuð eru í markaðsstarfi HR. Hægt er að nálgast frekari upplýsingar á ru.is eða með því að senda tölvupóst á netfangið: personuvernd@ru.is
Please note that at events hosted at Reykjavik University (RU), photographs and videos are taken which might be used for RU marketing purposes. Read more about this on our ru.is or send an e-mail: personuvernd@ru.is