View
98
Download
0
Category
Tags:
Preview:
DESCRIPTION
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 - PowerPoint PPT Presentation
Citation preview
Author(s)
Politehnica University of
Bucharest
Automatic Control and Computers
Faculty
Computer Science
Department
Robocheck – Integrated Code Validation Tool
Cezar Socoteanucezar.socoteanu@gmail.com
Iulia Bolcuiulia.bolcu@cti.pub.ro
Bachelor Presentation Session - July 2011
As. Drd. Ing. Răzvan DeaconescuDrd. Ing. Octavian Purdilă
Scientific Advisors
Content
Why Robocheck?WorkflowArchitechtureRobocheck FeaturesImplementationFurther ImprovementConclusion
22.04.23 Bachelor Presentation Session - July 2011 2
Why Robocheck?
22.04.23 Bachelor Presentation Session - July 2011 3
Still…why Robocheck?
22.04.23 Bachelor Presentation Session - July 2011 4
Workflow
22.04.23 Bachelor Presentation Session - July 2011 5
Robocheck Features
22.04.23 Bachelor Presentation Session - July 2011 6
Architechture
22.04.23 Bachelor Presentation Session - July 2011 7
Application Configuration
22.04.23 Bachelor Presentation Session - July 2011 8
rbc_config.xml configuration fileconfigure tool3 file sections: core initialization, installed
tools and registered errors
Robocheck Core
22.04.23 Bachelor Presentation Session - July 2011 9
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() callrun_robocheck() call
Penalty Module
Errors have an unique IDEach error has a single penalty associatedA penalty consists in: a penalty message, a
value and a value type
22.04.23 Bachelor Presentation Session - July 2011 10
Sparse integration
Static library written by Linus TorvaldsOffers an API for frontend and backend
analysisDetected features: function line count,
function indentation level, black listed function calls have the return value verified and others
22.04.23 Bachelor Presentation Session - July 2011 11
Future Improvement
Windows portingFault toleranceIntegrate tools for other languagesVMChecker integration
22.04.23 Bachelor Presentation Session - July 2011 12
Conclusion
Configurability and extensibilityAutomation and subjectivity eliminationProgram proper functioningComplementary part of VMCheckerWe`re almost there…
22.04.23 Bachelor Presentation Session - July 2011 13
Questions
Static and dynamic program analysisRuntime library loadingXMLASTUser Interactivity
22.04.23 Bachelor Presentation Session - July 2011 14
Recommended