A Formal Approach to Network/Distributed Systems Complex Testing.
Andrey A. ShchurovRadek MarikVladimir A. KhlevnoyPublished in: CoRR (2015)
Keyphrases
- distributed systems
- data availability
- fault tolerant
- load balancing
- network monitoring
- distributed environment
- message passing
- mobile agents
- concurrent systems
- security policies
- geographically distributed
- network structure
- fault tolerance
- real time systems
- distributed computing
- mobile computing
- data replication
- loosely coupled
- distributed database systems
- network management
- wireless sensor networks
- changing environment
- formal specification
- database
- network traffic
- complex systems
- peer to peer
- agent based systems
- case study