Advertisement

An Expressive Semantics of Mocking

  • Josef Svenningsson
  • Hans Svensson
  • Nicholas Smallbone
  • Thomas Arts
  • Ulf Norell
  • John Hughes
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8411)

Abstract

We present a semantics of mocking, based on a process calculus-like formalism, and an associated mocking framework. We can build expressive mocking specifications from a small, orthogonal set of operators. Our framework detects and rejects ambiguous specifications as a validation measure. We report our experience testing software components for the car industry, which needed the full power of our framework.

References

  1. 1.
    Property specification language. IEEE Standard 1850 (2005)Google Scholar
  2. 2.
    Arts, T., Hughes, J., Johansson, J., Wiger, U.: Testing telecoms software with Quviq QuickCheck. In: Proceedings of the ACM SIGPLAN Workshop on Erlang. ACM Press, New York (2006)Google Scholar
  3. 3.
    AUTOSAR consortium. AUTomotive Open System ARchitecture specifications, http://www.autosar.org
  4. 4.
    Bartetzko, D., Fischer, C., Möller, M., Wehrheim, H.: Jass – java with assertions. Electronic Notes in Theoretical Computer Science 55(2), 103–117 (2001)CrossRefGoogle Scholar
  5. 5.
  6. 6.
    Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of haskell programs. In: Proceedings of ACM SIGPLAN International Conference on Functional Programming, pp. 268–279 (2000)Google Scholar
  7. 7.
  8. 8.
  9. 9.
    Google C++ mocking framework, http://code.google.com/p/googlemock
  10. 10.
    Google C++ testing framework, http://code.google.com/p/googletest
  11. 11.
  12. 12.
    Mockito - simpler & better mocking, http://code.google.com/p/mockito
  13. 13.
    Svenningsson, J., Svensson, H., Smallbone, N., Arts, T., Norell, U., Hughes, J.: An expressive semantics of mocking. Technical Report 2014:01, Computer Science and Engineering, Chalmers University of Technology (2014) ISSN 1652-926XGoogle Scholar
  14. 14.
    Svenningsson, R., Johansson, R., Arts, T., Norell, U., Svenningsson, J., Svensson, H.: Testing AUTOSAR software components with QuickCheck. In: Proceedings of IXe Conf. on AMCTM. SP, Sweden (2011)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Josef Svenningsson
    • 1
  • Hans Svensson
    • 2
  • Nicholas Smallbone
    • 1
  • Thomas Arts
    • 2
  • Ulf Norell
    • 1
    • 2
  • John Hughes
    • 1
    • 2
  1. 1.Chalmers University of TechnologyGothenburgSweden
  2. 2.QuviqGothenburgSweden

Personalised recommendations