Modular Operational Test Plans for Inferences on Software Reliability Based on a Markov Model