60 likes | 181 Views
Personal Assignment Static Methods Esa Puttonen 13.11.2003. T-76.115 Project Sotanorsu. Overview. Assignment: Use some forms of static analysis to decrease the number of bugs in your software. Static methods literature.
E N D
Personal Assignment Static Methods Esa Puttonen 13.11.2003 T-76.115 Project Sotanorsu
Overview • Assignment:Use some forms of static analysis to decrease the number of bugs in your software
Static methods literature • Chidamber, S.R., Darcy, D.P. & Kemerer, C.F. 1998, "Managerial use of metrics for object-oriented software: an exploratory analysis", Software Engineering, IEEE Transactions on, vol. 24, no. 8, pp. 629-639. • Chidamber, S.R., Darcy, D.P. & Kemerer, C.F. 1998, "Managerial use of metrics for object-oriented software: an exploratory analysis", Software Engineering, IEEE Transactions on, vol. 24, no. 8, pp. 629-639.
Static analyzers • JavaNCSS • Simple, fast, little functionality • CCCC, FindBugs • C-oriented, problems in compilation • Jlint • Lots of features, fast • http://artho.com/jlint/
Jlint • Operates on class-files • Syntax verification • Missing breaks in switch-statements • Suspicious precedences etc. • Semantic verification • Local and global data flow analysis -> eliminate redundant operations • Lock dependancy graph -> avoid deadlocks and race conditions etc.
Deployment of the practice • Run Jlint, when the end of an iteration is near • Identify potential bugs • Identify potential targets for refactoring