Herramienta de generación de casos de prueba
Csmith es una herramienta de generación de casos de prueba. Puede generar programas aleatorios en C que se ajustan estática y dinámicamente al estándar C99. Se utiliza para probar compiladores, analizadores estáticos y otras herramientas que procesan código C. Es un analizador de fuzzing de compiladores de C gratuito, de código abierto y con licencia permisiva desarrollado por investigadores de la Universidad de Utah. Anteriormente se llamaba Randprog . [1]
Enlaces externos
- Página web de Csmith de la Universidad de Utah
- yarpgen: Otro generador de programas aleatorios, yarpgen es un generador de programas aleatorios en C/C++
Referencias
- ^ Yang, Xuejun; Chen, Yang; Eide, Eric; Regehr, John (2011). "Encontrar y comprender errores en compiladores de C". Actas de la 32.ª conferencia ACM SIGPLAN sobre diseño e implementación de lenguajes de programación - PLDI '11 . pág. 283. CiteSeerX 10.1.1.225.1281 . doi :10.1145/1993498.1993532. ISBN . 9781450306638.
