블랙박스 테스트를 위한 입출력 관계 검증 방법
A Methodology for Input-Output Relationship Verification for Black Box Testing
초록/요약
이 논문에서는 블랙박스 테스트 예상 결과의 올바른 생성 방법에 대해 이야기 한다. 시스템에 대한 테스트는 그 결과와 비교할 예상 결과가 필요하다. 그러므로 예상 결과를 올바르게 생성하는 것은 상당히 중요하다. 그러나 tester가 직접 예상 결과를 생성하는 것은 잘못된 결과를 나을 우려가 있다. 우리는 생성된 예상 결과의 신뢰성을 높이기 위한 방법을 제안하고 이를 구현하였다. 이를 바탕으로 실제 시스템에 적용하여 신뢰성 있는 예상 결과를 생성하였다.
more초록/요약
In this paper we describe a technique for generating reliable expected results for black box testing. Tests on systems need expected results that compare the results. Hence, generating expected results correctly is very important. If a tester directly generates expected results, it is possible to generate incorrect results. We proposed and implemented the technique for reliable expected results.
more목차
제 1 장 서론 = 1
제 2 장 관련 연구 = 4
제 1 절 소프트웨어 테스트 = 4
제 2 절 임베디드 소프트웨어 = 6
제 3 절 테스트 오라클(ORACLE) = 7
제 3 장 예상 결과 생성 방법 = 9
제 1 절 예상 결과 생성 방법의 예 = 9
제 2 절 테스트가 많이 필요한 시스템에 적용할 때의 문제점 = 14
제 4 장 예상 결과의 신뢰성 향상 = 16
제 1 절 예상 결과의 신뢰성 향상을 위한 방법과 절차 = 16
제 2 절 올바른 예상 결과 생성을 위한 프로그램 구현 = 18
제 5 장 실험 = 21
제 1 절 예상 입출력 관계 기술 = 21
제 2 절 실제 입출력 관계 기술과 예상 입출력 관계와의 비교 = 24
제 3 절 정확한 입출력 관계에서 예상 결과 생성 = 27
제 6 장 결론 및 향후 과제 = 29
참고문헌 = 30
