This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Improving Evidence about Software Technologies: A Look at Model-Based Testing
May/June 2008 (vol. 25 no. 3)
pp. 10-13
ASCII Text
x 
 
Arilo Dias Neto, Rajesh Subramanyan, Marlon Vieira, Guilherme Horta Travassos, Forrest Shull, "Improving Evidence about Software Technologies: A Look at Model-Based Testing," IEEE Software, vol. 25, no. 3, pp. 10-13, May/June, 2008.
 
 
BibTex
x
 
@article{ 10.1109/MS.2008.64,
author = {Arilo Dias Neto and Rajesh Subramanyan and Marlon Vieira and Guilherme Horta Travassos and Forrest Shull},
title = {Improving Evidence about Software Technologies: A Look at Model-Based Testing},
journal ={IEEE Software},
volume = {25},
number = {3},
issn = {0740-7459},
year = {2008},
pages = {10-13},
doi = {http://doi.ieeecomputersociety.org/10.1109/MS.2008.64},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Software
TI - Improving Evidence about Software Technologies: A Look at Model-Based Testing
IS - 3
SN - 0740-7459
SP10
EP13
EPD - 10-13
A1 - Arilo Dias Neto,
A1 - Rajesh Subramanyan,
A1 - Marlon Vieira,
A1 - Guilherme Horta Travassos,
A1 - Forrest Shull,
PY - 2008
KW - empirical study
KW - model-based testing
KW - systematic review
VL - 25
JA - IEEE Software
ER -
 
Arilo Dias Neto, COPPE/Federal University of Rio de Janeiro
Rajesh Subramanyan, Siemens Corporate Research
Marlon Vieira, Siemens Corporate Research
Guilherme Horta Travassos, COPPE/Federal University of Rio de Janeiro
Forrest Shull, Fraunhofer Center for Experimental Software Engineering, Maryland
Model-based testing (MBT) approaches help automatically generate test cases using models extracted from software artifacts, and hold the promise to greatly affect how we build software. A review of the literature shows that certain specialized domains are applying MBT, but it does not yet seem to be a mainstream approach. The authors therefore conducted a systematic review of the literature to investigate how much evidence is available on MBT's costs and benefits, especially regarding how these techniques compare to other common testing approaches. They use these results to derive suggestions regarding what types of studies might further increase the deployment of these techniques.

1. S. Dalal et al., "Model-Based Testing in Practice," Proc. 1999 Int'l Conf. Software Eng. (ICSE 99), ACM Press, 1999, pp. 285–294.
2. I.K. El-Far and J.A. Whittaker, "Model-Based Software Testing," Encyclopedia of Software Eng., J.J. Marciniak, ed., John Wiley &Sons, 2001, pp. 825–837.
3. A. Pretschner, "Model-Based Testing," Proc. 27th Int'l Conf. Software Eng.(ICSE 05), ACM Press, 2005, pp. 722–723.
4. C.V. Ramamoorthy, S.F. Ho, and W.T. Chen, "On the Automated Generation of Program Test Data," IEEE Trans. Software Eng., vol. 2, no. 4, 1976, pp. 293–300.
5. W. Prenninger, M. El-Ramly, and M. Horstmann, "Case Studies," Model-Based Testing of Reactive Systems, M. Broy et al., eds., Springer, 2005, pp. 439–464.
6. F. Shull, J. Carver, and G.H. Travassos, "An Empirical Methodology for Introducing Software Processes," Proc. 8th European Software Eng. Conf., IEEE CS Press, 2001, pp. 288–296.
7. A. Sinha and C. Smidts, "An Experimental Evaluation of a Higher-Ordered-Typed-Functional Specification-Based Test-Generation Technique," Empirical Software Eng., vol. 11, no. 2, 2006, pp. 173–202.

Index Terms:
empirical study, model-based testing, systematic review
Citation:
Arilo Dias Neto, Rajesh Subramanyan, Marlon Vieira, Guilherme Horta Travassos, Forrest Shull, "Improving Evidence about Software Technologies: A Look at Model-Based Testing," IEEE Software, vol. 25, no. 3, pp. 10-13, May-June 2008, doi:10.1109/MS.2008.64
Usage of this product signifies your acceptance of the Terms of Use.