Testing telecoms software with quviq quickcheck
Artikel i vetenskaplig tidskrift, 2006

We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative testing and we used our developed specification to test an old version in order to estimate how useful QuickCheck could potentially be when used early in development.The results of the case study indicate that, by using Quviq QuickCheck, we would have been able to detect faults early in the development.We detected faults that had not been detected by other testing techniques. We found unclarities in the specifications and potential faults when the software is used in a different setting. The results are considered promising enough to Ericsson that they are investing in an even larger case study, this time from the beginning of the development of a new product.

Property Based Testing

Verification

Test Automation

Författare

Thomas Arts

Göteborgs universitet

John Hughes

Ulf Wiger

Joakim Johansson

Proceedings of the 2006 ACM SIGPLAN workshop on Erlang

2 - 10

Ämneskategorier

Telekommunikation

Datavetenskap (datalogi)