Devin.KR

경계값과 상태 전이 설계

첫 모듈의 인수 기준을 입력·권한·상태별 테스트로 전개합니다.

진도 0%

레슨

  1. 동등 분할과 경계값

    비밀번호 길이 8~64자의 유효·무효 구간과 경계를 선택합니다.

  2. 정상·오류·권한 결정표

    로그인 여부와 자원 소유자의 조합별 기대 결과를 정합니다.

  3. 로그인 상태 전이

    로그아웃·세션 만료 뒤 보호 자원 접근을 검증합니다.

  4. 테스트 케이스 리뷰

    독립적인 기대값과 사전 조건으로 누락을 찾습니다.

경계값과 상태 전이 설계 미션

앞 모듈 qa-requirements-mission solution의 spec·검사기를 보존하고 교육용 계약 v2에 따라 사례와 리뷰 문서를 추가합니다. 실제 앱은 실행하지 않습니다.

요구사항

  • 이전 spec을 유지하고 cases/cases.json에 테스트 24개 이상을 추가합니다.
  • 각 테스트에 요구사항 ID·사전 조건·입력·기대 결과·유형을 기록합니다.
  • 가입 경계 6개와 중복·공백·권한·세션 만료 조건을 포함합니다.
  • cases/contract.json의 추가 약속을 근거로 길이·권한·세션 모델을 설계합니다. 기존 spec과 검사기는 수정하지 않습니다.
  • cases/review.json에 검토 3개 이상, 보류 Q-01·Q-05와 제외 범위를 기록합니다. 사례의 실행 상태는 planned입니다.

완료 기준

  • 검사기는 경계 7·8·9·63·64·65와 정상·오류·권한·상태 전이 유형의 존재를 확인합니다.
  • 기대값을 요구사항과 대조하는 검토표에 미합의 조건이 구분되어 있습니다.
  • bash check.sh는 starter에서 실패하고 solution에서 통과합니다. 결정표 8개 조합과 사건별 trace·로그아웃·만료·복구 시퀀스를 검사합니다.
  • PASS는 문서 형식과 계산 모델 비교이며 한국어 기대 안내·저장 효과는 사람 리뷰 대상입니다. 실제 앱 검증 완료로 보고하지 않습니다.
bash check.sh
미션 시작 코드
모범 답안모범 답안 내려받기

검토 기준

  • 기대 결과를 합의한 요구사항과 연결해 설명합니다.
  • 실패 증거와 제외한 범위의 근거를 다른 사람이 재현할 수 있게 기록합니다.