A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Synchronizable test sequences based on multiple UIO sequences
IEEE/ACM Transactions on Networking (TON)
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Achieving scalability and expressiveness in an Internet-scale event notification service
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
A scalable content-addressable network
Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications
System Test Synthesis from UML Models of Distributed Software
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems
Middleware '01 Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg
A UML-integrated Test Description Language for Component Testing
Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
Conformance Testing of TINA Service Components - The TTCN/ CORBA Gateway
IS&N '98 Proceedings of the 5th International Conference on Intelligence and Services in Networks: Technology for Ubiquitous Telecom Services
Test Architectures for Distributed Systems: State of the Art and Beyond
IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Architectures for Testing Distributed Systems
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Verification and Testing of Concurrent Systems with Action Races
TestCom '00 Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques
A Case Study in Testing Distributed Systems
DOA '01 Proceedings of the Third International Symposium on Distributed Objects and Applications
A Framework for Testing Distributed Systems
P2P '04 Proceedings of the Fourth International Conference on Peer-to-Peer Computing
A survey of peer-to-peer content distribution technologies
ACM Computing Surveys (CSUR)
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
GridUnit: software testing on the grid
Proceedings of the 28th international conference on Software engineering
Proceedings of the 2006 ACM symposium on Applied computing
On Accurate Automatic Verification of Publish-Subscribe Architectures
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Model checking publish-subscribe systems
SPIN'03 Proceedings of the 10th international conference on Model checking software
Distributed on-the-fly model checking and test case generation
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Hi-index | 0.00 |
Peer-to-peer (P2P) offers good solutions for many applications such as large data sharing and collaboration in social networks. Thus, it appears as a powerful paradigm to develop scalable distributed applications, as reflected by the increasing number of emerging projects based on this technology. However, building trustworthy P2P applications is difficult because they must be deployed on a large number of autonomous nodes, which may refuse to answer to some requests and even leave the system unexpectedly. This volatility of nodes is a common behavior in P2P systems and may be interpreted as a fault during tests (i.e., failed node). In this work, we present a framework and a methodology for testing P2P applications. The framework is based on the individual control of nodes, allowing test cases to precisely control the volatility of nodes during their execution. We validated this framework through implementation and experimentation on an open-source P2P system. The experimentation tests the behavior of the system on different conditions of volatility and shows how the tests were able to detect complex implementation problems.