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.
Chapter PDF
Similar content being viewed by others
References
Property specification language. IEEE Standard 1850 (2005)
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)
AUTOSAR consortium. AUTomotive Open System ARchitecture specifications, http://www.autosar.org
Bartetzko, D., Fischer, C., Möller, M., Wehrheim, H.: Jass – java with assertions. Electronic Notes in Theoretical Computer Science 55(2), 103–117 (2001)
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)
EasyMock, http://www.easymock.org
Google C++ mocking framework, http://code.google.com/p/googlemock
Google C++ testing framework, http://code.google.com/p/googletest
jMock, http://jmock.org/index.html
Mockito - simpler & better mocking, http://code.google.com/p/mockito
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-926X
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Svenningsson, J., Svensson, H., Smallbone, N., Arts, T., Norell, U., Hughes, J. (2014). An Expressive Semantics of Mocking. In: Gnesi, S., Rensink, A. (eds) Fundamental Approaches to Software Engineering. FASE 2014. Lecture Notes in Computer Science, vol 8411. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54804-8_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-54804-8_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-54803-1
Online ISBN: 978-3-642-54804-8
eBook Packages: Computer ScienceComputer Science (R0)