인간처럼 디버깅하기: Runtime Execution을 단계별로 검증하는 LLM Debugger (LDB)

# LDB 스타일 디버깅 프롬프트 예시 (Chat 모드)

system_prompt = "You are an expert programming assistant."

# Step 1: 코드 생성
user_msg_1 = """
Complete the following task in Python. Please respond with code only.
def is_sorted(lst):
    '''
    Given a list of numbers, return whether or not they are
    sorted in ascending order. If list has more than 1 duplicate
    of the same number, return False.
    '''
"""

# Step 2: 실패한 테스트 케이스와 블록별 실행 trace를 포함한 디버깅 요청
debugging_prompt = """
The code above fails the given unit test:
assert is_sorted([1, 2, 2, 3, 3, 4]) == True  # Real Execution Output: False

Here is the code execution trace block by block with intermediate variable values.
For EACH BLOCK, answer whether it is correct or not.
Return a JSON with keys: `block`, `correct`, `explanation`.

[BLOCK-0]
# lst=[1, 2, 2, 3, 3, 4]
for i in range(len(lst) - 1):
    if lst[i] > lst[i + 1]:
# i=0, lst=[1, 2, 2, 3, 3, 4]

[BLOCK-5]
# i=4, lst=[1, 2, 2, 3, 3, 4]
return not any(lst.count(x) > 1 for x in lst)
# i=4, lst=[1, 2, 2, 3, 3, 4], _ret=False
"""

# Step 3: 디버깅 결과 기반 코드 재생성
regeneration_prompt = "Please fix the Python code based on the debugging feedback above."

# Python으로 Basic Block별 변수 추적하는 간단한 예시
import sys

def trace_blocks(func, test_input):
    """함수 실행 중 각 라인의 로컬 변수 상태를 캡처"""
    states = []
    
    def tracer(frame, event, arg):
        if event == 'line':
            states.append({
                'line': frame.f_lineno,
                'locals': dict(frame.f_locals)
            })
        return tracer
    
    sys.settrace(tracer)
    try:
        result = func(test_input)
    finally:
        sys.settrace(None)
    
    return states, result

# 사용 예:
# states, result = trace_blocks(is_sorted, [1, 2, 2, 3, 3, 4])
# → states를 블록 단위로 묶어 LLM 프롬프트에 삽입