Links for fulltext
(May Require Subscription)
- Publisher Website: 10.1109/CMPSAC.2002.1045022
- Scopus: eid_2-s2.0-0036392116
- Find via
Conference Paper: Metamorphic testing of programs on partial differential equations: a case study
| Title | Metamorphic testing of programs on partial differential equations: a case study |
|---|---|
| Authors | |
| Keywords | Program testing Metamorphic testing Oracle problem Partial differential equations |
| Issue Date | 2002 |
| Publisher | IEEE, 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? |
| Abstract | We 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 Identifier | http://hdl.handle.net/10722/48440 |
| ISSN | 2020 SCImago Journal Rankings: 0.216 |
| References |
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Chen, TY | en_HK |
| dc.contributor.author | Feng, J | en_HK |
| dc.contributor.author | Tse, TH | en_HK |
| dc.date.accessioned | 2008-05-22T04:13:05Z | - |
| dc.date.available | 2008-05-22T04:13:05Z | - |
| dc.date.issued | 2002 | en_HK |
| dc.identifier.citation | The 26th Annual International Computer Software and Applications Conference Proceedings, Los Alamitos, Califormia, USA, 26-29 August 2002, p. 327-333 | en_HK |
| dc.identifier.issn | 0730-3157 | en_HK |
| dc.identifier.uri | http://hdl.handle.net/10722/48440 | - |
| dc.description.abstract | We 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.extent | 198146 bytes | - |
| dc.format.extent | 783 bytes | - |
| dc.format.mimetype | application/pdf | - |
| dc.format.mimetype | text/plain | - |
| dc.language | eng | en_HK |
| dc.publisher | IEEE, Computer Society. | en_HK |
| dc.relation.ispartof | IEEE 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. | - |
| dc.subject | Program testing | en_HK |
| dc.subject | Metamorphic testing | en_HK |
| dc.subject | Oracle problem | en_HK |
| dc.subject | Partial differential equations | en_HK |
| dc.title | Metamorphic testing of programs on partial differential equations: a case study | en_HK |
| dc.type | Conference_Paper | en_HK |
| dc.identifier.openurl | http://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+study | en_HK |
| dc.identifier.email | Tse, TH: thtse@cs.hku.hk | en_HK |
| dc.description.nature | published_or_final_version | en_HK |
| dc.identifier.doi | 10.1109/CMPSAC.2002.1045022 | en_HK |
| dc.identifier.scopus | eid_2-s2.0-0036392116 | - |
| dc.identifier.hkuros | 74939 | - |
| dc.relation.references | http://www.scopus.com/mlt/select.url?eid=2-s2.0-0036392116&selection=ref&src=s&origin=recordpage | - |
| dc.identifier.spage | 327 | - |
| dc.identifier.epage | 333 | - |
| dc.publisher.place | United States | - |
| dc.identifier.scopusauthorid | Chen, TY=13104290200 | - |
| dc.identifier.scopusauthorid | Feng, J=7403883946 | - |
| dc.identifier.scopusauthorid | Tse, TH=7005496974 | - |
| dc.identifier.citeulike | 5831258 | - |
| dc.identifier.issnl | 0730-3157 | - |