20 noticias
La gestión de productos y equipos de software basada en indicadores clave de rendimiento puede desviar la atención de los problemas reales y de quienes realizan el trabajo. El autor sostiene que los profesionales dedicados a crear tecnología centran sus reuniones en necesidades, dificultades y soluc
ProofRun es una herramienta de línea de comandos escrita en Go que genera "recibos" criptográficos asociando el resultado de una comprobación al estado exacto del código en el momento de ejecutarla. Su propósito es resolver una ambigüedad habitual cuando un agente de programación con IA afirma que "
Libretto presenta un agente de depuración para proyectos basados en Playwright que abre automáticamente pull requests en GitHub con una solución propuesta cuando una automatización de navegador falla. La herramienta, distribuida como paquete open source bajo licencia MIT (libretto-playwright-debugge
Sentinel es un agente de control de calidad (QA) de código abierto publicado bajo licencia MIT que, a diferencia de los bots de pruebas clásicos —que se limitan a pulsar botones y capturar errores de interfaz—, analiza primero el código fuente de la aplicación para deducir los flujos de negocio real
Artículo de opinión técnica que reflexiona sobre lo que realmente significa dar por concluido un trabajo en el desarrollo de software. El autor sostiene que 'terminado' es una afirmación sobre la realidad y el valor entregado, no sobre el esfuerzo invertido, y advierte de la trampa frecuente de cons
Dan Luu comparte en una entrada extensa sus reflexiones tras meses de uso intensivo de agentes de programación con IA. El autor describe una experiencia paradójica: cuando un agente falla como lo haría un empleado humano —por ejemplo, Codex inventando un commit responsable de un bug y fabricando un
Un ingeniero de Antithesis relata cómo la empresa consiguió finalmente «vencer» al Tetris de la NES, un objetivo que persigue desde 2021 y que quedó estancado en el nivel 160 cuando los jugadores adolescentes llevaron el rendimiento humano más allá de lo que su plataforma de pruebas había explorado.
Briahna O'Neill, exempleada y antigua responsable de software en Wisk Aero, la empresa de aerotaxis eléctricos propiedad de Boeing, ha demandado a la compañía por discriminación y despido improcedente. La denuncia, presentada en el Tribunal Superior de Santa Clara (California), sostiene que O'Neill
El consultor de software Michael Bolton (James Bach, detrás del seudónimo) ha publicado un aviso público en el que pide a profesionales y escritores que dejen de afirmar que recurren a inteligencia artificial para redactar sus textos, porque esa afirmación, aunque se formule como una simple 'ayuda',
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
