Sequential Testing Framework

• Sequential Testing Framework is a dynamic statistical method that determines sample size based on accumulating data and adapts testing procedures in real time.
• It employs techniques like SPRT and self-tuning generalized likelihood ratios to enforce precise error control with calibrated stopping rules.
• The framework achieves asymptotic optimality by minimizing expected sample size and supports adaptive designs, including computerized adaptive testing.

Sequential Testing Framework

A sequential testing framework provides statistical decision procedures in which the sample size is not fixed in advance but determined dynamically based on the incoming data and, optionally, adaptive experiment selection. This approach underlies classical sequential probability ratio tests (SPRT), modern generalized likelihood ratio (GLR) procedures, and their extensions to adaptive designs, non-parametric models, and real-time applications such as computerized adaptive testing (CAT). Contemporary sequential frameworks optimize expected sample size subject to rigorous control of type I and II error probabilities across both fixed-length and open-ended settings, and adaptively focus sampling on critical regions of uncertainty.

1. Fundamental Model and GLR Construction

Let $X_1, X_2, \ldots$ be a sequence of observations under an exponential-family model, with densities

$$f_\theta(x) = \exp\{ x\,T(x) - \psi(\theta) \},\;\;\theta\in \Theta\subset \mathbb{R}.$$

Observations may be i.i.d., or, in adaptive designs, generated according to item-specific models (e.g., in CAT, each item $j$ has $f_{\theta, j}$ and a corresponding Kullback-Leibler information $I_j(\theta, \theta')$).

The sequential test considers composite hypotheses defined via cut-points for "mastery":

$$H_0: \theta \geq \theta_+ \qquad\text{vs.}\qquad H_1: \theta \leq \theta_-,$$

with an "indifference region" $(\theta_-, \theta_+)$.

The classical SPRT utilizes the fixed-point likelihood ratio $L_k(\theta_-)/L_k(\theta_+)$. Modern frameworks generalize this to the self-tuning generalized likelihood ratio (GLR):

$$\Lambda_k = \frac{L_k(\hat\theta_k)}{L_k(\theta_{\text{ref}})},$$

where $$\hat \theta_k = \arg \max_{\theta\in \Theta} L_k(\theta)$$ is the MLE after $$f_\theta(x) = \exp\{ x\,T(x) - \psi(\theta) \},\;\;\theta\in \Theta\subset \mathbb{R}.$$0 observations, and $$f_\theta(x) = \exp\{ x\,T(x) - \psi(\theta) \},\;\;\theta\in \Theta\subset \mathbb{R}.$$1 is a context-specific reference (typically $$f_\theta(x) = \exp\{ x\,T(x) - \psi(\theta) \},\;\;\theta\in \Theta\subset \mathbb{R}.$$2 or $$f_\theta(x) = \exp\{ x\,T(x) - \psi(\theta) \},\;\;\theta\in \Theta\subset \mathbb{R}.$$3).

2. Stopping Rules and Error Control via Modified Haybittle–Peto Procedure

Sequential frameworks enforce a maximum sample size $$f_\theta(x) = \exp\{ x\,T(x) - \psi(\theta) \},\;\;\theta\in \Theta\subset \mathbb{R}.$$4 and control type-I ($$f_\theta(x) = \exp\{ x\,T(x) - \psi(\theta) \},\;\;\theta\in \Theta\subset \mathbb{R}.$$5) and type-II ($$f_\theta(x) = \exp\{ x\,T(x) - \psi(\theta) \},\;\;\theta\in \Theta\subset \mathbb{R}.$$6) error probabilities. The modified Haybittle–Peto procedure is defined as follows, with a burn-in period $$f_\theta(x) = \exp\{ x\,T(x) - \psi(\theta) \},\;\;\theta\in \Theta\subset \mathbb{R}.$$7 and tuning parameter $$f_\theta(x) = \exp\{ x\,T(x) - \psi(\theta) \},\;\;\theta\in \Theta\subset \mathbb{R}.$$8:

• For $$f_\theta(x) = \exp\{ x\,T(x) - \psi(\theta) \},\;\;\theta\in \Theta\subset \mathbb{R}.$$9 with $j$0, compute

$j$1

• Decision boundaries:
  • Reject $j$2 ("mastery") if $j$3 and $j$4,
  • Accept $j$5 ("non-mastery") if $j$6 and $j$7.
• At $j$8, declare mastery if $j$9.

Thresholds $f_{\theta, j}$0 are calibrated so that

$f_{\theta, j}$1

$f_{\theta, j}$2

$f_{\theta, j}$3

achieving exact overall error rates.

Threshold calibration is performed via Monte Carlo simulation, normal-approximation recursions, or Siegmund’s closed-form formulas.

3. Asymptotic Optimality and Theory of Sequential Experiment Selection

Define $f_{\theta, j}$4 as the random stopping time. Among all tests $f_{\theta, j}$5 that stop in $f_{\theta, j}$6 and satisfy error constraints, the modified Haybittle–Peto test achieves

$f_{\theta, j}$7

meaning no other test in this class can asymptotically achieve a lower expected sample size at any parameter value $f_{\theta, j}$8.

Extensions to adaptive experiment selection (e.g., CAT):

• At each stage, select item $f_{\theta, j}$9 informed by past data, observe $I_j(\theta, \theta')$0.
• Provided long-run item frequencies $I_j(\theta, \theta')$1 exist and all $I_j(\theta, \theta')$2 satisfy a uniform convexity bound, the modHP procedure remains asymptotically optimal in the adapted setting.
• If items fall into $I_j(\theta, \theta')$3 classes with common response models and only limiting class-frequencies $I_j(\theta, \theta')$4 need control, optimality persists.

Proofs rely on Hoeffding-type lower bounds for expected sample size and martingale CLT for GLR increments.

4. Sequential CAT Algorithmic Realization

For item pools with parameters $I_j(\theta, \theta')$5 under 3PL models,

$I_j(\theta, \theta')$6

the algorithm selects at each step $I_j(\theta, \theta')$7 the unused item $I_j(\theta, \theta')$8 maximizing chosen information index at the current ability estimate $I_j(\theta, \theta')$9:

• Fisher information $$H_0: \theta \geq \theta_+ \qquad\text{vs.}\qquad H_1: \theta \leq \theta_-,$$0,
• KL information $$H_0: \theta \geq \theta_+ \qquad\text{vs.}\qquad H_1: \theta \leq \theta_-,$$1.

After observing response $$H_0: \theta \geq \theta_+ \qquad\text{vs.}\qquad H_1: \theta \leq \theta_-,$$2, update the log-likelihood, recompute the MLE

$$H_0: \theta \geq \theta_+ \qquad\text{vs.}\qquad H_1: \theta \leq \theta_-,$$3

and check stopping-rule conditions.

5. Real-Time Adaptive Mastery Testing and Performance Benchmarking

The sequential testing protocol enables:

• Early stopping for clear mastery ($$H_0: \theta \geq \theta_+ \qquad\text{vs.}\qquad H_1: \theta \leq \theta_-,$$4) or clear non-mastery ($$H_0: \theta \geq \theta_+ \qquad\text{vs.}\qquad H_1: \theta \leq \theta_-,$$5),
• Prolonged testing within the indifference region $$H_0: \theta \geq \theta_+ \qquad\text{vs.}\qquad H_1: \theta \leq \theta_-,$$6.

The self-tuning GLR statistic $$H_0: \theta \geq \theta_+ \qquad\text{vs.}\qquad H_1: \theta \leq \theta_-,$$7 dynamically concentrates statistical information on the hardest to classify examinees.

Empirical comparison using a large test-item pool (ETS Chauncey data, 1136 items) reveals:

• Classical truncated SPRT yields inflated type-I error (≈16%, target 5%) and longer average test length.
• Modified Haybittle–Peto test (modHP) achieves error rates (α, β) exactly, and reduces average test length by 40–50% compared to fixed-length and TSPRT designs, without exceeding the maximum allowed N.
• Exposure-control and content-balancing overlays can be applied without compromising statistical validity as long as item selection remains outcome-adaptive and limiting frequencies exist.

6. Calibration, Implementation, and Robustness Considerations

Calibration of thresholds $$H_0: \theta \geq \theta_+ \qquad\text{vs.}\qquad H_1: \theta \leq \theta_-,$$8 is accomplished via:

• Monte Carlo routines: estimation of implied alternatives $$H_0: \theta \geq \theta_+ \qquad\text{vs.}\qquad H_1: \theta \leq \theta_-,$$9 for fixed-N tests and subsequent simulation to resolve target error rates.
• Normal-approximation formulas: use the signed-root statistic

$(\theta_-, \theta_+)$0

enabling efficient computation via recursion.

• Empirical choices for the burn-in $(\theta_-, \theta_+)$1 and $(\theta_-, \theta_+)$2 deliver robust practical performance.

Exposure-control/content-balancing layers can be safely added when item-selection protocols satisfy long-run frequency existence.

7. Summary of Theoretical and Practical Advances

By deploying self-tuning GLR thresholds in modified Haybittle–Peto boundaries, rigorously calibrated via simulation or analytic approximations, the modern sequential testing framework for CAT and related domains:

• Enforces exact type-I/type-II error control at pre-specified levels $(\theta_-, \theta_+)$3,
• Guarantees not to exceed user-chosen maximum test length $(\theta_-, \theta_+)$4,
• Adapts in real time to individual subject ability,
• Achieves asymptotic optimality in expected sample size among all procedures meeting the constraints,
• Demonstrates in simulation 30–50% reduction in mean sample size compared to classical and fixed-length sequential approaches, with robust empirical and analytic validation (Bartroff et al., 2011).