Skip to main content
European Commission logo
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

Automatic System Testing

Description du projet

Logiciel automatisé qui teste les systèmes logiciels à la manière d’un humain

Même les programmes informatiques les plus simples peuvent rencontrer des erreurs d’exécution lorsqu’ils reçoivent des données entrantes inattendues. Les tests de logiciels avant leur mise sur le marché reposent en grande partie sur des humains qui exécutent une liste pratiquement infinie d’actions susceptibles d’entraîner une défaillance du système. L’automatisation d’une partie seulement de ce processus améliorerait considérablement l’efficacité et l’efficience des activités de vérification et réduirait les coûts de développement. Financé par le Conseil européen de la recherche, le projet AST mettra au point un outil pré-commercial permettant de générer efficacement et automatiquement des cas de test de systèmes pertinents sur le plan sémantique. Il exploitera les techniques d’apprentissage par renforcement pour apprendre progressivement et automatiquement les actions de test les plus utiles qui peuvent être exécutées sur une interface graphique.

Objectif

Verifying the correctness of software systems requires extensive and expensive testing sessions. While there are tools and methodologies to efficiently address unit and integration testing, system testing is still largely the result of manual effort.
Testing software applications at the system level requires executing the applications through their interfaces to verify the correctness of their functionalities and stimulate all their layers and components. Automating just part of this process can dramatically improve the effectiveness of verification activities and significantly reduce development costs, relevantly alleviating developers from their verification effort.
This project addresses the development of a pre-commercial tool that has the unique capability of efficiently and automatically generating semantically-relevant system test cases equipped with functional oracles. This capability derives from the AUGUSTO technique, which is an outcome of the Learn ERC project. The idea behind Augusto is to exploit the common-sense knowledge, that is, the background knowledge that every computer user has and that normally lets her/him use software applications without the need of accessing any documentation or manual. Once this knowledge is represented abstractly and then embedded in AUGUSTO, the technique can automatically adapt its definition to the software under test every time a program is tested.
This development work will be performed jointly with A company that produces and markets testing tools.

Régime de financement

ERC-POC - Proof of Concept Grant

Institution d’accueil

UNIVERSITA' DEGLI STUDI DI MILANO-BICOCCA
Contribution nette de l'UE
€ 150 000,00
Adresse
PIAZZA DELL'ATENEO NUOVO 1
20126 MILANO
Italie

Voir sur la carte

Région
Nord-Ovest Lombardia Milano
Type d’activité
Higher or Secondary Education Establishments
Liens
Coût total
€ 150 000,00

Bénéficiaires (1)