A unit testing framework for network configurations

Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005

Volumn , Issue , 2005, Pages 77-82

  Jungo, Dominik ^a   Buchmann, David ^a   Ultes Nitsche, Ulrich ^a  

^a UNIVERSITY OF FRIBOURG   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL SIMULATION; HARDWARE DESIGN; NETWORK CONFIGURATION; TESTING FRAMEWORK; UNIT TESTING FRAMEWORKS;

INFORMATION SYSTEMS;

EID: 78651438042     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

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)