javai-R is the statistical oracle of the javai project family. It produces canonical reference datasets using R's vetted statistical library, against which all framework implementations verify conformance.
The documents below describe the statistical methodology that underpins the javai approach to testing non-deterministic systems.
Statistical Companion
Primarily for statisticians, this document presents the statistical foundations of the javai methodology. Covers hypothesis testing, confidence intervals, power analysis, threshold derivation, and latency percentile analysis.
Download PDFDistributional Contracts
For software language professionals, this document presents an extension of Design by Contract to stochastic systems. Lifts postconditions from Boolean predicates over individual executions to statistical assertions over repeated executions.
Download PDFGlossary
Terminology used across the javai project family. Terms are defined in the context of the distributional contract methodology.
Download PDF