Simulation validation and verification - A confidence enhancement technique

被引：0

作者：

Giannasi, F ^{[1
]}

Lovett, P ^{[1
]}

Godwin, AN ^{[1
]}

机构：

[1] Coventry Univ, Ctr Simulat & Data Modelling, Coventry CV1 5FB, W Midlands, England

来源：

MODELLING AND SIMULATION 1996 | 1996年

关键词：

validation; verification; discrete simulation; data modelling; EXPRESS;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The paper describes the development and investigation of a technique designed to enhance the confidence, on the part of modeller and client, that a discrete simulation is 'behaving correctly'. It is intended to be used in addition to existing validation and verification techniques. The technique comprises the following stages: (1) Problem identification. (2) System modelling - two models are constructed independently. One is a process-oriented simulation, and the other a data model of the target system. (3) Model reconciliation. (4) Simulation execution - and the extraction of data values. (5) Constraint checking - and the investigation of data values not conforming to the constraints specified in the data model. An example is given of how the EXPRESS data modelling language can be used to specify sequences of events, and constraints on data values to which selected simulation output must conform.

引用

页码：309 / 313

页数：5