Current Status

Vezi status.

robocheck - Descriere generală și obiective

robocheck este o aplicație pentru verificarea corectitudinii unui program. Obiectivul proiectului este crearea unui sistem care să permită verificarea automată a temelor de casă. Aplicația constă din rularea a diverse utilitare de tip checker peste un program dat. Exemple de astfel de utilitare sunt:

• valgrind
• splint
• electric fence
• mcheck
• alte aplicații care verifică existența unor condiții care pot genera probleme sau comportament nedefinit

Aplicația va fi, pentru început, configurată pentru programe scrise în C, dar ne dorim extinderea pentru alte limbaje de programare.

Proiectul este dezvoltat în cadrul ROSEdu Summer of Code 2009.

Integrare în vmchecker

robocheck va rula standalone pentru verificarea unui program. Un obiectiv important îl constituie integrarea în vmchecker. robocheck va fi apelat în momentul testării temei prin intermediul vmchecker pentru a verifica nivelul de corectitudine a acesteia.

Vor fi planificate discuții cu Alexandru Moșoi (reponsabil vmchecker) pentru a discuta despre integrarea robocheck în vmchecker).

Fazele proiectului

• TODO

Vezi și roadmap-ul.

Întâlniri

Vezi intalniri.

Echipa

• Cristian Bârcă (mocke_bcm [at] yahoo [dot] com, mocke_bcm [at] gmail [dot] com, mocke [at] freenode, mocke_bcm [at] skype)
• Cezar Socoteanu (cezar.socoteanu [at] gmail [dot] com)
• Lucian Cojocar (cojocar [at] gmail [dot] com, cojocar [at] freenode, luci_coj [at] skype)
• Andrei Buhaiu (andreibuhaiu [at] gmail [dot] com) (coordonator)
• Andrei Faur (faur.andrei [at] yahoo [dot] com)
• Răzvan Deaconescu (razvan [at] rosedu [dot] org, razvand [at] freenode, razvandeaconescu [at] skype)

Resurse pentru dezvoltare

• instanță Trac
  • wiki: descriere sarcini, plan, module
  • milestones: repere importante în cadrul proiectului
  • ticketing: bug reports, feature requests
• repository Subversion
  • gestiunea scripturilor și a fișierelor importante folosite
  • SVN URL: svn://dev.rosedu.org/robocheck
    • repository-ul este public; oricine poate obține o copie
  • aici se află un tutorial rapid de SVN
• listă de discuții
  • discuții între dezvoltatori legate de instalarea și configurarea instanței de DMS
  • cerințe/observații din partea utilizatorilor
  • oricine se poate abona; arhivele listei de discuții sunt publice
• CodingStyle
  • reguli generale de indentare, denumire funcții, comentarii

Planul de activități

Vezi și roadmap-ul. Milestone-urile sunt disponibile și în format ICS.

Alte pagini

(de completat după începerea proiectului)

• Rezumate întâlniri