Filters








515,491 Hits in 5.3 sec

Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints

Ana Rosa Cavalli, Edgardo Montes De Oca, Wissam Mallouli, Mounir Lallali
2008 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications  
In this paper, we present two different tools to test systems with time constraints. The first one allows to automatically generate test cases based on model-based active testing techniques.  ...  Whereas the second tool is based on passive testing approach to check that the collected system traces respect a set of formal properties called Invariants.  ...  TestGen-IF allows to automatically generate test cases based on model-based active testing techniques.  ... 
doi:10.1109/ds-rt.2008.43 dblp:conf/dsrt/CavalliOML08 fatcat:3sbf2j63qvbohdwormf6bm6r4i

Testing Grid Application Workflows Using TTCN-3

Thomas Rings, Helmut Neukirchen, Jens Grabowski
2008 2008 International Conference on Software Testing, Verification, and Validation  
The realized test system demonstrates that TTCN-3 is applicable for testing the workflow of distributed Grid applications.  ...  This paper investigates the applicability of the Testing and Test Control Notation (TTCN-3) for testing the workflows of distributed Grid applications.  ...  Acknowledgments The authors like to thank Testing Technologies for providing the TTworkbench and TTmex TTCN-3 tools.  ... 
doi:10.1109/icst.2008.24 dblp:conf/icst/RingsNG08 fatcat:57mutj57anagxczj6ehzzxbrni

The AGEDIS tools for model based testing

A. Hartman, K. Nagin
2004 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04  
for distributed systems.  ...  The project includes an integrated environment for modeling, test generation, test execution, and other test related activities.  ...  We would also like to thank the reviewers and Antonia Bertolino for their excellent suggestions for improving this paper.  ... 
doi:10.1145/1007512.1007529 dblp:conf/issta/HartmanN04 fatcat:glv54kfx5ranpe7l3sm5duklty

The AGEDIS tools for model based testing

A. Hartman, K. Nagin
2004 Software engineering notes  
for distributed systems.  ...  The project includes an integrated environment for modeling, test generation, test execution, and other test related activities.  ...  We would also like to thank the reviewers and Antonia Bertolino for their excellent suggestions for improving this paper.  ... 
doi:10.1145/1013886.1007529 fatcat:l7pdvcj2xzh7bgz4ayyd5t562i

The AGEDIS Tools for Model Based Testing [chapter]

Alan Hartman, Kenneth Nagin
2005 Lecture Notes in Computer Science  
for distributed systems.  ...  The project includes an integrated environment for modeling, test generation, test execution, and other test related activities.  ...  We would also like to thank the reviewers and Antonia Bertolino for their excellent suggestions for improving this paper.  ... 
doi:10.1007/978-3-540-31797-5_33 fatcat:75bqmsqzmrhbrpvaiwz3lefmqa

A Tool for Fault Injection and Conformance Testing of Distributed Systems [chapter]

Eliane Martins, Maria de Fátima Mattiello-Francisco
2003 Lecture Notes in Computer Science  
The tool design is based on the ferry architecture [28] proposed in the context of protocol testing.  ...  Testing distributed systems is a difficult and challenging task for several reasons. One problem is the generation of adequate test cases that present good potential for uncovering faults.  ...  Another related work is the one presented by A.W.Ulritch et al, where two test architectures for testing distributed systems were proposed: one based on a global tester that controls and observes all distributed  ... 
doi:10.1007/978-3-540-45214-0_21 fatcat:43pwcv6xrjhynhdhlwmasndtqa

Test Architectures for Distributed Systems — State of the Art and Beyond [chapter]

T. Walter, I. Schieferdecker, J. Grabowski
1998 Testing of Communicating Systems  
A generic test architecture for conformance, interoperability and performance testing of distributed systems is presented.  ...  The generic test architecture extends current test architectures with respect to the types of systems that can be tested.  ...  ai, 1997) General design rules for distributed tester The idea for a generic test architecture is a tool box of elements, which can be com- bined generically to a test architecture suitable for  ... 
doi:10.1007/978-0-387-35381-4_10 fatcat:d5a2ip7cinac3gfhyp6xovksze

Towards Modeling and Testing of IP Routing Protocols [chapter]

Jianping Wu, Zhongjie Li, Xia Yin
2003 Lecture Notes in Computer Science  
On the other hand, generalized distributed system models, test architectures and test notations usually have limitations when applied directly to specific protocol testing.  ...  Based on this model and other test requirement particularities, a test architecture called PADTACC (Parallel And Distributed Test Architecture with Centralized-Control) is presented and a test notation  ...  The authors would like to thank the anonymous reviewers for constructive comments on this paper.  ... 
doi:10.1007/3-540-44830-6_5 fatcat:jjuwat4lqfh6nc6yah47vizy5i

Distributed, Cross-Platform, and Regression Testing Architecture for Service-Oriented Architecture [article]

Youssef Bassil
2012 arXiv   pre-print
This paper first discusses the various state-of-the-art methods for testing SOA applications, and then it proposes a novel automated, distributed, cross-platform, and regression testing architecture for  ...  The proposed testing architecture consists of several testing units which include test engine, test code generator, test case generator, test executer, and test monitor units.  ...  Acknowledgments This research was funded by the Lebanese Association for Computational Sciences (LACSC), Beirut, Lebanon, under the "Simulation & Testing Research Project -STRP2012".  ... 
arXiv:1203.5403v1 fatcat:rvugq2xbfbffxawf2tq5f2uqae

Test case prioritization and distributed testing of object-oriented program

2019 Turkish Journal of Electrical Engineering and Computer Sciences  
The distributed architecture developed in this work enables testing of OOP in an efficient manner. The concept is implemented for Java programs as there is support for continuation.  ...  This model is analyzed for test script generation and to find state-save points within the program where the state of the program can be saved and reused for executing another test case.  ...  The tool for this purpose is built using ANTLR [8] . A distributed regression testing architecture was discussed in our earlier work [9] .  ... 
doi:10.3906/elk-1806-177 fatcat:xakknzvdgnf6fcujg4bcnndcre

Distributed PC based routers: Bottleneck analysis and architecture proposal

A. J. Khan, R. Birke, D. Manjunath, A. Sahoo, A. Bianco
2008 2008 International Conference on High Performance Switching and Routing  
general purpose CPUs [10] .  ...  We already have a large body of software that enables a general purpose computer to act as a router. The next step is to identify the performance characteristics of this PC based router.  ... 
doi:10.1109/hspr.2008.4734421 fatcat:qfguphgginhyniwirpbri3zaoe

An industrial experiment in automatic generation of executable test suites for a cache coherency protocol [chapter]

Hakim Kahlouche, César Viho, Massimo Zendri
1998 Testing of Communicating Systems  
TGV is based on protocol verification algorithms and its main purpose is to fit as well as possible the industrial practice of test generation.  ...  It consists of the following stages: (1) formal specification of the architecture using Lotos language, (2) formal description of the test purposes, (3) automatic generation of abstract test suites using  ...  Special thanks to Pierpaolo Maggi and Paolo Coerezza and all the methodology office in Pregnana for their help in providing the inputs for our case study.  ... 
doi:10.1007/978-0-387-35381-4_13 fatcat:x3egu2zu2jhfppormfmunr3qri

P2PTester: a tool for measuring P2P platform performance

Bogdan Butnaru, Florin Dragan, Georges Gardarin, Joana Manolescu, Benjamin Nguyen, Radu pop, Nicoleta Preda, Laurent Yeh
2007 2007 IEEE 23rd International Conference on Data Engineering  
The KadoP query language is based on tree pattern queries. For testing KadoP we use the tester DHT and we integrate the specific query processing modules in the architecture of the tester.  ...  P2PTester Interaction with a P2P System The tester offers a common API for writing P2P test scenarios for a large spectrum of P2P system architectures.  ... 
doi:10.1109/icde.2007.369053 dblp:conf/icde/ButnaruDGMNPPY07 fatcat:s2nh2zgupjgpbjowkbbgammhry

Conformance Testing of Objects in Distributed Processing Systems [chapter]

Brigitte Bär, Kurt Geihs
1997 Informatik aktuell  
Several standardisation efforts are underway that define architectures for distributed computing based on the object model.  ...  For OMG CORBA objects, we propose a test architecture and explain the development of test cases using the standardised test notation TTCN.  ...  In this paper, we investigate the conformance testing for general objects in distributed object systems based on the experiences gained with the testing of managed objects and well established OSI conformance  ... 
doi:10.1007/978-3-642-60729-5_10 dblp:conf/kivs/BarG97 fatcat:vriydrd3pzbfbimw3zkchl2uqy

A Formal Approach to Network/Distributed Systems Complex Testing
English

Andrey A. Shchurov, Radek Mařík, Vladimir A. Khlevnoy
2015 International Journal of Computer Trends and Technology  
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.  ...  Deployment of network/distributed systems sets high requirements for procedures, tools and approaches for the complex testing of these systems.  ...  In the general case, the purpose of the systems verification testing process is to ensure that the system is ready for delivery [12] [15] .  ... 
doi:10.14445/22312803/ijctt-v22p115 fatcat:kqoap5haz5gzfluqtrr4gzzo5q
« Previous Showing results 1 — 15 out of 515,491 results