Testing Concurrent Object-Oriented Systems with Spec Explorer

Extended Abstract
  • Colin Campbell
  • Wolfgang Grieskamp
  • Lev Nachmanson
  • Wolfram Schulte
  • Nikolai Tillmann
  • Margus Veanes
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3582)

Abstract

We describe a practical model-based testing tool developed at Microsoft Research called Spec Explorer. Spec Explorer enables modeling and automatic testing of concurrent object-oriented systems. These systems take inputs as well as provide outputs in form of spontaneous reactions, where inputs and outputs can be arbitrary data types, including objects. Spec Explorer is being used daily by several Microsoft product groups. The here presented techniques are used to test operating system components and Web service infrastructure.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Campbell, C., Veanes, M.: State exploration with multiple state groupings. In: D. Beauquier, E. Börger, and A. Slissenko (ed.) 12th International Workshop on Abstract State Machines, ASM 2005, March 8–11, 2005, Laboratory of Algorithms, Complexity and Logic, University Paris 12 – Val de Marne, Créteil, France, pp. 119–130 (2005)Google Scholar
  2. 2.
    de Alfaro, L.: Game models for open systems. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol. 2772, pp. 269–289. Springer, Heidelberg (2004)Google Scholar
  3. 3.
    de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the 8th European Software Engineering Conference and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pp. 109–120. ACM, New York (2001)Google Scholar
  4. 4.
    Grieskamp, W., Gurevich, Y., Schulte, W., Veanes, M.: Generating finite state machines from abstract state machines. In: ISSTA 2002. Software Engineering Notes, vol.  27, pp. 112–122. ACM, New York (2002)CrossRefGoogle Scholar
  5. 5.
    Nachmanson, L., Veanes, M., Schulte, W., Tillmann, N., Grieskamp, W.: Optimal strategies for testing nondeterministic systems. In: ISSTA 2004, July 2004. Software Engineering Notes, vol. 29, pp. 55–64. ACM, New York (2004)CrossRefGoogle Scholar
  6. 6.
    Veanes, M., Campbell, C., Schulte, W., Kohli, P.: On-the-fly testing of reactive systems. Technical Report MSR-TR-2005-03, Microsoft Research (January 2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Colin Campbell
    • 1
  • Wolfgang Grieskamp
    • 1
  • Lev Nachmanson
    • 1
  • Wolfram Schulte
    • 1
  • Nikolai Tillmann
    • 1
  • Margus Veanes
    • 1
  1. 1.Microsoft ResearchRedmondUSA

Personalised recommendations