A Feedback Control Model for the Software Testing Process