Title :
Tabular Expression-Based Testing Strategies: A Comparison
Author :
Feng, Xin ; Parnas, David Lorge ; Tse, T.H.
Author_Institution :
Univ. of Limerick, Limerick
Abstract :
Tabular expressions were proposed as a documentation tool that can be used to document software precisely and unambiguously. This paper explores the applications of four testing strategies in tabular expression-based specifications and further compares the strategies on a mathematical basis.
Keywords :
formal specification; program testing; system documentation; documentation tool; software documentation; tabular expression-based specifications; tabular expression-based testing; testing strategies; Computer industry; Digital signal processing; Documentation; Electronic equipment testing; Electronics industry; Industrial electronics; Informatics; Laboratories; Software quality; Software testing;
Conference_Titel :
Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007
Conference_Location :
Windsor
Print_ISBN :
978-0-7695-2984-4
DOI :
10.1109/TAIC.PART.2007.19
