SlideServe
Télécharger Obtenir Pro
Menu
Accueil Pro
Préférences
ApparenceLight Aide et commentaires
© SlideServe · v2026

Robocheck – Integrated Code Validation Tool

giona avatar
giona
14 diapositives · 491 Views · Aug 16, 2014

Robocheck – Integrated Code Validation Tool. Scientific Advisors. Cezar Socoteanu cezar.socoteanu @gmail.com Iulia Bolcu iulia.bolcu @ cti.pub.ro. Bachelor Presentation Session - July 201 1. As. Drd. Ing. R ăzvan Deaconescu Drd. Ing. Octavian Purdilă. Content. Why Robocheck? Workflow

Robocheck – Integrated Code Validation Tool - slide 1
01 / 14Robocheck – Integrated Code Validation Tool
1 / 17

Télécharger la présentation

Robocheck – Integrated Code Validation Tool
Une image / un lien ci-dessous est fourni (tel quel) pour télécharger la présentation

Politique de téléchargement : le contenu du site vous est fourni TEL QUEL pour votre information et votre usage personnel ; il ne peut être vendu, concédé sous licence ni partagé sur d’autres sites sans l’accord de son auteur.Le contenu vous est fourni TEL QUEL, pour votre information et votre usage personnel uniquement. Téléchargez la présentation en cliquant sur ce lien. Lors du téléchargement, si vous ne parvenez pas à télécharger une présentation, l’éditeur a peut-être supprimé le fichier de son serveur.Pendant le téléchargement, si vous ne parvenez pas à obtenir une présentation, le fichier a peut-être été supprimé par l’éditeur.

F I N

Plus de contenu associé

Transcription de la présentation

  1. Robocheck – Integrated Code Validation Tool Scientific Advisors Cezar Socoteanucezar.socoteanu@gmail.com Iulia Bolcuiulia.bolcu@cti.pub.ro • Bachelor Presentation Session - July 2011 As. Drd. Ing. Răzvan Deaconescu Drd. Ing. Octavian Purdilă

  2. Content • Why Robocheck? • Workflow • Architechture • Robocheck Features • Implementation • Further Improvement • Conclusion Bachelor Presentation Session - July 2011

  3. Why Robocheck? Bachelor Presentation Session - July 2011

  4. Still…why Robocheck? Bachelor Presentation Session - July 2011

  5. Workflow Bachelor Presentation Session - July 2011

  6. Robocheck Features Bachelor Presentation Session - July 2011

  7. Architechture Bachelor Presentation Session - July 2011

  8. Application Configuration • rbc_config.xml configuration file • configure tool • 3 file sections: core initialization, installed tools and registered errors Bachelor Presentation Session - July 2011

  9. Robocheck Core • Set of functions for extracting data from the rbc_config.xml file • Functions for effectively running the integrated tools • Using the core can be done with: init_robocheck() and run_robocheck() init_robocheck()call run_robocheck()call Bachelor Presentation Session - July 2011

  10. Penalty Module • Errors have an unique ID • Each error has a single penalty associated • A penalty consists in: a penalty message, a value and a value type Bachelor Presentation Session - July 2011

  11. Sparse integration • Static library written by Linus Torvalds • Offers an API for frontend and backend analysis • Detected features: function line count, function indentation level, black listed function calls have the return value verified and others Bachelor Presentation Session - July 2011

  12. Future Improvement • Windows porting • Fault tolerance • Integrate tools for other languages • VMChecker integration Bachelor Presentation Session - July 2011

  13. Conclusion • Configurability and extensibility • Automation and subjectivity elimination • Program proper functioning • Complementary part of VMChecker • We`re almost there… Bachelor Presentation Session - July 2011

  14. Questions • Static and dynamic program analysis • Runtime library loading • XML • AST • User Interactivity Bachelor Presentation Session - July 2011