11 noticias
Los reductores de casos de prueba son herramientas de depuración capaces de reducir automáticamente un fichero de entrada —código fuente, datos de configuración, cualquier texto— hasta conservar únicamente la versión mínima que reproduce un error. Funcionan combinando un programa, una entrada grande
Los agentes de IA, en el momento de escribir este artículo, suelen ser malos escribiendo tests: las pruebas que generan tienden a ser vagas, crípticas, excesivamente complicadas, chapuceras, desorganizadas, tautológicas, performativas, superficiales o directamente inútiles. El autor, Jason Swett, at
Un desarrollador llamado Shenli ha publicado en GitHub un nuevo proyecto que permite a agentes de IA diseñar y ejecutar pruebas automatizadas para sistemas distribuidos y con estado. El sistema consiste en dos 'skills' o habilidades que generan planes de prueba en formato Markdown e informes de hall
Este artículo explora una técnica prometedora para mejorar la calidad del código generado por modelos de lenguaje grandes (LLMs) como Claude y Codex: el uso de 'oráculos ejecutables' para restringir sus grados de libertad. Actualmente, los LLMs pueden generar código impresionante en tareas muy espec
Antithesis ha lanzado 'Bombadil', una nueva herramienta experimental para automatizar las pruebas basadas en propiedades de interfaces de usuario web. La herramienta, disponible desde ahora, explora y valida automáticamente la corrección de las propiedades de la UI, con el objetivo de detectar error
Un nuevo método llamado 'Golden Sets' busca mejorar la evaluación y el control de calidad en sistemas de inteligencia artificial, especialmente aquellos con comportamiento probabilístico. Según Ryan Setter, de heavythoughtcloud.com, los 'Golden Sets' no son simples conjuntos de datos, sino coleccion
La Integración Continua (CI) es una práctica fundamental en el desarrollo de software que automatiza las comprobaciones después de cada commit de código. Contrariamente a la creencia popular, el verdadero valor de la CI reside en su capacidad para *fallar*. El objetivo principal no es que pase, sino
La empresa tldraw ha decidido trasladar su conjunto de pruebas (test suite) desde el repositorio de código abierto tldraw/tldraw a un repositorio de código cerrado. Esta decisión, anunciada recientemente en GitHub, afecta a aproximadamente 327 archivos de prueba, incluyendo pruebas unitarias, de int
En el desarrollo de software, especialmente en grandes proyectos como los de Microsoft, existe un proceso interno llamado "Escrow" (Depósito en custodia) que asegura la calidad y estabilidad de un producto antes de su lanzamiento final (RTM - Release to Manufacturing). Es un concepto poco conocido f
Antítesis, una empresa especializada en pruebas de software, ha desarrollado una técnica innovadora para integrar código C++ de un solo hilo con código Rust de múltiples hilos y asíncrono. Esta integración es crucial para su fuzzer, una herramienta que busca vulnerabilidades en software mediante la
Este artículo reflexiona sobre la importancia de las pruebas de software, basándose en la experiencia del autor en diversos entornos, desde el desarrollo de comercio electrónico hasta la industria aeroespacial. Inicialmente, el autor cuestiona la efectividad de las pruebas automatizadas, especialmen
