English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Nowadays, deployment of distributed systems sets high requirements forprocedures and tools for the complex testing of these systems - virtualizationand cloud technologies make another level of system complexity. As a possiblesolution, it is necessary to determine a formal list of control objectives -checklists. The automated generation of checklists involves analyzing systemmodels (with the analysis covering paths in a model). But complex distributedsystems are usually a set of coexisting topologies which interact and depend oneach other and it is necessary to use several models in order to coverdifferent aspects. This work introduces a formal four layered model for testgeneration missions on the basis of the component-based approach and theconcept of layered networks. The interlayer mapping determines how thetopological properties on different layers affect each other and, as aconsequence, represents technologies (virtualization, clustering, etc.) used tobuild distributed systems

A Formal Model of Distributed Systems For Test Generation Missions