C 언어 조건문과 assert를 활용한 효과적인 디버깅 기법

#include <stdio.h>

int main() {
    int value = 10;

    if (value > 5) {
        printf("Value is greater than 5\n");
    } else {
        printf("Value is 5 or less\n");
    }

    return 0;
}

#include <assert.h>
#include <stdio.h>

int main() {
    int x = 10;
    assert(x > 0); // 조건이 참이므로 아무 일도 발생하지 않음

    x = -5;
    assert(x > 0); // 조건이 거짓이므로 오류 메시지 출력 후 종료
    return 0;
}

Assertion failed: (x > 0), file example.c, line 10

#include <stdio.h>

int divide(int numerator, int denominator) {
    if (denominator == 0) {
        printf("Error: Division by zero\n");
        return -1; // 오류 코드 반환
    }
    return numerator / denominator;
}

int main() {
    int result = divide(10, 0);
    if (result == -1) {
        printf("Operation failed.\n");
    }
    return 0;
}

#include <stdio.h>

void checkStatus(int statusCode) {
    switch (statusCode) {
        case 200:
            printf("OK: Success\n");
            break;
        case 404:
            printf("Error: Not Found\n");
            break;
        case 500:
            printf("Error: Internal Server Error\n");
            break;
        default:
            printf("Error: Unknown Status Code\n");
    }
}

int main() {
    checkStatus(404);
    return 0;
}

#include <stdio.h>

int readFile(const char* fileName) {
    FILE* file = fopen(fileName, "r");
    if (file == NULL) {
        printf("File not found. Creating a new file...\n");
        file = fopen(fileName, "w");
        if (file == NULL) {
            printf("Error: Unable to create file\n");
            return -1;
        }
    }
    fclose(file);
    return 0;
}

int main() {
    int result = readFile("example.txt");
    if (result == 0) {
        printf("Operation completed successfully.\n");
    }
    return 0;
}

#include <assert.h>
#include <stdio.h>

int factorial(int n) {
    assert(n >= 0); // n이 음수면 오류 메시지를 출력하고 프로그램 종료
    if (n == 0 || n == 1) {
        return 1;
    }
    return n * factorial(n - 1);
}

int main() {
    int result = factorial(5);
    printf("Factorial: %d\n", result);

    result = factorial(-1); // 이 호출에서 assert가 실패하여 프로그램이 종료됨
    return 0;
}

#include <assert.h>
#include <stdio.h>

void processArray(int* arr, int size) {
    assert(arr != NULL);  // NULL 포인터 검증
    assert(size > 0);     // 배열 크기 검증

    for (int i = 0; i < size; i++) {
        printf("Element %d: %d\n", i, arr[i]);
    }
}

int main() {
    int numbers[] = {1, 2, 3};
    processArray(numbers, 3);

    processArray(NULL, 3); // assert 실패
    return 0;
}

#include <assert.h>
#include <stdio.h>

int safeDivision(int numerator, int denominator) {
    assert(denominator != 0); // 사전 조건 검증: 분모가 0이 아닌지 확인

    if (denominator == 0) {
        printf("Error: Cannot divide by zero. Returning default value.\n");
        return 0; // 기본값 반환
    }
    return numerator / denominator;
}

int main() {
    int result = safeDivision(10, 2); // 정상 동작
    printf("Result: %d\n", result);

    result = safeDivision(10, 0); // 조건문으로 처리, assert는 디버깅 모드에서만 작동
    printf("Result: %d\n", result);
    return 0;
}

#include <assert.h>
#include <stdio.h>

void processFile(const char* fileName) {
    assert(fileName != NULL); // 사전 조건: 파일 이름이 NULL이 아님을 확인

    FILE* file = fopen(fileName, "r");
    if (file == NULL) {
        printf("Error: Unable to open file '%s'.\n", fileName);
        return; // 조건문으로 복구
    }

    printf("File '%s' opened successfully.\n", file);
    fclose(file);
}

int main() {
    processFile("data.txt"); // 정상 동작
    processFile(NULL);       // assert에 의해 프로그램 종료
    return 0;
}

#include <assert.h>
#include <stdio.h>
#include <stdlib.h>

void readConfig(const char* configFile) {
    assert(configFile != NULL); // NULL 확인 (디버깅 시)

    FILE* file = fopen(configFile, "r");
    if (file == NULL) {
        printf("Error: Config file not found. Creating default config.\n");
        // 복구 가능성 제공
        file = fopen("default_config.txt", "w");
        if (file == NULL) {
            printf("Critical Error: Unable to create config file.\n");
            exit(EXIT_FAILURE); // 치명적 오류 처리
        }
    }
    fclose(file);
}

int main() {
    readConfig(NULL); // 디버깅 시 assert 작동, 프로덕션에서는 조건문 처리
    return 0;
}

#include <stdio.h>

void processInput(int input) {
    if (input < 0) {
        printf("[ERROR] Invalid input: %d. Must be non-negative.\n", input);
        return;
    }
    printf("[INFO] Processing input: %d\n", input);

    if (input % 2 == 0) {
        printf("[DEBUG] Input is even.\n");
    } else {
        printf("[DEBUG] Input is odd.\n");
    }
}

int main() {
    processInput(-5); // 오류 로그 출력
    processInput(10); // 정상 처리 로그 출력
    return 0;
}

[ERROR] Invalid input: -5. Must be non-negative.
[INFO] Processing input: 10
[DEBUG] Input is even.

#include <stdio.h>

void logToFile(const char* message) {
    FILE* logFile = fopen("log.txt", "a");
    if (logFile == NULL) {
        printf("[ERROR] Unable to open log file.\n");
        return;
    }
    fprintf(logFile, "%s\n", message);
    fclose(logFile);
}

void processInput(int input) {
    if (input < 0) {
        logToFile("[ERROR] Invalid input.");
        return;
    }
    logToFile("[INFO] Processing input.");
}

#include <assert.h>
#include <stdio.h>

void logMessage(const char* level, const char* message) {
    printf("[%s] %s\n", level, message);
}

double divide(int numerator, int denominator) {
    assert(denominator != 0); // 사전 조건 검증
    if (denominator == 0) {
        logMessage("ERROR", "Division by zero attempted.");
        return 0.0; // 복구 가능성 제공
    }
    logMessage("INFO", "Performing division operation.");
    return (double)numerator / denominator;
}

int main() {
    int num1, num2;
    printf("Enter numerator: ");
    scanf("%d", &num1);

    printf("Enter denominator: ");
    scanf("%d", &num2);

    if (num2 == 0) {
        logMessage("ERROR", "Invalid denominator value (zero).");
        printf("Cannot perform division.\n");
    } else {
        double result = divide(num1, num2);
        printf("Result: %.2f\n", result);
    }

    return 0;
}

Enter numerator: 10  
Enter denominator: 2  
[INFO] Performing division operation.  
Result: 5.00  

Enter numerator: 10  
Enter denominator: 0  
[ERROR] Invalid denominator value (zero).  
Cannot perform division.  

void logToFile(const char* level, const char* message) {
    FILE* logFile = fopen("debug.log", "a");
    if (logFile == NULL) {
        printf("[ERROR] Unable to open log file.\n");
        return;
    }
    fprintf(logFile, "[%s] %s\n", level, message);
    fclose(logFile);
}