This is an old revision of the document!


Table of Contents

CISC-879 Software Tools

Getting Started

2/6 - Day 1: Introductions and Overview

2/8 - Day 2: How-To's: Read Papers, Do Demos, Give Paper Presentations, Write Reviews

Integrated Development Environments

2/13 - Day 1: Eclipse

Preclass Prep:

Readings: Eclipse and its plugins Eclipse Platform White Paper
NO PDP Required Today

Speakers:

Share Eclipse demo and overview: Dave
Share Eclipse demo and overview: Emily

Class Materials

Version Control/Software Configuration Management

2/15 - Day 1: Demos of cvs and svn: goals, how to install and use, different uses

Preclass prep:

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

Speakers:

cvs demo: Colin
svn demo: Emily

Class Materials

2/20 - Day 2: Behind the Scenes: Challenges and Strategies

Preclass Prep:

Readings:
CVS paper
Subversion paper
Another interesting paper:
Survey of Merging Software

Speakers:

cvs paper: John
subversion paper: Brice

Class Materials

2/22 - Day 3: Research and Configuration Management Systems

Preclass Prep:

Speakers:

paper: Lori

Class Materials

Documentation Generation

2/27 - Day 1: Demos of JavaDocs and Doxygen -- goals, how to install and use, different uses

Preclass prep:

Readings: JavaDoc description; JavaDoc tool; Doxygen
NO PDP Required Today

Speakers:

JavaDoc Demo: Wes
Doxygen Demo: John

Class Materials

3/1 - Day 2: Behind the Scenes: Challenges and Strategies

Preclass Prep:

Speakers:

Share papers: Wes
Share papers: John

Class Materials

Software Testing and Verification

3/6 - Day 1: Overview and Challenges

Preclass Prep:

Speakers:

Share Zhu paper: Colin
Share Zhu paper: Arpita

Class Materials

3/8 - Day 2: Automatic Test Case Generation for Random Testing

Preclass Prep:

Speakers:

Share paper: Nabeel
Share paper: Lori

Class Materials

3/13 - Day 3: Automatic Test Case Generation

Preclass Prep:

Speakers:

Share paper: Nabeel
Share paper: Xia

Class Materials

3/15 - Day 4: Testing Tool Demos

Preclass Prep:

Speakers:

  • JUnit Demo: Nabeel
  • Clover Demo: Sara

Class Materials

3/20 - Day 5: Software Verification

Preclass Prep:

Speakers:

Bogor Demo: Arpita
Bogor paper: Roli

Class Materials

3/22 - Quest

Preclass Prep:

See the Course website for the Quest study guide. The quest should take 30 minutes.

3/27 - 3/29 Spring Break

Issue Tracking

4/3 - Day 1: Overview of Tracking Problems and Challenges

Preclass Prep:

Readings: Zeller's Slides

Speakers:

Speaker: Lori

Class Materials

4/3 - Day 2: Demo of Bugzilla, gforge, and TRAC - goals, how to use, uses

Preclass Prep:

Speakers:

Bugzilla Demo: Aaron
gforge Demo: Geoff
TRAC Demo: Brice

Class Materials


No PDP Form Due for this class.

Debugging

4/5 - Day 1: Delta Debugging - Demo and Theory

Preclass Prep:

Speakers:

Share Demo and Paper: Xia
Share Demo and Paper: Lori

Class Materials

4/10 - Day 2: Lightweight Delta Debugging and Beyond

Preclass Prep:

Speakers:

Share first paper: Keyur
Share first paper: Krishna

Class Materials

4/12 - Day 3: Daikon - Debugging using Program Invariants

Preclass Prep:

Speakers:

Share paper: Wes
Share paper: Geoff

Class Materials

4/17 - Day 4: Liblit's Remote Sampling

Preclass Prep:

Speakers:

Share first paper: Arpita
Share first paper: Xia

Class Materials

Resource Leakage Tools

4/19 - Day 1: Purify and Splint's Tool Demos and Descriptions

Preclass Prep:

Speakers:

Purify Demo: Keyur
Splint Tool Demo: Krishna

Class Materials

No PDP Forms due today.

4/24 - Day 2: Some Theory Behind Memory Leak Detection

Preclass Prep:

Speakers:

Share paper: Aaron
Share paper: Colin

Class Materials

Program Understanding

4/26 - Day 1: Krugle

Preclass Prep:

Speakers:

Krugle Demo and Paper: Roli

No PDP Forms Due Today

Class Materials

5/1 - Day 2: Documentation and Code Relations

Preclass Prep:

Speakers:

Share paper: Geoff
Share paper: Brice

Class Materials

Program Analysis Tools

5/3 - Day 1: Static Slicing

Preclass Prep:

Speakers:

Share Codesurfer Demo and paper: Aaron
Share Codesurfer Demo and paper: Keyur

Class Materials

5/8 - Day 2: Dynamic Slicing

Preclass Prep:

Speakers:

Share JSlice Demo and Zhang Paper: Krishna
Share JSlice Demo and Zhang Paper:

Class Materials

Software Restructuring

5/10 - Day 1: Overview

Preclass Prep:

Speakers:

Share Papers: Giri
Share Papers: Kishen

Class Materials

5/15 - Day 2: Tools for Refactoring

Preclass Prep:

Speakers:

Eclipse Refactoring Demo: Giri
IntelliJIdea Refactoring Demo: Kishen

No PDP Forms Due this Day

Class Materials

CANCELLED - NOT ENOUGH TIME:

Code Instrumentation and Profiling - Valgrind and PIN

Preclass Prep:

Speakers:

Valgrind Demo: ?
Share PIN Demo and Paper: ?
Share PIN Demo and Paper: ?

Class Materials

courses/cisc879.1178900451.txt.gz · Last modified: 2007/05/11 12:20 by giri
  • 213 Smith Hall   •   Computer & Information Sciences   •   Newark, DE 19716  •   USA
    Phone: 302-831-6339  •   Fax: 302-831-8458