Proceedings of the 32nd Annual International Computer Software and Applications Conference (COMPSAC '08),
IEEE Computer Society Press, Los Alamitos, CA, pp. 180-183 (2008)

Fault Propagation in Tabular Expression-Based Specifications

Xin Feng 1 , David Lorge Parnas 1 , and T.H. Tse 2

[paper from IEEE Xplore | paper from IEEE digital library | technical report TR-2008-06]

 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.

1. Software Quality Research Laboratory, Faculty of Informatics and Electronics, Limerick University, Limerick, Ireland.
2. Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.
Email:

 EVERY VISITOR COUNTS:

  Cumulative visitor count