Links for fulltext
(May Require Subscription)
- Publisher Website: 10.1109/TSE.2011.78
- Scopus: eid_2-s2.0-80053611830
- WOS: WOS:000295162900002
- Find via
Supplementary
- Citations:
- Appears in Collections:
Article: A comparison of tabular expression-based testing strategies
| Title | A comparison of tabular expression-based testing strategies | ||||||
|---|---|---|---|---|---|---|---|
| Authors | |||||||
| Keywords | Tabular expression Conditionally subsume Subsume Test case constraint Unconditionally subsume | ||||||
| Issue Date | 2011 | ||||||
| Publisher | IEEE. 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? | ||||||
| Abstract | Tabular 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. | ||||||
| Persistent Identifier | http://hdl.handle.net/10722/142946 | ||||||
| ISSN | 2023 Impact Factor: 6.5 2023 SCImago Journal Rankings: 1.868 | ||||||
| ISI Accession Number ID |
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 Field | Value | Language |
|---|---|---|
| dc.contributor.author | Feng, X | - |
| dc.contributor.author | Parnas, DL | - |
| dc.contributor.author | Tse, TH | - |
| dc.contributor.author | O'Callaghan, T | - |
| dc.date.accessioned | 2011-10-28T02:59:40Z | - |
| dc.date.available | 2011-10-28T02:59:40Z | - |
| dc.date.issued | 2011 | - |
| dc.identifier.citation | IEEE Transactions on Software Engineering, 2011, v. 37 n. 5, p. 616-634 | - |
| dc.identifier.issn | 0098-5589 | - |
| dc.identifier.uri | http://hdl.handle.net/10722/142946 | - |
| dc.description.abstract | Tabular 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. | - |
| dc.language | eng | - |
| dc.publisher | IEEE. The Journal's web site is located at http://www.computer.org/tse | - |
| dc.relation.ispartof | IEEE Transactions on Software Engineering | - |
| dc.rights | IEEE Transactions on Software Engineering. Copyright © IEEE. | - |
| dc.rights | ©2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. | - |
| dc.subject | Tabular expression | - |
| dc.subject | Conditionally subsume | - |
| dc.subject | Subsume | - |
| dc.subject | Test case constraint | - |
| dc.subject | Unconditionally subsume | - |
| dc.title | A comparison of tabular expression-based testing strategies | - |
| dc.type | Article | - |
| dc.identifier.email | Tse, TH: thtse@cs.hku.hk | - |
| dc.identifier.authority | Tse, TH=rp00546 | - |
| dc.description.nature | postprint | - |
| dc.identifier.doi | 10.1109/TSE.2011.78 | - |
| dc.identifier.scopus | eid_2-s2.0-80053611830 | en_HK |
| dc.identifier.hkuros | 197326 | - |
| dc.identifier.hkuros | 167681 | - |
| dc.relation.references | http://www.scopus.com/mlt/select.url?eid=2-s2.0-80053611830&selection=ref&src=s&origin=recordpage | en_HK |
| dc.identifier.volume | 37 | - |
| dc.identifier.issue | 5 | - |
| dc.identifier.spage | 616 | - |
| dc.identifier.epage | 634 | - |
| dc.identifier.isi | WOS:000295162900002 | - |
| dc.publisher.place | United States | - |
| dc.identifier.scopusauthorid | Feng, X=55224956000 | en_HK |
| dc.identifier.scopusauthorid | Parnas, DL=7006616905 | en_HK |
| dc.identifier.scopusauthorid | Tse, TH=7005496974 | en_HK |
| dc.identifier.scopusauthorid | O'Callaghan, T=25925335300 | en_HK |
| dc.identifier.issnl | 0098-5589 | - |