The method of manufactured solutions for the verification of computational electromagnetic codes

[摘要] ENGLISH ABSTRACT: In this work the Method of Manufactured Solutions (MMS) is introduced forthe code veri cation of full-wave frequency dependent electromagnetic computationalsoftware.Atrst the method is sketched in the context of the veri cation and validationprocess and the need for proper code veri cation is highlighted.Subsequently, the MMS is investigated in its natural context: the FiniteElement Method, speci cally for the E- eld Vector Wave Equation. The usefulnessof the method to detect error in a computational code is demonstrated.The selection of Manufactured Solutions is discussed and it is demonstratedhow it can be used tond the probable cause of bugs. Mutation testing isintroduced and used to show the ability to detect errors present in code.The MMS isnally applied in a novel manner to a Method of Moments(MoM) code. The challenges of numerical integration associated with the applicationof the operator is discussed and correct integration is successfullydemonstrated. Subsequently the MMS is demonstrated to be successfully appliedto the MoM and mutation testing is used to demonstrate the practicale cacy of the method.The application of the MMS to the MoM is the main contribution of thiswork.

[发布机构] Stellenbosch University