Type of Document Master's Thesis Author Whitner, Richard B. URN etd-11212012-040014 Title A taxonomical review of software verification techniques :an illustration using discrete-event simulation Degree Master of Science Department Computer Science Advisory Committee
Advisor Name Title Balci, Osman Committee Chair Nance, Richard E. Committee Member Tew, Jeffrey D. Committee Member Keywords
- Software engineering
Date of Defense 1988-10-15 Availability restricted Abstract
The use of simulation and modeling as a technique for solving today’s complex problems is ever-increasing. Correspondingly, the demands placed on the software which serves as a computer-executable representation of the simulation model are increasing. With the increased complexity of simulation models comes a greater need for model verification, particularly programmed model verification. Unfortunately, current model verification technology is lacking in techniques which satisfy the verification needs. Specifically, there are few guidelines for performing programmed model verification. There is, however, an abundance of software verification techniques which are applicable for simulation model verification. An extensive review of techniques applicable for simulation programmed model verification is presented using the simulation and modeling terminology. A taxonomy for programmed model verification methods is developed. The usefulness of the taxonomy is twofold: (1) the taxonomy provides an approach for applying software verification techniques to the problem of programmed model verification, and (2) the breadth of the taxonomy provides a broad spectrum of perspectives from which to assess the credibility of simulation results. A simulation case study demonstrates the usefulness of the taxonomy and some of the verification techniques.
By referencing this work, one can determine what, and when, techniques can be used throughout the development life cycle. He will know how to perform each technique, how difficult each will be to apply, and how effective the technique will be. The simulation modeler - as well as the software engineer — will find the taxonomy and techniques valuable tools for guiding verification efforts.
Filename Size Approximate Download Time (Hours:Minutes:Seconds)
28.8 Modem 56K Modem ISDN (64 Kb) ISDN (128 Kb) Higher-speed Access LD5655.V855_1988.W5375.pdf 9.15 Mb 00:42:22 00:21:47 00:19:03 00:09:31 00:00:48next to an author's name indicates that all files or directories associated with their ETD are accessible from the Virginia Tech campus network only.
If you have questions or technical problems, please Contact DLA.