Una Herramienta de Simulacin para Validar Software

Resumen. En el presente trabajo se presenta una herramienta de software desarrollada con

el fin de generar casos de prueba para validar software, utilizando para ello Tcnicas de Simulacin. El prototipo ofrece dos alternativas: generar casos de prueba para Sistemas Transaccionales basados en la Web, y casos de prueba para Sistemas Convencionales. En este ltimo caso, aplicando Tcnicas de Prueba de Caja Negra. Para validar el prototipo diseado, se han seleccionado sistemas de ambos tipos, para los que se generaron los casos de prueba utilizando el prototipo y en forma manual, con el fin de comparar los resultados obtenidos. En ambos casos, se evalu la rapidez en el proceso de generacin; la exactitud y precisin en los datos de prueba generados. Los resultados demostraron que los datos de prueba generados de manera automtica se obtuvieron ms rpidamente, se acercaron ms a los valores reales, y estuvieron libres de errores. Palabras Claves: Validacin de Software Simulacin Generacin de Datos de Prueba.

1 Introduccin
Los proyectos de desarrollo de software han padecido tradicionalmente problemas de calidad, tanto en el propio proceso de desarrollo como en los productos que entregan. Esta problemtica tiene su origen en las habituales desviaciones de plazos y esfuerzo sobre los valores previstos y en la frecuente aparicin de fallos durante la implantacin y operacin de los productos resultantes. El primer problema pone de manifiesto una falta de calidad en el proceso de gestin de los proyectos software: cuanto menor es sta, peor es el grado de adherencia a los plazos y esfuerzos previstos. El segundo problema indica falta de calidad de los productos desarrollados: cuanto menor es sta, mayor es el nmero de defectos y, consecuentemente, mayor ser el nmero de fallos que aparecern durante la ejecucin del software. Una de las causas de falla en el producto software es que ste no cumple con los requisitos establecidos por el cliente. Una forma de detectar esta falencia es a travs de las pruebas de validacin del software. Las pruebas constituyen el ltimo bastin desde el que se puede evaluar la calidad y, de forma ms pragmtica, descubrir los errores. La aplicacin adecuada de los mtodos y de las herramientas, las revisiones tcnicas formales efectivas y una slida gestin y medicin, conducen a la calidad, que se confirma durante las pruebas. Como lo enuncia Pressman [1]: Miller relaciona la prueba del software con la garanta de calidad al establecer que la motivacin subyacente de la prueba de programas es confirmar la calidad del software con mtodos que se pueden aplicar de forma econmica y efectiva, tanto a grandes como a pequeos sistemas. La evaluacin de un sistema software es una tarea compleja, porque requiere de la generacin y recoleccin de numerosos datos de prueba. En la actualidad, la generacin de estos, en la mayora de los casos debe realizarse en forma manual; o si existen datos histricos, suele ocurrir que no estn digitalizados, y si lo estn deben

seleccionarse manualmente para realizar las pruebas. Todo este proceso puede mejorarse si se utiliza una herramienta de soporte automtico. Esta le permitira a los generadores de casos de prueba ahorrar tiempo y minimizar los errores en los que pudiera incurrir. Para Naylor [2], el fundamento racional para usar la simulacin en cualquier disciplina (sea econmica o investigacin de operaciones) es la bsqueda constante del hombre por adquirir conocimientos relativos a la prediccin del futuro. La simulacin es utilizada, en la mayora de los casos, para simular el funcionamiento de un sistema software. En tal sentido, en este trabajo se propone la aplicacin de mtodos de simulacin para generar los datos de entrada al software que se desea validar. Estos mtodos tienen la ventaja de ser ms controlados y precisos; y adems, minimizan los riesgos y los costos. Para ello, se desarroll una Herramienta de Simulacin que toma como entrada los parmetros necesarios para simular los datos de entrada al sistema que se pretende validar. En las secciones siguientes se presentan algunos antecedentes de generacin de datos de prueba en forma automtica, una descripcin de la herramienta de software que se propone para generar datos de prueba con tcnicas de simulacin y la descripcin del proceso de validacin de la herramienta, los resultados obtenidos y las conclusiones al que se arrib en el trabajo.

2 Planteamiento del Problema

Los proyectos de desarrollo de software han padecido tradicionalmente problemas de calidad, tanto en el propio proceso de desarrollo como en los productos que entregan. Esta problemtica tiene su origen en las habituales desviaciones de plazos y esfuerzo sobre los valores previstos y en la frecuente aparicin de fallos durante la implantacin y operacin de los productos resultantes. El primer problema pone de manifiesto una falta de calidad en el proceso de gestin de los proyectos software: cuanto menor es sta, peor es el grado de adherencia a los plazos y esfuerzos previstos. El segundo problema indica falta de calidad de los productos desarrollados: cuanto menor es sta, mayor es el nmero de defectos y, consecuentemente, mayor ser el nmero de fallos que aparecern durante la ejecucin del software. Una de las causas de falla en el producto software es que ste no cumple con los requisitos establecidos por el cliente. Una forma de detectar esta falencia es a travs de las pruebas de validacin. En este trabajo se trata de resolver unos de los aspectos que forman parte de la prueba de validacin de un software, como lo es la obtencin de datos de prueba. El problema aparece a raz de una dificultad, esta se origina a partir de una necesidad. En esta investigacin, podemos identificarlas: Dificultad: Cuando se requiere realizar pruebas de validacin de un software se necesita contar con datos de prueba que representen los valores que las diferentes variables del software pueden tomar y realizar las combinaciones necesarias para poder validarlo. De esta forma, se puede determinar si el software cumple con los requerimientos establecidos por el cliente. El problema radica en que en la mayora de los casos, la generacin de datos de prueba se realiza en forma manual, lo que implica un mayor tiempo de trabajo, incremento de costo y esfuerzo; adems no se contempla la probabilidad de ocurrencia de las variables sometidas a prueba. Por

ejemplo, si se quisiera validar un software comercial, se puede querer conocer qu productos se venden, entonces conociendo la distribucin de probabilidad y la probabilidad asociada, en base a datos histricos, se pueden generar datos de prueba a partir de simular el comportamiento de la variable de inters. Necesidad: Se requiere contar con una herramienta que genere de manera automtica los datos necesarios para realizar las pruebas de validacin, de manera de poder completar el desarrollo del software en el tiempo estipulado y sobre todo, que el producto obtenido se ajuste a los requisitos funcionales. La hiptesis planteada en esta investigacin es la siguiente Es posible desarrollar una herramienta de simulacin que permita generar datos de prueba, para validar un software, de manera ms adecuada que las tcnicas manuales? Lo que se pretende es proporcionar una herramienta de software que, mediante tcnicas de simulacin, genere datos de prueba, para validar una aplicacin de software.

3 Antecedentes
En la revisin bibliogrfica realizada se han encontrado pocos antecedentes de simuladores que generen datos de prueba para validar software. Como ejemplos, podemos citar: En el rea de los Sistemas de Aprendizaje Adaptativos (SAA), en [3] se presenta una herramienta de simulacin, llamada Simulog, que permite simular el comportamiento de estudiantes mediante la generacin de archivos Log, que son similares a los Log producidos por estudiantes reales que utilizan un sistema adaptativo hipermedial. En el caso de los Sistemas de Base de Datos, podemos mencionar los siguientes generadores de datos de prueba: Generador de Datos para SQL (forSQL Data Generator) 1.0: segn [4] es un generador automtico de datos de prueba para validar sistemas de bases de datos de gran escala. Este crea un proyecto que contiene informacin acerca de la base de datos, tablas y campos. Es necesario seleccionar los campos de prueba y los mtodos de llenado a utilizar para esos campos. No slo funciona con un nico servidor, el programa tambin puede trabajar con varios servidores usando ODBC (Open DataBase Connectivity). Otra caracterstica es la capacidad de llenar campos usando varios mtodos diferentes que van desde valores aleatorios hasta llenarlos con datos reales desde plantillas. Adems, posee la particularidad de crear automticamente la informacin acerca de la estructura de la base de datos, y las llaves primarias y secundarias; lo cual simplifica considerablemente la configuracin de la base de datos. EMS Data Generator 2005 para MySQL, DB2, Servidor SQL, PostgreSQL o Internase/Firebird: en [5] se describe a cada uno como un utilitario para generar datos de prueba a tablas de bases de datos MySQL, DB2, Servidor SQL, PostgreSQL o Internase/Firebird, segn corresponda. La aplicacin asistente permite definir tablas y campos para generar datos, configurar valores de rangos, generar campos de tipo carcter por mscara, cargar valores desde archivos para campos de tipo objetos binarios (BLOB), obtener listas de valores desde consultas SQL y muchas otras

caractersticas ms para generar datos de prueba de manera simple y directa. Tambin provee una aplicacin consola, que permite generar datos de un "clic" usando plantillas de generacin. GenerateData es una aplicacin online que permite generar datos aleatorios. En [6] se presenta la interfaz del software a travs de la cual se pueden introducir nombres, nmeros de telfono, direcciones de correo electrnico, las ciudades, estados, provincias, comarcas, fechas, direcciones, rangos de nmeros, cadenas alfanumricas y mucho ms. Adems, se puede exportar los datos generados en XML, Excel, HTML, CSV o SQL. Tambin, es posible ingresar datos de ubicacin de los pases Canad, EE.UU., Pases Bajos y el Reino Unido (estado, provincia o distrito). Todos los ejemplos citados, se caracterizan por generar datos de prueba para software especficos y en forma aleatoria. A diferencia de estos simuladores, lo que aqu se propone es una herramienta que permita generar datos de prueba para cualquier tipo de software, en distintos tipos de formatos y utilizando las tcnicas de simulacin.

4 Objetivos
4.1 Objetivos Generales Proporcionar a los desarrolladores de software una herramienta de simulacin, que permita generar datos de prueba para validar distintos tipos de software. Contribuir a mejorar la gestin de calidad de un producto software. 4.2 Objetivos Especficos Construir una herramienta de simulacin para validar software que permita: Agilizar la generacin de datos de prueba. Disminuir errores humanos relacionados con la generacin de datos de prueba en forma manual. Reproducir, con un buen nivel de aproximacin, las variables de entrada del software que se valida.

5 Descripcin de la Herramienta
Con el propsito de dar solucin al problema planteado se ha desarrollado una herramienta de simulacin que genera datos de prueba. Los mismos podrn ser de tipo Log de Transacciones o datos de prueba generados siguiendo las tcnicas de Caja Negra (Particin de Equivalencia o Anlisis de Valores Lmites). Los datos de prueba se generan a partir del ingreso de las caractersticas de las variables a simular. En este sentido, se ingresan como datos de entrada a la herramienta, los valores necesarios dependiendo del tipo de generacin de datos de prueba a realizar (Log de Transacciones o Tcnicas de Caja Negra). Con estos datos

de entrada ingresados, se determina el algoritmo a aplicar en la generacin de los datos de prueba, ya que cada caso requiere un tratamiento particular. El modelo de negocio de la herramienta se puede observar en la Fig.1. Las funciones previstas para la misma son las descriptas a continuacin: Ingreso de parmetros: permite el ingreso de las caractersticas de la simulacin y de cada uno de los datos a validar. Se procesan los parmetros generales de la simulacin (nombre de la simulacin, tipo de prueba, tipo de archivo de salida, cantidad de datos y cantidad de registros para el caso de la prueba de Log de transacciones). Adems, posibilita el ingreso de los datos a ser validados: nombre, tipo de valor y de dato. Para las pruebas convencionales, se ingresa el tipo de prueba y la condicin de entrada. Para las pruebas del log de transacciones, el mtodo de generacin con sus correspondientes parmetros y dependencia. Generacin de Pruebas Convencionales: lleva a cabo la generacin de los datos para las pruebas convencionales, utilizando alguna de las Tcnicas de prueba de Caja Negra: Particin de Equivalencias o Anlisis de Valores Lmites. Para ello, se generan las clases de equivalencias vlidas e invlidas. A partir de ellas, se obtienen los casos de prueba siguiendo la especificacin detallada en los requisitos funcionales que se adjuntan en el Anexo. Con los datos de prueba obtenidos, se genera un archivo de salida de acuerdo al especificado en el ingreso de los parmetros de simulacin. Generacin de Pruebas para Log de Transacciones: realiza la generacin de datos de prueba para un log de transacciones a partir de alguno de estos mtodos: Transformada Inversa para variables discretas, Binomial, Poisson, Pascal, Uniforme (para variables continuas y discretas), Transformada Inversa para variables continuas, Exponencial, Gamma y Normal. Si existe dependencia entre datos, se genera el valor a partir de las caractersticas de dependencia ingresadas. De acuerdo al tipo de archivo ingresado en la carga de los parmetros de simulacin, se genera un archivo de salida que contiene los datos de prueba simulados. Generacin de Reportes: permite brindar al usuario reportes a partir de las caractersticas de la simulacin y de los datos involucrados en cada prueba.

Fig.1. Modelo de negocio de la herramienta de simulacin.

5.1 Generacin de Log de Transacciones Si se requiere la generacin de datos de prueba de tipo Log de Transacciones, se ingresa en primera instancia el nombre de la simulacin, el cual la identificar, el tipo de archivo de salida, el tipo de archivo de prueba (en esta ocasin es log de transacciones), la cantidad de datos a simular y la cantidad de registros del log de transacciones a generar. En la Fig.2 se puede visualizar la pantalla que presenta la herramienta de software para carga de los parmetros de la simulacin.

Fig.2. Carga de parmetros de simulacin para log de transacciones.

Con estos datos, el software de simulacin solicitar el ingreso de las caractersticas de cada uno de los datos a validar. Para ello, se ingresa el nombre del dato, tipo de dato (variable o constante), en el caso de ser variable se indica el tipo (numrica discreta, numrica continua, cualitativa o lgica), la distribucin de probabilidad a la que responde el comportamiento de la variable (Binomial, Poisson, Exponencial, Uniforme discreta o continua, Transformada Inversa para variables continuas o discretas, Pascal, Normal y Gamma, etc.), o si el comportamiento de la variable no se puede aproximar a una distribucin de probabilidad, se indica entonces la probabilidad de ocurrencia para cada uno de los posibles valores que toma la variable. Tambin se debe indicar si existe dependencia funcional de la variable que se genera con respecto a otra, explicitando tal dependencia. En la Fig.3 se puede ver la pantalla para la carga de estos datos que presenta la herramienta.

Fig.3. Carga de caractersticas de los datos de simulacin para log de transacciones.

5.2 Generacin de Archivo de Prueba Convencional En este caso, el software de simulacin solicita el ingreso del nombre de la simulacin, el tipo de archivo de salida, el tipo de archivo de prueba (para este caso es convencional) y la cantidad de datos a simular. En la Fig.4 se puede observar la pantalla de ingreso de datos para la generacin de casos de prueba en sistemas convencionales. Un vez ingresados estos datos, el software de simulacin procede a pedir, para cada dato a simular, el ingreso de: nombre del dato, tipo de dato (variable o constante), en el caso de ser variable se indicar su tipo (numrica, cualitativa, lgica o fecha), la Tcnica de Caja Negra a aplicar, con las correspondientes condiciones de entrada. Si se trata de la tcnica Particin de Equivalencias, se indican las opciones de rango, valor especifico, elementos de un conjunto y condicin lgica. Para el caso de la Tcnica de Anlisis de Valores Lmites, se indica el rango y nmero de valores. En la Fig.5 se puede observar la pantalla para la carga de estos datos que presenta la herramienta de simulacin.

Fig.4. Carga de parmetros de simulacin para sistemas convencionales.

Fig.5. Carga de caractersticas de los datos de simulacin para prueba de sistema convencional.

Con estos datos, el software de simulacin genera los datos de prueba. Otra caracterstica a destacar es que el usuario de la herramienta de simulacin puede seleccionar, segn los requerimientos del software a validar, el formato en el cual desea que se generen los datos de prueba. Estos formatos pueden ser: archivos de texto (.txt), documento Word (.doc), planilla de clculo Excel (.xls), o tabla de Base de Datos (.mdb).

6 Evaluacin de la Herramienta
Para comprobar el logro de los objetivos planteados en esta investigacin, se generaron datos de prueba, en forma manual y utilizando la herramienta, para los dos tipos de sistemas antes mencionados. En ambos casos, se evaluaron las variables: rapidez en la generacin de los datos de prueba, exactitud y precisin. Los indicadores a considerados para estas variables fueron: Rapidez: tiempo insumido en el proceso de generacin de los casos de prueba. Exactitud: cantidad de errores cometidos en la generacin de los datos de prueba. Precisin: Nivel de aproximacin a valores reales. Partiendo de las opciones que ofrece la herramienta de simulacin: generacin de archivo de prueba log de transacciones para Sistemas Web, y generacin de archivo de prueba para sistemas convencionales; para validar la herramienta desarrollada, se seleccionaron casos de estudio para los dos tipos de sistemas. Se realizaron tres experimentos, en los cuales se generaron datos de prueba en forma manual y utilizando la herramienta de simulacin. Para la generacin de archivo de prueba de log de transacciones, se trabajo con dos Sistemas Web: Sistema de Deteccin Automtica del Perfil de Colaboracin de Estudiantes en Entornos Web Educativos. En este caso se trabaj a partir de la investigacin realizada en [7]. Sistema de Deteccin de Estilos de Aprendizajes. Se extrajeron datos basados en la investigacin realizada en [8]. Para los dos sistemas, se estudi la funcionalidad y se determinaron los datos de entrada del software a validar, para los cuales era necesaria la generacin de datos de prueba. En este sentido, se identific primero el mtodo de generacin (con sus parmetros) a travs del cual se obtendran los datos de prueba para cada dato de entrada. Adems, se determin si exista dependencia funcional entre los datos. Para la generacin de archivo de prueba para Sistemas Convencionales se opto por el Sistema de Gestin de Trazadoras del Plan Nacer de Santiago del Estero. Para este caso, se utilizaron las caractersticas de trazadoras descriptas en [9]. Los datos de entrada a este sistema fueron validados a travs del mtodo de Particin de Equivalencias que forma parte de la tcnica de generacin de datos de prueba de Caja Negra. Para ello, se identificaron las condiciones de entrada del sistema a validar y, a partir de estas, las clases de equivalencias de datos vlidos, no vlidos o errneos. Tambin, se determin si exista dependencia funcional entre los datos de entrada.

Luego, se procesaron los resultados obtenidos tanto en forma manual como utilizando la herramienta de simulacin, para los tres casos de estudio, a fin de poder evaluar la herramienta en funcin de las tres variables de anlisis: Rapidez: Tiempo de generacin de los datos de prueba. Exactitud: Cantidad de errores cometidos en la generacin de los datos de prueba. Precisin: Mtrica de precisin aplicada a los datos de prueba generados, comparados con valores reales (histricos de entrada al sistema). Para evaluar las variables Exactitud y Precisin se tuvo en cuenta lo que se describe a continuacin: Evaluacin para Log de Transacciones: Para computar el valor de la Exactitud se aplic la siguiente mtrica, que es una adaptacin de la mtrica recall, presentada en Gena [10] utilizada para evaluar Sistemas Adaptativos: Exactitud = TP / TP+FN Donde TP es el nmero total de datos de prueba generados y se calcula a partir del producto de la cantidad de atributos por la cantidad de registros del log de transacciones. FN es el nmero de datos de prueba con errores. Se obtiene a partir de la suma de los valores errneos de cada atributo. Se consider error, si para algn atributo se gener un valor distinto a los valores posibles para cada dato. Para calcular la Precisin se utiliz la mtrica que a continuacin se describe, que es una adaptacin de la mtrica de precisin, de Gena [10], utilizada para evaluar Sistemas Adaptativos: Precisin = TP / TP+FP Donde TP es el nmero total de datos de prueba generados. El valor obtenido para TP es el mismo que se calculo para la Exactitud. FP es el nmero de datos de prueba faltantes e irrelevantes. En este caso, se consider irrelevante aquellos datos de prueba generados en un porcentaje mayor al especificado por la probabilidad de ocurrencia del dato, siempre que la generacin del mismo est sujeta a una distribucin de probabilidad. Evaluacin para Archivo de Prueba Convencional: Para evaluar la Exactitud se utiliz la misma frmula que para log de transacciones, con la diferenciacin de que FN se corresponde con las clases de equivalencias no generadas. Para obtener el valor de la Precisin se utiliz la misma frmula que para log de transacciones, donde FP se comput a travs de la suma de la cantidad de datos de prueba que no se generaron o los irrelevantes para cada atributo, teniendo en cuenta las clases de equivalencia definidas. Teniendo en cuenta los resultados arrojados en las pruebas con los tres sistemas se puede concluir que con respecto a la variable Rapidez, en todas las pruebas y como se esperaba, la generacin de los casos de prueba utilizando el Software de Simulacin fue ms rpida que usando la tcnica manual. La variable Exactitud tom mayor valor para los datos de prueba obtenidos con el Software de Simulacin, ya que en todos los casos se generaron valores libres de

errores. En el caso de los datos de prueba escritos de manera manual, en casi todas las pruebas se cometieron errores en la asignacin de valores a los atributos, escribiendo valores que no eran posibles para los mismos. Esto puede deberse a diferentes factores que actan sobre las personas en el momento de realizar las pruebas, como pueden ser la distraccin o el cansancio. Por ltimo, la variable Precisin, indica que los casos de pruebas generados con la Herramienta de Simulacin se aproximan mejor a los valores reales, teniendo en cuenta la probabilidad de ocurrencia y la dependencia entre atributos, que los generados en forma manual. Para las pruebas en donde se aplic la Tcnica de Caja Negra Particin de Equivalencias, se generaron valores para todas las clases de equivalencia definidas, esto permiti cubrir todas las condiciones de entrada, tanto para valores vlidos como los no vlidos. A continuacin, se presenta la Tabla 1 que contiene un resumen con los valores de los indicadores en cada una de las pruebas realizadas:
Tabla 1: Tabla resumen de los valores arrojados por las variables de los indicadores definidos.

Rapidez Software Simulacin Prueba 11 Prueba 2 Prueba 3

2 3

Exactitud Software Simulacin 1 1 1 Tcnica Manual 0,99 0,93 0,99

Precisin Software Simulacin 0,90 0,93 1 Tcnica Manual 0,82 0,91 0,92

Tcnica Manual 110 63 85

35 17 15

En los siguientes grficos se presentan los diferentes valores que tomaron cada una de las variables en las tres pruebas realizadas: En la Fig.6 se puede visualizar el tiempo (en minutos) insumido en la generacin de los datos de prueba en forma automtica y utilizando la tcnica manual, para los tres sistemas seleccionados. En las tres pruebas, la generacin de los datos de prueba demand menos tiempo utilizando el Software de Simulacin.

1 Sistema de deteccin automtica del perfil de colaboracin de estudiantes en entornos web educativos. 2 Sistema de deteccin de estilos de aprendizaje. 3 Sistema de medicin de trazadoras del Plan Nacer de Santiago del Estero.

Fig.6. Grfico del tiempo insumido en la generacin de los datos de prueba.

La Fig.7 contiene el grfico correspondiente a la variable Exactitud de los datos de prueba. La exactitud se comput a travs de la cantidad de errores cometidos en la generacin de los datos de prueba. En las tres pruebas, la variable exactitud toma el valor 1, lo que significa que los datos generados son todos valores posibles para los atributos validados. Para el caso de la tcnica manual, los valores arrojados reflejan algn error en los valores generados, es decir que se escribi un valor no vlido para algn atributo considerado.

Fig.7. Grfico de la variable Exactitud de los datos de prueba.

La Fig.8 presenta los valores arrojados por la variable Precisin de los datos de prueba en los tres sistemas trabajados. El nivel de precisin se obtuvo a partir de la suma de la cantidad de datos faltantes ms los irrelevantes en la generacin de los datos de prueba. El grfico refleja una mayor precisin en los datos generados con la Herramienta de Simulacin, interpretndose que los datos de prueba obtenidos se asemejan, en mayor grado, a los que se pueden generar en la realidad.

Fig.8. Grfico de la variable Precisin de los datos de prueba.

7 Conclusin
Las pruebas son una etapa cara y laboriosa del proceso del software. Como consecuencia, las herramientas de prueba estn entre las primeras herramientas de software a desarrollar, lo que permitira ofrecer una serie de facilidades y una reduccin significativa del costo de las pruebas, ya que normalmente se necesita una cantidad importante de esfuerzo y tiempo para crear un conjunto de datos de prueba adecuado. En este trabajo se busc desarrollar un prototipo que, utilizando las tcnicas de simulacin, permita generar datos de prueba de manera rpida, exacta y precisa. La herramienta de simulacin posibilit obtener los datos de prueba satisfaciendo los requisitos establecidos en este trabajo y con las siguientes caractersticas: Mayor Rapidez. El tiempo insumido en la generacin de los datos de prueba con el Software de Simulacin en todas las pruebas realizadas fue menor al empleado utilizando la Tcnica Manual. Esto permite concluir que la Herramienta de Simulacin posibilit tener de manera ms rpida los datos de prueba, facilitando la correccin de errores desde etapas tempranas en el proceso de desarrollo del software. Es importante destacar que los experimentos realizados fueron para 22 registros. La generacin de un mayor nmero de casos de prueba producir un incremento exponencial del tiempo en la prueba manual; mientras que con la Herramienta de Simulacin el aumento del tiempo al aumentar los registros es poco perceptible. De forma ms Exacta. Se puede concluir que, teniendo en cuenta los valores posibles que pueden tomar los datos a validar, el Software de Simulacin no produjo errores, o sea que gener todos los valores posibles para cada atributo considerado. Con respecto a la Tcnica Manual, en algunos experimentos se cometieron errores, escribiendo valores que los atributos no pueden tomar. Esto se debe a posibles errores humanos, como ser la distraccin o cansancio, que pueden influir en el proceso de generacin de los datos de prueba, lo que adems tiene una alta probabilidad de aumentar si se incrementa el nmero de casos de prueba a generar.

Para el caso de la prueba con Particin de Equivalencias, en todas las pruebas manuales hubo alguna clase de equivalencia no generada, lo que podra llevar a errores en las pruebas, ya que en algunos casos se trato de clases de equivalencias invlidas, siendo de suma importancia el tratamiento de estos valores de manera individual. Alta Precisin toma un valor mayor en las pruebas realizadas con el Software de Simulacin que en las efectuadas de manera manual, esto significa que con la Herramienta de Simulacin se generaron valores con mayor nivel de acercamiento a lo que puede generar en la realidad, ya que se consider la probabilidad de ocurrencia de los mismos y la dependencia (para el caso de log de transacciones) entre los atributos. Para las pruebas con Particin de Equivalencias, se generaron casos de prueba irrelevantes, ya que se incluyeron clases de equivalencia ya generadas y no se consideraron algunas clases de equivalencia definidas. Con los resultados obtenidos podemos concluir que la Herramienta de Simulacin propuesta en esta investigacin, posibilita la obtencin de datos de prueba en etapas tempranas en el proceso de desarrollo, permitiendo realizar pruebas desde el comienzo del nacimiento de un software. Para los desarrolladores esto es de suma importancia, ya que la mayora de los defectos se descubren temprano en el proceso de comprobacin, dejando ms tiempo disponible para corregirlos antes que se lance la prxima versin del sistema. Otro aspecto relevante es el tiempo que insume la generacin de los datos de prueba a medida que se aumenta la cantidad de registros del archivo de prueba, ya que a mayor numero de registros a generar, el tiempo de generacin es poco perceptible. Tambin, es destacable la precisin de los datos de prueba respecto de los valores reales que pueden tomar los datos a validar, esto se debe a que la generacin de los datos de prueba se realiza utilizando las tcnicas de simulacin.

Referencias
1. Pressman, R.S. Ingeniera del Software; Un enfoque prctico. V Edicin. McGraw-Hill, Espaa, S. A. U (2002). 2. Naylor, T.H. y J.L. Balintfy y D.S. Burdick, . y Kong Chu. Tcnicas de Simulacin en Computadoras. Limusa S.A de C.V grupo Noriega Editores. Mxico (1994). 3. Bravo, J. y A. Ortigosa. Validating the Evaluation of Adaptative Systems by user Profile Simulation, en 5Th workshop of user center tesing and evaluation of systems, 5Th workshop on User-Centered Design and Evaluation of Adaptative Systems (UCDEAS2006). Dublin-Irlanda (2006). 4. SQL, EMS Data Generator. Generador de Datos para SQL (forSQL Data Generator) 1.0, http://www.freedownloadmanager.org/es/downloads/Generador_de_Datos_de_forSQL_462 55_p/ 5. EMS. EMS Data Generator 2005 para MySQL, DB2, Servidor SQL, PostgreSQL o Internase/Firebird, http://www.freedownloadmanager.org/es/downloads/generador_de_datos_de_prueba_gratis 6. Generatedata, http://generatedata.com

7. Durn, E.: Personalizacin en sistemas de aprendizaje colaborativo. Tesis Doctoral. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas, Argentina (2008). 8. Faras, R.A. Deteccin de estilos de aprendizaje mediante tcnicas de anlisis de cluster. Trabajo final de graduacin de la Licenciatura en Sistemas de Informacin. Universidad Nacional de Santiago del Estero, Facultad de Ciencias Exactas y Tecnologas. Argentina (2008). 9. Plan Nacer Santiago del Estero. Manual de trazadoras del Plan Nacer. Ministerio de Salud de la Nacin Argentina. Argentina (2007). 10. Gena, C. Methods and techniques for the evaluation of user-adaptive systems. The knowledge Engineering Review, 20(1), 1-37. Cambridge University Press. United Kingdom (2005).