A Semi-Parametric Approach to Testing for Reliability Growth, with Application to Software Systems