File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Article: A comparison of tabular expression-based testing strategies

TitleA comparison of tabular expression-based testing strategies
Authors
Keywordsconditionally subsume.
subsume
Tabular expression
test case constraint
unconditionally subsume
Issue Date2011
PublisherI E E E. The Journal's web site is located at http://www.computer.org/tse
Citation
Ieee Transactions On Software Engineering, 2011, v. 37 n. 5, p. 616-634 How to Cite?
AbstractTabular expressions have been proposed as a notation to document mathematically precise but readable software specifications. One of the many roles of such documentation is to guide testers. This paper 1) explores the application of four testing strategies (the partition strategy, decision table-based testing, the basic meaningful impact strategy, and fault-based testing) to tabular expression-based specifications, and 2) compares the strategies on a mathematical basis through formal and precise definitions of the subsumption relationship. We also compare these strategies through experimental studies. These results will help researchers improve current methods and will enable testers to select appropriate testing strategies for tabular expression-based specifications. © 2011 IEEE.
Persistent Identifierhttp://hdl.handle.net/10722/142946
ISSN
2015 Impact Factor: 1.516
2015 SCImago Journal Rankings: 1.543
ISI Accession Number ID
Funding AgencyGrant Number
Science Foundation Ireland (SFI)01/P1.2/C009
03/CE3/1405
Research Grants Council of Hong Kong717308
Funding Information:

This research is sponsored by Science Foundation Ireland (SFI) under grants 01/P1.2/C009 and 03/CE3/1405, and the General Research Fund of the Research Grants Council of Hong Kong under project no. 717308.

References

 

DC FieldValueLanguage
dc.contributor.authorFeng, Xen_HK
dc.contributor.authorParnas, DLen_HK
dc.contributor.authorTse, THen_HK
dc.contributor.authorO'Callaghan, Ten_HK
dc.date.accessioned2011-10-28T02:59:40Z-
dc.date.available2011-10-28T02:59:40Z-
dc.date.issued2011en_HK
dc.identifier.citationIeee Transactions On Software Engineering, 2011, v. 37 n. 5, p. 616-634en_HK
dc.identifier.issn0098-5589en_HK
dc.identifier.urihttp://hdl.handle.net/10722/142946-
dc.description.abstractTabular expressions have been proposed as a notation to document mathematically precise but readable software specifications. One of the many roles of such documentation is to guide testers. This paper 1) explores the application of four testing strategies (the partition strategy, decision table-based testing, the basic meaningful impact strategy, and fault-based testing) to tabular expression-based specifications, and 2) compares the strategies on a mathematical basis through formal and precise definitions of the subsumption relationship. We also compare these strategies through experimental studies. These results will help researchers improve current methods and will enable testers to select appropriate testing strategies for tabular expression-based specifications. © 2011 IEEE.en_HK
dc.languageengen_US
dc.publisherI E E E. The Journal's web site is located at http://www.computer.org/tseen_HK
dc.relation.ispartofIEEE Transactions on Software Engineeringen_HK
dc.rightsCreative Commons: Attribution 3.0 Hong Kong Licenseen_US
dc.subjectconditionally subsume.en_HK
dc.subjectsubsumeen_HK
dc.subjectTabular expressionen_HK
dc.subjecttest case constrainten_HK
dc.subjectunconditionally subsumeen_HK
dc.titleA comparison of tabular expression-based testing strategiesen_HK
dc.typeArticleen_HK
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.78en_HK
dc.identifier.scopuseid_2-s2.0-80053611830en_HK
dc.identifier.hkuros197326en_US
dc.identifier.hkuros167681-
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-80053611830&selection=ref&src=s&origin=recordpageen_HK
dc.identifier.volume37en_HK
dc.identifier.issue5en_HK
dc.identifier.spage616en_HK
dc.identifier.epage634en_HK
dc.identifier.isiWOS:000295162900002-
dc.publisher.placeUnited Statesen_HK
dc.identifier.scopusauthoridFeng, X=55224956000en_HK
dc.identifier.scopusauthoridParnas, DL=7006616905en_HK
dc.identifier.scopusauthoridTse, TH=7005496974en_HK
dc.identifier.scopusauthoridO'Callaghan, T=25925335300en_HK

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats