Den vision som ligger bakom de tredje och fjärde generationerna är att datorer kommer att göra formella prov och tester överflödiga .