File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: Fault propagation in tabular expression-based specifications

TitleFault propagation in tabular expression-based specifications
Authors
Feng, XParnas, DLTse, TH
KeywordsFault propagation tracing
Fault-based testing technique
Formal specification
Issue Date2008
PublisherInstitute of Electrical and Electronics Engineers. The Journal's web site is located at http://www.ieeexplore.ieee.org/xpl/conhome.jsp?punumber=1000143
Citation
The 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland, 28 July-1 August 2008. In Conference Proceedings, 2008, p. 180-183 How to Cite?
DOI: http://dx.doi.org/10.1109/COMPSAC.2008.115
AbstractTabular 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.
Persistent Identifierhttp://hdl.handle.net/10722/55041
ISSN
0730-3157
References
References in Scopus

 

DC FieldValueLanguage
dc.contributor.authorFeng, X-
dc.contributor.authorParnas, DL-
dc.contributor.authorTse, TH-
dc.date.accessioned2009-07-14T04:57:55Z-
dc.date.available2009-07-14T04:57:55Z-
dc.date.issued2008-
dc.identifier.citationThe 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland, 28 July-1 August 2008. In Conference Proceedings, 2008, p. 180-183-
dc.identifier.issn0730-3157-
dc.identifier.urihttp://hdl.handle.net/10722/55041-
dc.description.abstractTabular 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.en
dc.languageeng-
dc.language.isoengen
dc.publisherInstitute of Electrical and Electronics Engineers. The Journal's web site is located at http://www.ieeexplore.ieee.org/xpl/conhome.jsp?punumber=1000143-
dc.relation.ispartofIEEE International Computer Software and Applications Conference Proceedings-
dc.rights©2008 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.-
dc.subjectFault propagation tracingen
dc.subjectFault-based testing techniqueen
dc.subjectFormal specificationen
dc.titleFault propagation in tabular expression-based specifications-
dc.typeConference_Paper-
dc.identifier.emailTse, TH: thtse@cs.hku.hk-
dc.identifier.authorityTse, TH=rp00546-
dc.description.naturepublished_or_final_versionen_HK
dc.identifier.doi10.1109/COMPSAC.2008.115-
dc.identifier.scopuseid_2-s2.0-51949104778-
dc.identifier.hkuros141677-
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-51949104778&selection=ref&src=s&origin=recordpage-
dc.identifier.spage180-
dc.identifier.epage183-
dc.publisher.placeUnited States-
dc.identifier.scopusauthoridFeng, X=55224956000-
dc.identifier.scopusauthoridParnas, DL=7006616905-
dc.identifier.scopusauthoridTse, TH=7005496974-
dc.customcontrol.immutablesml 161007 - amended-
dc.identifier.issnl0730-3157-

Export via OAI-PMH Interface in XML Formats

OR

Export to Other Non-XML Formats