Guidelines for selecting and using simulation model verification techniques

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Guidelines for selecting and using simulation model verification techniques

Full text

Pdf (1.30 MB)

Source

Winter Simulation Conference archive
Proceedings of the 21st conference on Winter simulation table of contents

Washington, D.C., United States

Pages: 559 - 568

Year of Publication: 1989

ISBN:0-911801-58-8

Authors

R. B. Whitner
O. Balci

Sponsors

IIE : Institute of Industrial Engineers
NIST : National Institue of Standards & Technology
SES : SES
TIMS/CS :
IEEE-CS : Computer Society
ORSA : Operations Research Society of America
SIGSIM: ACM Special Interest Group on Simulation and Modeling

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 63, Citation Count: 21

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/76738.76811 What is a DOI?

ABSTRACT

There is a lack of sufficient understanding and realization of the importance of simulation model verification in the simulation community. The demands placed on the software which serves as a computer-executable representation of a simulation model are increasing. In the field of software engineering, there is an abundance of software verification techniques that are applicable for simulation model verification. This paper is intended to reduce the communication gap between the software engineering and simulation communities by presenting software verification techniques applicable for simulation model verification in a terminology understandable by a simulationist. A taxonomy of verification techniques is developed to guide the simulationist in selecting and using such techniques. Characteristics, advantages, and disadvantages of verification techniques under each category are described.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Ackerman, A. F., Fowler, P. J., and Ebenau, R. G. (1983). Software inspections and the industrial production of software. In: Software Validation: Inspection, Testing, Verification, Alternatives, Proceedings of the Symposium on Software Validation (Darmstadt, FRG, Sept. 25--30), (Hans-Ludwig Hausen, ed.), 13--40.
	2	Adrion, W. R., Branstad, M. A., and Cherniavsky, J. C. (1982). Validation, verification, and testing of computer software. Computing Surveys 14, 2 (June), 159--192.
	3	Balci, O. (1987). Guidelines for successful simulation studies: part I and II. Technical Report TR-85-2, Department of Computer Science, Virginia Tech, Blacksburg, Va., Mar.
	4	Buck, R. D. and Dobbins, J. H. (1983). Application of software inspection methodology in design and code. In: Software Validation: Inspection, Testing, Verification, Alternatives, Proceedings of the Symposium on Software Validation (Darmstadt, FRG, Sept. 25--30), (Hans-Ludwig Hausen, ed.), 41--56.
	5	Chusho, T. (1987). Test data selection and quality estimation based on the concept of essential branches for path testing. IEEE Transactions on Software Engineering SE-13, 5 (May), 509--517.
	6	Dobbins, J. H. (1987). Inspections as an up-front quality technique. In: Handbook of Software Quality Assurance (G. G. Schulmeyer and J. I. McManus, eds.). Van Nostrand-Reinhold Company, New York, N. Y., 137--177.
	7	Dunn, R. H. (1987). The quest for software reliability. In: Handbook of Software Quality Assurance (G. G. Schulmeyer and J. I. McManus, eds.). Van Nostrand-Reinhold Company, New York, N. Y., 342--384.
	8	Fagan, M. E. (1976). Design and code inspections to reduce errors in program development. IBM Systems Journal 15, 3, 182--211.
	9	Fairley, R. E. (1975). An experimental program-testing facility. IEEE Transactions on Software Engineering SE-1, 4, 350--357.
	10	Fairley, R. E. (1976). Dynamic testing of simulation software. In Proceedings of the 1976 Summer Computer Simulation Conference (Washington, D. C., July 12--14). Simulation Councils, La Jolla, Calif., 708--710.
	11	Fairley, R. E. (1978). Tutorial: static analysis and dynamic testing of computer software. Computer 11, 4 (Apr.), 14--23.
	12	Hollocker, C. P. (1987). The standardization of software reviews and audits. In: Handbook of Software Quality Assurance (G. G. Schulmeyer and J. I. McManus, eds.). Van Nostrand-Reinhold Company, New York, N. Y., 211--266.
	13	Howden, W. E. (1976). Reliability of the path analysis testing strategy. IEEE Transactions on Software Engineering SE-2, 3 (Sept.), 208--214.
	14	Howden, W. E. (1980). Functional program testing. IEEE Transactions on Software Engineering SE-6, 2, 162--169.
	15	King, J. C. (1976). Symbolic execution and program testing. Communications of the ACM 19, 7 (July), 385--394.
	16	Myers, G. J. (1979). The Art of Software Testing. John Wiley & Sons, New York, N. Y.
	17	Ould, M. A. and Unwin, C. (1986). Testing in Software Development. Cambridge University Press, Great Britain.
	18	Panzl, D. J. (1976). Test procedures: a new approach to software verification. In Proceedings of the 2nd International Conference on Software Engineering, San Francisco, Calif., 477--485.
	19	Prather, R. E. and Myers, J. P. (1987). The path prefix software testing strategy. IEEE Transactions on Software Engineering SE-13, 7 (July), 761--766.
	20	Richardson, D. J. and Clarke, L. A. (1985). Partition analysis: a method combining testing and verification. IEEE Transactions on Software Engineering SE-11, 12 (Dec.), 1477--1490.
	21	Saib, S. H., Benson, J. P., and Melton, R. A. (1977). A methodology for program verification. In Proceedings of the Summer Computer Simulation Conference, Chicago, Ill., 713--720.
	22	Westley, A. E. (1979). Infotech State of the Art Report: Software Testing, Volume 1: Analysis and Bibliography. Infotech International Limited, Maidenhead, Berkshire, England.
	23	Yourdon, E. (1985). Structured Walkthroughs, 3rd Edition. Yourdon Press, New York, N. Y.

CITED BY 21

	Osman Balci, Guidelines for successful simluation studies (tutorial session), Proceedings of the 22nd conference on Winter simulation, p.25-32, December 09-12, 1990, New Orleans, Louisiana, United States
	Dean S. Hartley, III, Verification & validation in military simulations, Proceedings of the 29th conference on Winter simulation, p.925-932, December 07-10, 1997, Atlanta, Georgia, United States
	Osman Balci, Principles and techniques of simulation validation, verification, and testing, Proceedings of the 27th conference on Winter simulation, p.147-154, December 03-06, 1995, Arlington, Virginia, United States
	Robert G. Sargent, Validation and verification of simulation models, Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future, p.39-48, December 05-08, 1999, Phoenix, Arizona, United States
	Robert G. Sargent, Validation and verification of simulation models, Proceedings of the 24th conference on Winter simulation, p.104-114, December 13-16, 1992, Arlington, Virginia, United States
	Osman Balci , Anders I. Bertelrud , Chuck M. Esterbrook , Richard E. Nance, The Visual Simulation Environment technology transfer, Proceedings of the 29th conference on Winter simulation, p.1323-1329, December 07-10, 1997, Atlanta, Georgia, United States
	Robert G. Sargent, Verifying and validating simulation models, Proceedings of the 28th conference on Winter simulation, p.55-64, December 08-11, 1996, Coronado, California, United States
	Enver Yücesan , Sheldon H. Jacobson, Building correct simulation models is difficult, Proceedings of the 24th conference on Winter simulation, p.783-790, December 13-16, 1992, Arlington, Virginia, United States
	Osman Balci , Richard E. Nance , E. Joseph Derrick , Ernest H. Page , John L. Bishop, Model generation issues in a simulation support environment, Proceedings of the 22nd conference on Winter simulation, p.257-263, December 09-12, 1990, New Orleans, Louisiana, United States
	Robert G. Sargent, Verification, validation, and accreditation: verification, validation, and accreditation of simulation models, Proceedings of the 32nd conference on Winter simulation, December 10-13, 2000, Orlando, Florida
	Robert G. Sargent, Verification and validation of simulation models, Proceedings of the 26th conference on Winter simulation, p.77-87, December 11-14, 1994, Orlando, Florida, United States
	Robert G. Sargent, Simulation model verification and validation, Proceedings of the 23rd conference on Winter simulation, p.37-47, December 08-11, 1991, Phoenix, Arizona, United States
	Osman Balci , Richard E. Nance, The simulation model development environment: an overview, Proceedings of the 24th conference on Winter simulation, p.726-736, December 13-16, 1992, Arlington, Virginia, United States
	Robert G. Sargent, Verification and validation of simulation models, Proceedings of the 30th conference on Winter simulation, p.121-130, December 13-16, 1998, Washington, D.C., United States
	Osman Balci, Verification validation and accreditation of simulation models, Proceedings of the 29th conference on Winter simulation, p.135-141, December 07-10, 1997, Atlanta, Georgia, United States
	Robert G. Sargent, Verification and validation: verification and validation of simulation models, Proceedings of the 35th conference on Winter simulation: driving innovation, December 07-10, 2003, New Orleans, Louisiana
	Osman Balci, Validation, verification, and testing techniques throughout the life cycle of a simulation study, Proceedings of the 26th conference on Winter simulation, p.215-220, December 11-14, 1994, Orlando, Florida, United States
	Robert G. Sargent, Verification and validation of simulation models, Proceedings of the 37th conference on Winter simulation, December 04-07, 2005, Orlando, Florida
	Robert G. Sargent, Validation and verification of simulation models, Proceedings of the 36th conference on Winter simulation, December 05-08, 2004, Washington, D.C.
	Robert G. Sargent, Verification and validation of simulation models, Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come, December 09-12, 2007, Washington D.C.
	Robert G. Sargent, Verification and validation of simulation models, Proceedings of the 40th Conference on Winter Simulation, December 07-10, 2008, Miami, Florida