El Formal Testing (denominado por la ISO como Formal Language-Based Testing) usa extensiva e intensivamente, y de manera integrada, implementaciones (compiladores o intérpretes) de lenguages informáticos (una clase especial de lenguages formales, de ahí “Formal Testing”) en actividades de prueba. Esto permite a los ingenieros de prueba (testers) generar descripciones formales (como programas, arquitecturas, especificaciones o definiciones de procesos) con suficiente precisión para procesarlas de forma totalmente automática y generar testware.