[ 소프트웨어 검증 ]

 일반적으로 소프트웨어 검증과 확인이 있다.

 소프트웨어가 명세서를 만족하는 지와 소프트웨어 고객의 필요성을 만족하는 지를 점검하는 일반적인 용어이다.

 전형적 검증과 검증 기술

 - 테스트 프로그램 : 시스템은 조작된 테스트 데이터를 사용해서 실행된다.

 

[ 검증 단계 ]

 

요소 검사

각각의 요소들을 독립적으로 테스트 한다.

요소 : 함수, 오브젝트 클래스, 요소 그룹의 일관성

일반적으로 사용되는 자동 테스트 도구(JUnit, CppUnit, CUnit)를 사용한다.

시스템 검사

전체적인 시스템을 테스트한다.

요소들 사이에 상호작용으로 인한 에러를 찾는다.

시스템이 서비스와 기능 외 비기능적 제약조건을 충족시키는 지 확인한다.

새롭게 도입된 시스템을 확인 한다.

승인 검사

- 실제 사용을 위해 시스템이 승인되기 전 마지막 테스트이다.

- 시스템은 조작된 테스트 데이터가 아니라 고객들에 의해 제공된 데이터로 테스트 된다.

- 고객의 요구사항을 충족하는지 확인한다.

 

[ 개발 과 테스트 ]

 일반적으로 개발과 테스트는 경계가 뚜렷하지 않다. 프로그래머는 개발하면서 지속적으로 그들의 코드를 테스트 한다.

 plan-driven process에서 테스트는 계획은 시스템 명세서와 설계 단계에서 계획되며, 독립적인 테스트 팀이 미리 만들어진 테스트 계획에 따라 작업한다.

 incremental process를 사용하면 각 단계는 개발 될 때 마다 테스트 된다.

 

[ 알파와 베타 테스트 ]

알파 테스트

· 개발자와 고객이 시스템이 요구사항을 적절하게 충족시킨 다는 것을 동의할 때까지 계속한다.

· 소수의 특정 고객을 위한 테스트이다.

베타 테스트

· 시스템이 소프트웨어 상품으로서 시장에 출시 될 때 사용한다.

· 기본 적으로 시스템을 잠재적 고객들에게 보여 준다. -> 그들은 시스템의 개발자들에게 문제점을 제출한다.

       -> 피드백 이후에 시스템은 수정되어 더 나은 베타 테스트를 진행하거나 판매를 시작 한다.

 

댓글이나 공감 남겨주는 사람 착한사람

'학사 그리고 석사 > 소프트웨어공학' 카테고리의 다른 글

Coping with change  (0) 2019.10.14
소프트웨어 진화  (0) 2019.10.14
소프트웨어 설계 및 개발  (0) 2019.10.13
프로세스 Activities  (0) 2019.10.13
Reuse-oriented software engineering  (0) 2019.10.03

+ Recent posts