프로그램의 내부구조나 알고리즘을 보지 않고, 요구사항 명세서에 기술되어 있는 소프트웨어 기능을 토대로 실시하는 테스트는?