By Topic

On optimizing test sequence generation for communicating systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
V. Carchiolo ; Instituto di Inf. e Telecomunicazioni, Catania Univ., Italy ; A. Faro

The authors present a method to derive an optimal testing sequence from Extended Calculus for Communicating Systems (ECCS) specifications. The method is based on the theory of experiments which deals with the idea of defining a characterization set for each state of the protocol under test. The authors propose a definition of the characterization set tailored for ECCS processes and present algorithms to derive a less time-consuming characterization set for recognizing that the system under test is in a given state. Two main problems are considered in the formal approach to protocol testing: one deals with a faster testing session; the second deals with less time-consuming computation methods to derive the sequences to be used in the optimal testing session. The authors first justify the importance of the optimization problem and then present a solution by using ECCS as a formal description technique

Published in:

Distributed Computing Systems, 1990. Proceedings., Second IEEE Workshop on Future Trends of

Date of Conference:

30 Sep-2 Oct 1990