English version  


CNCSIS

Activitatea in cadrul CONQUERS

Obiective si activitati

  • 2007: grad de realizare 100%
    Prototip si evaluare initiala a combinarii analizei (Java) statice cu testarea
    • Integrarea generarii automate de teste si a detectiei dinamice de invarianti in Eclipse
    • Extinderea si adaptarea unui cadru de analiza statica pentru C++ si integrarea sa in Eclipse
    [wiki] [Info. ECHOS]

    Construirea unui modul prototip (CoDePro) pentru detectie continua de carente de proiectare in Eclipse (Java)
    • Construirea unei biblioteci de metrici de proiectare in Eclipse
    • Proiectarea si implementarea prototipului moduluilui CoDePro pentru un set predefinit de carente
    • Implementarea in CoDePro a unui set de strategii de detectie
    [Info. CoDePro]
  • 2008: grad de realizare 100%
    Implementarea si rafinarea de tehnici pentru generarea inteligenta si automata de teste la nivel de modul
    • Generarea de valori de test cu satisfacerea de criterii de acoperire
    • Extragerea, filtrarea si verificarea de invarianti din suite de teste
    • Extinderea incrementala si iterativa a suitei de teste
    [wiki] [Info. ECHOS]

    Rafinarea modulului CoDePro cu facilitati de configurare si extensie
    • Studiu asupra optimizarii interactiunii dintre modulul CoDePro si activitatea curenta de dezvoltate
    • Definirea si implementarea facilitatilor de extensie si configurare pentru modulul CoDePro
    • Rafinarea modului de interactiune in CoDePro
    [Info. CoDePro]

    Construirea unei infrastructuri pentru analiza statica incrementala
    • Definirea unui model pentru stocarea rezultatelor analizei
    • Analiza scalabila de pointeri folosind nivele succesive de analiza si rafinare prin partitionare
    • Detectie de pierderi de memorie in C++ folosind analize la cerere
    [wiki] [Info. SAFE+]

    Definirea unui limbaj pentru exprimarea planurilor de corectie pentru carente de proiectare
    • Identificarea elementelor constituente ale limbajului
    • Definirea propriu-zisa a limbajului sub forma unui DTD si proiectarea unui parser
    • Integrarea noului limbaj in CoDePro si definirea unui mecanism de tip "wizard" pentru executia unui plan de corectie
    [Info. CoDePro]
  • 2009: grad de realizare 100%
    Evaluare intermediara a metodelor si instrumentelor de analiza dezvoltate
    • Evaluarea infrastructurii de testare si analiza statica pe proiecte de dimensiuni mari in Java si C++
    • Evaluarea scalabilitatii si utilizabilitatii moduluilui CoDePro pe o suita de proiecte industriale in Java
    • Initierea unui proiect cu o firma pentru evaluarea metodologiei agile de asigurarea calitatii propuse
    [Info.]

    Rafinarea si extinderea analizelor statice
    • Integrarea tehnicilor de detectare a invariantilor algebrici
    • Rafinarea preciziei analizei statice folosind proceduri de decizie
    [Info2. SAFE+]

    Detectia de Carente de Proiectare in C# si C++
    • Analiza elementelor specifice ale limbajului C++ sub aspectul carentelor de proiectare
    • Adaptarea modulului CoDePro la analiza proiectelor C++ in Eclipse
    [Info2. CoDePro]

    Suport integrat pentru depanarea automata.
    • Izolarea atributelor unei intrari de test care exercita o eroare data
    • Analiza inapoi a caii de eroare pentru identificarea locatiei si a cauzei
    [Info. Debug]

    Generarea de planuri de corectie pentru carente de proiectare.
    • Studierea elementelor relevante de context si corelare pentru un set de 6 carente de proiectare
    • Definirea si implementarea unui generator de planuri de corectie in Eclipse pentru Java
    [Info3. CoDePro]
  • 2010: grad de realizare: in desfasurare
    Identificarea corelatiilor existente intre carente de proiectare si carente de codare (erori).
    • Studiul corelatiilor numerice si de tip intre carente de proiectare si carente de codare
    • Analiza evolutiei versiunilor unui sistem software pentru detectarea corelatiei intre carente de codare si carente de proiectare


    Integrarea infrastructurii de testare si evaluare a calitatii
    • Metode de ghidare a activitatii de testare pornind de la caracteristicile carentelor de proiectare
    • Metode de restructurarea a codului directionate de profilul erorilor detectate
    • Definirea si implementarea unui modul de conexiune intre componenta de testare si evaluare a calitatii


    Evaluare finala a metodologiei si a mediului de analiza dezvoltate in cadrul proiectului.
    • Evaluarea rezultatelor proiectelor initiate in colaborare cu industria
    • Evaluarea infrastructurii de analiza dezvoltate pe proiecte industriale, in Java si C++


Ultima actualizare: 11 Mai, 2010