A formal model of the software test process
IEEE Transactions on Software Engineering
Monitoring the software test process using statistical process control: a logarithmic approach
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Adaptive software testing with fixed-memory feedback
Journal of Systems and Software
Hi-index | 0.00 |
A closed-loop feedbacb control model of the Software Test Process (STP) is described.The model is grounded in the well established theory of Automatic Control.It offers a formal and novel procedure for using product reliability or failure intensity as a basis for closed loop control of the STP.The reliability or the failure intensity of the product is compared against the desired reliability at each checkpoint and the difference fed back to a controller.The controller uses this difference to compute changes necessary in the process parameters to meet the reliability or failure intensity objective at the terminal checkpoint (the deadline).The STP continues beyond a check point with a revised set of parameters.This procedure is repeated at each check point until the termination of the STP.The procedure accountsfor the possibility of changes, during testing, in reliability or failure intensity objective, the check points, and the parameters that characterize the STP. The effectiveness of this procedure was studied using commercial data available in the public domain and also from the data generated through simulation.In all cases the use of feedbac control producesadequate results allowing the achievement of the objectives.