By Topic

A computer-aided incremental protocol test sequence generation: the production systems, approach

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
$31 $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

3 Author(s)
Chung-Ming Huang ; Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA ; Chang, Y.-I. ; Liu, M.T.

The authors present a formal model for incremental protocol test sequence generation based on executable rule-based specification and implementation. In order to have direct control, instead of using heterogeneous representation mechanisms, a homogeneous representation mechanism, the OPS5 production system, is used in both the design phase and the test phase. Since the tested paths can be recorded in a globally shared dataspace (working memory) of the OPS5 production system, the test process can continue by searching for the untested transitions incrementally. This method uses a status message to verify the entrance state instead of using distinguishing sequences. Therefore, each transition is tested exactly once

Published in:

Computers and Communications, 1991. Conference Proceedings., Tenth Annual International Phoenix Conference on

Date of Conference:

27-30 Mar 1991