01
SOFTWARE VERIFICATION
Software verification
Generate MC/DC test combinations
and review the independent effect of each condition.
SOFTWARE VERIFICATION LAB
Confidence in
every condition.
From complex conditions to clear tests.
Engineering confidence in software. CoverageLab.
Built for your workflow Windows Android
+ PRECISION IN EVERY CASE
(A && B) || CTEST MATRIX01—04
ABC
FTFTTFTFFTFT
INDEPENDENCE VERIFIED
UNIQUE-CAUSE MC/DC3 conditions. 4 tests.
BEYOND THE CODE. INTO CONFIDENCE.SCROLL TO EXPLORE
Unique-Cause MC/DC✳Masking MC/DC✳Test Suite Generation✳Software Engineering
01 / ABOUT COVERAGELAB
Better technology begins with better questions.Understand complexity.
Verify with clarity.
Reliable software needs clear evidence.
At CoverageLab, we start with a change in a single condition
to explore what makes software trustworthy.
From test automation tools to software and systems designed around your work, we turn technical insight into practical solutions.
02
SOFTWARE DEVELOPMENT
Software development
Purpose-built software
for desktop and mobile workflows.
03
SYSTEM CONSULTING
Systems integration & consulting
We understand how your team works
and help plan systems that work together.
02 / OUR SOLUTION
DEVELOPED BY COVERAGELABVerification evidence,
at a glance.
From entering expressions to reviewing test cases and independence pairs.
MC/DC Generator brings your test design workflow together.
MC/DCGenerator
Preview theme
WINDOWS · v1.11.5.2More room.
More room.
Deeper analysis.
Explore conditions in your source code
and review test combinations and input data
in one workspace.
- Expression and source file analysis
- Individual and combined test generation
- TXT and CSV report export
Light theme · Test Suite & analysis log
ANDROID · v1.11.5.3Test your ideas.
Test your ideas.
Wherever you are.
Check expressions quickly
and explore the test results.
Take research and learning mobile.
- Choose Unique-Cause or Masking
- Free: up to 4 conditions
- Pro: source analysis and CSV export
CRITERIAUnique-Cause & Masking
SOURCE FILESC · C++ · Java · JS · Python
WORKFLOWEnter → Generate → Review → Export
Example screens included with the products. Results may vary with the number of conditions, expression structure, and input constraints.
03 / INSIDE THE LOGIC
A small change. An independent effect.INTERACTIVE EXAMPLE3 conditions.
3 conditions.
4 tests.
What matters is the evidence
that each condition can change the outcome.
Select A, B, or C in the example.
See two tests where only the selected condition
and the outcome change; all other conditions stay fixed.
DECISION
(A && B) || CThis Unique-Cause MC/DC example uses input truth values. It does not represent execution coverage measured in a real program.
When are N+1 tests possible? INDEPENDENCE CHECKExample UC · 3 / 3
Condition to review
| TEST | A | B | C | RESULT |
|---|---|---|---|---|
| 01 | F | T | F | F |
| 02 | T | T | F | T |
| 03 | T | F | F | F |
| 04 | T | F | T | T |
Independent effect of A · 01 ↔ 02
With B=T and C=F held fixed, changing A changes the outcome from F to T.
Change the inputsSelect a button to toggle T / F.
→
04 / GET STARTED
The right tools for your workflow.Start in your
own environment.
Explore platform features and requirements,
then talk to us about using the product.
v1.11.5.2
Windows
From analysis to reports, with room to work on your desktop.
- Requirements
- Windows 10 1809+ / Windows 11
- Architecture
- Separate x64 and ARM64 builds supported
- Export formats
- TXT · CSV
v1.11.5.3
Android
From quick expression checks to Pro features, on mobile.
- Requirements
- Android 7.0 or later
- Free edition
- Up to 4 conditions · TXT export
- Pro features
- Source file analysis · CSV · Ad removal
For installation and official distribution, contact astesia@me.com.
BEFORE YOU START
Frequently asked questions
Get to know the product.
What is MC/DC Generator?
MC/DC Generator is a test design tool that generates MC/DC test combinations from Boolean expressions and supported source files, then reviews whether each condition independently affects the decision outcome. You can inspect test suites, candidate input data, and analysis logs, and export the results.
Does it always generate N+1 tests?
N+1 generation applies to Unique-Cause MC/DC for singular Boolean expressions (SBEs) where each condition appears once, conditions can be set independently, and the required input combinations are feasible. Repeated or coupled conditions, input constraints, combined analysis of multiple decisions, or Masking MC/DC may result in a different test count or leave some conditions without a demonstrated independent effect.
Does it execute source code to measure coverage?
The product generates test combinations and reviews logical independence. It does not execute source code or measure coverage through runtime instrumentation. Generated inputs must be run separately on the target program to verify actual behavior and execution coverage.
Where are source files and data processed?
Expressions and source files are analyzed on the device where the app is installed. Advertising in the free Android edition and purchases through Google Play use separate network services.
How do the free Android edition and Pro differ?
The free edition supports direct entry of expressions with up to four conditions, result review, and TXT export. Pro removes the app-imposed condition-count limit and adds individual and combined source file analysis, CSV export, and ad removal. Pro is a one-time in-app purchase; check the official purchase screen for the current price. The complexity that can be processed depends on the device and analysis settings.
05 / LET'S TALK
Let's build
what comes next.
Product adoption. Software development. Technical collaboration.
Tell us about the problem you want to solve.
BASED IN
Jinju, South Korea
Jinju, Gyeongsangnam-do, South Korea