Links for fulltext
(May Require Subscription)
- Publisher Website: 10.1145/1188895.1188901
- Scopus: eid_2-s2.0-34547662248
Supplementary
-
Citations:
- Scopus: 0
- Appears in Collections:
Conference Paper: An empirical comparison between direct and indirect test result checking approaches
Title | An empirical comparison between direct and indirect test result checking approaches |
---|---|
Authors | |
Keywords | Controlled experiment Empirical evaluation Metamorphic testing Test oracle |
Issue Date | 2006 |
Publisher | ACM Press |
Citation | Proceedings Of The Third International Workshop On Software Quality Assurance, Soqua 2006, 2006, p. 6-13 How to Cite? |
Abstract | An oracle on software testing is a mechanism for checking whether the system under test has behaved correctly for any executions. In some situations, oracles are unavailable or too expensive to apply. This is known as the oracle problem. It is crucial to develop techniques to address it, and metamorphic testing (MT) was one of such proposals. This paper conducts a controlled experiment to investigate the cost effectiveness of using MT by 38 testers on three open-source programs. The fault detection capability and time cost of MT are compared with the popular assertion checking method. Our results show that MT is cost-efficient and has potentials for detecting more faults than the assertion checking method. Copyright 2006 ACM. |
Description | The SOQUA 2006 Workshop was held in conjunction with the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT 2006/FSE-14) ACM Press, New York, NY. |
Sponsorship | This research is supported in part by a grant of the Research Grants Council of Hong Kong (project no. HKU 7145/04E), a grant of City University of Hong Kong and a grant of The University of Hong Kong. |
Persistent Identifier | http://hdl.handle.net/10722/55474 |
ISBN | |
References |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Hu, P | en_HK |
dc.contributor.author | Zhang, Z | en_HK |
dc.contributor.author | Chan, WK | en_HK |
dc.contributor.author | Tse, TH | en_HK |
dc.date.accessioned | 2009-08-12T08:41:37Z | - |
dc.date.available | 2009-08-12T08:41:37Z | - |
dc.date.issued | 2006 | en_HK |
dc.identifier.citation | Proceedings Of The Third International Workshop On Software Quality Assurance, Soqua 2006, 2006, p. 6-13 | en_HK |
dc.identifier.isbn | 1-59593-584-3 | - |
dc.identifier.uri | http://hdl.handle.net/10722/55474 | - |
dc.description | The SOQUA 2006 Workshop was held in conjunction with the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT 2006/FSE-14) ACM Press, New York, NY. | en |
dc.description.abstract | An oracle on software testing is a mechanism for checking whether the system under test has behaved correctly for any executions. In some situations, oracles are unavailable or too expensive to apply. This is known as the oracle problem. It is crucial to develop techniques to address it, and metamorphic testing (MT) was one of such proposals. This paper conducts a controlled experiment to investigate the cost effectiveness of using MT by 38 testers on three open-source programs. The fault detection capability and time cost of MT are compared with the popular assertion checking method. Our results show that MT is cost-efficient and has potentials for detecting more faults than the assertion checking method. Copyright 2006 ACM. | en_HK |
dc.description.sponsorship | This research is supported in part by a grant of the Research Grants Council of Hong Kong (project no. HKU 7145/04E), a grant of City University of Hong Kong and a grant of The University of Hong Kong. | en |
dc.language.iso | eng | en |
dc.publisher | ACM Press | en |
dc.relation.ispartof | Proceedings of the Third International Workshop on Software Quality Assurance, SOQUA 2006 | en_HK |
dc.rights | This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License. | - |
dc.subject | Controlled experiment | en_HK |
dc.subject | Empirical evaluation | en_HK |
dc.subject | Metamorphic testing | en_HK |
dc.subject | Test oracle | en_HK |
dc.title | An empirical comparison between direct and indirect test result checking approaches | en_HK |
dc.type | Conference_Paper | en_HK |
dc.identifier.openurl | http://llibrary.hku.hk:4550/resserv?sid=HKU:IR&isbn=1-59593-584-3&spage=6-13&epage=13&date=2006&atitle=An+Empirical+Comparison+Between+Direct+and+Indirect+Test+Result+Checking+Approaches | - |
dc.identifier.email | Tse, TH: thtse@cs.hku.hk | en_HK |
dc.identifier.authority | Tse, TH=rp00546 | en_HK |
dc.description.nature | preprint | en_HK |
dc.identifier.doi | 10.1145/1188895.1188901 | en_HK |
dc.identifier.scopus | eid_2-s2.0-34547662248 | en_HK |
dc.identifier.hkuros | 130280 | - |
dc.relation.references | http://www.scopus.com/mlt/select.url?eid=2-s2.0-34547662248&selection=ref&src=s&origin=recordpage | en_HK |
dc.identifier.spage | 6 | en_HK |
dc.identifier.epage | 13 | en_HK |
dc.identifier.scopusauthorid | Hu, P=7201989692 | en_HK |
dc.identifier.scopusauthorid | Zhang, Z=10639502200 | en_HK |
dc.identifier.scopusauthorid | Chan, WK=23967779900 | en_HK |
dc.identifier.scopusauthorid | Tse, TH=7005496974 | en_HK |