The Community for Technology Leaders
2013 IEEE 37th Annual Computer Software and Applications Conference (2008)
July 28, 2008 to Aug. 1, 2008
ISSN: 0730-3157
ISBN: 978-0-7695-3262-2
pp: 180-183
ABSTRACT
Tabular expressions have been used in industry for many years to precisely document software in a readable notation. In this paper, we propose a fault-based testing technique that traces the propagation of faults from the expression in each cell of a tabular expression to the output of the program under test. The technique has been formalized in the form of abstract test case constraints also represented by tabular expressions, so that it can be easily applied and automated.
INDEX TERMS
Fault propagation, tabular expression, fault-based testing, test case constraint, specification table, description table
CITATION
David Lorge Parnas, Xin Feng, T. H. Tse, "Fault Propagation in Tabular Expression-Based Specifications", 2013 IEEE 37th Annual Computer Software and Applications Conference, vol. 00, no. , pp. 180-183, 2008, doi:10.1109/COMPSAC.2008.115
83 ms
(Ver )