SWELL Course: Property-Based Testing
Industry put about 50% of their software development budget on testing the software. The amount of test cases created is enormous and still only a fraction of all possible scenario’s is defined in those test cases. Property based testing introduces a way to automatically generate test cases from a given specification. The advantage is twofold. On the one hand, a specification is easier to maintain and update than a bunch of test cases and gives a better understanding of the system under test than a test suite. On the other hand, one can generate many more tests from a specification than one could ever write manually, therefore exploring more of the system while testing it.
The new technique addresses the challenges of unmanageable large test suites and increasing complexity of testing. It also addresses the challenge of testing software for multi core processors. However, it also introduces new challenges in the form of: how to embed this new way of testing in the organization and in the software and test processes? How to write specifications?
Preliminary research results show that companies have been able to reduce fault slip-through by using property based testing without increasing effort. It also indicates that adding features to a systems with a test suite consisting of specifications can be done much faster, since the trust needed that the new features work well is obtained quicker.
The new technique addresses the challenges of unmanageable large test suites and increasing complexity of testing. It also addresses the challenge of testing software for multi core processors. However, it also introduces new challenges in the form of: how to embed this new way of testing in the organization and in the software and test processes? How to write specifications?
Preliminary research results show that companies have been able to reduce fault slip-through by using property based testing without increasing effort. It also indicates that adding features to a systems with a test suite consisting of specifications can be done much faster, since the trust needed that the new features work well is obtained quicker.
swell_propbasedtesting_091110.pdf | |
File Size: | 1030 kb |
File Type: |
swell_propbasedtesting_090924.pdf | |
File Size: | 710 kb |
File Type: |
swell_propbasedtesting_090923.pdf | |
File Size: | 261 kb |
File Type: |