File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: Research directions in model-based metamorphic testing and verification

TitleResearch directions in model-based metamorphic testing and verification
Authors
Tse, TH
KeywordsComputers
Software
Issue Date2005
PublisherIEEE, Computer Society.
Citation
Proceedings - International Computer Software And Applications Conference, 2005, v. 1, p. 332 How to Cite?
DOI: http://dx.doi.org/10.1109/COMPSAC.2005.130
AbstractModel-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 Identifierhttp://hdl.handle.net/10722/45543
ISSN
0730-3157
References
References in Scopus

 

DC FieldValueLanguage
dc.contributor.authorTse, THen_HK
dc.date.accessioned2007-10-30T06:28:50Z-
dc.date.available2007-10-30T06:28:50Z-
dc.date.issued2005en_HK
dc.identifier.citationProceedings - International Computer Software And Applications Conference, 2005, v. 1, p. 332en_HK
dc.identifier.issn0730-3157en_HK
dc.identifier.urihttp://hdl.handle.net/10722/45543-
dc.description.abstractModel-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.extent43690 bytes-
dc.format.extent15815 bytes-
dc.format.extent2803 bytes-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypetext/plain-
dc.languageengen_HK
dc.publisherIEEE, Computer Society.en_HK
dc.relation.ispartofProceedings - International Computer Software and Applications Conferenceen_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.subjectComputersen_HK
dc.subjectSoftwareen_HK
dc.titleResearch directions in model-based metamorphic testing and verificationen_HK
dc.typeConference_Paperen_HK
dc.identifier.openurlhttp://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+verificationen_HK
dc.identifier.emailTse, TH: thtse@cs.hku.hken_HK
dc.identifier.authorityTse, TH=rp00546en_HK
dc.description.naturepublished_or_final_versionen_HK
dc.identifier.doi10.1109/COMPSAC.2005.130en_HK
dc.identifier.scopuseid_2-s2.0-34248551952en_HK
dc.identifier.hkuros101434en_HK
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-34248551952&selection=ref&src=s&origin=recordpageen_HK
dc.identifier.volume1en_HK
dc.identifier.spage332en_HK
dc.identifier.epage332en_HK
dc.publisher.placeUnited Statesen_HK
dc.identifier.scopusauthoridTse, TH=7005496974en_HK
dc.identifier.issnl0730-3157-

Export via OAI-PMH Interface in XML Formats

OR

Export to Other Non-XML Formats