Title :
Context-driven testing approach for composability of simulation model
Author :
Zhu, Yifan ; Li, Qun ; Chen, Chao
Author_Institution :
Nat. Univ. of Defense Technol., Changsha
Abstract :
Testing is an important aspect in effectiveness verification of the composability of simulation model. This paper introduces a context-driven testing approach that supports to confirm and improve the composability of model in composable simulation research. Context-driven testing is a feasible approach that specifies model test framework and algorithms of constraint modeling for test on three hierarchical phases. On the system phase, taking the basic task as testing element, model test judges the satisfactory of composed simulation modelpsilas behavior to the real requirements. On the component phase, taking interaction between models as testing element, model test judges the correctness of interactions depending on match degree between event expression and real event sequence. On the element phase, taking internal behavior of entity as testing element, model test analyzes the causes that make test condition dissatisfied on the system phase and component phase. The context-driven testing approach supports conformation of model composability powerfully.
Keywords :
digital simulation; formal verification; program testing; constraint modeling; context-driven testing; effectiveness verification; simulation model; Algorithm design and analysis; Analytical models; Chaos; Computer bugs; Constraint theory; Context modeling; Kernel; Power system modeling; Solid modeling; System testing;
Conference_Titel :
System Simulation and Scientific Computing, 2008. ICSC 2008. Asia Simulation Conference - 7th International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-1786-5
Electronic_ISBN :
978-1-4244-1787-2
DOI :
10.1109/ASC-ICSC.2008.4675332