Property Based Testing Training Courses in the United Arab Emirates

Property Based Testing is an automated testing technique that allows you to zero in on the expected behavior of a system by describing its properties, then using randomly generated test data to execute tests.

"Describe the arguments, describe the result, have the computer try to prove your code wrong!"

Some of the topics covered in this instructor-led, live training include:

• How to write and run tests with F#
• The FsCheck Property Based Testing framework
• Using Diamond Kata to implement TDD
• Sharpening your code design skills

Audience

•     Automation test engineers
•     Developers

Format of the course

•     Part lecture, part discussion, exercises and heavy hands-on practice

Property Based Testing is an automated testing approach that allows you to zero in on the expected behavior of a system by describing its properties, then using randomly generated test data to execute tests.

QuickCheck (or QuickCheck2, QC2) is a Haskell-based library for random testing of program properties. It takes the specification of a program -- the properties that a function should satisfy -- and tests that those properties hold in many randomly generated cases.

In this instructor-led, live training, participants will learn how to write the specifications of a program in the form of properties, then provide them as input to QuickCheck for automatic generation of test cases.

By the end of this training, participants will be able to:

• Write general properties that replace and/or compliment hand-written unit test cases
• Write tests at the higher level of property specifications
• Set up a testing environment and integrate QuickCheck into an end-to-end deployment processes

Audience

• Software test engineers
• Developers

Format of the course

• Part lecture, part discussion, exercises and heavy hands-on practice

ScalaCheck is a library for carrying out automated, property-based testing for Scala or Java programs. Inspired by the Haskell library QuickCheck, it uses properties to describe the expected behavior of an application, generating random input data at first, then testing this data across different areas of the application and reporting the result.

In this instructor-led, live training, participants will learn the benefits of and concepts behind property-based testing as they practice writing properties that lead to the automatic generation of test cases.

By the end of this training, participants will be able to:

• Write general properties that replace and/or compliment hand-written unit test cases
• Write tests at the higher level of property specifications
• Execute ScalaCheck as a standalone executabl, using the built-in command line test runner
• Integrate ScalaCheck with test frameworks such as ScalaTest, specs2 and LambdaTest

Audience

• Test engineers
• Developers

Format of the course

• Part lecture, part discussion, exercises and heavy hands-on practice