Corpus ID: 9804750

A Formal Approach to Distributed System Tests Design

@article{Shchurov2014AFA,
  title={A Formal Approach to Distributed System Tests Design},
  author={Andrey A. Shchurov and R. Marik},
  journal={ArXiv},
  year={2014},
  volume={abs/1410.1747}
}
  • Andrey A. Shchurov, R. Marik
  • Published 2014
  • Computer Science
  • ArXiv
  • Deployment of distributed systems sets high requirements for procedures and tools for the complex testing of these systems. This work introduces a formal four-layered model for test generation mission on the basis of the component-based approach and the concept of layered networks. Based on this model, we describe the test generation strategy that covers every interaction from the end-user requirements on all coexisting architectural layers, and checks the internal consistency of the system… CONTINUE READING
    A Formal Model of Distributed Systems For Test Generation Missions
    5
    Dependability Tests Selection Based on the Concept of Layered Networks
    2
    A Multilayer Model of Computer Networks
    4
    THE HYBRID AGENT MODEL OF BEHAVIORAL TESTING
    1

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 41 REFERENCES
    A formal approach to testing programs in practice
    7
    A Framework for Specification-Based Testing
    287
    Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
    485
    UML-Based integration testing
    205
    Distributed Systems: Principles and Paradigms
    1162
    Generating Tests from UML Specifications
    436
    Software testing based on formal specifications: a theory and a tool
    350
    Automating Formal Specification-Based Testing
    • M. Donat
    • Mathematics, Computer Science
    • 1997
    55
    Using formal specifications to support testing
    335
    The Art Of Testing Network Systems
    13