Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
https://hdl.handle.net/20.500.14279/14545| Τίτλος: | Testing Self-Similar Networks | Συγγραφείς: | Djouvas, Constantinos Griffeth, Nancy D. Lynch, Nancy A. |
Major Field of Science: | Social Sciences | Field Category: | Media and Communications | Λέξεις-κλειδιά: | I/O automata;model-checking;parameterized processes;Testing;verification | Ημερομηνία Έκδοσης: | 31-Οκτ-2006 | Πηγή: | Electronic Notes in Theoretical Computer Science, Volume 164, Issue 4 SPEC. ISS., 31 October 2006, Pages 67-82 | Περιοδικό: | Electronic Notes in Theoretical Computer Science | Περίληψη: | 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 |
| Εμφανίζεται στις συλλογές: | Άρθρα/Articles |
CORE Recommender
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα