| Title | Fault propagation in tabular expression-based specifications |
| Creator | |
| Date Issued | 2008 |
| Conference Name | 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008 |
| Source Publication | Proceedings - International Computer Software and Applications Conference
 |
| ISSN | 0730-3157 |
| Pages | 180-183 |
| Conference Date | July 28-Aug 1, 2008 |
| Conference Place | Turku, Finland |
| 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. © 2008 IEEE. |
| DOI | 10.1109/COMPSAC.2008.115 |
| URL | View source |
| Language | 英语English |
| Scopus ID | 2-s2.0-51949104778 |
| Citation statistics |
Cited Times [WOS]:0
[WOS Record]
[Related Records in WOS]
|
| Document Type | Conference paper |
| Identifier | http://repository.uic.edu.cn/handle/39GCC9TT/9425 |
| Collection | Research outside affiliated institution |
| Corresponding Author | Feng, Xin |
| Affiliation | 1.Software Quality Research Laboratory,Faculty of Informatics and Electronics,Limerick University,Limerick,Ireland 2.Department of Computer Science,University of Hong Kong,Pokfulam,Hong Kong |
| Recommended Citation GB/T 7714 | Feng, Xin,Parnas, David Lorge,Tse, T. H. Fault propagation in tabular expression-based specifications[C], 2008: 180-183. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
BNBU 
Library
Edit Comment