CISC 879 Software Testing and Maintenance
(Spring Semester 2004)
Class Schedule, Reading List, and Deadlines
Date |
Teacher |
Topic |
Reading |
Deadlines |
Tu, 2/10 |
Lori |
Overview and Introductions |
Handouts |
Th, 2/12 |
Lori |
Background on Testing |
H00, H88, S96, L86, B82, Y89 |
Proposal: Topic/Group |
Tu, 2/17 |
Sreedevi,Sara |
Defect/Failure Analysis |
D02 |
Th, 2/19 |
Shabnam,Cindy |
|
O02 |
|
|
Tu, 2/24 |
Ben |
|
BL02 |
|
Th, 2/26 |
Mike J. |
|
OB88 |
Proposal:Deadline 1
(ref list)
|
Tu, 3/2 |
Joel/Michael
|
|
HS02 |
|
|
Th, 3/4 |
NO CLASS |
NO CLASS |
NO CLASS |
Proposal: Deadline 2
(Lit Review Outline)
|
Tu, 3/9 |
Namratha, Divya G. |
Test Case Generation |
SB04 |
|
Th, 3/11 |
Shabnam,Sara |
Test Adequacy and Coverage |
ZP97 |
|
Tu, 3/16 |
Michael,Joel |
|
W88 |
Proposal Deadline 3
Draft:Back+Lit Survey |
Th, 3/18 |
FIRST QUEST |
FIRST QUEST |
FIRST QUEST |
FIRST QUEST |
Tu, 3/30 |
Dave,Sreedevi
|
|
HF94 |
|
Th, 4/1 |
Lori |
|
TH02 |
|
Tu, 4/6 |
Jiguang,Sophia |
|
MB03 |
Proposal Deadline 4
Idea Writeup
|
Th, 4/8 |
Antony, Sara |
|
HI02 |
|
Tu, 4/13 |
Sreedevi,Cindy |
Regression Testing |
HG93 |
|
Th, 4/15 |
Sophia, Jiguang |
|
GH01 |
Tu, 4/20 |
Dave,Antony |
|
OA03 |
|
Th, 4/22 |
Joel,Michael |
|
ST02 |
|
Tu, 4/27 |
Cindy,Shabnam |
|
EM02 |
|
Th, 4/29 |
Jiguang,Sophia |
|
JH03 |
Proposal Deadline 5
First Complete Draft
|
Tu, 5/4 |
Dave, Antony |
Testing Oracles |
RA92 |
|
|
Th, 5/6 |
NO CLASS |
NO CLASS |
NO CLASS |
NO CLASS |
Tu, 5/11 |
SECOND QUEST |
SECOND QUEST |
SECOND QUEST |
SECOND QUEST |
Th, 5/13 |
Joel,Mike
Sara, Cindy
Shabnam, Dave |
Proposal Presentations |
|
Proposal Deadline 6
Final Complete Draft
|
Tu, 5/18 |
Sophia, Jiguang
Antony, Sreedevi |
Proposal Presentations |
|
|
|
List of Papers
Overview:
(H00) Testing: A Roadmap, Mary Jean Harrold, The Future of Software Engineering, 2000.
(H88) Introduction to special section on Software Testing, R. Hamlet, Communications
of the ACM, June 1988, Vol. 31, Issue 6.
(S96) Testing: principles and practice, Stephen R. Schach,
ACM Computing Surveys, March 1996, Vol. 28, Issue 1.
(L86) Software Safety: Why, What and How, Nancy G. Leveson, ACM Computing Surveys,
June 1986, Vol. 18, Issue 2.
(B82) Validation, Verification, and Testing of Computer Software, W. Richards Adrion,
Martha A. Branstad, John C. Cherniavsky, ACM Computing Surveys, June 1982, Vol. 14,
Issue 2.
(Y89) Rethinking the taxonomy of fault detection techniques,
Michael Young, Richard N. Taylor,
ICSE 1989.
Defect and Failure Analysis:
(D02) Pursuing failure: the distribution of program failures in a profile space,
William Dickinson, David Leon, Andy Podgurski, FSE 2001.
(O02)The distribution of faults in a large industrial software system,
Thomas J. Ostrand, Elaine J. Weyuker, ISSTA 2002.
(BL02) Investigating the use of analysis contracts to support fault isolation in object
oriented code,
L. C. Briand, Y. Labiche, H. Sun, ISSTA 2002.
(OB88) The Category-partition method for specifying and generating functional
testing, T. J. Ostrand, M. J. Balcer,
Communications of the ACM, June 1988, Vol 31, Issue 6.
(HS02) PROPANE: an environment for examining the propagation of errors in software,
Martin Hiller, Arshad Jhumka Neeraj Suri, ISSTA 2002.
Test Case Generation:
(SB04)
Testability Transformation, Mark Harman, Lin Hu, Rob Hierons, Joachim Wegener,
Harmen Sthamer, Andre Baresel, Marc Rober, TSE Vol 30, No. 1, Jan 2004.
Test Adequacy and Coverage:
(ZP97) 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.
(W88) The Evaluation of Program-based Software Test Data Adequacy Criteria,
E. J. Weyuker, Communications of the ACM, June 1988, Vol 31, No. 6.
(HF94) Experiments on the Effectiveness of Dataflow-and Control-flow-based Test
Adequacy Criteria,
M. Hutchins, H. Foster, T. Goradia, T. Ostrand, ICSE 1994.
(TH02) Efficient instrumentation for code coverage testing,
Mustafa M. Tikir, Jeffry K. Hollingsworth, ISSTA 2002.
(MB03) Using Spanning Sets for Coverage Testing, Martina Marre, Antonia Bertolino,
TSE, Vol 29, No. 11, Nov 2003.
(HI02) Comparing test sets and criteria in the presence of test hypotheses and fault domains,
R. M. Hierons,
ACM TOSEM, Vol 11, No. 4, October 2002.
Regression Testing:
(HG93) A methodology for controlling the size of a test suite,
M. J. Harrold and R. Gupta and M. L. Soffa,
TOSEM, July 1993.
(GH01) An Empirical Study of Regression Test Selection Techniques,
Todd L. Graves, Mary Jean Harrold, Jung-Min Kim, Adam Porter, Gregg Rothermel,
TOSEM, Vol 10, No. 2, April 2001.
(OA03) Leveraging field data for impact analysis and regression testing,
Alessandro Orso, Taweesup Apiwattanapong, Mary Jean Harrold, FSE 2003.
(ST02) Effectively prioritizing tests in development environment,
Amitabh Srivastava, Jay Thiagarajan, ISSTA 2002.
(EM02) Test Case Prioritization: A Family of Empirical Studies,
S. Elbaum, A. G. Malishevsky, G. Rothermel, TSE, Vol 28, No. 2, Feb, 2002.
(JH03) Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage,
James A. Jones, Mary Jean Harrold, TSE, Vol 29, No 3, Mar 2003.
Testing Oracles:
(RA92) Specification-based Test Oracles for Reactive Systems,
Debra J. Richardson, Stephanie Leif Aha, T. Owen O'Malley,
ICSE, 1992.
Data flow Testing:
(HS89) Interprocedural Data Flow Testing, M. Harrold, M. Soffa,
Software Testing, Analysis, and Verification, Nov 1989.
(FW88) An Applicable Family of Data Flow Testing Criteria,
P. G. Frankl, E. J. Weyuker, TSE, Vol 14, No. 10, Oct 1988.
Testing of different programming paradigms:
Web Applications:
Improving web application testing with user session data,
Sebastian Elbaum, Srikanth Karre, Gregg Rothermel, ICSE 2003.
Analysis and Testing of Web Applications,
Flippo Ricca and Paolo Tonella, ICSE, 2001.
Object-based data flow testing of web applications,
Chien-Hung Liu and David C. Kung and Pei Hsia,
First Asia-Pacific Conference on Quality Software, 2000.
Mobile Software: (Sara, Cindy)
A Testing Framework for Mobile Computing Software, Ichiro Satoh, TSE, Vol 29, No. 12,
Dec 2003.
Component and Object-oriented: (Shabnam, Dave)
A framework for component deployment testing,
Antonia Bertolino, Andrea Polini, ICSE 2003.
The Construction of Contextual Def-Use Associations for Object-oriented Systems,
Amie L. Souter, Lori L. Pollock, TSE, Vol 29, No. 11, Nov 2003.
An Investigation of Graph-based Class Integration Test Order Strategies,
Lionel C. Briand, Yvan Labiche, Yihong Wang, TSE, Vol 29, No 7, July 2003.
Concurrent and Distributed:(Jiguang, Sophia)
Tool Support for Testing Concurrent Java Componenets, Brad Long, Daniel Hoffman, Paul Strooper,
TSE, Vol 29, No 6, June 2003.
Incremental Integration Testing of Concurrent Programs,
Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai,
TSE, Vol 28, No. 6, June 2002.
Conformance test experiments for distributed real-time environments
Rachel Cardell-Oliver, ISSTA 2002.
Database (Joel, Michael):
Technology for Testing Nondeterministic Client-Server Database Applications,
Gwan-Hwan Hwang, Sheng-Jen Change, Huey-Der Chu.
TSE Vol 30, No. 1, Jan 2004.
A family of test adequacy criteria for database-driven applicatins,
Gregory M. Kapfhammer, Mary Lou Soffa, FSE 2003.
Testing Database Transaction Concurrency,
Yuetang Deng, Phyllis Frankl, Zhongqiang Chen, ASE 2003.
GUIs: (Sreedevi, Antony)
Hierarchical GUI Test Case Generation Using Automated Planning,
A.M. Memon, M.E. Pollack, M.L. Soffa, TSE, Vol 27, No. 2, Feb 2001.
Coverage Criteria for GUI Testing,
Atif M. Memon, Mary Lou Soffa, Martha E. Pollack, FSE 2001.
Regression testing of GUIs
Atif M. Memon, Mary Lou Soffa, FSE 2003.
Automated test oracles for GUIs
Atif M. Memon, Martha E. Pollack, Mary Lou Soffa, FSE 2001.
Automated systematic testing for constraint-based interactive services,
Patrice Godefroid, Lalita J. Jagadeesan, Radha Jagadeesan, Konstantin Laufer, FSE 2001.
Deadline analysis of interrupt-driven software,
Dennis Brylow, Jens Palsberg, FSE 2003.
Spreadsheets:
Testing Homogeneous Spreadsheet Grids with the What You See is What You Test Methodology,
Margaret Burneet, Andrei Sheretov, Bing Ren, Gregg Rothermel,
TSE, Vol 28, No. 6, June 2002.
Tools and Impact Analysis:
Design and Implementation of a Fine-Grained Software Inspection Tool, Paul Anderson,
Thomas Reps, Tim Teitelbaum, TSE, Vol 29, No. 8, Aug 2003.
Using Concept Lattice of Decomposition Slices for Program Understanding and Impact Analysis,
Paolo Tonella, TSE, Vol 29, No 6, June 2003.
Locating Features in Source Code,
Thomas Eisenbarth, Rainer Koschke, Daniel Simon, TSE, Vol 29, No 3, Mar 2003.
Automated impact analysis of object-oriented software systems,
Michael A. Hoffman, OOPSLA 2003.
Longitudinal Program Analysis,
David Notkin, PASTE 2002.
Other References:
R. Binder. Testing Object-Oriented Systems. Addison Wesley, Reading, MA, 2000.