Links for fulltext
(May Require Subscription)
- Publisher Website: 10.1109/QSIC.2009.22
- Scopus: eid_2-s2.0-77950612779
- WOS: WOS:000306716300013
- Find via
Supplementary
- Citations:
- Appears in Collections:
Conference Paper: Automatic generation of normal forms for testing object-oriented software
Title | Automatic generation of normal forms for testing object-oriented software |
---|---|
Authors | |
Keywords | Algebraic specification Equivalent fundamental pair Normal form Object-oriented program Software testing |
Issue Date | 2009 |
Publisher | IEEE Computer Society Press. |
Citation | Proceedings - International Conference On Quality Software, 2009, p. 108-116 How to Cite? |
Abstract | Testing object-oriented software is more complex than its procedural counterpart. The concept of "fundamental pairs" was introduced in our TACCLE methodology for testing object-oriented software. It was proved that, although the set of fundamental pairs is only a proper subset of equivalent ground terms, the use of fundamental pairs as test cases covers the use of equivalent ground terms. Recently, we found that any normal form consists of only a creator, or a creator followed only by constructors but not transformers; and yet the reverse is not necessarily true. Thus, the generation of patterns of normal forms is non-trivial and warrants further study. Motivated by this finding and based on further pattern analyses of normal forms and tree models with pruning techniques, we propose an algorithm to generate representative normal forms according to patterns and develop a corresponding automatic tool. This work improves the automation, coverage, and adequacy of selecting (equivalent) fundamental pairs as test cases. © 2009 IEEE. |
Description | International Conference on Quality Software. This research is supported by a Union Grant of the Guangdong Province and National Natural Science Foundation of China, a Grant of National Natural Science Foundation of China, grants of the Guangdong Province Science Foundation, and the General Research Fund of the Research Grant Council of Hong Kong |
Persistent Identifier | http://hdl.handle.net/10722/65465 |
ISSN | |
ISI Accession Number ID | |
References |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Chen, HY | en_HK |
dc.contributor.author | Tse, TH | en_HK |
dc.date.accessioned | 2010-08-09T08:39:38Z | - |
dc.date.available | 2010-08-09T08:39:38Z | - |
dc.date.issued | 2009 | en_HK |
dc.identifier.citation | Proceedings - International Conference On Quality Software, 2009, p. 108-116 | en_HK |
dc.identifier.issn | 1550-6002 | en_HK |
dc.identifier.uri | http://hdl.handle.net/10722/65465 | - |
dc.description | International Conference on Quality Software. | - |
dc.description | This research is supported by a Union Grant of the Guangdong Province and National Natural Science Foundation of China, a Grant of National Natural Science Foundation of China, grants of the Guangdong Province Science Foundation, and the General Research Fund of the Research Grant Council of Hong Kong | - |
dc.description.abstract | Testing object-oriented software is more complex than its procedural counterpart. The concept of "fundamental pairs" was introduced in our TACCLE methodology for testing object-oriented software. It was proved that, although the set of fundamental pairs is only a proper subset of equivalent ground terms, the use of fundamental pairs as test cases covers the use of equivalent ground terms. Recently, we found that any normal form consists of only a creator, or a creator followed only by constructors but not transformers; and yet the reverse is not necessarily true. Thus, the generation of patterns of normal forms is non-trivial and warrants further study. Motivated by this finding and based on further pattern analyses of normal forms and tree models with pruning techniques, we propose an algorithm to generate representative normal forms according to patterns and develop a corresponding automatic tool. This work improves the automation, coverage, and adequacy of selecting (equivalent) fundamental pairs as test cases. © 2009 IEEE. | en_HK |
dc.language | eng | - |
dc.publisher | IEEE Computer Society Press. | - |
dc.relation.ispartof | Proceedings - International Conference on Quality Software | en_HK |
dc.rights | ©2009 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 | Algebraic specification | en_HK |
dc.subject | Equivalent fundamental pair | en_HK |
dc.subject | Normal form | en_HK |
dc.subject | Object-oriented program | en_HK |
dc.subject | Software testing | en_HK |
dc.title | Automatic generation of normal forms for testing object-oriented software | en_HK |
dc.type | Conference_Paper | en_HK |
dc.identifier.openurl | http://library.hku.hk:4550/resserv?sid=HKU:IR&issn=1550-6002 &volume=&spage=108&epage=116&date=2009&atitle=Automatic+generation+of+normal+forms+for+testing+object-oriented+software | - |
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 | - |
dc.identifier.doi | 10.1109/QSIC.2009.22 | en_HK |
dc.identifier.scopus | eid_2-s2.0-77950612779 | en_HK |
dc.identifier.hkuros | 155809 | - |
dc.relation.references | http://www.scopus.com/mlt/select.url?eid=2-s2.0-77950612779&selection=ref&src=s&origin=recordpage | en_HK |
dc.identifier.spage | 108 | en_HK |
dc.identifier.epage | 116 | en_HK |
dc.identifier.isi | WOS:000306716300013 | - |
dc.identifier.scopusauthorid | Chen, HY=7501614657 | en_HK |
dc.identifier.scopusauthorid | Tse, TH=7005496974 | en_HK |
dc.identifier.issnl | 1550-6002 | - |