Statistics of ATIS: Automated Testing of Installed Software. Or so far, How to validate MPI stacks of an HPC cluster?