An Expressive Semantics of Mocking

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8411)


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.


  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,
  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,
  10. 10.
    Google C++ testing framework,
  11. 11.
  12. 12.
    Mockito - simpler & better mocking,
  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

  1. 1.Chalmers University of TechnologyGothenburgSweden
  2. 2.QuviqGothenburgSweden

Personalised recommendations