테스트 데이터 생성의 동적 접근법

저자는 경로 선택 단계를 제거한 테스트 데이터 생성을 위한 동적 접근법을 제시합니다. 이 접근법에서는 테스트 데이터가 테스트 중인 프로그램의 실제 실행, 동적 데이터 흐름 분석 및 함수 최소화 방법을 바탕으로 도출됩니다. 이 접근은 임의의 프로그램 입력에 대해 프로그램을 실행하는 것으로 시작됩니다. 실행된 각 분기를 위해 프로그램 실행 중에 검색 절차가 현재 분기를 계속 실행해야 할지, 아니면 대체 분기로 전환해야 할지를 결정합니다. 현재 분기에서 바람직하지 않은 실행 흐름이 관찰되면, 이 분기와 관련된 실수 함수가 정의되고, 함수 최소화 검색 알고리즘이 사용되어 이 분기에서 실행 흐름을 변경할 입력 변수의 값을 자동으로 찾습니다. 또한, 동적 데이터 흐름 분석을 사용하여 바람직하지 않은 프로그램 동작의 원인이 되는 입력 변수를 결정하여 검색 프로세스의 속도를 높입니다.