Projects - Testing & QA

C, C#, Python, Shell

bflat-ts — Bflat Test Suite

Development ToolsTestingActiveExternalOpen source

Test suite for bflat, the ahead-of-time compiler that turns C# into small, self-contained native binaries. Built at Nethermind and run as part of their zero-knowledge testing environment.

C, C++, Python

Minimal Message Broker

TestingOperating systems & EmbeddedExternal

Message broker that can be installed to embedded software and used from Python test suite.

C, C++, Python

Wristband Test Suite

TestingExternal

A complete test suite for wristband software based on Robot Framework

C, C++, Python

Bluetooth emulator

TestingOperating systems & EmbeddedExternal

Emulator of Bluetooth activity for a consumer electronics device

Python

Parslr

Static analysisTestingOpen source

Test ANTLR grammars and prepare JUnit result XML from results. Useful in CI.

Bash, Python

Static analysis testing ensemble

Static analysisTestingActive

Testing static analysis projects is hard. This project aims to serve as a bridge between Continuous Integration (CI) and Verification Example Framework (VEF).

C, C++, RuC, Python

Verification Example Framework

Static analysisTestingActiveOpen source

The growing list of examples for C/C++/RuC analysis & verification. To be open sourced.