Description
Prove your Kotlin (or Java) code correct for every input — as easily as writing a JUnit test.
A unit test checks the inputs you thought of. A property-based test samples a few hundred more. A @BmcProof covers all of them at once: apply one Gradle plugin, write a test-shaped method, and bmc4j proves that no input breaks your code and either: verifies the proof, fails it with a counter-example that shows the issue, or marks the result as unknown (in-sufficient unwinding, timeout etc) - never a silent pass when the proof is in doubt.
bmc4j alternatives and similar libraries
Based on the "Tests" category.
Alternatively, view bmc4j alternatives based on common mentions on social networks and blogs.
-
-
Kotest
Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests. -
-
-
-
-
-
kotlin-faker
Port of a popular ruby faker gem written in kotlin. Generate realistically looking fake data such as names, addresses, banking details, and many more, that can be used for testing and data anonymization purposes. -
-
-
-
-
-
-
balin
Balin is an automation library for Kotlin. It's basically a Selenium-WebDriver wrapper inspired by Geb. -
-
-
SeleniumBuilder
Kotlin DSL for Selenium. Provide a possibility to write tests in Kotlin type-safe builders style -
arbitrater
DISCONTINUED. Arbitrater is a Kotlin library for creating arbitrary instances of classes by reflection for use in testing. In contrast to POJO generators, it supports Kotlin's optional parameters and nullable types. -
-
aspen
DISCONTINUED. Aspen is a simple test runner for Kotlin that allows you to write tests using your own DSL. -
-
-
-
-
-
-
-
-
SaaSHub - Software Alternatives and Reviews
Do you think we are missing an alternative of bmc4j or a related project?