|
CSE 590N: Software Engineering Seminar
(Winter 2002)
|
|
Reminder: If you're a student, sign up for
CSE590N for credit. Please. And everybody should sign up on the
cse590n mailing list through majordomo. (Let me know if you need information on
either of these.)
Room and Time: Loew
Hall 219: Tuesdays, 1:30-2:20PM.
As always, this seminar is for those interested
in general topics in software engineering. It's run by David Notkin and is
historically quite informal. This quarter we will investigate some topics in Software
Testing.
Here is the current schedule and reading assignments:
- Week 1. (8 Jan)- Testing Overview [Presenter:
David Notkin]
Software Testing: A
Roadmap. Mary Jean Harrold. In Future of Software Engineering, 22nd
International Conference on Software Engineering, June 2000. [PDF
| Slides]
Software Testing talk slide by Michal Young, 1999
UW/MSR Summer Institute [Slides]
- Week 2. (15 Jan)- Regression Testing - I
[Presenter: Tao Xie]
(Only 1, 2, and 5 sections, skip the experiment part) An Empirical Study of Regression Test Selection Techniques, T. L.
Graves, M. J. Harrold, J.-M. Kim, A. Porter, and G. Rothermel, ACM
Transactions on Software Engineering and Methodology V. 10, no. 2, April
2001, pages 184-208. [PDF]
Regression testing in an industrial environment, Akira K. Onoma , Wei-Tek
Tsai , Mustafa Poonawala , Hiroshi Suganuma, Communications of the ACM,
v.41 n.5, p.81-86, May 1998 [PDF]
Regression Testing Slides by Tao [Slides]
- Week 3. (22 Jan)- Regression Testing - II
[Presenter: Tao Xie]
Regression Test Selection for Java Software. M.J. Harrold, J. Jones, T. Li, D.
Liang, A. Orso, M. Pennings, S. Sinha, S. Spoon, and A. Gujarathi,
Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
(OOPSLA 2001). [PDF]
[Slides]
- Week 4. (29 Jan)- Test Case Prioritization
[Presenter: Sorin Lerner]
Prioritizing Test Cases for Regression Testing, S. Elbaum, A. Malishevsky,
and G. Rothermel, Proceedings of the ACM International Symposium on
Software Testing and Analysis, August 2000, pages 102-112. [PDF]
[Slides]
- Week 5. (5 Feb) -Dataflow Testing [Presenter:
Mark Seigle]
Interprocedural Data Flow Testing. Mary Jean Harrold and Mary Lou Soffa.
Proceedigns of the ACM SIGSOFT Third Symposium on Software Testing,
Analysis, and Verification (TAV3), pp. 158-167, Key West, Flordia,
December 1989. [PDF]
- Week 6.(12 Feb) - Test Case
Prioritization Techniques [Presenter: Andrew Petersen]
A History-Based Test Prioritization Technique
for Regression Testing in Resource-Constrained Environments, J.-M. Kim and
A. Porter, To appear in Proceedings of the 24th International Conference on
Software Engineering, May 2002. [PDF]
- Week 8. (26 Feb)- No 590n due to
the affiliates meeting
- Week 10. (12 March)- Invited Speaker:
Amitabh
Srivastava (Head of MSR's PPRC and the leader of the work on test
prioritization)
Before the class, read:
Effectively Prioritizing Tests in Development Environment, Amitabh
Srivastava; Jay Thiagarajan, MSR-TR-2002-15,
submitted to ISSTA. [PDF]
Subsequent Suggested Topics (TBA):
- Test Case Prioritization Techniques
Test-suite reduction and prioritization for modified condition/decision
coverage, Jones, J.A.; Harrold, M.J. Software Maintenance, 2001.
Proceedings. IEEE International Conference on , 2001, Page(s): 92 -101 [PDF]
- Integration of Static Analysis
and Testing
TestEra: A Novel Framework for Testing Java Programs. D. Marinov and S.
Khurshid. 16th IEEE Conference on Automated Software Engineering (ASE
2001), San Diego, CA. Nov 2001. [PDF]
-
Specification-based/Architecture-based Testing
Generating Tests from UML Specifications, Jeff Offutt and Aynur
Abdurazik. Second International Conference on the Unified Modeling
Language (UML '99), Fort Collins CO, October 1999, 416--429.[PDF]
Structural Specification-based Testing with ADL, J. Chang and D.
Richardson. Proceedings of the 1996 International Symposium on Software
Testing, and Analysis, ACM Press, January 1996, San Diego CA, 62--70. [PDF]
- Integration of Model Checking
and Testing
Using model checking to generate tests from requirements specifications,
Angelo Gargantini , Constance Heitmeyer, Proceedings of the 7th European
Engineering Conference held jointly with the 7th ACM SIGSOFT symposium on
Foundations of software engineering, October 1999. [PDF]
- Residual Test Coverage
Residual test coverage monitoring, Christina Pavlopoulou , Michal Young,
Proceedings of the 1999 international conference on Software engineering,
p.277-284, May 16-22, 1999, Los Angeles, California, United States [PDF].
- Daikon Specification Coverage
Specification Coverage as a Measure of Test Suite Quality, Michael Harder,
Benjamin Morse, and Michael D. Ernst. September 25, 2001.[PDF]
- PREfix
Invited Speaker: Jon Pincus (MSR/PREfix)
Pre-reading PREfix paper : A Static Analyzer for Finding
Dynamic Programming Errors, William R. Bush, Jonathan D. Pincus, David J.
Sielaff, Software - Practice and Experience 30(7): 775-802 (2000) [PDF]
Resource Links:
Last modified: Wed 23 Jan 13:10:12 PST 2002
|
 |
Department of Computer Science & Engineering
University of Washington
Box 352350
Seattle, WA 98195-2350
(206) 543-1695 voice, (206) 543-2969 FAX
[comments to
notkin@cs.washington.edu]
|