Subscribe

Issue No.05 - September/October (2011 vol.37)

pp: 616-634

Xin Feng , University of Limerick, Limerick and United International College, Zhuhai, Guangdong

David Lorge Parnas , University of Limerick, Limerick

T.H. Tse , The University of Hong Kong, Hong Kong

Tony O'Callaghan , University of Limerick, Limerick

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSE.2011.78

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.

INDEX TERMS

Tabular expression, test case constraint, subsume, unconditionally subsume, conditionally subsume.

CITATION

Xin Feng, David Lorge Parnas, T.H. Tse, Tony O'Callaghan, "A Comparison of Tabular Expression-Based Testing Strategies",

*IEEE Transactions on Software Engineering*, vol.37, no. 5, pp. 616-634, September/October 2011, doi:10.1109/TSE.2011.78REFERENCES