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
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?
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
References

 

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.rightsIEEE International Computer Software and Applications Conference Proceedings. Copyright © Institute of Electrical and Electronics Engineers.-
dc.rights©2008 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.-
dc.rightsCreative Commons: Attribution 3.0 Hong Kong License-
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-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats