
Automatic System Testing
Objective
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.
Funding Scheme
ERC-POC - Proof of Concept Grant






Host institution
UNIVERSITA' DEGLI STUDI DI MILANO-BICOCCA
Address
Piazza Dell'Ateneo Nuovo 1
20126 Milano
Italy
Activity type
Higher or Secondary Education Establishments
EU Contribution
€ 150 000
Beneficiaries (1)
Sort alphabetically
Sort by EU Contribution
Expand all
UNIVERSITA' DEGLI STUDI DI MILANO-BICOCCA
Italy
EU Contribution
€ 150 000
Project information
AST
Grant agreement ID: 824939
Status
Ongoing project
-
Start date
1 January 2019
-
End date
30 June 2020
Funded under:
H2020-EU.1.1.
-
Overall budget:
€ 150 000
-
EU contribution
€ 150 000
Project information
AST
Grant agreement ID: 824939
Status
Ongoing project
-
Start date
1 January 2019
-
End date
30 June 2020
Funded under:
H2020-EU.1.1.
-
Overall budget:
€ 150 000
-
EU contribution
€ 150 000
Deliverables
Deliverables not available
Publications
Publications not available
Project information
AST
Grant agreement ID: 824939
Status
Ongoing project
-
Start date
1 January 2019
-
End date
30 June 2020
Funded under:
H2020-EU.1.1.
-
Overall budget:
€ 150 000
-
EU contribution
€ 150 000
Project information
AST
Grant agreement ID: 824939
Status
Ongoing project
-
Start date
1 January 2019
-
End date
30 June 2020
Funded under:
H2020-EU.1.1.
-
Overall budget:
€ 150 000
-
EU contribution
€ 150 000