Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Testing telecoms software… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Testing telecoms software with quviq quickcheck

Artikel i vetenskaplig tidskrift
Författare Thomas Arts
John Hughes
Ulf Wiger
Joakim Johansson
Publicerad i Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
Sidor 2 - 10
Publiceringsår 2006
Publicerad vid Institutionen för tillämpad informationsteknologi (GU)
Sidor 2 - 10
Språk en
Länkar doi.acm.org/10.1145/1159789.1159792
Ämnesord Verification, Test Automation, Property Based Testing
Ämneskategorier Datavetenskap (datalogi), Telekommunikation

Sammanfattning

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.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?