Whe2mrnyoovoaqi1uiwy
SkillsCast

Lightning Talk: Properties Meets Quality Assurance Test Design Principles

12th October 2017 in London at CodeNode

There are 36 other SkillsCasts available from Haskell eXchange 2017

Please log in to watch this conference skillscast.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

Black Box testing as referenced in the ISTQB (International Software Testing Board) organization is a specification-based testing technique. There are four specification based technique: Equivalence Partionining, Boundary Value analysis, Decision Tables and State transition testing. They view the software as a black-box with inputs and outputs. These technique are tools for Quality Assurance engineers to design test-suites.

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:

Thanks to our sponsors

Lightning Talk: Properties Meets Quality Assurance Test Design Principles

Andor Penzes

Andor is a Haskell developer and enthusiast, interested in theoretical computer science, he has industrial experience with functional and object oriented programming, QA engineering, learns dependently typed programming and playing the hangdrum. Andor has recently revived his interest in compiler construction.

SkillsCast

Please log in to watch this conference skillscast.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

Black Box testing as referenced in the ISTQB (International Software Testing Board) organization is a specification-based testing technique. There are four specification based technique: Equivalence Partionining, Boundary Value analysis, Decision Tables and State transition testing. They view the software as a black-box with inputs and outputs. These technique are tools for Quality Assurance engineers to design test-suites.

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:

Thanks to our sponsors

About the Speaker

Lightning Talk: Properties Meets Quality Assurance Test Design Principles

Andor Penzes

Andor is a Haskell developer and enthusiast, interested in theoretical computer science, he has industrial experience with functional and object oriented programming, QA engineering, learns dependently typed programming and playing the hangdrum. Andor has recently revived his interest in compiler construction.

Photos