skip to main content

An expressive semantics of mocking

Svenningsson, Josef ; Svensson, Hans ; Smallbone, Nicholas ; Arts, Thomas ; Norell, Ulf ; Hughes, John

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.8411, pp.385-399 [Periódico revisado por pares]

2014

Texto completo disponível

Ver todas as versões
Citações Citado por
  • Título:
    An expressive semantics of mocking
  • Autor: Svenningsson, Josef ; Svensson, Hans ; Smallbone, Nicholas ; Arts, Thomas ; Norell, Ulf ; Hughes, John
  • Assuntos: Data- Och Informationsvetenskap ; Computer And Information Science
  • É parte de: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.8411, pp.385-399
  • Descrição: 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.
  • Data de publicação: 2014
  • Idioma: Inglês

Buscando em bases de dados remotas. Favor aguardar.