테스트 - Tech | yshome

Tech로 돌아가기

2026-09-10 AI

코딩 에이전트는 검증 도구를 줘도 위험 영역을 자주 놓쳤습니다

긴 범용 스킬보다 예상 오류와 경계 사례를 짚는 짧은 맞춤 지시가 더 효과적이었습니다
- 코딩 에이전트
- 테스트
- 코드 품질
2026-09-10 Developer Tools

TLA+가 비동기 실행 순서의 반례를 배포 전에 찾습니다

동시성 버그는 작은 상태 모델과 불변 조건부터 작성하면 일반 단위 테스트의 빈틈을 줄일 수 있습니다
- TLA+
- 동시성
- 테스트