Klara: Python automatic test generations and static analysis library

• klara

  6 257 0.0 Python

  Automatic test case generation for python and static analysis library

Klara is an automatic python unit test generation tool based on SMT (z3) solver. It's currently in early stage and still have many limitation (looping, comprehension, importing is not supported to name a few).

• pynguin

  11 1,201 8.2 Python

  The PYthoN General UnIt Test geNerator is a test-generation tool for Python

  

The main difference that Klara bring to the table, compared to similar tool like pynguin and Crosshair is that the analysis is entirely static, meaning that no user code will be executed, and you can easily extend the test generation strategy via plugin loading (e.g. the options arg to the Component object returned from function above is not needed for test coverage).

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• CrossHair

  8 952 9.2 Python

  An analysis tool for Python that blurs the line between testing and type systems.

The main difference that Klara bring to the table, compared to similar tool like pynguin and Crosshair is that the analysis is entirely static, meaning that no user code will be executed, and you can easily extend the test generation strategy via plugin loading (e.g. the options arg to the Component object returned from function above is not needed for test coverage).

• astroid

  2 510 9.1 Python

  A common base representation of python source code for pylint and other projects (by pylint-dev)

  

It also provide inference for static analysis purposes, similar to astroid, with SMT support. E.g.

Suggest a related project