Subject: 8th IFIP International Workshop on Protocol Test Systems

From: Ana Rosa Cavalli (LOR-MOTP) <[email-masked]>
Date: Fri, 7 Jul 1995 12:14:11 +0200

8th IFIP International Workshop on Protocol Test Systems

September 4-6, 1995
Institut National des Telecommunications (INT)
Evry, France

	FINAL PROGRAM

	Sponsored by IFIP TC6 / WG6.1
	IFIP, CEE, INT, CNET, SEMA GROUP, VERILOG

IFIP will sponsor the eighth International Workshop on Protocol Test Systems 
(IWPTS) to be held, on September 4-6, 1995 at the Institut National des 
Telecommunications (INT) in Evry, France. Evry is located 30 km
south of Paris and is easily accessible by highway or by train. The
aim of the workshop is to be a meeting point between research and
industry and between theory and practice. The workshop will consist of
invited and reviewed papers, tools demonstrations and posters displays. 

The final workshop proceedings will be published in the IFIP series by 
Chapman & Hall after the conference. To obtain current information, please 
browse the WWW pages at the following URL address:
 
        http://alix.int-evry.fr/lor/IWPTS95/

Topics of interest  to be discussed include:

	Methodology and architecture,
	Test sequences generation and test results analysis,
	Practical testing experience,
	Formalization and theory for testing
	Tools and tool support,
	Testing for high-speed and multimedia protocols,
	ATM and ODP testing,
	Mobile and Intelligent Network Protocol Testing.

PROJECT COST 247

IWPTS'95 will include a special session of the project COST 247, a European 
Research Action on verification and validation methods for formal 
descriptions. Its purpose is the co-ordination of national efforts to analyse, 
classify and come up with new and efficient techniques and tools for 
concurrent software verification and validation, both in the context of existing 
formal software specification languages and other newly suggested formal 
techniques.

The special session is focused on the work developed on conformance testing 
by some of the participants in the COST 247 project.

IWPTS Ô95 has received financial support from the European Commission to 
enable participation in the workshop of researchers and students of Central 
and Eastern Europe offering them stipends to cover (a part of) the registration 
fee and/or subsistence and/or travel expenses. An application form is 
included at the end of this program.

Program Committee

Co-chairs : 
A. Cavalli	INT (Evry, F)
(email: [email-masked])

S. Budkowski	INT (Evry, F)
(email: [email-masked])

B. Algayres	Verilog (Toulouse, F)
B. Baumgarten	GMD (Darmstadt, D) 
G. v. Bochmann	UniversitŽ de Montreal (CDN) 
E. Brinskma	University of Twente (NL)
R. Castanet	UniversitŽ de Bordeaux (F)
S. T. Chanson	Hong Kong University of Science & Technology (HK)
B. Chin	ETRI (KR)
A. T. Dahbura	Motorola (Cambridge, USA)
R. Dssouli	UniversitŽ de MontrŽal (CDN)
J.-P.Favreau	NIST (USA)
R. Groz	CNET (Lannion, F)
T. Higashino	University of Osaka (J)
D. Hogrefe	University of Bern (CH)
S. Kim	Korea Telecom (KR) 
J. Kroon	PTT Research (NL) 
G. Leduc	University of Liege (B) 
G. Luo	BNR (USA)
J. de Meer	GMD-Fokus (Berlin, D)
J. Manas	Technical University of Madrid (E)
T. Mizuno	University Shizuoka (J)
A. Petrenko	IECS (Riga, Lat)
M. Phalippou	CNET (Lannion, F)
O. Rafiq	UniversitŽ de Pau (F)
H. Rudin	IBM (Zurich, CH)
P. de Saqui-Sannes	ENSICA (Toulouse, F)
B. Sarikaya	University of Aizu (J)
N. Shiratori	Tohoku University (J)
K. Tarnay	KFKI (H)
J. Tretmans	University of Twente (NL)
H. Ural	University of Ottawa (CDN)
S. Vuong	University of British Columbia (CDN)
J. Wu 	Tsinghua University (Beijing, RPC)

Monday, September 4

8:00 - 9:00: Registration
9:00 - 9:30: Welcome address

Session 1: Testing Methods
Chair: R. Groz Ð CNET, France

9:30 - 10:15: Invited lecture:
Testing Through the Ages 
A. T. Dahbura Ð Motorola Cambridge Research Center, Massachusetts, USA

10:15 - 11:15

 An executable protocol test sequence generation method for EFSM-specified 
protocols
C.-M. Huang, Y.-C. Lin & M.-Y. Jang - Laboratory of Computer-Aided Protocol 
Engineering (LOCAPE), Taiwan 

Transformation of Estelle modules aiming at test case generation
O. Henniger & Institute of Automation Engineering, Otto-von-Guericke 
University, Germany
A. Ulrich & Department of Computer Science, Hong Kong University of Science 
and Technology, Hong Kong
H. Konig & Department of Computer Science, Technical University of Cottbus, 
Germany

11:15 - 11:45: BREAK

Session 2: Test environments
Chair: T. Higashino & University of Osaka, Japan

11:45 - 12:45 

Application of a LOTOS based test environment on AAL5
J. Burmeister & A. Rennoch - GMD FOKUS, Research Institute for Open 
Communication Systems, Germany

Stable testers for environment sensitive systems
M. Ghriga & Department of Computer Science, Long Island University, USA

12:45  - 14:00: LUNCH

Session 3: Theoretical Framework
Chair: J. Tretmans - University of Twente, Netherlands

14:00 - 15:30 

Timed systems behaviour and conformance testing-a mathematical framework
B. Baumgarten & GMD, Institute for Telecooperation Technique, Germany

An adaptative test sequences generation method for the users needs
R. Castanet, C. Chevrier, O. Kone & B. Le Saec - Universite de Bordeaux 1, LaBRI, 
France

A framework for testing telecommunication services
G. Vermeer, M. Witteman & J. Kroon - KPN Research, Netherlands

15:30 - 16:00: BREAK

Session 4: Algorithms and Languages
Chair: O. Rafiq - Universite de Pau, France

16:00 - 17:30 

Conformance testing of protocols specified as labeled transition systems
P. V. Koppol & K. C. Tai - North Carolina State University, USA

Two approaches linking test generation with verification techniques 
M. Clatin, R. Groz & M. Phalippou - France Telecom-CNET, France
R. Thummel - DGAC, France

PROSPECT - A proposal for a new test specification language and Its 
implementation
T. Walter & B. Plattner - Swiss Federal Institute of Technology Zurich, 
Computer Engineering and Networks Laboratory, ETH Zurich, Switzerland

18:00 - 20:00: Welcome reception

Tuesday, September 5

Session 5: Test Generation 1
Chair: J.-P. Favreau - NIST, USA

9:00 - 10:30

Test sequence generation for adaptive interoperability testing
S. Kang & M. Kim - Korea Telecom Research Laboratories, South Korea

Fault-tolerant UIO sequences in finite state machines
K. Naik Ð University of Aizu, Japan

Guaranteeing full fault coverage for UIO-based testing methods
R. Anido & A. Cavalli - Institut National des Telecommunications, France

10:30 - 11:00 : BREAK

Session 6: Testability
Chair: J. Kroon - PTT Research, Netherlands

11:00 - 11:45: Invited lecture: 

Towards testable communication software
R. Dssouli & K. Karoui - University of Montreal, Canada
O. Rafiq - University of Pau, France

11:45 - 12:45

Design for testability of protocols based on formal specifications 
M. C. Kim - Korea Telecom Research Laboratories, Korea
S. T. Chanson - Hong Kong University of Science & Technology, Hong Kong

On the design for testability of communication protocols 
N. Yevtushenko & S. Prokopenko - Tomsk State University, Russia
A. Petrenko, R. Dssouli & K. Karoui - Universite de Montreal, Canada

12:45 - 14:30: LUNCH

Session 7: Test Generation 2
Chair: G. v. Bochmann - Universite de Montreal, Canada

14:30 - 15:30 

A unified test case generation method for the EFSM model using context 
independent unique sequences
T. Ramalingom - Bell-Northern Research Ltd, Canada
A. Das - D.I.R.O, University of Montreal, Canada
K. Thulasiraman - School of Computer Science, University of Oklahoma, USA

Handling redundant and additionnal states in protocol testing
A. Petrenko - Departement d'Informatique et de Recherche Operationnelle, 
Universite de Montreal, Canada
T. Higashino & T.i Kaji - Department of Information and Computer Sciences, 
Osaka University, Japan

15:30 - 16:00: BREAK

Session 8: Industrial Applications
Chair: J. Manas - Technical University of Madrid, Spain

16:00 - 18:00

Experiences with the design of B-ISDN integrated test system (BITS)
K. Y. Kim, W. S. Kim, B. K. Hong - Electronics and Telecom-munications Research 
Institute (ETRI), Korea

The testing of BTs intelligent peripheral using abstract test suites from ETSI
N. Webster - Network Intelligence Engineering Centre, BT plc, England

Design of intelligent OSI protocol monitor
T. Ogishi, A. Idoue, T. Kato & K. Suzuki - KDD R&D Laboratories, Japan

Management and maintenance of TTCN abstract test suites
P.-Y. Danet - France Telecom-CNET, France
E. Desecures - Sema Group, France

19:00 - 20:00: Visit of Eiffel Tower 

20:00 : BANQUET

Wednesday, September 6

Session 9: Distributed Testing
and Performance
Chair: T. Mizuno - University Shizuoka, Japan

9:00 - 10:30 

Port-synchronizable test sequences for communication protocols
K. C. Tai & Y. C. Young - North Carolina State University, USA

Synchronizable checking sequences based on UIO sequences
S. Guyot & H. Ural - Department of Computer Science, University of Ottawa, 
Canada

Specification-driven performance monitoring of SDL/MSC-specified protocols
P. Dauphin, W. Dulz & F. Lemmen - University of Erlangen-Nurnberg IMMD 
VII, Germany

10:30 - 11:00: BREAK

Session 10: Test Management
Chair: B. Chin - ETRI, Korea

11:00 - 12:00

Test management and TTCN based test sequencing
J. Tian & J. Wu - Department of Computer Science, Tsinghua University, P.R. 
China

Towards a practical formal method for test derivation
R. L. Probert & L. Wei - Department of Computer Science University of Ottawa, 
Canada

12:00 - 14:00: LUNCH

COST 247 Session
Chair: K. Tarnay - KFKI, Hungary

14:00 - 14:45

Testing labelled transition systems with inputs and outputs
J. Tretmans - University of Twente, Netherlands

14:45 - 15:15

Experiences with practical protocol testing
M. Sredneva & K. Brzezinski - Institute of Telecommunications, Poland

15:15 - 15:45: BREAK

15:45 - 16:30

Test sequence generation: theory and practice
G. Csopaki, P. Benczur & A. Schmideg - Technical University of Budapest, 
Hungary
K. Tarnay - KFKI, Hungary

16:30 CLOSING

GENERAL INFORMATION

DATE	September 4-6, 1995

LOCATION	INT
	9, rue Charles Fourier
	91011 Evry - France
	Tel.: +33.1 60 76 44 27
	Fax: +33.1 60 78 39 27

REGISTRATION

	To register for the conferences, please complete and return the 
registration form enclosed to the address given 

REGISTRATION FEE

	Conferences				
	(FF. incl. VAT)	Before August 15, 1995	After August 15, 1995

	Standard fee	3, 000				3,500

	University fee	2,500				3,000

	Student fee	600				  600	

 Registration for the conference entitles the participant to: 
	¥ admission to conference rooms,
	¥ refreshments during the breaks,
	¥ the participant conference proceedings,
	¥ lunches an a banquet during a cruise on the river Seine.

The university rate is available to members of staff from universities and 
engineering schools.

Students born after January 1, 1968 are entitled to a special rate. This reduced 
fee entitles them only to admission to the conferences and refreshments. It 
does not cover the conference proceedings, lunches and banquet. 

Students born before January 1, 1968 are entitled to the university rate and 
should return the registration form together with a photocopy of their student 
card for the year 1994-95. This card may be requested at the welcome desk.

General conditions
	
	Registration fees are payable in advance. Exceptionally, payment will be 
accepted at the registration desk.

WORKING LANGUAGES

	English will be the official working language. 

CANCELLATION

	Registrations cancelled by letter or telefax will be honored if received 
before August 25, 1995. After this date, all registrations will be considered 
definite and the corresponding fees owing in full. The organizer can take no 
responsibility for any cancellations made after this date, and no refund will be 
possible.

DOCUMENTATION

	On presentation of the receipt of payment, each participant will receive a 
folder containing practical documention, various general information and 
participant proceedings. The folders may be collected from INT on September 
4, 1995 at 8:00 am.

TRANSPORTATION

	Evry is of easy access from downtown Paris by train. 
        A SHUTTLE SERVICE WILL BE ORGANIZED EVERYDAY BETWEEN INT AND DOWNTOWN PARIS.
      	(see "How to get to INT" at the end of this file) 

ACCOMMODATION

	For all hotel reservation information, please contact EC2 & Cie as soon as 
possible, and they will send you a hotel reservation form.

INFORMATION & SECRETARIAT

	Any correspondence and requests for information should be addressed 
to the Conference Secretary:

EC2 & Cie
9, rue Denis Poisson
75017 Paris
France
Tel. : +33.1 40 68 12 12
Fax : +33.1 40 68 12 11
E-mail: [email-masked]

IWPTSÕ95

REGISTRATION FORM

to be returned to:

EC2 & Cie
9, rue Denis-Poisson
75017 Paris - France
Fax : +33.1 40 68 12 11

PARTICIPANT (use one form per person)

Last name (Mr, Ms): 

First name: 

Company/Affiliation: 	

Address: 	

Postal/Zip code: 		City: 	

Country:  	

Telephone: 		Telefax: 	

E-mail:  	

REGISTRATION FEE (in FF, incl. VAT)

I wish to register (check as appropriate) :

Conferences

 I will attend the banquet and cruise

 I am vegetarian

TRANSPORT DISCOUNT

I wish to receive a form entitling me to a reduced rate for a round trip ticket 
(valid for participants of IWPTS Ô95 only)

	AIR INTER (40-45 %)	SNCF (20 %)

COMPANY/AFFILIATION TO BE BILLED

Company/Affiliation: 	

Address: 	

Postal/Zip Code: 		City: 		Country: 	
	
PAYMENT

I enclose FF ...................	by:	

¥ BankerÕs draft made payable to EC2 & Cie

¥ International Money Order* to :
	 UFB LOCABAIL 30958 00001 00060670130			

¥ Payment by credit card: 
	Please contact the Conference Secretary

* The fee for the International Money Order is part of the senderÕs expenses	

Name and signature of person responsible

Stamp of organization/Affiliation	Date: __/__/1995

This form represents an undertaking and only those registrations returned 
with payment in full or accompanied by an order form from the appropriate 
organization will be considered.

IWPTS'95

APPLICATION FOR FINANCIAL SUPPORT
(concerns only participants from Central and Eastern Europe)
to be returned before August 15 to : 
Maria Guilbert
INT
9 rue Ch. Fourier
91011 Evry Cedex - France
Fax: (33-1) 60 78 39 27
E-mail: [email-masked]

TITLE: 	 Prof	   Dr	 Mr   Ms
 		  Student
LAST NAME:	
	
First Name:	
AFFILIATION:	
ADDRESS:	
	
Postal / Zip code:		City:	
Country:	
Telephone:		Telefax:	
E-mail:	

¥	I am applying for a financial support to cover the IWPTSÕ95 registration 
fees (with this support I will be able to participate in the Worshop).

¥	I absolutely need an additional support to be able to participate in the 
Workshop (travel from and to a town in the Central and Eastern Europe 
and/or student hotel in Evry and/or subsistence fee). Please indicate and 
justify the amount needed.

	
Arrival date:		From:	
Departure date:		To:	

			HOW TO GET TO INT - EVRY

Evry is located about 30 km south of Paris. Paris is served by two airports 
ORLY and ROISSY- CHARLES DE GAULLE and several Railways Stations.

>From the ORLY airport:

- take a taxi to Evry (it will cost you about 200 francs ~ 40 USD)

>From the ROISSY- CHARLE DE GAULLE airport:

- directly by taxi: it will cost you about 800 francs ~120 USD), or
- take a shuttle-bus ("navette") to the ORLY airport
(departures evry 20min - from 6H00 to 23H00 - in front of the gate 34 of 
Terminal I or the gate 1 of Terminal II; it will last ~1 hour and cost you about 
64 francs = ~12 USD) and then a taxi to Evry (200 francs ~ 40 USD), or
- take a bus from Roissy Airport to the RER B station (free airport service). 
>From the RER B station take a train to the Chatelet-Les Halles station. AT the 
Chatelet-Les Halles station change to the RER A train that will take you to the 
Gare de Lyon station. From the Gare de Lyon station take a suburb ("Banlieu") 
SNCF train to Corbeil, via Evry - Courcouronnes, and get off at Bras de Fer 
station. The INT is 800m away from the Bras de Fer station (follow the 
"Institut National des Telecommunications" signs). The whole trip will take you 
around 1,5 hour.

>From anywhere in Paris (e.g. a Railway Station or your hotel):

- go by any means (metro, RER, bus, taxi) to the Gare de Lyon
station, and
- from the Gare de Lyon station take a suburb ("Banlieu") SNCF train to Corbeil, 
via Evry - Courcouronnes, and get off at Bras de Fer station. The INT is 800m 
away from the Bras de Fer station (follow the "Institut National des 
Telecommunications" signs) 

*********************************************************************
A special bus service Paris-Evry-Paris will be provided evry day (September 
4th to 6th) for IWPTS'95 participents.

- from Paris: Place d'Italie, on the corner of Blvd Blanqui at 7:30 the first day 
and at 8:00 all other days
- from Evry-INT: after the end of sessions.
*********************************************************************