메뉴 건너뛰기




Volumn , Issue , 2008, Pages 121-149

Verification and Validation

Author keywords

Performing verification and validation; Simulation project and verification and validation; Turing Test informal validation method in validating models of human behavior

Indexed keywords


EID: 84889440676     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1002/9780470403563.ch6     Document Type: Chapter
Times cited : (21)

References (30)
  • 2
    • 84886962307 scopus 로고    scopus 로고
    • Flight Simulation [thesis]
    • Montreal (Canada): McGill University
    • Kesserwan N. Flight Simulation [thesis]. Montreal (Canada): McGill University; 1999.
    • (1999)
    • Kesserwan, N.1
  • 3
    • 0003547470 scopus 로고    scopus 로고
    • The Unified Modeling Language
    • Reading, MA: Addison-Wesley
    • Rumbaugh J, Jacobson I, Booch G. The Unified Modeling Language. Reading, MA: Addison-Wesley; 1999.
    • (1999)
    • Rumbaugh, J.1    Jacobson, I.2    Booch, G.3
  • 4
    • 0003990308 scopus 로고    scopus 로고
    • Discrete-Event System Simulation
    • 2nd Ed. Upper Saddle River, NJ: Prentice Hall
    • Banks J, Carson JS, Nelson BL. D iscrete-Event System Simulation, 2nd Ed. Upper Saddle River, NJ: Prentice Hall; 1996.
    • (1996)
    • Banks, J.1    Carson, J.S.2    Nelson, B.L.3
  • 5
    • 52149104365 scopus 로고    scopus 로고
    • Modeling and Simulation
    • U.S. Department of Defense, DOD Instruction 5000.61
    • U.S. Department of Defense, " Modeling and Simulation, " DOD Instruction 5000.61, 1996.
    • (1996)
  • 6
    • 0002574341 scopus 로고    scopus 로고
    • Verification, validation, and testing
    • In: Banks J, ed. Handbook of Simulation: Principles, Methodology, Advances, Applications, and Practice. New York: John Wiley & Sons
    • Balci O. Verification, validation, and testing. In: Banks J, ed. Handbook of Simulation: Principles, Methodology, Advances, Applications, and Practice. New York: John Wiley & Sons; 1998. pp. 335-393.
    • (1998) , pp. 335-393
    • Balci, O.1
  • 7
    • 0032271776 scopus 로고    scopus 로고
    • Verification, validation, and accreditation
    • Proceedings of the 1998 Winter Simulation Conference, December 13-16; Washington DC
    • Balci O. Verification, validation, and accreditation. Proceedings of the 1998 Winter Simulation Conference; 1996 December 13-16; Washington DC; pp. 41-48.
    • (1996) , pp. 41-48
    • Balci, O.1
  • 8
    • 0003687703 scopus 로고
    • Mathematical Modeling with Computers
    • Englewood Cliffs, NJ: Prentice-Hall
    • Jacoby SLS, Kowalik JS. Mathematical Modeling with Computers. Englewood Cliffs, NJ: Prentice-Hall; 1980.
    • (1980)
    • Jacoby, S.L.S.1    Kowalik, J.S.2
  • 9
    • 0034427863 scopus 로고    scopus 로고
    • Verification, validation, and accreditation of simulation models
    • Proceedings of the 2000 Winter Simulation Conference, December 10-13; Orlando, FL
    • Sargent RG. Verification, validation, and accreditation of simulation models. Proceedings of the 2000 Winter Simulation Conference; 2000 December 10-13; Orlando, FL; pp. 50-59.
    • (2000) , pp. 50-59
    • Sargent, R.G.1
  • 10
    • 0004322279 scopus 로고    scopus 로고
    • Statistics, Testing, and Defense Acquisition, New Approaches and Methodological Improvements
    • Washington, DC: National Research Council, National Academy Press
    • Cohen ML, Rolph JE, Steffey DL. Statistics, Testing, and Defense Acquisition, New Approaches and Methodological Improvements. Washington, DC: National Research Council, National Academy Press; 1998.
    • (1998)
    • Cohen, M.L.1    Rolph, J.E.2    Steffey, D.L.3
  • 11
    • 0016145264 scopus 로고
    • Sensitivity analysis and validation of simulation models
    • Miller DR. Sensitivity analysis and validation of simulation models. Journal of Theoretical Biology 1974; 48 (2): 345-360.
    • (1974) Journal of Theoretical Biology , vol.48 , Issue.2 , pp. 345-360
    • Miller, D.R.1
  • 12
    • 0018999407 scopus 로고
    • A methodology for cost-risk analysis in the statistical validation of simulation models
    • Balci O, Sargent RG. A methodology for cost-risk analysis in the statistical validation of simulation models. Communication of the ACM 1981; 24 (4): 190-197.
    • (1981) Communication of the ACM , vol.24 , Issue.4 , pp. 190-197
    • Balci, O.1    Sargent, R.G.2
  • 13
    • 10244247340 scopus 로고    scopus 로고
    • Improving the Composability of Department of Defense Models and Simulations
    • RAND National Defense Research Institute, Santa Monica CA
    • Davis PK, Anderson RH (RAND National Defense Research Institute, Santa Monica CA). Improving the Composability of Department of Defense Models and Simulations; 2003.
    • (2003)
    • Davis, P.K.1    Anderson, R.H.2
  • 14
    • 67650262231 scopus 로고    scopus 로고
    • A Survey of Engineering Approaches to Composability
    • Proceedings Of the Spring 2004 Simulation Interoperability Workshop, April 18-23; Arlington VA
    • Weisel EW, Petty MD, Mielke RR. A Survey of Engineering Approaches to Composability. Proceedings Of the Spring 2004 Simulation Interoperability Workshop; 2004 April 18-23; Arlington VA. pp. 722-731.
    • (2004) , pp. 722-731
    • Weisel, E.W.1    Petty, M.D.2    Mielke, R.R.3
  • 15
    • 25144447999 scopus 로고    scopus 로고
    • Validity of Models and Classes Of Models in Semantic Composability
    • Proceedings Of the Fall 2003 Simulation Interoperability Workshop, September 14-19; Orlando, FL
    • Weisel EW, Mielke RR, Petty MD. Validity of Models and Classes Of Models in Semantic Composability. Proceedings Of the Fall 2003 Simulation Interoperability Workshop; 2003 September 14-19; Orlando, FL. pp. 526-536.
    • (2003) , pp. 526-536
    • Weisel, E.W.1    Mielke, R.R.2    Petty, M.D.3
  • 16
    • 84876389862 scopus 로고    scopus 로고
    • C2 PAT, a Closed-Form Command and Control Modeling and Simulation System
    • Proceedings of the 2007 Huntsville Simulation Conference, October 30-November 1; Huntsville, AL
    • Tournes C, Colley WN, Umansky M. C2 PAT, a Closed-Form Command and Control Modeling and Simulation System. Proceedings of the 2007 Huntsville Simulation Conference; 2007 October 30-November 1; Huntsville, AL.
    • (2007)
    • Tournes, C.1    Colley, W.N.2    Umansky, M.3
  • 17
    • 84865643634 scopus 로고    scopus 로고
    • Capabilities and Intended Uses of the Joint Operations Feasibility Tool
    • Proceedings of the Spring 2004 Simulation Interoperability Workshop, April 18-23; Arlington, VA
    • Belfore LA, Garcia JJ, Lada EK, Petty MD, Quinones WP. Capabilities and Intended Uses of the Joint Operations Feasibility Tool. Proceedings of the Spring 2004 Simulation Interoperability Workshop; 2004 April 18-23; Arlington, VA. pp. 596-604.
    • (2004) , pp. 596-604
    • Belfore, L.A.1    Garcia, J.J.2    Lada, E.K.3    Petty, M.D.4    Quinones, W.P.5
  • 18
    • 0002988210 scopus 로고
    • Computing machinery and the mind
    • Turing AM. Computing machinery and the mind. Mind 1950; 59 (236): 433-460.
    • (1950) Mind , vol.59 , Issue.236 , pp. 433-460
    • Turing, A.M.1
  • 19
    • 84889398144 scopus 로고
    • A Framework for Evaluating Computer Generated Forces
    • Proceedings of the Second Behavioral Representation and Computer Generated Forces Symposium, May 6-7; Orlando, FL
    • Wise BP, Miller D, Ceranowicz AZ. A Framework for Evaluating Computer Generated Forces. Proceedings of the Second Behavioral Representation and Computer Generated Forces Symposium; 1991 May 6-7; Orlando, FL. pp. H1-H7.
    • (1991)
    • Wise, B.P.1    Miller, D.2    Ceranowicz, A.Z.3
  • 20
    • 84886545603 scopus 로고
    • The Turing Test as an Evaluation Criterion for Computer Generated Forces
    • Proceedings of the Fourth Conference on Computer Generated Forces and Behavioral Representation, May 4-6; Orlando, FL
    • Petty MD. The Turing Test as an Evaluation Criterion for Computer Generated Forces. Proceedings of the Fourth Conference on Computer Generated Forces and Behavioral Representation; 1994 May 4-6; Orlando, FL. pp. 107-116.
    • (1994) , pp. 107-116
    • Petty, M.D.1
  • 21
    • 0242467744 scopus 로고    scopus 로고
    • Enhanced Decision Modeling Using Multiagent System Simulation
    • Sokolowski JA. Enhanced Decision Modeling Using Multiagent System Simulation. Simulation 2003; 79 (4): 232-242.
    • (2003) Simulation , vol.79 , Issue.4 , pp. 232-242
    • Sokolowski, J.A.1
  • 22
    • 0004143981 scopus 로고
    • Statistical Concepts and Methods
    • New York: John Wiley & Sons
    • Bhattacharyya GK, Johnson RA. Statistical Concepts and Methods. New York: John Wiley & Sons; 1977.
    • (1977)
    • Bhattacharyya, G.K.1    Johnson, R.A.2
  • 23
    • 0041580801 scopus 로고
    • Strategies of decision making
    • Klein G. Strategies of decision making. Military Review 1989; 69 (5): 56-64.
    • (1989) Military Review , vol.69 , Issue.5 , pp. 56-64
    • Klein, G.1
  • 24
    • 0027604473 scopus 로고
    • Using significance tests to evaluate equivalence between two experimental groups
    • Rogers JL, Howard KI, Vessey JT. Using significance tests to evaluate equivalence between two experimental groups. Psychological Bulletin 1993; 113 (3): 553-565.
    • (1993) Psychological Bulletin , vol.113 , Issue.3 , pp. 553-565
    • Rogers, J.L.1    Howard, K.I.2    Vessey, J.T.3
  • 25
    • 84886955321 scopus 로고    scopus 로고
    • Advanced Chemical Propulsion System (ACPS) Validation Study
    • Unpublished presentation. University of Alabama in Huntsville, November 28
    • Benfield MPJ. Advanced Chemical Propulsion System (ACPS) Validation Study. Unpublished presentation. University of Alabama in Huntsville, November 28, 2007.
    • (2007)
    • Benfield, M.P.J.1
  • 26
    • 20544456428 scopus 로고    scopus 로고
    • VV & A Recommended Practices Guide
    • U.S. Department of Defense, RPG Build 3.0 September 2006. Available at, Accessed, March 13
    • U.S. Department of Defense. VV & A Recommended Practices Guide. RPG Build 3.0 September 2006. Available at http://vva.dmso.mil/. Accessed 2008 March 13.
    • (2008)
  • 27
    • 0003884111 scopus 로고    scopus 로고
    • Software Project Management, A Unified Framework
    • Reading, MA: Addison-Wesley
    • Royce W. Software Project Management, A Unified Framework. Reading, MA: Addison-Wesley; 1998.
    • (1998)
    • Royce, W.1
  • 28
    • 0030396007 scopus 로고    scopus 로고
    • Verifying and Validating Simulation Models
    • Proceedings of the 1996 Winter Simulation Conference, December 8-11; Coronado, CA
    • Sargent RG. Verifying and Validating Simulation Models. Proceedings of the 1996 Winter Simulation Conference; 1996 December 8-11; Coronado, CA. pp. 55-64.
    • (1996) , pp. 55-64
    • Sargent, R.G.1
  • 29
    • 0003869331 scopus 로고
    • Systems Simulation: The Art and Science
    • Upper Saddle River, NJ: Prentice Hall
    • Shannon RE. Systems Simulation: The Art and Science. Upper Saddle River, NJ: Prentice Hall; 1975.
    • (1975)
    • Shannon, R.E.1
  • 30
    • 33846663360 scopus 로고    scopus 로고
    • A Case Study of Model Context for Simulation Composability and Reusability
    • Proceedings of the 2005 Winter Simulation Conference, December 4-7; Orlando, FL
    • Spiegel M, Reynolds PF, Brogan DC. A Case Study of Model Context for Simulation Composability and Reusability. Proceedings of the 2005 Winter Simulation Conference; 2005 December 4-7; Orlando, FL. pp. 436-444.
    • (2005) , pp. 436-444
    • Spiegel, M.1    Reynolds, P.F.2    Brogan, D.C.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.