Abstract: This paper focuses on the problem of validation and verification of computer network simulation models. Authors propose to use special linguistic and program tools of CAD system TriadNS in this case. First of all it should be noted that TRiadNS is a computer system which was developed for computer network design. Simulation is the main method for investigation of designed computer networks. But it is very important to have a credible simulation result. It is necessary for target users to have sufficient confidence that results generated by a simulation run reflect real world operation to a large degree. Authors observe the specifications of the simulation model in TriadNS.Net, consider the program tools for simulation model analysis (information procedures and conditions of simulation) and propose to use them for simulation model validation and verification, debugging and testing. Besides, the authors suggest program tools including the intellectual agents and ontology for localization of mistakes determined during verification and validation processes. Moreover the authors show how the specific features of hierarchical simulation models in TRIADNS make the process of testing and debugging of simulation models flexible.

Keywords: simulation model, debugging, testing, computer networks, validation, verification.

ACM Classification Keywords: I.6 SIMULATION AND MODELING: I.6.8 Types of Simulation – Distributed. I.2 ARTIFICIAL INTELLIGENCE: I.2.5 Programming Languages and Software – Expert system tools and techniques.

Link:

LINGUISTIC AND PROGRAM TOOLS FOR DEBUGGING AND TESTING OF SIMULATION MODELS OF COMPUTER NETWORKS

Elena Zamyatina, Alexander Mikov, Roman Mikheev

http://www.foibg.com/ijima/vol02/ijima02-01-p07.pdf