Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Course Plan
[go: Go Back, main page]

Test and Verification

Testing-Week (3-6 March)

Subject:

This week we have Jan Tretmans from University of Nijmegen, The Netherlands,  as our guest lecturer on Testing Techniques. This "testing" week will consist of lectures by Jan Tretmans on classical test case design techniques, protocol testing standards, and finite state machine testing. The lectures will be supported by practical exercises. 

In addition our own Brian Nielsen will present work on modelling and testing at SIEMENS.

Material:

See extensive notes by Jan Tretmans here and here

In addition you will find copies of various articles on testing at the course binder.

Preliminary schedule:
 
Day Date Time and Place Subject
Monday  March 3  10.15 -12.00, E1-214  Introduction to testing
    13.00-14.45, E1-214 Classic black and whitebox testing
Tuesday  March 4 10.15-12.00, E1-214  Formal testing 1: framework, LTS 
    13.00-14.45, E1-214 Formal testing 1: framework, LTS 
Wednesday March 5 10.15-12.00, E1-214  Formal testing 3: tools and applications 
    13.00-14.45, E1-214 ISO 9646 conformance testing framework
Thursday March 6 10.15-13.00, E1-214  Protocol Testing at Siemens Mobile Phones, v. Brian Nielsen
    13.00-14.45, E1-214 Testing and Quality

 


Required reading


[1] Jan Tretmans, Testing With Formal Methods, Lecture Notes. [2] J.A. Whittaker, What is software testing? And why is it so hard. IEEE Software, Vol. 17, Nr. 1 (January/February), 2000, pages 70--79. http://computer.org/software/so2000/pdf/s1070.pdf.
[3] Glenford J. Myers, The Art of Software Testing. Chapter 4: Test-Case Design; pages 36--55. John Wiley & Sons, 1979. ISBN: 0-471-04328-1.
[4] H. Ural, Formal Methods for Test Sequence Generation. Computer Communications Journal, Vol. 15, Nr. 5, 1992, pages 311--325, Butterworth-Heinemann.
[5] J. Tretmans, An Overview of OSI Conformance Testing. Translated and adapted from: J. Tretmans and J. van de Lagemaat, Conformance Testen, in Handboek Telematica, Vol. II, pages 4400 1--19. Samson, 1991.
[6] H. Buwalda, M. Kasdorp, Getting Automated Testing under Control. Software Testing & Quality Engineering, Vol. 1, Nr. 6 (November/December), 1999, pages 38--44. An SQE Publication: http://www.stqemagazine.com.
[7] T. Koomen, M. Pol, Test Process Improvement - A Practical Step-by-Step Guide to Structured Testing. Appendix B: Summary of TMap. pages 173--187. Addison-Wesley, 1999. ISBN 0-201-59624-5.
[8] T. Koomen, M. Pol, Test Process Improvement - A Practical Step-by-Step Guide to Structured Testing. Appendix C: Test Tools. pages 189--197. Addison-Wesley, 1999. ISBN 0-201-59624-5.