A Formal Approach for Passive Testing of Protocol Data Portions
ICNP '02 Proceedings of the 10th IEEE International Conference on Network Protocols
From Active to Passive: Progress in Testing of Internet Routing Protocols
FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
OnLine Test System, An Application of Passive Testing in Routing Protocols Test
ICON '01 Proceedings of the 9th IEEE International Conference on Networks
Passive testing and applications to network management
ICNP '97 Proceedings of the 1997 International Conference on Network Protocols (ICNP '97)
Fault Identification in Networks by Passive Testing
SS '01 Proceedings of the 34th Annual Simulation Symposium (SS01)
An Enhanced Passive Testing Tool for Network Protocols
ICCNMC '03 Proceedings of the 2003 International Conference on Computer Networks and Mobile Computing
Foundations of Algorithms Using C++ Pseudocode
Foundations of Algorithms Using C++ Pseudocode
Network protocol system monitoring: a formal approach with passive testing
IEEE/ACM Transactions on Networking (TON)
Formal passive testing of timed systems: theory and tools
Software Testing, Verification & Reliability
| Hi-index | 0.00 |
Fault detection is a fundamental part of passive testing which determines whether a system under test (SUT) is faulty by observing the input/output behavior of the SUT without interfering its normal operations. In this paper, we propose a new approach to Finite State Machine (FSM)-based passive fault detection which improves the performance of the approach in [4] and gathers more information during testing compared with the approach in [4]. The results of theoretical and experimental evaluations are reported.