Challenges to support automated random testing for dynamically typed languages

Abstract

Automated random testing is a proven way to identify bugs and precondition violations, and this even in well tested libraries. In the context of statically typed languages, current automated random testing tools heavily take advantage of static method declaration (argument types, thrown exceptions) to constrain input domains while testing and to identify errors. For such reason, automated random testing has not been investigated in the context of dynamically typed languages. In this paper we present the key challenges that have to be addressed to support automated testing in dynamic languages.

Enfoque para pruebas de unidad basado en la generación aleatoria de objetos

“…La mayor dificultad y desafío en la implementación de este enfoque es que la mayoría de las herramientas de testing automático aleatorio se basan en la información estática del código fuente (información de tipos). Un detalle de los desafíos que se deben afrontar para una implementación de este tipo de herramientas fue detallada por Ducasse [DOB11] cuando analizó la implementación de posibles bindings para YETI (ver 7.2.11). Si bien la implementación para YETI sigue otro enfoque, los problemas son muy similaes.…”