VDMJ provides basic tool support for the VDM-SL, VDM++ and VDM-RT specification languages, written in Java. It includes a parser, a type checker, an interpreter (with arbitrary precision arithmetic), a debugger, a proof obligation generator and a combinatorial test generator with coverage recording, as well as JUnit support for automatic testing and user definable annotations.
JVM profiler that simplifies various aspects around recording and uploading test coverage
JMockit is a Java toolkit for developer (unit/integration) testing. It contains mocking APIs and other tools, supporting both JUnit and TestNG. The mocking APIs allow all kinds of Java code, without testability restrictions, to be tested in isolation from selected dependencies.
Aggregate Coverage Report
Coverage Report for Carbon Configuration by merging unit and osgi tests
A plugin used to generate reports of test outcomes and code coverage by tests executed by the CCL Testing Framework and through the maven-ccl-plugin
MutantSwarm is a mutation testing framework for Hive SQL. It enables the identification of areas of SQL code bases that have poor test coverage and consequently may be a source of operational risk.
Bitwise Algorithm - powered Definition-Use Association coverage (BA-DUA). Data-flow testing coverage for Java - parent project.
Compute aggregated test code coverage.
Web Application Integration Test Tool
VDMJ provides basic tool support for the VDM-SL, VDM++ and VDM-RT specification languages, written in Java. It includes a parser, a type checker, an interpreter (with arbitrary precision arithmetic), a debugger, a proof obligation generator and a combinatorial test generator with coverage recording, as well as JUnit support for automatic testing and user definable annotations.
VDMJ provides basic tool support for the VDM-SL, VDM++ and VDM-RT specification languages, written in Java. It includes a parser, a type checker, an interpreter (with arbitrary precision arithmetic), a debugger, a proof obligation generator and a combinatorial test generator with coverage recording, as well as JUnit support for automatic testing and user definable annotations.
Compute aggregated test code coverage.
Cobertura maven plugin that separates UT / IT / overall coverage reports, allows single tests execution and takes care of reports conversion to SonarQube generic test coverage format.
The goal of JsTestDriver is to build a JavaScript test runner which: easily integrates with continuous builds systems and allows running tests on multiple browsers quickly to ease TDD style development.
Maven plugin to measure code coverage in OSGi tests using EMMA
Cakupan XSLT test coverage tool
Arcade Connectorsa: connectors to data stores
A parent template project enforcing lint checks, static code analysis and unit tests with code coverage.
A parent template project enforcing lint checks, static code analysis and unit tests with code coverage.
A parent template project enforcing lint checks, static code analysis and unit tests with code coverage.
Mill plugin to collect test coverage data with JaCoCo and generate reports
Mill plugin to collect test coverage data with JaCoCo and generate reports
Java project ready for OSSRH deployments. A plain Java project, includes unit tests, code coverage, mutation tests, integration tests, packaging, signing, licensing, and deployment configuration.
Java project ready for proffesionals. A modular (JPMS) Java project, includes unit tests, code coverage, mutation tests, and integration tests.
Java project ready for OSSRH deployments. A modular (JPMS) Java project, includes unit tests, code coverage, mutation tests, integration tests, packaging, signing, licensing, and deployment configuration.
Java project ready for proffesionals. A plain Java project, includes unit tests, code coverage, mutation tests, and integration tests.
MutantSwarm is a mutation testing framework for Hive SQL. It enables the identification of areas of SQL code bases that have poor test coverage and consequently may be a source of operational risk.
Compute aggregated test code coverage
The module just for aggregating the test coverage
Mill plugin to collect test coverage data with JaCoCo and generate reports
Aggregates coverage reports from JUnit test an I-Tests.
Aggregates coverage reports from JUnit test an I-Tests.
Command line JUnit test runner for standalone testing
Maven plugin to check test coverage of new changes compared to another Git branch.
Measures code coverage of tests using Emma.
Prints unit test coverage details on console using JaCoCo's data file.
Compute aggregated test code coverage.
Compute aggregated test code coverage.
Turntables: Aggregator module for test coverage and deployment
Compute aggregated test code coverage
HeatRow library helps in showing UI tests coverage.
Sadly this module is necessary to provide the test coverage
Test Aggregation Plugin for Android
In-App Billing for Android apps. It also supports RxJava. 100% Test coverage
WSO2 Connected Device Manager Components
Coverage Report for Carbon Secure Vault by merging unit and osgi tests
root parent pom for releases libs, verify code style and configuration for tests
WSO2 Carbon - Device Management Plugins Parent
Scope is a APM for tests to give engineering teams unprecedented visibility into their CI process to quickly identify, troubleshoot and fix failed builds. This artifact contains Coverage E2E Tests for Scope.