Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Automatic test case generation | Thomas Arts | LTG-43/DTG-7

332 views

Published on

Presentation hållen vid samarrangemanget Lean Tribe Gathering 43 och Dev Tribe Gathering 7 i Göteborg 9 maj 2017.

Published in: Software
  • Be the first to comment

  • Be the first to like this

Automatic test case generation | Thomas Arts | LTG-43/DTG-7

  1. 1. Automatic Test Case Generation Thomas Arts DevTribe 2017 1
  2. 2. Why is testing hard? n features O(n) test cases 3—4 tests per feature DevTribe 2017 2
  3. 3. Why is testing hard? n features pairs of features O(n2) test cases DevTribe 2017 3
  4. 4. Why is testing hard? n features triples of features O(n3) test cases DevTribe 2017 4
  5. 5. Don’t write tests! Generate them DevTribe 2017 5
  6. 6. Property Based Testing Write formal specifications Generate tests from specifications DevTribe 2017 6
  7. 7. Quviq DevTribe 2017 7 3,000 pages of specifications 20,000 lines of QuickCheck 1,000,000 LOC, 6 suppliers 200 problems 100 problems in the standard 10x shorter test code
  8. 8. Generate your tests! DevTribe 2017 8

×