PADTAD-2 Parallel and Distributed Systems: Testing and Debugging