An Enhanced Passive Testing Tool for Network Protocols

Authors:
Dongluo Chen;Jianping Wu;Tan Ieong Chu
Affiliations:
-;-;-
Venue:
ICCNMC '03 Proceedings of the 2003 International Conference on Computer Networks and Mobile Computing
Year:
2003

Citing 0
Cited 3

Reference specification issues in on-line verification by passive testing

PDCN'06 Proceedings of the 24th IASTED international conference on Parallel and distributed computing and networks
An Improved Approach to Passive Testing of FSM-based Systems

AST '07 Proceedings of the Second International Workshop on Automation of Software Test
An EFSM-based passive fault detection approach

TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We study passive testing on protocols to detect faults in network devices. An enhanced passive testing tool is developed using integer linear programming in determining the ranges of the variables. On-line pruning reveals the current configuration of the system and the transition covered. Network system monitoring is conducted in a formal and fine-granularity way.