Test sequence generation from the protocol data portion based on the selecting Chinese postman algorithm

DOI10.1016/S0020-0190(97)00208-1zbMATH Open1338.68167MaRDI QIDQ293259FDOQ293259

Authors: Wen-Huei Chen 

Publication date: 9 June 2016

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0020019097002081?np=y

Recommendations

• Graph Algorithms for Conformance Testing Using the Rural Chinese Postman Tour
• scientific article; zbMATH DE number 1277118
• An optimization technique for protocol conformance testing using multiple UIO sequences
• On the complexity of generating synchronizable test sequences
• Test generation for interaction detection in feature-rich communication systems

zbMATH Keywords

conformance testingdata portionprotocolstest sequence

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• An adaptive generation algorithm for executable state identification sequences in the EFSM model
• On the complexity of generating synchronizable test sequences
• Title not available (Why is that?)
• An optimization technique for protocol conformance testing using multiple UIO sequences
• Synchronization paradigm for protocol testing under multiparty configuration

This page was built for publication: Test sequence generation from the protocol data portion based on the selecting Chinese postman algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q293259)