Testing telecoms software with quviq QuickCheck

Arts, Thomas; Hughes, John; Johansson, Joakim; Wiger, Ulf

doi:10.1145/1159789.1159792

Cited by 138 publications

(123 citation statements)

References 1 publication

Supporting

Mentioning

123

Contrasting

Order By: Relevance

“…This is the aim, e.g., of the model checker McErlang [7]. Basically, McErlang is today a mature tool that combines the use of random test cases (using, e.g., a tool like QuickCheck [2]) with a semantics that explores possible schedulings.…”

Section: Symbolic Execution Semanticsmentioning

confidence: 99%

Towards Symbolic Execution in Erlang

Vidal

2015

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Section: Symbolic Execution Semanticsmentioning

confidence: 99%

Towards Symbolic Execution in Erlang

Vidal

2015

Lecture Notes in Computer Science

View full text Add to dashboard Cite

“…We modelled the AUTOSAR software components in QuickCheck [2], a model-based testing tool that can automatically create random test cases from state machine specifications written in a domain-specific functional language. During the project we developed our mocking framework and integrated it with QuickCheck so that for each generated test case appropriate mocks were also generated.…”

Section: Mocking In the Autosar Testing Projectmentioning

confidence: 99%

“…In the AUTOSAR project we used QuickCheck [6,2] to model the software components. From the model we can generate test cases and corresponding mocks; generating the mocks is extremely painful if the mocking framework imposes arbitrary restrictions on what we can write.…”

Section: Introductionmentioning

confidence: 99%

An Expressive Semantics of Mocking

Svenningsson

Svensson

Smallbone

et al. 2014

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

Abstract. 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.

show abstract

“…Our own work on QuickCheck [AHJW06] combines random test case generation, with a flexible language for specifying generators, with the use of properties to adjudge success [CH00]. The inevitable noise in random test cases is removed by automatic simplification, using an approach resembling Zellers deltadebugging [ZH02].…”

Section: Introductionmentioning

confidence: 99%

“…The inevitable noise in random test cases is removed by automatic simplification, using an approach resembling Zellers deltadebugging [ZH02]. This technique enabled us to isolate subtle faults in industrial telecommunications software [AHJW06], and has also been used successfully to test software for space missions [GHJ07].…”

Section: Introductionmentioning

confidence: 99%

Property-Based Testing - The ProTest Project

Derrick

Walkinshaw

Arts

et al. 2010

Formal Methods for Components and Objects

Self Cite

View full text Add to dashboard Cite

Abstract. The ProTest project is an FP7 STREP on property based testing. The purpose of the project is to develop software engineering approaches to improve reliability of service-oriented networks; support fault-finding and diagnosis based on specified properties of the system. And to do so we will build automated tools that will generate and run tests, monitor execution at run-time, and log events for analysis. The Erlang / Open Telecom Platform has been chosen as our initial implementation vehicle due to its robustness and reliability within the telecoms sector. It is noted for its success in the ATM telecoms switches by Ericsson, one of the project partners. In this paper we provide an overview of the project goals, as well as detailing initial progress in developing property based testing techniques and tools for the concurrent functional programming language Erlang.

show abstract

Testing telecoms software with quviq QuickCheck

Cited by 138 publications

References 1 publication

Towards Symbolic Execution in Erlang

Towards Symbolic Execution in Erlang

An Expressive Semantics of Mocking

Property-Based Testing - The ProTest Project

Contact Info

Product

Resources

About