01
SOFTWARE VERIFICATION
소프트웨어 검증
MC/DC 테스트 조합을 생성하고,
각 조건의 독립적인 영향을 검토합니다.
SOFTWARE VERIFICATION LAB
모든 조건에,
확신을 더하다.
복잡한 조건식에서 명확한 테스트로.
소프트웨어의 신뢰를 설계하는 기술, 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
기술의 시작은, 더 나은 질문에서.복잡함을 해석하고,
검증을 더 명확하게.
좋은 소프트웨어에는 분명한 근거가 필요합니다.
커버리지랩은 조건 하나의 작은 차이에서 출발해,
소프트웨어를 신뢰할 수 있는 방법을 연구합니다.
테스트 자동화 도구의 개발부터 업무에 맞는 소프트웨어와 시스템 구축까지. 기술을 실제로 사용할 수 있는 솔루션으로 연결합니다.
02
SOFTWARE DEVELOPMENT
소프트웨어 개발
데스크톱과 모바일에서 사용 가능한
목적에 맞는 소프트웨어를 만듭니다.
03
SYSTEM CONSULTING
시스템 구축·자문
업무의 흐름을 이해하고,
시스템 통합과 구축 방향을 함께 설계합니다.
02 / OUR SOLUTION
DEVELOPED BY COVERAGELAB검증의 근거를,
한눈에.
조건식 입력부터 테스트 케이스와 독립 영향 쌍의 확인까지.
MC/DC Generator가 테스트 설계의 흐름을 연결합니다.
MC/DCGenerator
화면 테마
WINDOWS · v1.11.5.2넓은 화면에서,
넓은 화면에서,
깊이 있는 분석.
소스의 조건문을 살펴보고
테스트 조합과 입력 데이터를
하나의 작업 공간에서 확인하세요.
- 조건식·소스 파일 분석
- 개별·통합 테스트 생성
- TXT·CSV 보고서 저장
라이트 테마 화면 예시 · Test Suite · 분석 로그
ANDROID · v1.11.5.3검증의 아이디어를,
검증의 아이디어를,
손안에서 바로.
조건식을 빠르게 확인하고
테스트 결과를 살펴보세요.
연구와 학습을 모바일에서도.
- Unique-Cause·Masking 선택
- 무료 버전: 조건 최대 4개
- Pro: 소스 분석·CSV 저장
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 / GET STARTED
환경에 맞는 도구, 이어지는 작업.당신의 환경에서
시작하세요.
플랫폼별 기능과 사용 환경을 살펴보고
제품 사용과 도입 방법을 문의하세요.
v1.11.5.2
Windows
분석부터 보고서까지, 데스크톱의 넓은 작업 공간.
- 사용 환경
- Windows 10 1809+ / Windows 11
- 아키텍처
- x64 · ARM64 별도 빌드 지원
- 결과 저장
- TXT · CSV
v1.11.5.3
Android
간단한 조건식 확인부터 Pro 기능까지, 모바일로.
- 사용 환경
- Android 7.0 이상
- 무료 버전
- 조건 최대 4개 · TXT 저장
- Pro 기능
- 소스 파일 분석 · CSV · 광고 제거
설치 및 공식 배포 경로는 astesia@me.com으로 문의해 주세요.
BEFORE YOU START
자주 묻는 질문
제품을 더 정확히 이해하는 방법.
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
경상남도 진주시