论文信息 - The Method of Manufactured Solutions in 3D for the verification of Computational Electromagnetics

The Method of Manufactured Solutions in 3D for the verification of Computational Electromagnetics

The Method of Manufactured Solutions is introduced for Computational Electromagnetics in three-dimensions. It is shown by way of Mutation Testing that the method is effective in detecting numerous coding errors. The application of the method to three-dimensions is discussed and meshing relevant to showing theoretical convergence is explained. It is found that certain meshing strategies are more appropriate at initial error assessment and that typical meshing strategies are more appropriate when testing different versions of a code.

D. B. Davidson | R. Marchand

[1] P. Roache. Building PDE codes to be verifiable and validatable , 2004, Computing in Science & Engineering.

[2] Peter Monk,et al. Discrete compactness and the approximation of Maxwell's equations in R3 , 2001, Math. Comput..

[3] Lionel C. Briand,et al. Is mutation an appropriate tool for testing experiments? , 2005, ICSE.

[4] Renier Marchand,et al. The method of manufactured solutions for the verification of computational electromagnetics , 2011, 2011 International Conference on Electromagnetics in Advanced Applications.

[5] Patrick J. Roache,et al. Verification and Validation in Computational Science and Engineering , 1998 .