[go: up one dir, main page]

Probert et al., 1992 - Google Patents

Relative-clock-based specification and test result analysis of distributed systems

Probert et al., 1992

Document ID
10470700615591549988
Author
Probert R
Yu H
Saleh K
Publication year
Publication venue
Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]

External Links

Snippet

A model employing totally ordered events of a distributed system based on a logical clock has been presented by L. Lamport (1978). The authors propose a new interpretation and extension of Lamport's notion of concurrency by introducing the concept of relative …
Continue reading at ieeexplore.ieee.org (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • G06F11/3636—Software debugging by tracing the execution of the program
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
    • G06F2201/86—Event-based monitoring
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L12/00—Data switching networks
    • H04L12/02—Details
    • H04L12/26—Monitoring arrangements; Testing arrangements

Similar Documents

Publication Publication Date Title
Tretmans Conformance testing with labelled transition systems: Implementation relations and test generation
Luo et al. Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method
Ammar et al. Time scale decomposition of a class of generalized stochastic Petri net models
Ghezzi et al. ASTRAL: an assertion language for specifying realtime systems
Dai et al. Timed TTCN-3—a real-time extension for TTCN-3
Charaf et al. A colored Petri-net model for control execution of distributed systems
Sunshine Formal Modeling of Communication Protocols: State of the Art, October 1980
Chung et al. Testing of concurrent programs based on message sequence charts
West Protocol validation—principles and applications
Kopache et al. C/sup 2: a mixed textual/graphical environment for C
Benharrat et al. Constraint-based oracles for timed distributed systems
Probert et al. Relative-clock-based specification and test result analysis of distributed systems
Bochmann et al. Test result analysis with respect to formal specifications
Zulkernine et al. A compositional approach to monitoring distributed systems
Echtle et al. Test of fault tolerant distributed systems by fault injection
Suri et al. On the use of formal techniques for validation
Boigelot et al. Model checking in practice: An analysis of the access. bus™ protocol using spin
Vuong et al. A framework for the design for testability of communication protocols
Kim et al. An approach for testing asynchronous communicating systems
CN113010409B (en) Intelligent contract testing method and device, electronic equipment and storage medium
Zhan et al. Compositional verification of interacting systems using event monads
Rodriguez-Navas et al. An architecture for physical injection of complex fault scenarios in CAN networks
Chung et al. Testing of concurrent programs after specification changes
Probert et al. Validation-directed specification of communications systems
Dauphin et al. Specification-driven performance monitoring of SDL/MSC-specified protocols