논리적 사고

코드가 예시 입력을 통과하면 프로그램이 옳다는 증명도 된 걸까?

입출력 테스트와 형식 명세 증명은 어떤 다른 보장을 주는가?

코드가 예시 입력을 통과하면 프로그램이 옳다는 증명도 된 걸까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식
FVAPPS 연구를 바탕으로 LTCT가 자체 재구성했습니다. 원 논문 그림을 복제하지 않았습니다.
그림 크게 열기 ↗SVG 저장

그림에서 무엇을 볼까요?

코드가 예시 입력을 통과하면 프로그램이 옳다는 증명도 된 걸까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식

정렬 코드 테스트와 별개로 출력 순서, 입력 원소 보존, 종료 의무를 나눕니다.

예시에서 한 조건만 바뀌었는지 확인하고 본문 숫자·비교 방향과 그림의 카드가 일치하는지 대조합니다. 같은 결론도 분모나 기준 시점이 다르면 다른 주장입니다.

함께 확인할 점

arXiv v1의 특정 모델 결과이며 증명도 작성된 명세만 보장합니다.

공개본에서 확인한 범위를 넘어 저자나 참가자의 속성을 추측하지 않았고 발행일과 개정일을 구분했습니다.

생각해 볼 질문

모든 제공 테스트를 통과하면 검증된 코드인가요?

함께 볼 그림

같은 결정도 결과가 나쁘면 더 나쁜 판단으로 보일까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식같은 결정도 결과가 나쁘면 더 나쁜 판단으로 보일까?설명으로 읽은 위험과 직접 배운 위험은 같은 선택을 낳을까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식설명으로 읽은 위험과 직접 배운 위험은 같은 선택을 낳을까?위험비 하나로 두 집단의 생존 차이를 모두 설명할 수 있을까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식위험비 하나로 두 집단의 생존 차이를 모두 설명할 수 있을까?
← 논리적 사고 그림 더 보기