Skip to main content

2015 | OriginalPaper | Buchkapitel

Online Testing: A Passive Approach for Protocols

verfasst von : Xiaoping Che, Jorge Lopez, Stephane Maag

Erschienen in: Evaluation of Novel Approaches to Software Engineering

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Online testing approaches are becoming crucial in today’s complex systems. By that way, testing a protocol at run-time has to be performed during a normal use of the system without disturbing the process. The traces are observed and analyzed on-the-fly to provide test verdicts and no trace sets should be studied as a posteriori to the testing process. In this process, it is a challenging work to keep the same preciseness in conformance testing and the same efficiency in performance testing. In this paper, aiming to find a solution, we present a novel online passive testing approach based on Horn-Logic. In order to evaluate and assess our approach, we also developed a prototype and experimented it with a set of Session Initiation Protocol properties in a real IP Multimedia Subsystem environment. Finally, the preliminary results and discussions are provided.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4), 14 (2011)CrossRef Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4), 14 (2011)CrossRef
2.
Zurück zum Zitat Cao, T.-D., Félix, P., Castanet, R., Berrada, I.: Online testing framework for web services. In: Third International Conference on Software Testing, Verification and Validation, pp. 363–372 (2010) Cao, T.-D., Félix, P., Castanet, R., Berrada, I.: Online testing framework for web services. In: Third International Conference on Software Testing, Verification and Validation, pp. 363–372 (2010)
3.
Zurück zum Zitat Che, X., Lalanne, F., Maag, S.: A logic-based passive testing approach for the validation of communicating protocols. In: Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland, pp. 53–64 (2012) Che, X., Lalanne, F., Maag, S.: A logic-based passive testing approach for the validation of communicating protocols. In: Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland, pp. 53–64 (2012)
4.
Zurück zum Zitat Che, X., Maag, S.: A formal passive performance testing approach for distributed communication systems. In: ENASE 2013 - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, Angers, France, 4–6 July, 2013, pp. 74–84 (2013) Che, X., Maag, S.: A formal passive performance testing approach for distributed communication systems. In: ENASE 2013 - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, Angers, France, 4–6 July, 2013, pp. 74–84 (2013)
5.
Zurück zum Zitat Dumitrescu, C., Raicu, I., Ripeanu, M., Foster, I.: DiPerF: an automated distributed performance testing framework. In: 5th International Workshop in Grid Computing, pp. 289–296. IEEE Computer Society (2004) Dumitrescu, C., Raicu, I., Ripeanu, M., Foster, I.: DiPerF: an automated distributed performance testing framework. In: 5th International Workshop in Grid Computing, pp. 289–296. IEEE Computer Society (2004)
6.
7.
Zurück zum Zitat ETSI: Methods for testing and specification (MTS); conformance test specification for SIP (2004) ETSI: Methods for testing and specification (MTS); conformance test specification for SIP (2004)
8.
Zurück zum Zitat Hallé, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE Trans. Serv. Comput. 5(2), 192–206 (2012)CrossRef Hallé, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE Trans. Serv. Comput. 5(2), 192–206 (2012)CrossRef
9.
Zurück zum Zitat Hofmann, R., Klar, R., Mohr, B., Quick, A., Siegle, M.: Distributed performance monitoring: methods, tools and applications. IEEE Trans. Parallel Distrib. Syst. 5, 585–597 (1994)CrossRef Hofmann, R., Klar, R., Mohr, B., Quick, A., Siegle, M.: Distributed performance monitoring: methods, tools and applications. IEEE Trans. Parallel Distrib. Syst. 5, 585–597 (1994)CrossRef
10.
Zurück zum Zitat Lalanne, F., Maag, S.: A formal data-centric approach for passive testing of communication protocols. IEEE/ACM Trans. Netw. 21, 788–801 (2013)CrossRef Lalanne, F., Maag, S.: A formal data-centric approach for passive testing of communication protocols. IEEE/ACM Trans. Netw. 21, 788–801 (2013)CrossRef
11.
Zurück zum Zitat Larsen, K.G., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using Uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 79–94. Springer, Heidelberg (2005) CrossRef Larsen, K.G., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using Uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 79–94. Springer, Heidelberg (2005) CrossRef
12.
Zurück zum Zitat Lee, D., Miller, R.: Network protocol system monitoring-a formal approach with passive testing. IEEE/ACM Trans. Netw. 14(2), 424–437 (2006)MathSciNetCrossRef Lee, D., Miller, R.: Network protocol system monitoring-a formal approach with passive testing. IEEE/ACM Trans. Netw. 14(2), 424–437 (2006)MathSciNetCrossRef
13.
Zurück zum Zitat Nguyen, H.N., Poizat, P., Zaïdi, F.: Online verification of value-passing choreographies through property-oriented passive testing. In: 14th International IEEE Symposium on High-Assurance Systems Engineering, pp. 106–113 (2012) Nguyen, H.N., Poizat, P., Zaïdi, F.: Online verification of value-passing choreographies through property-oriented passive testing. In: 14th International IEEE Symposium on High-Assurance Systems Engineering, pp. 106–113 (2012)
14.
Zurück zum Zitat Raimondi, F., Skene, J., Emmerich, W.: Efficient online monitoring of web-service slas. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 170–180 (2008) Raimondi, F., Skene, J., Emmerich, W.: Efficient online monitoring of web-service slas. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 170–180 (2008)
15.
Zurück zum Zitat Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnston, A., Peterson, J.: SIP: Session initiation protocol (2002) Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnston, A., Peterson, J.: SIP: Session initiation protocol (2002)
16.
Zurück zum Zitat Veanes, M., Campbell, C., Schulte, W., Tillmann, N.: Online testing with model programs. In: Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 273–282 (2005) Veanes, M., Campbell, C., Schulte, W., Tillmann, N.: Online testing with model programs. In: Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 273–282 (2005)
17.
Zurück zum Zitat Wei, W., Suh, K., Wang, B., Gu, Y., Kurose, J.F., Towsley, D.F., Jaiswal, S.: Passive online detection of 802.11 traffic using sequential hypothesis testing with TCP ACK-pairs. IEEE Trans. Mob. Comput. 8(3), 398–412 (2009)CrossRef Wei, W., Suh, K., Wang, B., Gu, Y., Kurose, J.F., Towsley, D.F., Jaiswal, S.: Passive online detection of 802.11 traffic using sequential hypothesis testing with TCP ACK-pairs. IEEE Trans. Mob. Comput. 8(3), 398–412 (2009)CrossRef
18.
Zurück zum Zitat Yuen, C.-H., Chan, S.-H.: Scalable real-time monitoring for distributed applications. IEEE Trans. Parallel Distrib. Syst. 23(12), 2330–2337 (2012)MathSciNetCrossRef Yuen, C.-H., Chan, S.-H.: Scalable real-time monitoring for distributed applications. IEEE Trans. Parallel Distrib. Syst. 23(12), 2330–2337 (2012)MathSciNetCrossRef
Metadaten
Titel
Online Testing: A Passive Approach for Protocols
verfasst von
Xiaoping Che
Jorge Lopez
Stephane Maag
Copyright-Jahr
2015
DOI
https://doi.org/10.1007/978-3-319-27218-4_6