The Community for Technology Leaders
Green Image
Issue No. 04 - July-Aug. (2012 vol. 38)
ISSN: 0098-5589
pp: 794-809
Sau-Fun Tang , Fac. of Inf. & Commun. Technol., Swinburne Univ. of Technol., Hawthorn, VIC, Australia
Pak-Lok Poon , Sch. of Accounting & Finance, Hong Kong Polytech. Univ., Kowloon, China
Tsong Yueh Chen , Fac. of Inf. & Commun. Technol., Swinburne Univ. of Technol., Hawthorn, VIC, Australia
T. H. Tse , Dept. of Comput. Sci., Univ. of Hong Kong, Hong Kong, China
ABSTRACT
This 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.
INDEX TERMS
program testing, divide and conquer methods, formal specification, black-box testing, DESSERT, divide-and-conquer methodology, category identification, choice identification, choice relation identification, test case generation, specification components, real-life commercial software systems, software testing, CHOC'LATE, Awards activities, Electronic mail, Software systems, Encoding, Software testing, test case generation, Black-box testing, category-partition method, choice relation framework, choice relation table, software testing
CITATION
Sau-Fun Tang, Pak-Lok Poon, Tsong Yueh Chen, T. H. Tse, "DESSERT: a DividE-and-conquer methodology for identifying categorieS, choiceS, and choicE Relations for Test case generation", IEEE Transactions on Software Engineering, vol. 38, no. , pp. 794-809, July-Aug. 2012, doi:10.1109/TSE.2011.69
848 ms
(Ver )