Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Tecniche per la generazione di test al fine di migliorare la qualità dei sistemi di software |
|---|---|
| Titolo del progetto di ricerca in inglese | Techniques supporting test generation in order to improve the quality of software systems |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Il programma di ricerca mira a proporre tecniche che possano analizzare il codice in modo da assistere la verifica della correttezza e della qualità. Le tecniche studiate si focalizzeranno sull'assistenza alla generazione di test basata su un'analisi del codice esistente. L'analisi mirerà a scoprire varie caratteristiche, come la presenza di valori tipici che le variabili possono assumere a runtime, la presenza di frammenti che possono indicare possibili vulnerabilità, errori, o pratiche non adeguate. La suddetta analisi permetterà quindi di raccogliere informazioni al fine di generare e selezionare test che siano efficaci nella individuazione di difetti, che possano assicurare la copertura di un'ampia percentuale del codice, e che eseguano il codice in condizioni realistiche. |
| Descrizione sintetica in inglese | The research program aims at proposing techniques that make it possible to analyse the code in order to assist the verification of code correctness and quality. The studied techniques will focus on assisting the generation of test cases according to the analysis of code. Such an analysis aims at discovering several characteristics, such as typical values that variables take at runtime, code fragments that hint at vulnerabilities, errors, or bad practices. Therefore, such an analysis will make it possible to gain insights in order to generate and select test cases that will likely discover defects, ensure an ample code coverage, and execute the system under the most likely conditions for a real production environment. |
| Data del bando | 18/02/2020 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 23787.00 |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://www.unict.it/bandi/ricerca-e-trasferimento-tecnologico/assegni-di-ricerca-tipo-b |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 19367.00 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | yes |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) |
Dottorato di ricerca o titolo equivalente, conseguito in Italia o all’estero in discipline attinenti a Informatica o Ingegneria Informatica. Ai candidati è altresì richiesta la conoscenza della lingua Inglese |
| Nome dell'Ente finanziatore | Università degli Studi di Catania |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Catania |
| Codice postale | 95131 |
| Indirizzo | Piazza Università, 2 |
| Sito web | http://www.unict.it |
| dmi@unict.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 10/03/2020 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |