CS 590T Model Based Software Testinng

Fall 2005 Schedule (Dynamic)

Lecture	T TH 4:30-5:45pm	REC 227
Office Hours:	Thursday 3-4:20pm	Math 900

	SPECIAL INDUSTRY LECTURE Applying Computer Models to the Development of Implantable Cardiac Rhythm Management Devices Jim Mapel Manager, Product Software Engineering October 18, 4:30-5:45pm REC 227

This page last revised: November 26, 2005

Midterm: October 6, 2005 (4:30-5:45pm)

Final Exam or Special research presentation: TBD

Textbook/Reading: (a) Chapter's from Mathur's "Foundations of Software Testing," Draft V1.0 and(b) Research publications.

Students: MUST: Discuss your final exam schedule with the instructor on or before Tuesday November 22, 2005.

		Powerpoint presentations
	Chapter 1 Chapter 4 Chapter 5 Chapter 11

Each student selects three papers from the set below and sends a prioritized list to the instructor. The instructor will assign one paper to each student. There is no guarantee that a student will be assigned a paper from the list sent.

List of research publications to be read in liu of the final exam:

1. Regression testing:

@inproceedings{ball98limit,
author = "Thomas Ball",
title = "On the Limit of Control Flow Analysis for Regression Test Selection",
booktitle = "International Symposium on Software Testing and Analysis",
pages = "134-142",
year = "1998"
}

2. Testing non-deterministic FSMs

@article{gang-bochmann-petrenko,
author = "L. Gang and G. v. Bochmann and A. Petrenko",
title = "Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method",
journal = "IEEE Transaction on Software Engineering",
month = "February",
volume="20",
number=2,
year = "1994",
pages = "149 -162"
}

3. Random testing:

@article{gutjahr,
author = "W. J. Gutjahr",
title = "Partition testing vs. random testing: the influence of uncertainty",
journal = "IEEE Transactions on Software Engineering",
volume = "25",
number = "5",
pages = "661-674",
month= "November",
year = "1999"
}

4. Efficient code instrumentation:

@inproceedings{agrawal-dominators,
title={Dominators, super blocks, and program coverage},
author={H. Agrawal},
booktitle={In Proceedings of POPL 94},
location={Portland, Oregon},
year={1994},
pages={25--34}
}

5. Database testing:

@inproceedings{deng-phyllis-chays,
author = {Y. Deng and P. Frankl and D. Chays},
title = {Testing database transactions with AGENDA},
booktitle = {ICSE '05: Proceedings of the 27th international conference on Software engineering},
year = {2005},
pages = {78--87},
location = {St. Louis, MO, USA},
publisher = {ACM Press},
address = {New York, NY, USA}
}

6. GUI testing

@incollection{belli-budnik-nissanke,
author={F. Belli and C.J. Budnik and N, Nissanke},
title={Finite-state modeling, analysis, and testing of system vulnerabilities},
booktitle={Proceedings of Organic and Pervasive Computing Workshops (ARCS), Lecture Notes in Informatics},
volume={41},
pages={19--33},
year={2004}
}

7. OO testing

@article{chen-tse-chan-chen,
author = {H. Y. Chen and T. H. Tse and F. T. Chan and T. Y. Chen},
title = {In black and white: an integrated approach to class-level testing of object-oriented programs},
journal = {ACM Transactions on Software Engineering Methodology},
volume = {7},
number = {3},
year = {1998},
pages = {250--295},
publisher = {ACM Press},
address = {New York, NY, USA},
}

8. Testing distributed systems

@inproceedings{carver-tai,
author={R. H. Carver and K. -C. Tai},
title={Test sequence generation from formal specifications of distributed programs},
booktitle={Proceedings of the 15th International Conference on Distributed Computing Systems},
year={1995},
pages={360--367}
}