File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Article: DESSERT: A DividE-and-conquer methodology for identifying categorieS, choiceS, and choicE relations for test case generation

TitleDESSERT: A DividE-and-conquer methodology for identifying categorieS, choiceS, and choicE relations for test case generation
Authors
KeywordsBlack-box testing
Category-partition method
Choice relation framework
Choice relation table
Software testing
Test case generation
Issue Date2012
PublisherIEEE. The Journal's web site is located at http://www.computer.org/tse
Citation
IEEE Transactions On Software Engineering, 2012, v. 38 n. 4, p. 794-809 How to Cite?
AbstractThis paper extends the choce relation framework, abbreviated as choc'late, which assists software testers in the application of category/choice methods to testing. choc'late assumes that the tester is able to construct a single choice relation table from the entire specification; this table then forms the basis for test case generation using the associated algorithms. This assumption, however, may not hold true when the specification is complex and contains many specification components. For such a specification, the tester may construct a preliminary choice relation table from each specification component, and then consolidate all the preliminary tables into a final table to be processed by choc'late for test case generation. However, it is often difficult to merge these preliminary tables because such merging may give rise to inconsistencies among choice relations or overlaps among choices. To alleviate this problem, we introduce a DividE-and-conquer methodology for identifying categorieS, choiceS, and choicE Relations for Test case generation, abbreviated as dessert. The theoretical framework and the associated algorithms are discussed. To demonstrate the viability and effectiveness of our methodology, we describe case studies using the specifications of three real-life commercial software systems. © 2012 IEEE.
Persistent Identifierhttp://hdl.handle.net/10722/140787
ISSN
2015 Impact Factor: 1.516
2015 SCImago Journal Rankings: 1.543
ISI Accession Number ID
References

 

DC FieldValueLanguage
dc.contributor.authorChen, TYen_HK
dc.contributor.authorPoon, PLen_HK
dc.contributor.authorTang, SFen_HK
dc.contributor.authorTse, THen_HK
dc.date.accessioned2011-09-23T06:19:18Z-
dc.date.available2011-09-23T06:19:18Z-
dc.date.issued2012en_HK
dc.identifier.citationIEEE Transactions On Software Engineering, 2012, v. 38 n. 4, p. 794-809en_HK
dc.identifier.issn0098-5589en_HK
dc.identifier.urihttp://hdl.handle.net/10722/140787-
dc.description.abstractThis paper extends the choce relation framework, abbreviated as choc'late, which assists software testers in the application of category/choice methods to testing. choc'late assumes that the tester is able to construct a single choice relation table from the entire specification; this table then forms the basis for test case generation using the associated algorithms. This assumption, however, may not hold true when the specification is complex and contains many specification components. For such a specification, the tester may construct a preliminary choice relation table from each specification component, and then consolidate all the preliminary tables into a final table to be processed by choc'late for test case generation. However, it is often difficult to merge these preliminary tables because such merging may give rise to inconsistencies among choice relations or overlaps among choices. To alleviate this problem, we introduce a DividE-and-conquer methodology for identifying categorieS, choiceS, and choicE Relations for Test case generation, abbreviated as dessert. The theoretical framework and the associated algorithms are discussed. To demonstrate the viability and effectiveness of our methodology, we describe case studies using the specifications of three real-life commercial software systems. © 2012 IEEE.en_HK
dc.languageengen_US
dc.publisherIEEE. The Journal's web site is located at http://www.computer.org/tseen_HK
dc.relation.ispartofIEEE Transactions on Software Engineeringen_HK
dc.rightsIEEE Transactions on Software Engineering. Copyright © IEEE.en_US
dc.rights©2012 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_US
dc.rightsCreative Commons: Attribution 3.0 Hong Kong License-
dc.subjectBlack-box testingen_HK
dc.subjectCategory-partition methoden_HK
dc.subjectChoice relation frameworken_HK
dc.subjectChoice relation tableen_HK
dc.subjectSoftware testingen_HK
dc.subjectTest case generationen_HK
dc.titleDESSERT: A DividE-and-conquer methodology for identifying categorieS, choiceS, and choicE relations for test case generationen_HK
dc.typeArticleen_HK
dc.identifier.openurlhttp://library.hku.hk:4550/resserv?sid=HKU:IR&issn=0098-5589&volume=&spage=&epage=&date=2011&atitle=DESSERT:+a+divide-and-conquer+methodology+for+identifying+categories,+choices,+and+choice+relations+for+test+case+generationen_US
dc.identifier.emailTse, TH: thtse@cs.hku.hken_HK
dc.identifier.authorityTse, TH=rp00546en_HK
dc.description.naturepublished_or_final_version-
dc.identifier.doi10.1109/TSE.2011.69en_HK
dc.identifier.scopuseid_2-s2.0-84862503159en_HK
dc.identifier.hkuros205744en_US
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-84862503159&selection=ref&src=s&origin=recordpageen_HK
dc.identifier.volume38en_HK
dc.identifier.issue4en_HK
dc.identifier.spage794en_HK
dc.identifier.epage809en_HK
dc.identifier.isiWOS:000307120000004-
dc.publisher.placeUnited Statesen_HK
dc.identifier.scopusauthoridChen, TY=13104290200en_HK
dc.identifier.scopusauthoridPoon, PL=7101925990en_HK
dc.identifier.scopusauthoridTang, SF=7403437100en_HK
dc.identifier.scopusauthoridTse, TH=7005496974en_HK
dc.identifier.citeulike11169284-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats