loading...
Fault Propagation in Tabular Expression-Based Specifications
July 28-August 01
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.1152008 32nd Annual IEEE International C ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Xin Feng, David Lorge Parnas, T. H. Tse, "Fault Propagation in Tabular Expression-Based Specifications," Computer Software and Applications Conference, Annual International, pp. 180-183, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008.
 
 
BibTex
x
 
@article{ 10.1109/COMPSAC.2008.115,
author = {Xin Feng and David Lorge Parnas and T. H. Tse},
title = {Fault Propagation in Tabular Expression-Based Specifications},
journal ={Computer Software and Applications Conference, Annual International},
volume = {0},
year = {2008},
issn = {0730-3157},
pages = {180-183},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.115},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - Fault Propagation in Tabular Expression-Based Specifications
SN - 0730-3157
SP180
EP183
A1 - Xin Feng,
A1 - David Lorge Parnas,
A1 - T. H. Tse,
PY - 2008
KW - Fault propagation
KW - tabular expression
KW - fault-based testing
KW - test case constraint
KW - specification table
KW - description table
VL - 0
JA - Computer Software and Applications Conference, Annual International
ER -
 
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:
Xin Feng, David Lorge Parnas, T. H. Tse, "Fault Propagation in Tabular Expression-Based Specifications," compsac, pp.180-183, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Usage of this product signifies your acceptance of the Terms of Use.