김상진 교수 연구실
읽는 시간 · 41초
소프트웨어 시스템 검증 및 안정성 연구
Software System Verification and Robustness Research
연구 내용
컴퓨터공학 소프트웨어의 동작을 정형화된 방식으로 검증하고, 입력 변화와 오류 상황에서도 안정적으로 동작하는 절차를 구축하는 연구
소프트웨어 시스템의 요구사항을 기능 명세로 정리하고, 테스트 케이스 생성과 성능 평가를 결합하여 검증 체계를 구성합니다. 입력 범위와 예외 상황을 체계화하여 경계 조건에서의 동작을 점검하고, 코드 변경이 결과에 미치는 영향을 추적하기 위한 회귀 검증 절차를 적용합니다. 또한 시스템의 응답 시간과 처리량을 기준으로 병목을 분석하고, 안정적 운영을 위한 모니터링 지표를 정의합니다.
관련 연구 성과
관련 논문
0편
관련 특허
0건
관련 프로젝트
0건
연구 흐름
초기에는 요구사항과 입력·출력 경계를 명확히 하여 검증 범위를 설정하고, 단위 테스트와 통합 테스트의 적용 우선순위를 결정합니다. 이후에는 경계 조건과 실패 모드를 체계적으로 확장하며 회귀 검증 체계를 강화합니다. 최근에는 성능 측정과 운영 지표를 결합하여 안정성 평가를 수행하고, 수정-검증 주기를 자동화하는 방향으로 연구를 전개합니다. 최종적으로 재현 가능한 실험과 결과 기록을 통해 유지보수성을 확보하는 연구를 수행합니다.
활용 가능성
활용 가능성은 알앤디써클 특화 AI 에이전트가 생성한 내용으로, 실제 연구 가능 여부는 연구실과의 논의가 필요합니다.
- 자동 테스트 생성
- 회귀 검증
- 경계 조건 분석
- 성능 측정 체계
- 장애 모드 분류
- 모니터링 지표 설계
- 배포 전 검증
- 코드 변경 영향 분석
- 운영 안정성 평가
- 시스템 신뢰성 개선