File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: Automatic generation of normal forms for testing object-oriented software

TitleAutomatic generation of normal forms for testing object-oriented software
Authors
KeywordsAlgebraic specification
Equivalent fundamental pair
Normal form
Object-oriented program
Software testing
Issue Date2009
PublisherIEEE Computer Society Press.
Citation
Proceedings - International Conference On Quality Software, 2009, p. 108-116 How to Cite?
AbstractTesting 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.
DescriptionInternational 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 Identifierhttp://hdl.handle.net/10722/65465
ISSN
ISI Accession Number ID
References

 

DC FieldValueLanguage
dc.contributor.authorChen, HYen_HK
dc.contributor.authorTse, THen_HK
dc.date.accessioned2010-08-09T08:39:38Z-
dc.date.available2010-08-09T08:39:38Z-
dc.date.issued2009en_HK
dc.identifier.citationProceedings - International Conference On Quality Software, 2009, p. 108-116en_HK
dc.identifier.issn1550-6002en_HK
dc.identifier.urihttp://hdl.handle.net/10722/65465-
dc.descriptionInternational Conference on Quality Software.-
dc.descriptionThis 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.abstractTesting 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.languageeng-
dc.publisherIEEE Computer Society Press.-
dc.relation.ispartofProceedings - International Conference on Quality Softwareen_HK
dc.rightsCreative Commons: Attribution 3.0 Hong Kong License-
dc.subjectAlgebraic specificationen_HK
dc.subjectEquivalent fundamental pairen_HK
dc.subjectNormal formen_HK
dc.subjectObject-oriented programen_HK
dc.subjectSoftware testingen_HK
dc.titleAutomatic generation of normal forms for testing object-oriented softwareen_HK
dc.typeConference_Paperen_HK
dc.identifier.openurlhttp://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.emailTse, TH: thtse@cs.hku.hken_HK
dc.identifier.authorityTse, TH=rp00546en_HK
dc.description.naturepublished_or_final_version-
dc.identifier.doi10.1109/QSIC.2009.22en_HK
dc.identifier.scopuseid_2-s2.0-77950612779en_HK
dc.identifier.hkuros155809-
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-77950612779&selection=ref&src=s&origin=recordpageen_HK
dc.identifier.spage108en_HK
dc.identifier.epage116en_HK
dc.identifier.isiWOS:000306716300013-
dc.identifier.scopusauthoridChen, HY=7501614657en_HK
dc.identifier.scopusauthoridTse, TH=7005496974en_HK

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats