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++