01
완전 오프라인 동작 (localhost Ollama만)
Local Test Copilot
폐쇄망 C 단위시험 생성 — 로컬 LLM이 케이스를 제안하고, gcc + gcov가 판정하고, 커버리지 공백이 루프를 이끕니다.
REFNK-09
VERBASSURE
STATEIN DEVELOPMENT
검증스위트 PASS · 2026-08-29
개발 중사양
//00 NEEDS
찾아오게 되는 이유.
이 도구가 만들어진 상황들 — 그리고 각각에 대해 이 도구가 하는 일.
Need 01
C 단위시험이 필요하지만, 코드는 폐쇄망에 살고 있습니다.
Answer
전부 로컬에서 돕니다: 루프백 전용 로컬 모델이 제안하고, gcc와 gcov가 판정합니다.
Need 02
LLM이 만든 테스트는 틀린 동작을 확신에 차서 단언할 수 있습니다.
Answer
툴체인이 확인하지 못한 것은 폐기되거나 표시됩니다 — 합격 테스트로 출하되는 일은 없습니다.
Need 03
커버리지 공백이 핵심이지, 부록이 아닙니다.
Answer
모델은 아직 미실행인 라인과 분기를 정확히 통보받고, 목표가 채워질 때까지 다시 요청받습니다.
ASSUREIN DEVELOPMENT
SCANLOCKED
//00 하는 일
02
결정론적 --manual 모드
03
분기 커버리지 피드백 루프
//00 IN PRACTICE
실제로 보게 될 것.
C 함수를 지정하세요. 로컬 LLM이 테스트 케이스를 제안하면 gcc가 컴파일하고, 테스트 바이너리가 실행하고, gcov가 실제로 무엇을 통과했는지 측정합니다. 툴체인이 확인하지 못한 것은 폐기되거나 표시됩니다 — 합격한 테스트로 출하되는 일은 없습니다.
01
ltc doctor: 이 머신에서 무엇을 찾았나?
doctor는 컴파일러, 커버리지 도구, 모델 존재 여부를 보고합니다. 결정론적 --manual 경로는 모델이 전혀 필요 없습니다 — 여기서 AI는 증폭기이지 전제가 아닙니다.
02
검증된 실행: 라인·분기 커버리지 100%
나오는 스위트는 어디서든 컴파일해 실행할 수 있는 순수 C이고, 커버리지 리포트·재실행 가능한 케이스·원시 컴파일러/gcov 로그가 함께 나옵니다.
03
모델은 제안하고, 컴파일러가 결정한다
모델은 아직 미실행인 라인과 분기를 정확히 통보받고, 목표가 채워질 때까지 다시 요청받습니다. 케이스는 gcc와 gcov가 확인해줄 때만 살아남습니다.
//00 DATASHEET
NK-09 datasheet
Build
PlatformLinux / macOS CLI
AILocal Ollama
Judgegcc + gcov
Reference
REFNK-09
VERBASSURE
STATEIN DEVELOPMENT
파일 하나.
복사해서 실행하세요.
설치 프로그램도, 패키지 매니저도, 서비스 계정도 없습니다. 실행 파일을 폐쇄망 머신으로 옮기고 작업을 여세요.
STATEIN DEVELOPMENT
개발 중
//00 FAQ
빠른 답
Local Test Copilot는 오프라인에서 동작하나요?
네. 모든 NOKTRA 도구처럼 오프라인 우선입니다: 클라우드 서비스도, 텔레메트리도 없고, AI는 전부 사용자 머신에서 로컬로 실행됩니다. 폐쇄망을 전제로 만들어졌습니다.
Local Test Copilot는 어떤 플랫폼에서 실행되나요?
Linux / macOS CLI. 빌드 상세는 이 페이지의 데이터시트를 참고하세요.
Local Test Copilot는 지금 내려받을 수 있나요?
아직입니다 — 현재 개발 중입니다. 실행할 수 있는 빌드가 나오기 전까지 날짜를 약속하지 않고 목록에만 올립니다.