Sökning: id:"swepub:oai:gup.ub.gu.se/115891" >
Testing telecoms so...
Testing telecoms software with quviq quickcheck
-
- Arts, Thomas, 1969 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för tillämpad informationsteknologi (GU),Department of Applied Information Technology (GU),University of Gothenburg
-
Hughes, John (författare)
-
Wiger, Ulf (författare)
-
visa fler...
-
Johansson, Joakim (författare)
-
visa färre...
-
(creator_code:org_t)
- 2006
- 2006
- Engelska.
-
Ingår i: Proceedings of the 2006 ACM SIGPLAN workshop on Erlang. ; , s. 2-10
- Relaterad länk:
-
https://gup.ub.gu.se...
-
visa fler...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Telekommunikation (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Telecommunications (hsv//eng)
Nyckelord
- Verification
- Test Automation
- Property Based Testing
- Property Based Testing
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas