Links for fulltext
(May Require Subscription)
- Publisher Website: 10.1109/COMPSAC.2005.130
- Scopus: eid_2-s2.0-34248551952
- Find via
Supplementary
-
Citations:
- Scopus: 0
- Appears in Collections:
Conference Paper: Research directions in model-based metamorphic testing and verification
Title | Research directions in model-based metamorphic testing and verification |
---|---|
Authors | |
Keywords | Computers Software |
Issue Date | 2005 |
Publisher | IEEE, Computer Society. |
Citation | Proceedings - International Computer Software And Applications Conference, 2005, v. 1, p. 332 How to Cite? |
Abstract | Model-based software testing generally refers to test case selection and result evaluation based on a behavioral model of the target software. It may not, however, be possible to evaluate test results in some situations. For embedded software in a real-time environment, for instance, the results may only appear in a fraction of a second and cannot be observed by the tester. In this paper, we discuss the research opportunities for such situations despite the challenges. |
Persistent Identifier | http://hdl.handle.net/10722/45543 |
ISSN | |
References |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Tse, TH | en_HK |
dc.date.accessioned | 2007-10-30T06:28:50Z | - |
dc.date.available | 2007-10-30T06:28:50Z | - |
dc.date.issued | 2005 | en_HK |
dc.identifier.citation | Proceedings - International Computer Software And Applications Conference, 2005, v. 1, p. 332 | en_HK |
dc.identifier.issn | 0730-3157 | en_HK |
dc.identifier.uri | http://hdl.handle.net/10722/45543 | - |
dc.description.abstract | Model-based software testing generally refers to test case selection and result evaluation based on a behavioral model of the target software. It may not, however, be possible to evaluate test results in some situations. For embedded software in a real-time environment, for instance, the results may only appear in a fraction of a second and cannot be observed by the tester. In this paper, we discuss the research opportunities for such situations despite the challenges. | en_HK |
dc.format.extent | 43690 bytes | - |
dc.format.extent | 15815 bytes | - |
dc.format.extent | 2803 bytes | - |
dc.format.mimetype | application/pdf | - |
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 | Proceedings - International Computer Software and Applications Conference | en_HK |
dc.rights | ©2005 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 | Computers | en_HK |
dc.subject | Software | en_HK |
dc.title | Research directions in model-based metamorphic testing and verification | en_HK |
dc.type | Conference_Paper | en_HK |
dc.identifier.openurl | http://library.hku.hk:4550/resserv?sid=HKU:IR&issn=0730-3157&volume=2&spage=332&epage=&date=2005&atitle=Research+directions+on+model-based+metamorphic+testing+and+verification | en_HK |
dc.identifier.email | Tse, TH: thtse@cs.hku.hk | en_HK |
dc.identifier.authority | Tse, TH=rp00546 | en_HK |
dc.description.nature | published_or_final_version | en_HK |
dc.identifier.doi | 10.1109/COMPSAC.2005.130 | en_HK |
dc.identifier.scopus | eid_2-s2.0-34248551952 | en_HK |
dc.identifier.hkuros | 101434 | en_HK |
dc.relation.references | http://www.scopus.com/mlt/select.url?eid=2-s2.0-34248551952&selection=ref&src=s&origin=recordpage | en_HK |
dc.identifier.volume | 1 | en_HK |
dc.identifier.spage | 332 | en_HK |
dc.identifier.epage | 332 | en_HK |
dc.publisher.place | United States | en_HK |
dc.identifier.scopusauthorid | Tse, TH=7005496974 | en_HK |
dc.identifier.issnl | 0730-3157 | - |