A library to model a heterogeneous and distributed software system for testing