Readings:
Eclipse and its plugins
Eclipse Platform White Paper
NO PDP Required Today
Share Eclipse demo and overview: Dave
Share Eclipse demo and overview: Emily
Readings: cvs online book;
svn online book
Do this week also: install cvs or svn for your collaborative research project/paper files
Notes: cvs is already installed on stimpy, just need to follow steps to set up a server
svn install
NO PDP Required Today
cvs demo: Colin
svn demo: Emily
CVS | SVN | |
---|---|---|
revision numbers | per file | per filesystem tree |
conflict resolution | user responsible for remembering | can't commit until conflicts resolved |
authentication | login to do anything (read/write), even for anonymous operations | login as operations require |
Create a repository
svnadmin create [repository]
For CVS (assumes $CVSROOT
defined and exists):
cvs init
Import files into repository
svn import [local path] [URL] -m ""
Note that subversion doesn't automatically create a new directory in your repository for you, you need to tell it in the URL exactly what directory you want the new files to be imported to. Also, if you cd into the folder you want to add as a new project, you can leave out the [local path].
Example
svn import file:///home/gibson/repository/trivia -m "Initial import"
Compare with CVS:
cvs [-d cvs repository:/usa/gibson/cvs/] import -m 'Initial' [module:trivia] [vendor tag:CISGSA] [tag:start]
URL schemas:
Checking out a project
svn co URL [local dir]
where the locat directory is optional: default is the URL directory.
Committing changes
svn ci -m "Message"
Adding, removing
Almost identical to cvs.
Get revision history
svn log [URL]
Checkout previous version
Append -r [revision number]
to the co
command. To figure out what revision number you'd like to check out, just look at the log.
Diffing with a previous version
With current working copy
svn diff -r N
Compare revisions N-M
svn diff -r N:M
Readings:
CVS paper
Subversion paper
Another interesting paper:
Survey of Merging Software
cvs paper: John
subversion paper: Brice
Readings:
Impact of Software Engineering Research on the Practice of Configuration Management, TOSEM Oct 05
paper: Lori
Readings: JavaDoc description;
JavaDoc tool;
Doxygen
NO PDP Required Today
JavaDoc Demo: Wes
Doxygen Demo: John
Readings: http://java.sun.com/j2se/1.5.0/docs/guide/javadoc/index.html;
Doxygen Internals Manual
NO PDP Required Today
Share papers: Wes
Share papers: John
Readings:
Handout from Binder book;
Software Unit Test Coverage and Adequacy, Hong Zhu, Patrick A. V. Hall, John H. R. May, ACM Computing Surveys, Dec 1997, Vol 29, No. 4
Another useful quick overview of coverage for backup:
http://searchsoftwarequality.techtarget.com/originalContent/0,289142,sid92_gci1244258,00.html
Share Zhu paper: Colin
Share Zhu paper: Arpita
Readings:
DART: Directed Automated Random Testing, Godefroid, P., Klarlund, N., and Sen, K., PLDI 2005]];
Share paper: Nabeel
Share paper: Lori
Readings: A System to Generate Test Data and Symbolically Execute Programs", L. A. Clarke, TSE, Sept 1976;
Share paper: Nabeel
Share paper: Xia
Readings:
NO PDP Required Today
Readings:
Bogor Website
Bogor: A Flexible Framework for Creating Software Model Checkers, June 2006.
Robby, Matthew B. Dwyer, John Hatcliff.
In the Proceedings of Testing: Academic & Industrial Conference - Practice And Research Techniques
Bogor Demo: Arpita
Bogor paper: Roli
Bogor Demobogor-roli-1.ppt Bogor_Roli_Paper_Presentation
See the Course website for the Quest study guide. The quest should take 30 minutes.
Readings: Zeller's Slides
Speaker: Lori
Bugzilla Demo: Aaron
gforge Demo: Geoff
TRAC Demo: Brice
No PDP Form Due for this class.
Share Demo and Paper: Xia
Share Demo and Paper: Lori
Share first paper: Keyur
Share first paper: Krishna
Readings: Dynamically Discovering Likely Program Invariants to Support Program Evolution, Ernst etal, TSE 2001
Share paper: Wes
Share paper: Geoff
Readings:
Bug Isolation Via Remote Program Sampling, Liblit etal, PLDI 03
Scalable Statistical Bug Isolation, Liblit, PLDI 05 - Cancelled
Share first paper: Arpita
Share first paper: Xia
Purify Demo: Keyur
Splint Tool Demo: Krishna
No PDP Forms due today.
Share paper: Aaron
Share paper: Colin
Krugle Demo and Paper: Roli
No PDP Forms Due Today
krugle.pptKrugle source_code_exploration_with_google.ppt SourceCodeExploration
Share paper: Geoff
Share paper: Brice
Share Codesurfer Demo and paper: Aaron
Share Codesurfer Demo and paper: Keyur
Share JSlice Demo and Zhang Paper: Krishna
Share JSlice Demo and Zhang Paper:
Readings:
The Refactoring textbook with partial preview
A Survey of Software Refactoring
PDP Form only for the Survey paper.
Share Papers: Giri
Share Papers: Kishen
Eclipse Refactoring Demo: Giri
IntelliJIdea Refactoring Demo: Kishen
No PDP Forms Due this Day
Readings:
Valgrind website
Building Workload Characterization Tools with Valgrind
PIN Website
Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation, Luk etal, PLDI 2005
Valgrind Demo: ?
Share PIN Demo and Paper: ?
Share PIN Demo and Paper: ?