기사 목록

인용문

PIE 모델

랜덤 테스트

인용문

콜록QAQ는 거의 두 달 동안의 방학을 겪고 마침내 사회의 독살(외로움)을 견디지 못하고 학교 수업으로 돌아왔다.

PIE 모델

그럼 IE 모델은 무엇일까요?PIE모델을 이해하기 전에, 우리는 우리 프로그램원들이 깊이 이해하도록 명령한 버그를 깊이 이해해야 한다.버그 유형:
Fault: 코드를 잘못 쓴 것과 같은 소프트웨어에 정적 결함이 있습니다.
Error: 소프트웨어가 실행될 때fault에서 오류가 발생하는 중간 상태로 실행됩니다.
Failure: Error가 소프트웨어 외부에 전송되지 않아 사용자나 테스트 인원이 실효 행위를 관측할 수 있습니다.
천서를 듣는 느낌이 들지 않아요?
프로그램에서: 예를 들어 for(i=0;i<3;i++)의 i=0이 i=1로 잘못 맞았습니다. 이런 오류가 바로 Fault입니다.
Fault 코드가 있으면 실행 중에 해당하는 Error가 발생합니다.다음 코드는 i=0, i=1로 치면 s=2+3(정상상황: i=0, s=1+2+3)Fault로 인한 s계산 오류를 나타냅니다. 이런 s계산 오류는 Error입니다.즉 i=1은 s=2+3이라는 누산 오류를 초래한다.

length = args.length
s=0
for(int i =1;i<length;i++):
	s+=args[i]
return s

Fault:i=1이 Error:s=2+3을 초래하면 코드가 계속 실행되면 평균수average의 결과 오류가 발생합니다. average의 계산 오류는 출력, 즉 Failure에 표시됩니다.만약 input가 (0,1,1,3)일 때 오류가 발생했지만 출력에 계산 오류가 나타나지 않으면 Failure가 존재하지 않습니다.
PLE 모델의 정의를 다시 한 번 볼게요.
PIE 모델의 세 가지 필수 조건:
(1) Execution/Reachability: 잘못된 코드를 통해 실행해야 함
(2) Infection: 오류 코드를 실행할 때 오류의 중간 상태를 촉발해야 합니다
(3) Propagation: 잘못된 중간 상태가 마지막 출력으로 전파되어 관측된 출력 결과와 예상 결과가 일치하지 않으면 효력을 상실합니다.PIE모델은 실제적으로 코드가 Fault에 실행되고 감염되면 Error가 발생하고 전파(출력)하며 우리는 Failure의 실효 행위를 관측할 수 있다.이것이 바로 PIE 모델이다.

시험

자신이 상술한 자세를 파악하고 있는지 알아보려면 아래의 문제를 독립적으로 완성하세요
가능한 한 간단한 프로그램 P를 구성하고(Fualts:F1과 F2 두 개 포함), t1, t2, t3를 동시에 구성하여

t1이 F1에 단독으로 실행되고 Failure 발견;

t2는 F2에 단독으로 실행되고 Failure를 발견합니다.

t3는 F1과 F2에 동시에 실행되며 F1에 오류가 발생할 수 있지만 Failure가 없습니다.//자세한 설명을 표시하십시오