Newsgroups: comp.software.testing,comp.object,comp.software-eng,comp.lang.c++,comp.lang.smalltalk
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!fas-news.harvard.edu!newspump.wustl.edu!news.starnet.net!wupost!howland.reston.ans.net!news.sprintlink.net!udel!news.mathworks.com!solaris.cc.vt.edu!swiss.ans.net!singapura.singnet.com.sg!raffles.technet.sg!newsserver.iti.gov.sg!kishor
From: kishor@iti.gov.sg (Apte Kishor Hanamant)
Subject: Re: Announcement: Technical report on Object-Oriented Testing
Message-ID: <D29zGv.G9u@exodus.iti.gov.sg>
Sender: news@exodus.iti.gov.sg (USENET News System)
Organization: National Computer Board, Singapore
References: <KIRANI.95Jan5165424@sioux.advtech.uswest.com>
Date: Thu, 12 Jan 1995 04:36:31 GMT
Lines: 77
Xref: glinda.oz.cs.cmu.edu comp.software.testing:3024 comp.object:24939 comp.software-eng:29433 comp.lang.c++:107030 comp.lang.smalltalk:19461

kirani@sioux.advtech.uswest.com (Shekhar Kirani) writes:

>Hi:

>Based on my graduate work, we have published a technical report 
>on Object-Oriented Testing at CS dept, University of Minnesota.
>The title of the tech. rep. is "Specification and Verification 
>of Object-Oriented Programs". It contains data-flow anomaly
>detection for classes, test case generation from specification,
>derivation of specification from design models and so on.

>For those who are interested in getting the technical report by
>anonymous ftp, the instructions are as follows:

>1. ftp ftp.cs.umn.edu
>2. login as anonymous
>3. cd /users/users/shekar/oo-test
>4. mget README
>5. mget tech-rep.ps.Z

>For those who don't have access to ftp, they can get the printed copy
>by post. The details are:

>Tech Report Number: 94-64
>Title:              Specification and Verification of
>                     Object-Oriented Programs

>The report can be requested from Lee Reynolds
>(reynolds@cs.umn.edu). The postal address is:
>Lee Reynolds
>200 Union St. S.E.
>Computer Science Department
>University of Minnesota
>Minneapolis, MN 55455

>The department will charge only the postage, for domestic
>(including Canada) $2.39, and for foreign countries
>$8.00.

>If you have any questions, you can reach me at shekar@cs.umn.edu
>or kirani@advtech.uswest.com

>Thanks,
>Shekhar Kirani
>kirani@advtech.uswest.com
>-- 
>----------------------------------
>U S WEST Technologies
>4001, Discovery Drive, Suite 270
>Boulder CO-80303. (303)-541-6420. 
>---------------------------------

This is an excellent report. I am incorparting his suggestions in two 
of the test plans which I am writing. For a long time, I have seen a lot
of articles on OO Testing, but none of them made much sense to me. 

The concepts of Method Sequence Specificaiton and Message Sequence
Specification are elegant. It makes the job of writing test cases very
easy. 

The next step would be to generate some of these test cases
automatically once we have the above two specifications. 

Good Work !!! 

And I used to think that Ph.D. is meant as an excuse to loaf around 
in a  Univ. for four more years. :)) 

Kishor Apte. 
Process Engineering Team. 
Information Technology Institute
71 Science Park Drive 
Singapore 0511 
kishor@iti.gov.sg 

I do not speak for my employers. 

