Formally testing the protocol performances
作者： Xiaoping Che , Stephane Maag
DOI: 10.1504/IJSSC.2015.069197
关键词:
摘要: The validation of systems and specifically the conformance testing communicating protocols is a crucial step to their development. Many approaches have been developed for while, among which, formal ones proved efficiency test these protocols. These are divided in two main sets: active passive techniques. While they both own advantages drawbacks, techniques only that can be applied when controllability system interfaces unavailable or implementation under cannot stimulated runtime. In this paper, we present logic-based approach way protocol performance requirements provided by standard experts. We aim at formally specifying time related properties order check them on real execution traces. Based new algorithm, prototype here experienced. evaluate assess our technique, experiments through set IMS/SIP (regarding performance) finally discuss results providing relevant verdicts.
archives-ouvertes.fr
sci-hub.se 参考文章(25)
Taso H.-S. Jacob, Jerry Zayu Gao, Jacob Tsao, Ye Wu, Testing and Quality Assurance for Component-Based Software ,(2003)
César Andrés, Mercedes G. Merayo, Manuel Núñez, Formal passive testing of timed systems: theory and tools Software Testing, Verification and Reliability. ,vol. 22, pp. 365- 405 ,(2012) , 10.1002/STVR.1464
Victor Vianu, Serge Abiteboul, Richard Hull, Foundations of databases ,(1994)
Christian Colombo, Gordon J. Pace, Gerardo Schneider, Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties formal methods for industrial critical systems. pp. 135- 149 ,(2009) , 10.1007/978-3-642-03240-0_13
Robert V. Binder, Testing Object-Oriented Systems: Models, Patterns, and Tools ,(1999)
C. Dumitrescu, I. Raicu, M. Ripeanu, I. Foster, DiPerF: An Automated DIstributed PERformance Testing Framework grid computing. pp. 289- 296 ,(2004) , 10.1109/GRID.2004.21
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen, Rule-Based Runtime Verification verification model checking and abstract interpretation. pp. 44- 57 ,(2004) , 10.1007/978-3-540-24622-0_5
C.-H. Philip Yuen, S.-H. Gary Chan, Scalable Real-Time Monitoring for Distributed Applications IEEE Transactions on Parallel and Distributed Systems. ,vol. 23, pp. 2330- 2337 ,(2012) , 10.1109/TPDS.2012.60
Taufer, Stricker, A performance monitor based on virtual global time for clusters of PCs international conference on cluster computing. pp. 64- 72 ,(2003) , 10.1109/CLUSTR.2003.1253300
Eric Knauss, Daniela Damian, V:ISSUE:LIZER: exploring requirements clarification in online communication over time international conference on software engineering. pp. 1327- 1330 ,(2013) , 10.5555/2486788.2486997