An automatic performance testing method based on a formal model for communicating systems

Erős, Levente; Csöndes, Tibor

doi:10.1109/iwqos.2010.5542732

Cited by 2 publications

(1 citation statement)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Various models can be used; EFSMs (Extended Finite State Machines) (Németh, 2016), Markov chains (Barros et al, 2007), Petri nets (Youness, El-Kilani, & El-Wahed, 2008) and PTAs (Probabilistic Timed Automata) (Abbors, Ahmad, Truscan, & Porres, 2013) are the most common options. In (Erős & Csöndes, 2010) a TCFMM (Timed Communicating Finite Multistate Machine) model is presented that is an extension of the EFSM model with tokens and delays on transitions.…”

Section: Load Generationmentioning

confidence: 99%

Teaching performance testing

Németh

Sótér²

2021

Teach. Math. Comput. Sci.

View full text Add to dashboard Cite

Performance testing plays a vital role in the verification of large scale software systems. It is used for testing the speed, responsiveness, capacity and stability of the investigated system. However, despite the significance of this topic, the effort invested in teaching performance testing in Computer Science is insufficient. The current paper shows, how the fundamentals of performance testing can be demonstrated to students both from a theoretical and a practical viewpoint through step-by-step practical examples that are used in the industry. It is also discussed how a basic toolchain can be set up for performance tests using only free tools. With the presented examples, the reader will be able to take first steps in the performance testing area. Subject Classification: 68M15

show abstract

Section: Load Generationmentioning

confidence: 99%

Teaching performance testing

Németh

Sótér²

2021

Teach. Math. Comput. Sci.

View full text Add to dashboard Cite

show abstract

Model-Driven Diagnostics of Underperforming Communicating Systems

Erős

Csöndes

2012

Acta Cybern

View full text Add to dashboard Cite

This paper proposes methods for improving the performance of a communicating system that has failed its performance test. The proposed methods extend our earlier published model-driven performance testing method, which automatically determines whether the tested system is able to serve the specified number of requests within a second in worst case while serving a specified number of users simultaneously. The underperformance diagnostic methods presented in this paper are given as an input the formal performance model representing the system under test, which was built up by our performance testing method in the performance testing phase. The presented methods aim at improving the performance of the system under test to the desired level at minimal cost. One of the methods presented in this paper is a binary linear program, while the other is a heuristic method which, according to our simulation results, performs efficiently.

show abstract

An automatic performance testing method based on a formal model for communicating systems

Cited by 2 publications

References 8 publications

Teaching performance testing

Teaching performance testing

Model-Driven Diagnostics of Underperforming Communicating Systems

Contact Info

Product

Resources

About