Skip to main content
SpringerLink
Log in

Online Testing: A Passive Approach for Protocols

  • Conference paper
  • First Online:
Evaluation of Novel Approaches to Software Engineering (ENASE 2014)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 551))

  • 354 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://www.tcpdump.org/.

  2. 2.

    http://www.zopier.com/softphone/.

  3. 3.

    http://www.fonality.com.

References

  1. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4), 14 (2011)

    Article  Google Scholar 

  2. 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)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. Emden, M.V., Kowalski, R.: The semantics of predicate logic as a programming language. J. ACM 23(4), 733–742 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  7. ETSI: Methods for testing and specification (MTS); conformance test specification for SIP (2004)

    Google Scholar 

  8. Hallé, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE Trans. Serv. Comput. 5(2), 192–206 (2012)

    Article  Google Scholar 

  9. 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)

    Article  Google Scholar 

  10. Lalanne, F., Maag, S.: A formal data-centric approach for passive testing of communication protocols. IEEE/ACM Trans. Netw. 21, 788–801 (2013)

    Article  Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. Lee, D., Miller, R.: Network protocol system monitoring-a formal approach with passive testing. IEEE/ACM Trans. Netw. 14(2), 424–437 (2006)

    Article  MathSciNet  Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnston, A., Peterson, J.: SIP: Session initiation protocol (2002)

    Google Scholar 

  16. 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)

    Google Scholar 

  17. 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)

    Article  Google Scholar 

  18. Yuen, C.-H., Chan, S.-H.: Scalable real-time monitoring for distributed applications. IEEE Trans. Parallel Distrib. Syst. 23(12), 2330–2337 (2012)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Beijing Jiaotong University, Beijing, China

    Xiaoping Che

  2. Institut Mines-Telecom/Telecom SudParis, CNRS UMR 5157, Evry, France

    Jorge Lopez & Stephane Maag

Authors
  1. Xiaoping Che
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jorge Lopez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Stephane Maag
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xiaoping Che .

Editor information

Editors and Affiliations

  1. Wroclaw University of Economics, Wroclaw, Poland

    Leszek A. Maciaszek

  2. INSTICC, Polytechnic Institute of Setúbal, Setúbal, Portugal

    Joaquim Filipe

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Che, X., Lopez, J., Maag, S. (2015). Online Testing: A Passive Approach for Protocols. In: Maciaszek, L., Filipe, J. (eds) Evaluation of Novel Approaches to Software Engineering. ENASE 2014. Communications in Computer and Information Science, vol 551. Springer, Cham. https://doi.org/10.1007/978-3-319-27218-4_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-27218-4_6

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-27217-7

  • Online ISBN: 978-3-319-27218-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation