Using Selenium and Python Hypothesis for Automation Testing
Tags: selenium, c, node, angular
Published: 2019-07-05 10:49:37

---
title: Using Selenium and Python Hypothesis for Automation Testing
published: true
description: A detailed look at the features of Hypothesis, a Python testing library, before performing automated cross browser testing with Python &amp; Selenium by Hypothesis.
tags: selenium, c#, node, angular
canonical_url: https://www.lambdatest.com/blog/using-selenium-and-python-hypothesis-for-automation-testing/
cover_image: https://www.lambdatest.com/blog/wp-content/uploads/2019/05/JPG-4.jpg
---

When it comes to testing a software product, various forms of testing e.g. unit testing, integration testing, release testing, etc. are performed at different stages of SDLC(Software Development Test Cycle). However, one of the major challenges faced by developers is coming up with test-cases & test-suites that can be instrumental in verifying every aspect of the code so that they are able to achieve maximum code coverage.

Coming up with unique unit test cases that can cover corner scenarios or edge cases is a huge task. Even if the developer is able to identify the scenarios, he has to write a significant amount of code to fulfill the target. Many times, this leads to copying test-cases and changing (adding/deleting) a few lines of code to come up with new test cases. This is where [Hypothesis, a Python testing library](https://hypothesis.readthedocs.io/en/latest/) can be used for creating unit tests which are easy to write and powerful when executed. Though it makes it easy to derive unit tests, the beauty lies in the edge test cases which you wouldn’t have thought about. Before we have a detailed look at Hypothesis testing in Python and Selenium, we look into an important aspect called **Property-based testing** which forms the basic premise of Hypothesis Python library.

## Overview Of Property-Based Testing

You should make use of Hypothesis for Python testing when you are planning to incorporate Property-based testing in your test strategy. There is a significant amount of difference between unit testing & property-based testing. In unit testing, the developer of provides input in order to verify the functionality of the code. The output is compared with the expected output and based on the comparison, the test is declared as Pass/Fail.

On the other hand, Property-based testing is about testing the program across a wide variety of inputs. For property-based testing, libraries that are equipped with generators are used to generate input values for testing. This can also be achieved using unit testing, but the developer will have to write much more code in order to accommodate different types of input values. Property-based testing was first introduced by the QuickCheck framework in Haskell In unit testing, the inputs are provided manually i.e. via code, hence there is a possibility that you may miss certain test scenarios (especially the edge case scenarios). This is where property-based testing can be instrumental for verification of code across different types & range of inputs.

- Unit testing – Provide an input (e.g. 0,1,2,…) and get a result (e.g. 1, 2, 4, ….)
- Property-based testing – Description of inputs (e.g. All ints) and description of conditions that must be held (e.g. Result is an int)

## When To Use Property-Based Testing?

You might argue that doing unit-testing is sufficient for you as you are able to unearth bugs in your code using the unit-test code. Though this argument might suffice in some cases, property-based tests can be more useful in thoroughly testing your code as it even takes into account the majority of the edge test-cases. There is no clear winner as far as unit tests and property-based tests are concerned, it is important to understand the pros & cons of property-based testing.

***Hey, are you looking to check browser compatibility for [CSS Rebeccapurple color](https://www.lambdatest.com/web-technologies/css-rebeccapurple?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn&utm_content=web_technologies), it's the new color added in CSS Color Module Level 4 better known as “css-rebeccapurple” is a purple color with a red hue, and is named after CSS guru and web developer Rebecca Skinner.***

### Advantages Of Property-Based Testing

1. As a developer, you can come up with an infinite number of test-cases using this approach. The number of tests that can be generated are limited by the time that you can invest in the tests & capabilities of the machine used for test-case generation.
2. Powerful libraries like Hypothesis for Python testing can be used for generation of property-based tests. Using features like test strategies, a developer can come up with huge number of tests with minimal code implementation.
3. As described earlier, property-based tests are best suited for development & testing of edge-case scenarios.

### Disadvantages Of Property-Based Testing

1. As test-cases are randomly generated using capabilities/features of libraries like Hypothesis for Python testing with Selenium, there is a possibility that some important edge-case scenario might get missed.
2. There is a significant amount of learning curve involved in learning & mastering tools/libraries used for property-based testing. Hence, writing code using these libraries can sometimes be a big challenge.
3. Finding properties that can match your test requirements is another challenge. However, once you have mastered the art of property-based testing (using some library like Hypothesis, for Python testing), this issue may not hold true.

It is always recommended to use Property-based testing, along with Unit testing for obtaining the maximum results.

[![](https://www.lambdatest.com/blog/wp-content/uploads/2019/04/Adword-2.jpg)](https://accounts.lambdatest.com/register/?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn)

## Hypothesis A Python Testing Library

So far we have seen the advantages that property-based testing has over traditional example-based testing. In example-based testing approach, there is a test input ‘I’ passed to the function under test and the result of the test function is compared against the expected result. You may not be able to achieve complete test exhaustiveness as the implementation depends on the understanding of the developer. Your test code might not be robust enough to cover all kinds of test inputs.

Test exhaustiveness and test robustness is possible through property-based testing and Hypothesis, a Python testing library can be used for effective property tests.

Using Hypothesis you can write parameterized tests derived from a source of examples. It generates simple and comprehensible examples that can test every aspect of your code (especially where your code could fail).

Since you are able to test more edge test-cases, you can find more bugs in your code with less amount of work. We will have a detailed look at the features of Hypothesis for Python testing in subsequent sections of this article.

We will make use of **pytest, and Selenium for Hypothesis Python testing**. Check out our blog on [pytest & Selenium WebDriver](https://www.lambdatest.com/blog/test-automation-using-pytest-and-selenium-webdriver/?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn), if you are not already aware of how pytest works!

Hypothesis is compatible to run with Selenium and Python (version 2.7 onwards) and has support for popular test frameworks like py.test, unittest, and Nose. For implementation, we are making use of the PyCharm IDE (Community version) which can be downloaded from [here](https://www.jetbrains.com/pycharm/download/#section=windows). Once you have installed Selenium and Python, pytest; you should install Hypothesis for Python testing using the below command.

**pip install hypothesis**![pip install hypothesis](https://www.lambdatest.com/blog/wp-content/uploads/2019/05/image1-1.png)

Now that you have installed Hypothesis for Python testing with Selenium, let’s have a look at a very simple problem which demonstrates the shortcomings of unit testing, as well as parameterized based pytests. In the below program, we compute the addition of two numbers :

 
```
 A simple pytest to add two numbers

import pytest
import pytest_html

# Define a function which takes two arguments as integers and adds the two numbers
def sum_of_numbers(number_1, number_2):
    return number_1 + number_2

# A simple test case to verify the sum_of_numbers function
# Since it is a pytest testcase, the test function should start with test_
def test_verify_sum_of_numbers():
    assert sum_of_numbers(2, 3) == 5 

```

The implementation is self-explanatory and once the above pytest code is executed to test sum\_of\_numbers() API, it would result in PASS.

![pytest code](https://www.lambdatest.com/blog/wp-content/uploads/2019/05/image2.png)

In order to test the sum functionality against different types of inputs, we need to follow the copy-paste mechanism where sum\_of\_numbers() is supplied with different input values. Since this is not a scalable approach, we make use of the parameterized fixtures feature in pytest. With parameterized fixtures, we can test more scenarios by just adding more input values to the test case.

```
 A simple pytest to add two numbers

import pytest
import selenium
import pytest_html

# Define a function which takes two arguments as integers and adds the two numbers
def sum_of_numbers(number_1, number_2):
    return number_1 + number_2

# A simple test case to verify the sum_of_numbers function
# Since it is a pytest testcase, the test function should start with test_
#def test_verify_sum_of_numbers():
#    assert sum_of_numbers(2, 3) == 5

#A more scalable approach is to use Parameterized Fixtures
@pytest.mark.parametrize('number_1, number_2, expected_output',[(1,2,3),
                        (4,5,9), (6,-1,5), (-5,-4,-9)])
def test_verify_sum_of_numbers(number_1, number_2, expected_output):
        assert sum_of_numbers(number_1, number_2) == expected_output

```

The output is shown below. All the test cases pass since the addition of the input numbers equates to the expected output.

![](https://www.lambdatest.com/blog/wp-content/uploads/2019/05/image3-1.png)

Though we can add more test inputs via parameterized fixtures, there could be cases where important scenarios are missed out. Also, there could be a certain amount of ambiguity involved with the input and output variables. Take the case of sum\_of\_numbers() function, there could be a good amount of confusion involving its input & output. Some of them are mentioned below :

- Can the input arguments be only integers i.e. int or it can be float as well?
- What is the maximum value that the input arguments can hold and what should happen in underflow/overflow kind of scenarios?
- Can the input values be of float type, if so can it be used in combination with an int input type?

The solution to the problem that we encounter with example-based testing can be solved using Hypothesis using which you can write property-based tests. Using Hypothesis, you can write tests with test framework like pytest and test your implementation against huge set of desired input data. For more details, refer to the [official documentation](https://hypothesis.readthedocs.io/en/latest/quickstart.html) of Hypothesis, a Python testing library.



## Hypothesis – Strategies, Decorators, & more

The backbone of Hypothesis is based on the famous principle **‘Most things should be easy to generate and everything should be possible’**. Based on this principle, Hypothesis for Python testing offers strategies to handle most built-in types with arguments for constraining or adjusting the output. Hypothesis also offer higher-order strategies using which one can [write effective test cases](https://www.lambdatest.com/blog/17-lessons-i-learned-for-writing-effective-test-cases/?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn) to handle more complex scenarios.

In simple terms, you can say that you give your requirements to the strategy module and it returns different input values (for test) based on your requirement. In the example mentioned above, the input to the strategy should be requirement of two integers. Functions for building strategies are available as a part of the hypothesis.strategies module.

Now that you have some idea about strategies in Hypothesis, we rewrite the above test code by incorporating more input data sets using Hypothesis, a Python library. The modified code is shown below :

```

''' Addition of numbers using pytest & Hypothesis '''
import pytest

''' Import the Hypothesis module '''
import hypothesis

from hypothesis import given

''' Strategies are the backbone of Hypothesis. In our case, we will use the integer strategy '''
import hypothesis.strategies as strategy

# Define a function which takes two arguments as integers and adds the two numbers
def sum_of_numbers(number_1, number_2):
    return number_1 + number_2

''' @given is the decorator '''
''' We use the integer Strategy as testing is performed only on integer inputs '''

@given(strategy.integers(), strategy.integers())
def test_verify_sum_of_numbers(number_1, number_2):
    assert sum_of_numbers(number_1, number_2) == number_1 + number_2

```

In order to execute the code, you can use the –hypothesis-show-statistics option along with the normal py.test command. The command that we have used is

```
py.test --capture=no --hypothesis-show-statistics < file-name.py > 
```


As shown in the output snapshot below, we have carried out two test trails and each time it generated 100 different inputs. With Hypothesis, the default number of test runs that are possible is 100.

![test runs](https://www.lambdatest.com/blog/wp-content/uploads/2019/05/image5-1.png)

Let’s do a code-walkthrough of the addition test code which was based on the Hypothesis library. The basic function **[sum\_of\_numbers()]** that computes the sum of the two numbers if kept intact. The code which tests the sum functionality is modified to work with Hypothesis.

@given serves as the entry point in Hypothesis and the decorator helps to convert the specific test function which accepts arguments into a randomized test. In our case, only integer inputs are considered for testing. Hence, @given decorator has two arguments both of which are integer strategy. The syntax of @given is below :

`hypothesis.given(*given_arguments, **given_kwargs)`

More details about the @given decorator is available [here](https://hypothesis.readthedocs.io/en/master/details.html#hypothesis.given)

In the next line, we are importing @strategies from Hypothesis. @strategies is mainly used for generation of test data. To check out all the functions available for building strategies for performing Hypothesis testing in Python and Selenium refer to **hypothesis.strategies** module. In our example, we used the integer strategy. There are a number of in-built strategies in Hypothesis and you can also compose higher-order strategies for more complex inputs. Some examples of in-built strategies are :

binary, booleans, complex numbers, builds, characters, complex\_numbers, composite, data, dates, datetimes, decimals, deferred, dictionaries, emails, floats, fixed\_dictionaries, fractions, from\_regex, from\_type, frozensets, iterables, integers, just, lists, none, nothing, one\_of, permutations, random\_module, randoms, recursive, register\_type\_strategy, runner, sampled\_from, sets, shared, timedeltas, etc.

Covering every strategy is beyond the scope of this blog, hence we recommend you to have a look at the [official documentation of strategies](https://hypothesis.readthedocs.io/en/master/data.html#module-hypothesis.strategies).

***Hey, are you looking to check browser compatibility for [CSS Regions](https://www.lambdatest.com/web-technologies/css-regions?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn&utm_content=web_technologies), It's a method of flowing content into multiple elements on a website. It is also used for changing the typography of the page by giving more importance to some elements.***

## Putting ‘verbose’ Option & @example Decorator To Work

As a developer, you may get confused after looking at the output of the code that used Hypothesis. In every test code, there are input arguments/input values that are used for testing. In the above example, 100 test runs were carried out; but there was no information about what were the input values to the sum\_of\_numbers() function. For achieving this goal, we set the Verbosity level to verbose. We need to import the @settings decorator in order to set the verbosity.

As a developer, you may get confused after looking at the output of the code that used Hypothesis. In every test code, there are input arguments/input values that are used for testing. In the above example, 100 test runs were carried out; but there was no information about what were the input values to the sum\_of\_numbers() function. For achieving this goal, we set the Verbosity level to verbose. We need to import the @settings decorator in order to set the verbosity.

```
……………………………………..
from hypothesis import given, settings, Verbosity
…………………………………………………………….
…………………………………………………………..
@settings(verbosity=Verbosity.verbose)
…………………………………………………………….
…………………………………………………………..

```

Make sure that you use the @settings decorator along with the @given decorator i.e. @settings should be set just before @given decorator. If that is not done, you would encounter an error which states `‘hypothesis.errors.InvalidArgument: Using @settings on a test without @given is completely pointless’`. There is one more modification we make to our existing implementation where we extend the number of test runs to 500. This can be done by setting max\_examples value of @settings object to 500.

The Verbosity & max\_examples value of the @settings module have to be modified at a single place, else it results in an error (as shown in the code snippet below).

```
……………………………………..
from hypothesis import given, settings, Verbosity
…………………………………………………………….
…………………………………………………………..
@settings(verbosity=Verbosity.verbose)
@settings(max_examples=500)
………………………………………………………….
………………………………………………………….
………………………………………………………….. 

```

If you try to decorate the @settings decorator using the above implementation, you would encounter an error stating

```
hypothesis.errors.InvalidArgument: test_verify_sum_of_numbers has already been decorated with a settings object. 

```

The modified working implementation is below (Changes are marked in Yellow color).

```
''' Addition of numbers using pytest & Hypothesis '''
import pytest

''' Import the Hypothesis module '''
import hypothesis

from hypothesis import given, settings, Verbosity

''' Strategies are the backbone of Hypothesis. In our case, we will use the integer strategy '''
import hypothesis.strategies as strategy

# Define a function which takes two arguments as integers and adds the two numbers
def sum_of_numbers(number_1, number_2):
    return number_1 + number_2

''' @given is the decorator '''
''' We use the integer Strategy as testing is performed only on integer inputs '''

@settings(verbosity=Verbosity.verbose, max_examples=500)
@given(strategy.integers(), strategy.integers())

def test_verify_sum_of_numbers(number_1, number_2):
    assert sum_of_numbers(number_1, number_2) == number_1 + number_2

```

Below is the screenshot of the execution where we get information about the input values used for testing and number of test runs are now 500 (instead of 100).

![Verbose-max-example-Hypothesis-output](https://www.lambdatest.com/blog/wp-content/uploads/2019/05/image7.png)

Though the code is testing against different range of input values, you might want to consider restricting the minimum & maximum value that the input variables can hold. You can do this by just setting the min\_value & max\_value for the input variables as a part of the @strategy decorator. The modified working implementation is below (Changes are marked in Yellow color).

```
''' Addition of numbers using pytest & Hypothesis '''
import pytest

''' Import the Hypothesis module '''
import hypothesis

from hypothesis import given, settings, Verbosity

''' Strategies are the backbone of Hypothesis. In our case, we will use the integer strategy '''
import hypothesis.strategies as strategy

# Define a function which takes two arguments as integers and adds the two numbers
def sum_of_numbers(number_1, number_2):
    return number_1 + number_2

''' @given is the decorator '''
''' We use the integer Strategy as testing is performed only on integer inputs '''

@settings(verbosity=Verbosity.verbose, max_examples=500)
@given(strategy.integers(min_value=1, max_value=20), strategy.integers(min_value=5, max_value=100))

def test_verify_sum_of_numbers(number_1, number_2):
    assert sum_of_numbers(number_1, number_2) == number_1 + number_2

```

As per the changes, the variables number\_1 & number\_2 can hold values as per the below condition

**number\_1 :** number\_1 GTE 1 & LTE 20  
**number\_2 :** number\_2 GTE 5 & LTE 100

We also enable the –verbose option while executing the code, the updated command is below, the output shows the effect of min\_value & max\_value on the input arguments (used for test).

```
py.test --capture=no –verbose --hypothesis-show-statistics < file-name.py > 
```


![](https://www.lambdatest.com/blog/wp-content/uploads/2019/05/image6.png)

## Stateful Testing With Hypothesis For Python

The major advantage of using Hypothesis as Python testing library is the automatic generation of test data that can be used for testing the code. Even when you are using the @given decorator, you have to write lot of tests. Stateful testing in Hypothesis is capable of generating entire tests along with the test data. As a developer, you have just specify the primitive actions and Hypothesis will try to find sequences that can result in a failure.

There are two types of stateful testing APIs in Hypothesis – High level API called **rule-based state machine** and low level API called **generic state machine**. Rule-based state machines are more popular as they are more user-friendly. **RuleBasedStateMachine** are a part of the hypothesis.stateful module.

```
class hypothesis.stateful.RuleBasedStateMachine 
```

```
State machines can carry a bunch of types of data called as Bundles, and there can be a set of rules that can push data out of Bundles and onto the Bundles. For more information about Rule based state machines, you can refer the official documentation of <a href="https://hypothesis.readthedocs.io/en/latest/stateful.html" rel="noopener nofollow" target="_blank">Stateful testing with Hypothesis.</a>
```

 ***Hey, are you looking to check browser compatibility for [CSS resize property](https://www.lambdatest.com/web-technologies/css-resize?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn&utm_content=web_technologies), a css-resize is a quick and easy solution to allow users to resize elements using their mouse.***


## Automated Cross Browser Testing Using Hypothesis With LambdaTest Selenium Grid

So far in this Hypothesis Python testing tutorial, we have covered major aspects about Hypothesis and how you can use decorators available in Hypothesis for verification of your code. Let’s have a look at how you can use pytest with Hypothesis for testing Python and Selenium in order to perform [automated cross browser testing](https://www.lambdatest.com/selenium-automation?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn) of your website/web application. [Cross-browser testing](https://www.lambdatest.com/?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn) is testing your website/web-app across different combinations of browsers, operating systems, and devices.

LambdaTest offers a Selenium Grid consisting 3000+ real browsers to help you perform automation testing with Selenium for [browser compatibility testing](https://www.lambdatest.com/feature?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn). You could also [perform manual cross browser testing](https://www.lambdatest.com/blog/34-ways-to-save-time-on-manual-cross-browser-testing/?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn) by interacting with these browser live by the help of VMs(Virtual Machines) hosted on their cloud servers. I will demonstrate you how to leverage LambdaTest for automation testing with Python and Selenium.

 
  ![](https://www.lambdatest.com/blog/wp-content/uploads/2019/04/cta-img.png)

RUN YOUR PYTHON SCRIPTS ON CLOUD GRID

3000+ Browsers AND OS

[FREE SIGNUP](https://accounts.lambdatest.com/register/)

For performing cross browser testing with Hypothesis, we devise a test code which tests a given URL e.g. [https://www.lambdatest.com](https://www.lambdatest.com?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn) on Chrome & Firefox browser. The verification should be on the **Mozilla Firefox browser version 64.0 and Google Chrome browser version 71.0**. You have to launch the test URL in the respective browsers and close the browser instance once the website is loaded.

Before we have a look at the implementation, and if you are following me step-by-step then I would recommend that you create an account on [LambdaTest](https://www.lambdatest.com?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn) as we would be using the Selenium Remote WebDriver on LambdaTest. Below is the overall implementation using Hypothesis, Python testing library on LambdaTest Selenium Grid.

```
import pytest
from selenium import webdriver
from selenium.webdriver.chrome.options import Options
from selenium.webdriver.common.keys import Keys
from time import sleep
import urllib3
import warnings

#Set capabilities for testing on Chrome
ch_caps = {
    "build" : "Hypothesis - Testing on Chrome",
    "name" : "Hypothesis - Verification of URL on Chrome",
    "platform" : "Windows 10",
    "browserName" : "Chrome",
    "version" : "71.0",
}

#Set capabilities for testing on Firefox
ff_caps = {
    "build": "Hypothesis - Testing on Firefox",
    "name": "Hypothesis - Verification of URL on Firefox",
    "platform" : "Windows 10",
    "browserName" : "Firefox",
    "version" : "64.0",
}

# Visit https://accounts.lambdatest.com/profile for getting the access token
user_name = "your-user-name"
app_key = "access key generated from LambdaTest dashboard"

class CrossBrowserSetup(object):
    global web_driver

    def __init__(self):
        global remote_url

        urllib3.disable_warnings(urllib3.exceptions.InsecureRequestWarning)
        # web_driver = webdriver.Remote(command_executor=remote_url, desired_capabilities=ch_caps)
        remote_url = "https://" + user_name + ":" + app_key + "@hub.lambdatest.com/wd/hub"

    def add(self, browsertype_1, browsertype_2):
        print(browsertype_1)
        print(browsertype_2)
        if (browsertype_1 == "Chrome") or (browsertype_2 == "Chrome"):
            web_driver = webdriver.Remote(command_executor=remote_url, desired_capabilities=ch_caps)
        if (browsertype_1 == "Firefox") or (browsertype_2 == "Firefox"):
            web_driver = webdriver.Remote(command_executor=remote_url, desired_capabilities=ff_caps)
        self.driver = web_driver
        self.driver.get("https://www.lambdatest.com")
        print(self.driver.title)
        #sleep(1)
        web_driver.close()
        web_driver.quit()


# Property-based Tests
from hypothesis import given, example
import hypothesis.strategies as strategy

@given(strategy.just("Firefox"), strategy.just("Chrome"))

def test_add(browsertype_1, browsertype_2):
    cbt = CrossBrowserSetup()
    cbt.add(browsertype_1, browsertype_2)

```

Since we are making use of the Selenium Grid setup on LambaTest, you would require the right combination of **username & accesskey** to access their grid. You can find these values at the [automation dashboard](https://automation.lambdatest.com?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn)by clicking on the **key icon**. Now, replace the variables **user\_name** & **app\_key** with your credentials. In the setup where we performed the test, we could execute 2 tests in parallel. Let’s do a code-walkthrough of the above implementation

In the beginning, we import the necessary packages e.g. selenium, pytest, time, urllib3, etc. Once the necessary modules are imported, we set the capabilities of the browsers on which the test would be performed. You can visit LambdaTest [Desired Capabilities Generator](https://www.lambdatest.com/capabilities-generator/?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn) to generate the required browser capabilities. In the add function, we initiate the required browser instance using the Remote Webdriver API. The remote Webdriver API takes two important parameters – **command\_executor and desired\_capabilities.**

**command\_executor** is the remote URL on which the Selenium Grid is setup and desired\_capabilities is the list of capabilities that should be present in the browser under test. For more in-depth information about Selenium WebDriver API and pytest, you can visit our other blogs that cover the topic in more detail.

Once the required pre-requisites are complete, we make use of the Hypothesis library to come up with the required tests for Python and Selenium. As shown in the striped implementation, the **@strategy, @given & @example** decorators are imported from the Hypothesis, Python testing library. The test code **[test\_add()]** consists of two string arguments. Since the test has to be performed only on Firefox & Chrome, we use the @given decorator to limit the input arguments to **“Firefox”** & **“Chrome”**. We have used the **hypothesis.strategies.just()** module to fulfill the requirement.

```
………………………………………………………………………
………………………………………………………………………
………………………………………………………………………
# Property-based Tests
from hypothesis import given, example
import hypothesis.strategies as strategy

@given(strategy.just("Firefox"), strategy.just("Chrome"))

def test_add(browsertype_1, browsertype_2):
    cbt = CrossBrowserSetup()
    cbt.add(browsertype_1, browsertype_2) 

```

You can execute the code using the standard command, the output is shown below :

```
py.test --capture=no --hypothesis-show-statistics < file-name.py >
```


![standard command](https://www.lambdatest.com/blog/wp-content/uploads/2019/05/tandard-command.png)

In order to verify the output, you should visit the Automation section on LambdaTest and locate the test as per the name assigned in the browser capabilities array. As this is a pytest code, make sure that the name of file should start with test\_ Since the execution is done on the remote Selenium Grid, you should visit [Automation Dashboard](https://automation.lambdatest.com/?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn) to check the status of the test, below is the screenshot of the test performed on Firefox (version 64.0).

After executing the above automation script for Hypothesis Python testing we can observe that our test ran successfully on Google Chrome & Mozilla Firefox in Parallel.

![Hypothesis Python testing](https://www.lambdatest.com/blog/wp-content/uploads/2019/05/pasted-image-0-10.png)

As you click on these tests from automation dashboard in LambdaTest. You will find test details.

1. Hypothesis Python Testing In Google Chrome

![Hypothesis Python Testing In Google Chrome](https://www.lambdatest.com/blog/wp-content/uploads/2019/05/pasted-image-0-11.png)

2. Hypothesis Python Testing In Mozilla Firefox

![Hypothesis Python Testing In Mozilla Firefox](https://www.lambdatest.com/blog/wp-content/uploads/2019/05/pasted-image-0-12.png)

## Conclusion

There are many scenarios where you might want to do a thorough verification of your code by testing it across different input values. Hypothesis, a Python testing library can be handy in these cases since it can generate extensive test data which can be used to perform normal tests, as well as edge type tests. Based on your requirements, you should choose the right kind strategy & decorator so that your overall effort in test code implementation & execution is reduced.

You can also use Hypothesis to optimize the tests written using pytest & [unittest with Selenium](https://www.lambdatest.com/blog/parallel-testing-in-selenium-webdriver-with-python-using-unittest/?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn). Cross browser testing for Python is also possible using pytest & Hypothesis. In a nutshell, Hypothesis is a powerful & flexible library that should be considered when you are planning to do property-based testing.

Originally Published: [**LambdaTest**](https://www.lambdatest.com/blog/using-selenium-and-python-hypothesis-for-automation-testing/?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn) 

[![](https://www.lambdatest.com/blog/wp-content/uploads/2018/11/Adword-Cyber2.jpg)](https://accounts.lambdatest.com/register/?utm_source=dev&utm_medium=Blog&utm_campaign=Himanshu-05072019&utm_term=Himanshu)

**Related Post**: 

[**Top 5 Python Frameworks For Test Automation In 2019**](https://www.lambdatest.com/blog/top-5-python-frameworks-for-test-automation-in-2019/?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn)

[**Pytest Report Generation For Selenium Automation Scripts**](https://www.lambdatest.com/blog/pytest-report-generation-for-selenium-automation-scripts/?utm_source=devto&utm_medium=organic&utm_campaign=jun15_rn&utm_term=rn)