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

Chung Ming Huang, Ye In Chang, Ming T. Liu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationConference Proceedings - Annual Phoenix Conference
PublisherPubl by IEEE
Pages608-614
Number of pages7
ISBN (Print)0818621338
Publication statusPublished - 1991 Mar 1
EventProceedings of the 10th Annual International Phoenix Conference on Computers and Communications - Scottsdale, AZ, USA
Duration: 1991 Mar 271991 Mar 30

Publication series

NameConference Proceedings - Annual Phoenix Conference

Other

OtherProceedings of the 10th Annual International Phoenix Conference on Computers and Communications
CityScottsdale, AZ, USA
Period91-03-2791-03-30

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint

Dive into the research topics of 'A computer-aided incremental protocol test sequence generation: The production systems approach'. Together they form a unique fingerprint.

Cite this