CS6330/CS4342
Software Generation, Testing, and Maintenance
Summer 2008

Meeting Times: Tuesday/Thursday 10:00-11:45
Meeting Place: 1456 Klaus Advanced Computing Building

Instructor: Spencer Rugaber; Personal teaching philosophy

Office: Klaus Advanced Computing Building 2336
E-mail:

Phone: 404 894-8450
Office Hours: TBS

Teaching Assistant: Yu Liu

Office: CoC Common Area(Old building)
E-mail: ericliu.gatech@gmail.com
Office Hours: Monday, Wednesday 3:50-5:20

Newsgroup: git.cc.class.cs6330
Swiki: http://swiki.cc.gatech.edu:8080/cs6330-su08

Course Objectives

Explore modern techniques for software development, emphasizing the downstream (code production, verification, and maintenance) aspects. Topics include application generators, domain analysis, domain-specific languages, feature-oriented development, reuse, static and dynamic polymorphism, meta programming, product families and product lines, application frameworks, mutation testing, unit testing frameworks, reliability, program proving, reengineering patterns, and refactoring.

Prerequisites

Program development experience (undergraduate software engineering course or industrial software development)
Working knowledge of an object-oriented programming language
Exposure to predicate logic and proofs (at the undergraduate level)

Course Evaluation


Team development projects	40%
Assignments	20%
Class Participation	10%
Exam	30%

Syllabus

Note that Readings should be completed before class on the day listed. Assignments are due before class on the day listed on the individual Assignments pages.


Date	Subject	Readings	Assignments
5/13	Introduction Features (PDF)	Batory, 2005	Swiki Feature Analysis
5/15	Reuse (PDF)	Arango Classic
5/20	Feature Analysis presentations
5/22	Domain modeling (PDF) Application Generators (PDF)	Cleaveland Smaragdakis and Batory	Application Generator
5/27	Product lines (PDF)	Cohen (1-32)
5/29	Application Generator Presentations		Project 1
6/3	Project planning discussion Planning (PDF) Estimation (PDF) Teams (PDF)
6/5	Aspect Oriented Programming (PDF)	AspectJ paper
6/10	Reviews (PDF)
6/12	Testing (PDF)
6/17	Testing IEEE Test Planning Template (doc) Short form (doc) Reliability (PDF)	Whittaker paper
6/19	Mutation testing (PDF) In-class mutation exercise Instructions (txt) Overview (txt) Mutant types (txt) Fortran BubbleSort code (txt)
6/24	Project 1 demos
6/26	OO frameworks (PDF)	Johnson and Foote Roberts and Johnson	Project 2
7/1	JUnit (PDF) Unit testing (PDF)	Gamma and Beck
7/3	Program proving (PDF1, PDF2)		Proof assignment
7/8	Software Maintenance (PDF) Reverse Engineering (PDF)
7/10	Project 2 presentations
7/15	Introduction to Metaprogramming (PDF) Variations (PDF) C++ Inheritance (PDF) Templates (PDF)	Components and Generative Programming	Project 3
7/17	Template Uses (PDF) Generators (PDF) Metaprogramming (PDF)
7/22	Refactoring (PDF) Chris's refactoring slides (PDF) Video store multiversion code	video.java Survey article
7/24	Policies (PDF) Pair programming (PDF)	Alexandrescu Chapter 1

Readings

Don Batory. "Feature Models, Grammars, and Propositional Formulas." Software Product Line Conference, pp. 7-20, 2005.
Guillermo Arango. "Domain Analysis Methods." W. Schaeffer, Rubén Prieto-Díaz, and M. Matsumoto editors, Software Reusability, Ellis Horwood, 1993, pp. 17-49.
Classic Knowledge Representation System web page.
J. Craig Cleaveland. "Building Application Generators." IEEE Software, 5(4):25-33, July 1988.
Yannis Smaragdakis and Don Batory. "Application Generators."
Sholom Cohen. "Product Line State of the Practice Report." Software Engineering Institute technical report CMU/SEI-002-TN-017, September 2002.
R. E. Johnson and B. Foote. "Designing Reusable Classes." Journal of Object-Oriented Programming, 1(2):22–35, June/July 1988.
Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm and William Griswold. "An Overview of AspectJ." Lecture Notes in Computer Science, Number 2072, pp. 327-355, 2001.
Don Roberts and Ralph Johnson. "Evolving Frameworks / A Pattern Language for Developing Object-Oriented Frameworks." University of Illinois.
Erich Gamma and Kent Beck. "JUnit A Cook's Tour." Java Report, May 1999.
Krzysztof Czarnecki and Ulrich W. Eisenecker. "Components and Generative Programming." Invited talk, in Proceedings of the Joint European Software Engineering Conference and ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE'99, Toulouse, France, September 1999), O. Nierstrasz and M. Lemoine, (Eds.), Lecture Notes in Computer Science 1687, Springer-Verlag, 1999, pp. 2-19.
Tom Mens and Tom Tourwé. "A Survey of Software Refactoring." IEEE Transactions on Software Engineering, 30(2):126-139, February, 2004.
James A. Whittaker and J. H. Poore. "Markov Analysis of Software Specifications." ACM Transactions on Software Engineering and Methodology, 2(1):93-106, January, 1993.

Resources

Books

Andrei Alexandrescu. Modern C++ Design. Addison Wesley, 2001.
Paul Clements and Linda Northrop. Software Product Lines. Addison-Wesley, 2002.
Krzysztof Czarnecki and Ulrich Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, 2000, ISBN: 0201309777.
Martin Fowler. Refactoring. Addison Wesley, 1999.
Andrew Hunt and David Thomas. Pragmatic Unit Testing. The Pragmatic Programmers, 2003.
William C. Wake. Refactoring Workbook. Addison Wesley, 2004.

Web Sites

Code Generation Network web site
JUnit web site
Refactoring web site
Software Generators web site
Wordnet

Background Reading

Don Batory, Rich Cardone and Yannis Smaragdakis. "Object-oriented Framework and Product Lines."
Proceedings of the first conference on Software product lines : experience and research directions, Denver, Colorado, United States, pp. 227 - 247, 2000.
Gary Chastek, Patrick Donohoe, Kyo Chul Kang, Steffen Thiel. "Product Line Analysis: A Practical Introduction." Software Engineering Institute technical report, CMU/SEI-2001-TR-001, June 2001.
Charles W. Krueger. "Software Reuse." ACM Computing Surveys, 24(2):131-183, June 1992.
A. Mili, R. Mili and R. T. Mittermeir. "A Survey of Software Reuse Libraries." Annals of Software Engineering, 5, 349-414, 1998.
Special issue of the Communications of the ACM on Object-Oriented Frameworks. CACM, 44(10), 10/97.
Dirk Riehle. "JUnit 3.8 Documented Using Collaborations." ACM SIGSOFT Software Engineering Notes. March 2008, 33(2).

CS6330/CS4342 Software Generation, Testing, and Maintenance Summer 2008