Test generation from IF specification for distributed testing