What type of DO loop executes statements until a specified condition is met?

The type of DO loop that executes statements until a specified condition is met is the DO UNTIL loop. This loop evaluates its condition at the end of each iteration, meaning that the statements within the loop will execute at least once regardless of the condition. The loop continues to run until the specified condition is true.

For instance, if you have a variable that counts occurrences, the DO UNTIL loop will keep executing the block of code until that count reaches a predefined threshold. This behavior is particularly useful when you want to ensure that the code block runs at least once, even if the condition for terminating the loop is already true at the start.

In contrast, the DO WHILE loop checks its condition before executing the statements inside the loop; therefore, if the condition is not true at the beginning, the statements may never run. The DO-END loop is essentially a block of code that executes only once as it does not have a loop structure itself, and the Iterative DO loop is typically used to iterate a set number of times rather than based on a condition. Thus, DO UNTIL is the correct choice for executing statements until a specified condition is met.