데이터 프로세스 다이어그램을 분석하는 작은 사람들, 소프트웨어 용 바이너리 코드를 테스트하는 분석가