A Formal Approach to Network/Distributed Systems Complex Testing
Distributed, Parallel, and Cluster Computing
2015-04-28 v1 Software Engineering
Abstract
Deployment of network/distributed systems sets high requirements for procedures, tools and approaches for the complex testing of these systems. This work provides a survey of testing activities with regard to these systems based on standards and actual practices for both software-based and distribution (network) aspects. On the basis of this survey, we determine formal testing procedures/processes which cover these aspects, but which are not contrary to both aspects. The next step, based on the analysis of the implementation phase of System Development Life Cycle, determines a formal model for these processes
Cite
@article{arxiv.1504.06793,
title = {A Formal Approach to Network/Distributed Systems Complex Testing},
author = {Andrey A. Shchurov and Radek Marik and Vladimir A. Khlevnoy},
journal= {arXiv preprint arXiv:1504.06793},
year = {2015}
}
Comments
5 pages, 1 figure