File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: Metamorphic testing of programs on partial differential equations: a case study

TitleMetamorphic testing of programs on partial differential equations: a case study
Authors
KeywordsProgram testing
Metamorphic testing
Oracle problem
Partial differential equations
Issue Date2002
PublisherIEEE, Computer Society.
Citation
The 26th Annual International Computer Software and Applications Conference Proceedings, Los Alamitos, Califormia, USA, 26-29 August 2002, p. 327-333 How to Cite?
AbstractWe study the effect of applying metamorphic testing to alleviate the oracle problem for numerical programs. We discuss a case study on the testing of a program that solves an elliptic partial differential equation with Dirichlet boundary conditions. We identify a metamorphic relation for the equation and demonstrate the effectiveness of metamorphic testing in identifying the error. The relation identified should also be applicable to other numerical methods that yield better approximations on the refinement of grid points or step sizes.
Persistent Identifierhttp://hdl.handle.net/10722/48440
ISSN
References

 

DC FieldValueLanguage
dc.contributor.authorChen, TYen_HK
dc.contributor.authorFeng, Jen_HK
dc.contributor.authorTse, THen_HK
dc.date.accessioned2008-05-22T04:13:05Z-
dc.date.available2008-05-22T04:13:05Z-
dc.date.issued2002en_HK
dc.identifier.citationThe 26th Annual International Computer Software and Applications Conference Proceedings, Los Alamitos, Califormia, USA, 26-29 August 2002, p. 327-333en_HK
dc.identifier.issn0730-3157en_HK
dc.identifier.urihttp://hdl.handle.net/10722/48440-
dc.description.abstractWe study the effect of applying metamorphic testing to alleviate the oracle problem for numerical programs. We discuss a case study on the testing of a program that solves an elliptic partial differential equation with Dirichlet boundary conditions. We identify a metamorphic relation for the equation and demonstrate the effectiveness of metamorphic testing in identifying the error. The relation identified should also be applicable to other numerical methods that yield better approximations on the refinement of grid points or step sizes.en_HK
dc.format.extent198146 bytes-
dc.format.extent783 bytes-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypetext/plain-
dc.languageengen_HK
dc.publisherIEEE, Computer Society.en_HK
dc.relation.ispartofIEEE International Computer Software and Applications Conference Proceedings-
dc.rights©2002 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.en_HK
dc.rightsCreative Commons: Attribution 3.0 Hong Kong License-
dc.subjectProgram testingen_HK
dc.subjectMetamorphic testingen_HK
dc.subjectOracle problemen_HK
dc.subjectPartial differential equationsen_HK
dc.titleMetamorphic testing of programs on partial differential equations: a case studyen_HK
dc.typeConference_Paperen_HK
dc.identifier.openurlhttp://library.hku.hk:4550/resserv?sid=HKU:IR&issn=0730-3157&volume=&spage=327&epage=333&date=2002&atitle=Metamorphic+testing+of+programs+on+partial+differential+equations:+a+case+studyen_HK
dc.identifier.emailTse, TH: thtse@cs.hku.hken_HK
dc.description.naturepublished_or_final_versionen_HK
dc.identifier.doi10.1109/CMPSAC.2002.1045022en_HK
dc.identifier.scopuseid_2-s2.0-0036392116-
dc.identifier.hkuros74939-
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-0036392116&selection=ref&src=s&origin=recordpage-
dc.identifier.spage327-
dc.identifier.epage333-
dc.publisher.placeUnited States-
dc.identifier.scopusauthoridChen, TY=13104290200-
dc.identifier.scopusauthoridFeng, J=7403883946-
dc.identifier.scopusauthoridTse, TH=7005496974-
dc.identifier.citeulike5831258-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats