01
SOFTWARE VERIFICATION
소프트웨어 검증
MC/DC 테스트 조합을 생성하고
각 조건의 독립적인 영향을 검토합니다.
SOFTWARE VERIFICATION LAB
모든 조건에
확신을 더하다
복잡한 조건식에서 명확한 테스트로
소프트웨어의 신뢰를 설계하는 기술, CoverageLab.
Built for your workflow Windows Android iOS / iPadOS 출시 예정
+ 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
기술의 시작은 더 나은 질문에서복잡함을 해석하고
검증을 더 명확하게
좋은 소프트웨어에는 분명한 근거가 필요합니다.
커버리지랩은 조건 하나의 작은 차이에서 출발해
소프트웨어를 신뢰할 수 있는 방법을 연구합니다.
테스트 자동화 도구의 개발부터 업무에 맞는 소프트웨어와 시스템 구축까지 기술을 실제로 사용할 수 있는 솔루션으로 연결합니다.
02
SOFTWARE DEVELOPMENT
소프트웨어 개발
데스크톱과 모바일에서 사용 가능한
목적에 맞는 소프트웨어를 만듭니다.
03
SYSTEM CONSULTING
시스템 구축·자문
업무의 흐름을 이해하고
시스템 통합과 구축 방향을 함께 설계합니다.
02 / OUR SOLUTION
DEVELOPED BY COVERAGELAB검증의 근거를
한눈에
조건식 입력부터 테스트 케이스와 독립 영향 쌍의 확인까지
MC/DC Generator가 테스트 설계의 흐름을 연결합니다.
Windows 프로그램과 Android 앱(Pro)의 기능은 동일합니다.
MC/DCGenerator
iOS / iPadOS MOBILE출시 예정
화면 테마
WINDOWS넓은 화면에서
넓은 화면에서
깊이 있는 분석
소스의 조건문을 살펴보고
테스트 조합과 입력 데이터를
하나의 작업 공간에서 확인하세요.
- 조건식·소스 파일 분석
- 개별·통합 테스트 생성
- TXT·CSV 보고서 저장
- 사용 환경
- Windows 10 1809+ / Windows 11
- 아키텍처
- x64 · ARM64
라이트 테마 화면 예시 · Test Suite · 분석 로그
ANDROID검증의 아이디어를
검증의 아이디어를
손안에서 바로
조건식을 빠르게 확인하고
테스트 결과를 살펴보세요.
연구와 학습을 모바일에서도.
- Unique-Cause·Masking 선택
- 무료 버전: 조건 최대 4개
- Pro: 조건 개수 제한 없음·소스 분석·CSV 저장
- 사용 환경
- Android 7.0 이상
RESOURCES
사용 설명서와 소개 자료
사용 설명서와 소개 자료는 Windows 화면을 기준으로 작성했습니다.
Android 앱도 기능이 같아 함께 참고할 수 있습니다.
CRITERIAUnique-Cause & Masking
SOURCE FILESC · C++ · Java · JS · Python
WORKFLOW입력 → 생성 → 검토 → 저장
제품에 포함된 화면 예시입니다. 조건 수와 식의 구조, 입력 제약에 따라 생성 결과가 달라질 수 있습니다.
03 / INSIDE THE LOGIC
작은 차이로 증명하는, 독립적인 영향.INTERACTIVE EXAMPLE3개의 조건
3개의 조건
4개의 테스트 케이스
많은 조합보다 중요한 것은
각 조건이 결과를 바꾼다는 근거입니다.
예제의 A, B, C를 선택해 보세요.
다른 조건은 그대로, 선택한 조건과 결과만
달라지는 두 테스트를 확인할 수 있습니다.
DECISION
(A && B) || C입력 진리값으로 설명하는 Unique-Cause MC/DC 예제입니다. 실제 프로그램의 실행 커버리지 측정 결과가 아닙니다.
N+1 테스트는 언제 가능한가요? INDEPENDENCE CHECK예제 UC · 3 / 3
검토할 조건
| 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 |
A의 독립 영향 · 01 ↔ 02
B=T, C=F를 유지하면, A의 변화가 결과를 F → T로 바꿉니다.
직접 값을 바꿔보세요버튼을 누르면 T / F가 바뀝니다.
→
04 / FAQ
시작하기 전에 확인하세요.자주 묻는
질문
제품을 더 정확히 이해하는 방법.
찾는 답이 없다면 메일로 문의해 주세요.
MC/DC Generator는 어떤 도구인가요?
불리언 조건식과 지원하는 소스 파일에서 MC/DC 테스트 조합을 만들고, 각 조건이 판단 결과에 독립적인 영향을 주는지 검토하는 테스트 설계 도구입니다. Test Suite, 후보 입력 데이터, 분석 로그를 확인하고 결과를 저장할 수 있습니다.
항상 N+1개의 테스트가 생성되나요?
N+1 생성은 각 조건이 한 번씩 나타나는 SBE에서 조건을 독립적으로 설정할 수 있고 필요한 입력 조합이 실현 가능한 Unique-Cause MC/DC 경우에 해당합니다. 반복·결합된 조건, 입력 제약, 여러 조건문의 통합 또는 Masking 기준에서는 테스트 수가 달라지거나 일부 조건의 독립 영향을 확인하지 못할 수 있습니다.
소스 코드를 실제로 실행해 커버리지를 측정하나요?
이 제품은 테스트 조합 생성과 논리적 독립 영향 검토를 지원합니다. 소스 코드 실행이나 런타임 계측에 의한 커버리지 측정 도구는 아닙니다. 생성된 입력은 대상 프로그램에서 별도로 실행하고, 실제 동작과 커버리지 결과를 확인해야 합니다.
소스 파일과 데이터는 어디에서 처리되나요?
조건식과 소스 파일 분석은 앱이 설치된 기기에서 처리합니다. Android 무료 버전의 광고와 Google Play 구매에는 별도의 네트워크 서비스가 사용됩니다.
Android 무료 버전과 Pro는 무엇이 다른가요?
무료 버전은 조건 최대 4개의 직접 입력, 결과 검토와 TXT 저장을 제공합니다. Pro는 앱에서 정한 조건 수 제한을 해제하고 소스 파일 개별·통합 분석, CSV 저장과 광고 제거를 제공합니다. Pro는 일회성 앱 내 구매 방식이며, 실제 가격은 공식 판매 화면에서 확인해야 합니다. 복잡한 식의 처리 가능 범위는 기기와 분석 조건에 따라 달라집니다.
05 / LET'S TALK
다음 가능성을
함께 설계할까요?
제품 도입, 소프트웨어 개발, 기술 협업.
풀고 싶은 문제를 들려주세요.
BASED IN
Jinju, South Korea
경남 진주시 진주대로 501, IT융합센터 601동 602호