This Article 
 Bibliographic References 
 Add to: 
Improving Evidence about Software Technologies: A Look at Model-Based Testing
May/June 2008 (vol. 25 no. 3)
pp. 10-13
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
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.