Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.14279/14545
Title: Testing Self-Similar Networks
Authors: Djouvas, Constantinos 
Griffeth, Nancy D. 
Lynch, Nancy A. 
Major Field of Science: Social Sciences
Field Category: Media and Communications
Keywords: I/O automata;model-checking;parameterized processes;Testing;verification
Issue Date: 31-Oct-2006
Source: Electronic Notes in Theoretical Computer Science, Volume 164, Issue 4 SPEC. ISS., 31 October 2006, Pages 67-82
Journal: Electronic Notes in Theoretical Computer Science 
Abstract: A hard problem in network testing is verifying the correctness of a class of networks, as well as the actual networks under test. In practice, at most a few networks (sometimes only one) are actually tested. Thus an important question is how to select one or more networks that are sufficiently representative to apply the results to a class of networks. We present a model-based technique for selecting a representative network. The central theorem establishes that the representative network displays any faults present in any network of the class. This paper introduces the concept of "self-similarity," which is used to select the network, and presents the results of an experiment in testing one class of networks. © 2006.
URI: https://hdl.handle.net/20.500.14279/14545
ISSN: 15710661
DOI: 10.1016/j.entcs.2006.09.007
Type: Article
Affiliation : City University of New York 
Massachusetts Institute of Technology 
Publication Type: Peer Reviewed
Appears in Collections:Άρθρα/Articles

CORE Recommender
Show full item record

Page view(s)

298
Last Week
5
Last month
3
checked on Dec 26, 2024

Google ScholarTM

Check

Altmetric


Items in KTISIS are protected by copyright, with all rights reserved, unless otherwise indicated.