| |
시험
소프트웨어 개발 과정에서는, 과실은 발달 동안에 어떤 단계에서라도 주사될 수 있다. 이것은 소프트웨어의 발달의 더 이른 단계의 검증 방법 때문에 이다 수동 이다. 그러므로 코딩 활동 동안에 개발된 부호는 코딩 활동 동안에 소개된 과실 이외에 몇몇 필요조건 과실 및 디자인 과실이, 있게 할 것 같다. 시험 동안에, 시험될 프로그램은 첫 시도의 세트로 수행되고, 첫 시도를 위한 프로그램의 산출은 프로그램이 예상되면 실행하는지 결정하기 위하여 평가된다.
따라서, 시험은 소프트웨어 기존하는 필수 조건 (i.e, 벌레) 사이 다름을 검출하고 소프트웨어 품목의 특징을 평가하기 위하여 품목 분석의 과정 이다. 이렇게, 시험은 과실을 찾아내기을 목적으로 프로그램 분석의 과정이다.
몇몇 시험 원리
- 시험은 결점 결핍, 그들의 존재를 보여줄 수 없다.
- 먼저 과실이 만들어지면, 더 값이비싸다.
- 나중에 과실이 검출되면, 더 값이비싸다.
지금 저희를 토론한다 몇몇 실험 기술을 시키십시오:
백색 상자 시험
백색 상자 시험은 프로그램을 통해 모든 경로가 각 가능한 가치로 시험된다 그것에 의하여 기술이다. 이 접근은 프로그램이 어떻게의 행동해야 하는지 약간 지식을 요구한다. 예를 들면, 당신의 프로그램이 1와 50 사이 정수 값을 받아들인 경우에, 백색 상자 시험은 지키기 위하여 모든 50 가치에 프로그램을 시험할 것입니다 각각을 위해 정확했다는 것을, 와 그 때 예상되는 것과 같이 행동했다 시험할지도 정수가 가지고 가고 모른다 격 가능한 가치를 시험하기 위하여. 전형적인 프로그램이, 가능한 순열 있을지도 모른다 자료 항의 수을 고려하면 큰 프로그램을 위해 극단적으로 곤란한 시험하는 백색 상자를 만드십시오.
백색 상자 시험은 큰 프로그램의 안전 임계 기능, 및 아래에서 토론된 비행 기록 장치 시험을 사용하여 시험된 나머지의 다량에 적용될지도 모른다. 순열의 수 때문에, 백색 상자 가치의 범위가 특별한 프로그램을 통해 프로그램에 급속하게 먹이는 예상된 행동에 예외를 벌채하는 시험 마구를 사용하여 보통, 수행된다. 백색 상자 시험은 구조상, 명확한, 열려있는 상자 시험으로 때때로 불린다.
비행 기록 장치 시험
비행 기록 장치 시험은, 를 제외하고 시험하는 백색 상자와 유사하다 보다는 오히려 각 가능한 가치를 시험해서, 선정된 가치는 시험된다. 시험의 이 유형에서는, 검사자는 프로그램이 그들에 도착한 방법 예상한 결과가이어야 하는, 그러나 필요하지 않게지 무엇 입력을 알고 있고. 비행 기록 장치 시험은 기능적인 시험으로 때때로 불린다.
비행 기록 장치 시험을 위한 첫 시도는 일반적으로 프로그램 명세가 완전하자마자 고안된다. 첫 시도는 등가 종류에 근거한다.
|
|
