July 28, 2008 to Aug. 1, 2008
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.
Fault propagation, tabular expression, fault-based testing, test case constraint, specification table, description table
Xin Feng, David Lorge Parnas, T. H. Tse, "Fault Propagation in Tabular Expression-Based Specifications", COMPSAC, 2008, 2013 IEEE 37th Annual Computer Software and Applications Conference, 2013 IEEE 37th Annual Computer Software and Applications Conference 2008, pp. 180-183, doi:10.1109/COMPSAC.2008.115