Lightning Talk: Properties Meets Quality Assurance Test Design Principles

Please log in to watch this conference skillscast.

Property-based testing consist of generating random values and check that some properties hold on the result of the function under tests. This technique is manifested for example in the QuickCheck library. The QuickCheck library provides conjunction, disjunction and implication combinators to form complex properties from simple ones, but in case of failure the reason of failure is not clear.

Specification Based technique can be formalized in modern Haskell. This formalization can be used to aim traceability of test failures. At the same time it keeps the compositional structures of the Property based resulting a clean and readable testsuite and software architecture. The result of test design can be reused in different levels of testing, from unit, integration, stress, etc. In this talk, you will discover the Specification-Based techniques through their Haskell implementation, and you will explore an example the testing of a semi-complex application.

YOU MAY ALSO LIKE:

• Lightning Talk: The Anatomy of an X-GRIN Back End. Showcase: Idris. (SkillsCast recorded in October 2019)
• Haskell Fundamentals (2-Day Course) with Alejandro Serrano (Online Course on 5th - 6th July 2021)
• Haskell Fundamentals (4-Day Course) with Alejandro Serrano (Online Course on 8th - 11th November 2021)
• Haskell eXchange 2021 (Online Conference on 16th - 17th November 2021)
• Theorems for Free (SkillsCast recorded in November 2020)
• Comparing Strict and Lazy (SkillsCast recorded in November 2020)