IBM®
Skip to main content
    Country/region [change]    Terms of use
 
 
 
    Home    Products    Services & solutions    Support & downloads    My account    

IBM Systems Journal
Model-Driven Software Development   Volume 45, Number 3, 2006
Table of contents: HTMLPDF This article: HTMLPDF   Copyright info

A measurement framework for evaluating model-based test generation tools - References

 by A. Sinha,
C. E. Williams,
and P. Santhanam
Cited references and note

  1. Workshop on Advances in Model-Based Software Testing (A-MOST), 27th International Conference on Software Engineering, St. Louis, Missouri, May 15–21, 2005 ACM, New York (2005).
  2. S. R. Dalal, A. Jain, N. Karunanithi, J. M. Leaton, C. M. Lott, G. C. Patton, and B. M. Horowitz, “Model-Based Testing In Practice,” Proceedings of the Twenty-First International Conference on Software Engineering, May 16–22, 1999, Los Angeles, CA, ACM, New York (1999), pp. 285–294.
  3. A. Pretschner, W. Prenninger, S. Wagner, C. Kühnel, M. Baumgartner, B. Sostawa, R. Zölch, and T. Stauner, “One Evaluation of Model-Based Testing and Its Automation,” Proceedings of the 27th International Conference on Software Engineering, May 15–21, 2005, St. Louis, Missouri, ACM, New York (2005), pp. 392–401.
  4. M. Veanes, C. Campbell, W. Schulte, and N. Tillmann, “Online Testing with Model Programs,” Proceedings of the 10th European Software Engineering Conference (ESEC) and the 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (SIGSOFT FSE), Lisbon, Portugal, September 5–9, 2005. ACM, New York (2005), pp. 273–282.
  5. A. Paradkar, “A Quest for Appropriate Software Fault Models: Case Studies on Fault Detection Effectiveness of Model Based Test Generation Techniques,” Proceedings of the First International Workshop on Advances in Model-Based Software Testing, 27th International Conference on Software Engineering, St. Louis, Missouri, May 15–21, 2005 ACM, New York (2005).
  6. Grove Consultants, http://www.grove.co.uk/.
  7. Ovum, http://www.ovum.com/.
  8. V. R. Basili, “Goal Question Metrics Paradigm,” in Encyclopedia of Software Engineering, ,J. Marciniak,, Editor, John Wiley and Sons (1994), pp. 528–532.
  9. C. E. Williams, “Toward a Test-Ready Metamodel for Use Cases,” Proceedings of the Workshop on Practical UML-Based Rigorous Development Methods, October 1–5, 2001, Toronto, CA (2001), pp. 270–287.
  10. M. Barnett, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, and M. Veanes, “Model-Based Testing with AsmL.NET,” Proceedings of the 1st European Conference on Model-Driven Software Engineering (December 2003), http://www.agedis.de/conference/presentation.shtml.
  11. TestMaster User's Guide, Release 1.9.5, Empirix Inc., New Hampshire, 1999.
  12. P. Savage, S. Walters, and M. Stephenson, “Automated Test Methodology for Operational Flight Programs,” Proceedings of the IEEE Aerospace Conference 4, pp. 293–305, IEEE, New York (1997).
  13. R. Dssouli, K. Saleh, E. Aboulhamid, A. En-Nouaary, and C. Bourhfir, “Test Development For Communication Protocols: Towards Automation,” Computer Networks 31, No. 17, 1835–1872 (1999).
  14. A. Sinha, C. Smidts, and A. Moran, “Enhanced Testing of Domain-Specific Applications by Automatic Extraction of Axioms from Functional Specifications,” Proceedings of the 14th International Symposium on Software Reliability Engineering, November 17–20, 2003, Denver, CO, IEEE, New York (2003), pp. 181–190.
  15. Usually the effectiveness of a test process is measured as the fraction of the total number of faults that are uncovered by testing. This value is estimated by embedding faults in the code to be tested and examining the results of the testing process. Because we use the target application in a black-box fashion, that is, without modifying the code, we had to create an alternative metric.
  16. A. J. Albrecht, “Measuring Application Development Productivity,” Proceedings of the Joint SHARE, GUIDE, and IBM Application Development Symposium, Monterey, California, October 14–17, IBM Corporation (1979), pp. 83–92.
  17. D. Leijen and E. Meijer, “Domain-Specific Embedded Compilers,” Proceedings of the Second Conference on Domain-Specific Languages (DSL ’99), Austin, Texas, USA, October 3–5, IEEE, New York (1999), 109–122.
  18. K. Bassin, T. Kratschmer, and P. Santhanam, “Evaluating Software Development Objectively,” IEEE Software 15, No. 6, 66–74 (November/December 1998).
  19. IEEE Guide to Software Requirements Specification, ANSI/IEEE Standard 830, IEEE (1984).
  20. D. T. Campbell and J. C. Stanley, Experimental and Quasi-Experimental Designs for Research, Houghton Mifflin, Boston, MA (1963).
  21. IBM Rational Functional Tester, IBM Corporation.


    About IBM    Privacy    Contact