A Formal Approach to Distributed System Tests Design

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F14%3A00221609" target="_blank" >RIV/68407700:21230/14:00221609 - isvavai.cz</a>
Result on the web
<a href="http://www.ijcit.com/archives/volume3/issue4/Paper030402.pdf" target="_blank" >http://www.ijcit.com/archives/volume3/issue4/Paper030402.pdf</a>
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
A Formal Approach to Distributed System Tests Design
Original language description
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 o n the basis of the component based approach and the concept of layered networks . Based on this model, we de scribe the test generation stratégy that covers every interaction from the end user requirements on all co existing architectural layers , and checks the internal consistency of the system technical specifications with respect to the end user requirements. The next step introduce s the Prolog based approach to representing this model and the requirements coverage stratégy.
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
JC - Computer hardware and software
OECD FORD branch
—

Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical
International Journal of computer and Information technology
ISSN
2279-0764
e-ISSN
—
Volume of the periodical
3
Issue of the periodical within the volume
4
Country of publishing house
IN - INDIA
Number of pages
10
Pages from-to
696-705
UT code for WoS article
—
EID of the result in the Scopus database
—

Similar results(10)