Open source software correctness tools
currently being written
C++ unit testing framework: JustUnit
C++ mocking framework: MetalMock
Platforms: Linux, Mac, Windows
Author: Neil Justice
ETA: September 5, 2016
ETA: November 1, 2016

Software in the work queue
HonorRecord (Productivity accelerator and history)
JustUnit & MetalMock for Android & iOS

Glossary
Unit test: A short sequence of statements that when run
confirms the correctness of another short sequence of statements.

Unit testing framework: Syntax and functionality that empower folks
with the tools to write unit tests to confirm the correctness of programs.

Mocking framework: Syntax and functionality that empower folks
with the tools to isolate interconnected software components
to more easily confirm their correctnesses with unit tests.