Paper Info
Title
Verification & validation by docking: a case study of agent-based models of Anopheles gambiae
Abstract
In this paper, using the technique of docking, we perform verification & validation (V&V) of agent-based simulation models that simulate the life cycle of Anopheles gambiae, the primary vector for malaria transmission. Working with one (out of several) particular version of the core conceptual simulation model, we perform: (1) verification between two separate implementations (Java & C++) built independently from the core model, and (2) validation by comparing these implementations to the core model. Incremental agreement in model output by iterative docking serves the purpose of increasing confidence to the core model and revealing conceptual errors in model-building, as well as to clarify concepts and eliminate semantic ambiguities. Results indicate that V&V should be performed in parallel, and the entire docking process should be iterative in nature, utilizing well-planned feedback from earlier implementations.
Year
Venue
Keywords
2010
SummerSim
incremental agreement,agent-based simulation model,agent-based model,conceptual error,entire docking process,earlier implementation,iterative docking,core conceptual simulation model,model output,case study,core model,anopheles gambiae
Field
DocType
Citations 
Data mining,Verification and validation,Simulation,Docking (dog),Computer science,Core model,Anopheles gambiae,Java
Conference
6
PageRank 
References 
Authors
0.95
14
4
Name
Order
Citations
PageRank
S. M. Niaz Arifin11228.12
Gregory J. Davis2275.31
Ying Zhou3394.81
Gregory R. Madey444149.83