Lectures: S Ramakrishnan

Semester 2 2005 (July - Nov)

Venue: Bldg.11/Room H6

Time: Wednesday 10am - 12 noon

6 points, Second Semester, Clayton

Prerequisites: CSE2201, CSE2304, CSE2305, CSE3308, BUS2176 and CSE2/3391/ CSE2/3395

Co-requisite: CSE4213
Prohibitions: None

Objectives:

• Understand the role of validation & verification methods in the system life cycle.
• Gain experience in using commercial validation tools such as TestStudio from Rational and TestDirector from Mercury Interactive, and other similar products to help  detect  software system defects. Also gain experience in Performance and Load Testing with testing tools from these vendors.
•  Appreciate how assertion mechanisms impact reasoning.
• Be able to analyse and control defects in complex systems.
• Have an understanding of inspection & testing methods, configuration management, performance, and quality standards issues.

Assessment: Assignments 80%, Demonstration 20%

Some URLS of interest:

http://www.sqa-test.com/articles.html 

http://polaris.umuc.edu/~skerby/help/wbib_swe.htm

http://www.irisa.fr/pampa/themes/themes-e.html

http://www.rbsc.com/pages/who_who.html

http://web.comlab.ox.ac.uk/oucl/research/grants/eh.html

http://www.ercim.org/publication/Ercim_News/enw32/lemetayer.html

http://www.irisa.fr/vertecs/welcome-english.html

http://www.newcastle.research.ec.org/pdcs/book/pubs.html

http://www.research.ibm.com/journal/sj41-1.html 

http://www.inf.ethz.ch/personal/meyer/publications/computer/ariane.pdf

http://www.ivv.nasa.gov/

july 2002  report http://www.nist.gov/public_affairs/releases/n02-07.htm

http://www.nist.gov/director/prog-ofc/report02-3.pdf  300page + document

- How to read an Engineering Research Paper from Bill Griswold,
Dept Comp.Sc & Engineering, University California, San Diego,  Standard one page form that he gets the students to use - http://www.cs.ucsd.edu/users/wgg/CSE210/paperform.pdf

Articles for Discussion Topics and Papers of interest in CSE4431(Updated regularly)

Refer to http://portal.acm.org  or google or Hargrave Library for papers such as
Mary Jean Harrold  (2000), Testing: a road map, Proceedings of the Conference on The Future of Software Engineering May 2000, pp. 61-82

Communications of the ACM -   Location: Hargrave-Andrew Library Serials Call Number: 510.7806 A849C,
Location: Caulfield Serials Collection Call Number: 001.6405 ASS

And others listed in the pre-reading section in the table given above and in the “Selected Publications List” available at
http://www.csse.monash.edu.au/~sitar/CSE4431-MUSE2002/ V-V-Qual-Stds.pdf

From www.swebok.org - pdf file - Bourque P, Dupuis R and Moore J W, The Emerging Consensus on the Software Engineering Body of Knowledge,
SEPG 2002, feb 2002, pp.49-56 on Software Testing 

ACM Computing Surveys - Title: ACM computing surveys. [electronic resource]. Continues: Computing surveys 0010-4892 Publisher: New York, N.Y. : Association for Computing Machinery, c1971- Material type: [electronic resource]. Linked resources: Full text available online via ProQuest (restricted access)

OOPSLA

ECOOP

IEEE Transactions on Software Engineering

International Conference on Software Engineering  and …

Some Conferences happening in Software Quality and Testing  in 2002

http://www.soft.com/QualWeek/QW2002/framemaker.pht (Quality Week Europe March 2002)

http://www.qaiusa.com/conferences/oct2002/index.html style="font-size: 9pt; color: black;">22nd Annual International Software Testing Conference
October 21 - 25, 2002 ~ Orlando, FL)
http://www.softdim.com/psqt2002north/

( International Conference on Practical Software Quality Techniques (PSQT)
& International Conference on Practical Software Testing Techniques (PSTT)
PSQT/PSTT 2002 North)

Student Paper

Refer to http://www.csse.monash.edu.au/~sitar/CSE4431-MUSE2002/V-V-Qual-Stds.pdf  for topic areas for your Assignment 3. Choose a topic and ask the lecturer to okay it, as students are expected to choose from a variety of topic areas from the pdf file given or a topic of special interest to the student in the area of software testing.

You may want to look for topics for your paper and links to active researchers  by looking at some of the premier conference URLS such as for Automated Software Engineering (ASE), International Symposium on Software Testing and Analysis(ISSTA), International Symposium Software Reliability Engineering (ISSRE), International Conference Software Engineering (ICSE) and associated/colocated workshops in these conferences and symposiums, which are often excellent as well), and other conferences and Journals in this area. You may find the following URLS useful:

http://www.ase-conference.org/ASE2004/   19^th IEEE International conference, Linz, Austria, September 20-25, 2004. Some of the workshops in conjunction with ASE2004 are:

http://fates.cs.auc.dk/  4^th International workshop on formal approaches to testing software with ASE04

http://eecs.oregonstate.edu/issta2004/   Boston, Massachusetts, USA, July 11-14, 2004

Some of the workshops in conjunction with International Symposium on Software Testing and Analysis (ISSTA 2004):

 http://www.cs.ucsb.edu/~bultan/tav-web/  Workshop on Testing, Analysis and Verification of Web Services (TAV-WEB 2004)  with ISSTA 2004

http://www.sce.carleton.ca/squall/WERST2004/   Workshop on Empirical Research in Software Testing (WERST'2004)   with ISSTA2004

http://www.issre.org/2004/ 15^th IEEE International Symposium Software Reliability Engineering, Saint-Malo, Bretagne, France, Nov 2-5, 2004,  Theme: Achieving software dependability through model driven engineering

http://conferences.iee.org/icse2004/  26^th International conference Software Engineering, May 23-38, Scotland, UK (also refer to interesting colocated workshops)

http://www.sce.carleton.ca/squall/  - The Software Engineering Quality Engineering Laboratory, Carleton University, Ottawa, Canada  for some interesting papers

http://www.irisa.fr/triskell/welcome.htm   University of Rennes, France

Student Paper

Must include an abstract, overview of the paper, motivation, literature review, students' contribution,
related work, weakness of the techniques discussed, further work and a summary/conclusion.

Judging for Best paper and possible submission to a conference.

Your paper will be judged for its content , written style & format and sticking to deadline schedules given for submissions.

Content and Style

1. Must include an abstract, overview of the paper, motivation, literature review, students' contribution, related work, weakness of the techniques discussed, further work and a summary/conclusion

2. Use academic style writing and do not use sales or marketing or flowery language

3. Check for typos, grammar,style

4. Use page numbers in the paper submitted

5. References must include refereed articles from Proceedings and Journals and not just from popular magazines or websites. A minimum of six references must be included.

6. Books are fine but cannot be the sole references. Citing must be done properly. Refer to standards for citation in  past Honours theses and/or in the refereed articles you have refereed to.

Page Limit

Paper limit of 10 pages applies for student papers. Use Latex template given  and produce a ps file.

Convert ps to pdf from Linux using ps2pdf  filename command and submit the paper  as a pdf file.

Presentation