A Unit Testing Framework for Network Configurations

Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche

Abstract

We present in this paper a unit testing framework for network configurations which verifies that the configuration meets prior defined requirements of the networks behavior. This framework increases the trust in the correctness, security and reliability of a networks configuration. Our testing framework is based on a behavioral simulation approach as it is used in hardware design [1]. The unit testing framework is part of the SNSF VeriNeC project [2].

References

  1. Haque, K., Michelson: The Art of Verification With Vera. Verification Central (2001)
  2. Ultes-Nitsche, U., Jungo, D., Buchmann, D.: Verified network configuration. Technical report, University of Fribourg, http://diuf.unifr.ch/tns/projects/verinec/ (2004-2005)
  3. Clark, J.: Xsl transformations (xslt). Technical report, W3C, http://www.w3.org/TR/xslt (1999)
  4. Jungo, D., Buchmann, D., Ultes-Nitsche, U.: The role of simulation in a network configuration engineering approach. In: ICICT 2004, Multimedia Services and Underlying Network Infrastructure, Cairo, Egypt, Information Technology Institute (2004)
  5. Tanenbaum, A.S.: Computer Networks. 4th edn. Prentice Hall (2003)
  6. Bernd Page, T.L., Claassen, S.: Objektorientierte Simulation in Java mit dem Framework DESMO-J. BoD GmbH, (Norderstedt)
  7. Loeffel, R.: Verinec studio, ein gui fuer den verinec simulator. Bachelor thesis, University of Fribourg (2004)
Download


Paper Citation


in Harvard Style

Jungo D., Buchmann D. and Ultes-Nitsche U. (2005). A Unit Testing Framework for Network Configurations . In Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005) ISBN 972-8865-22-8, pages 77-82. DOI: 10.5220/0002573500770082


in Bibtex Style

@conference{msvveis05,
author={Dominik Jungo and David Buchmann and Ulrich Ultes-Nitsche},
title={A Unit Testing Framework for Network Configurations},
booktitle={Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)},
year={2005},
pages={77-82},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002573500770082},
isbn={972-8865-22-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)
TI - A Unit Testing Framework for Network Configurations
SN - 972-8865-22-8
AU - Jungo D.
AU - Buchmann D.
AU - Ultes-Nitsche U.
PY - 2005
SP - 77
EP - 82
DO - 10.5220/0002573500770082