An Expressive Semantics of Mocking [chapter]

Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes
2014 Lecture Notes in Computer Science  
We present a semantics of mocking, based on a process calculuslike 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.
doi:10.1007/978-3-642-54804-8_27 fatcat:yr2iu5o7qfctnlgimniayfyngq