Sökning: onr:"swepub:oai:research.chalmers.se:23a77bbc-96e4-40cd-808d-07c88d3bc837" >
Linking Unit Tests ...
Linking Unit Tests and Properties
-
- Gerdes, Alex, 1978 (författare)
- Göteborgs universitet,University of Gothenburg
-
- Hughes, John, 1958 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Smallbone, Nicholas, 1986 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa fler...
-
- Wang, M. (författare)
- University Of Kent
-
visa färre...
-
(creator_code:org_t)
- ISBN 9781450338059
- 2015-08-30
- 2015
- Engelska.
-
Ingår i: Erlang Workshop, 2015-09-04, Vancouver. - New York, NY, USA : ACM. - 9781450338059 ; , s. 19-26
- Relaterad länk:
-
http://publications.... (primary) (free)
-
visa fler...
-
https://kar.kent.ac....
-
https://doi.org/10.1...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- QuickCheck allows you to validate if your software has particular desired properties. These properties can be regarded as an abstraction over many unit tests. QuickCheck uses generated random input data to validate such a property. If QuickCheck finds a counterexample it becomes immediately clear what we are testing. If however all tests pass it is not immediately clear what we have tested, since we don’t see the actual generated test cases. In this case it is good to think about what we have actually tested. QuickCheck offers the possibility to gather statistics about the test cases, which is very insightful. Still, after inspecting the test data distribution many QuickCheck users wonder if a particular unit test case has been tested. Often a property is developed with a certain set of unit tests in mind. We have developed a tool that check if a given unit test can be generated by a property. This tool helps in understanding a property, making it easier to see what it really tests and hence judge its quality.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas