Model-Driven Diagnostics of Underperforming Communicating Systems

This paper proposes methods for improving the performance of a communicatingsystem that has failed its performance test. The proposed methodsextend our earlier published model-driven performance testing method,which automatically determines whether the tested system is ableto serve the specified number of requests within a second in worstcase while serving a specified number of users simultaneously. Theunderperformance diagnostic methods presented in this paper are givenas an input the formal performance model representing the systemunder test, which was built up by our performance testing methodin the performance testing phase. The presented methods aim at improvingthe performance of the system under test to the desired level atminimal cost. One of the methods presented in this paper is a binarylinear program, while the other is a heuristic method which, accordingto our simulation results, performs efficiently.