Dispositivo de prueba, método y medio legible por ordenador para obtener un plan de casos de pruebas cualificados a partir de una base de datos de casos de pruebas.

Se describen un dispositivo de prueba conectado a una base de datos de casos de pruebas que obtiene un plan de casos de prueba cualificados a partir de dicha base de datos, un método y un medio legible por ordenador. El dispositivo de prueba consta de un módulo de reglas, otro de selección y otro de modulación. El módulo de reglas está adaptado para establecer diversas reglas de prueba. El módulo de selección está pensado para elegir un caso de prueba adecuado que cumpla los requisitos de una regla de prueba en particular y para seleccionar casos de prueba adecuados para cada regla de prueba. El módulo de selección está también adaptado para confeccionar un diagrama de decisión binario de los casos de prueba adecuados. El módulo de modulación está adaptado para obtener el plan de casos de prueba cualificados correspondiente al diagrama de decisión binario; dicho plan comprende al menos un caso de prueba adecuado

Dispositivo de prueba, método y medio legible por ordenador para obtener un plan de casos de pruebas cualificados a partir de una base de datos de casos de pruebas.

Antecedentes de la invención

La presente invención hace referencia a un dispositivo de prueba, un método y un medio legible por ordenador; específicamente, se trata de un dispositivo de prueba, un método y un medio legible por ordenador para obtener un plan de casos de pruebas cualificados a partir de una base de datos de casos de pruebas.

En el desarrollo de cualquier software existe una etapa de prueba del prototipo de software. El empleado utiliza métodos de prueba convencionales para elegir los casos de pruebas adecuados entre una base de datos de casos de pruebas, así como para estructurar los casos de pruebas correspondientes en un conjunto cualificado de casos de pruebas. Otro método consiste en desarrollar un caso de prueba específico sólo para ese software. No existe un sistema capaz de generar automáticamente casos de pruebas cualificados en función de las distintas necesidades.

Si tomamos como ejemplo la elección de casos de pruebas adecuados por parte del empleado, es posible que, debido a cuestiones subjetivas o descuidos, los casos elegidos no satisfagan a la perfección los requisitos de las condiciones de prueba, dando lugar a un resultado fallido de ésta. Para mejorar la exactitud del método anterior, es necesario disponer de una gran cantidad de personal y de tiempo. Por otra parte, el desarrollo de casos de pruebas específicos para ese software en concreto requiere la participación de ingenieros de prueba experimentados. Todas estas circunstancias incrementan la dificultad y el coste de las pruebas.

El software convencional para efectuar pruebas de protocolos de comunicaciones suele consistir simplemente en un software de apoyo de un paquete de software comercial, y apenas puede emplearse para probar software complejo configurado para protocolos de comunicaciones.

Por tanto, para el sector sigue siendo necesario encontrar una manera de diseñar sistemas que permitan generar casos de pruebas automáticamente según los distintos requisitos del software.

El principal objetivo de esta invención consiste en proporcionar un aparato de prueba conectado a una base de datos de casos de prueba para seleccionar un plan de casos cualificados a partir de dicha base de datos. El dispositivo de pruebas consta de un módulo de reglas, uno de selección y otro de modulación. El módulo de reglas está configurado para establecer diversas reglas de prueba. El de selección está configurado para seleccionar los casos de pruebas adecuados en función de cada una de las reglas de prueba, así como para obtener un diagrama de decisión binario de los casos de pruebas adecuados. El de modulación está configurado para seleccionar un plan de casos de pruebas cualificados según el diagrama de decisión binario; dicho plan de casos de pruebas cualificados contiene al menos un caso de prueba adecuado.

Otro de los objetivos de esta invención consiste en proporcionar un método de prueba para seleccionar un plan de casos de pruebas cualificados a partir de una base de datos de casos de pruebas. El método de prueba consta de los pasos siguientes: establecimiento de diversas reglas de prueba, selección de los casos de pruebas adecuados en función de cada una de las reglas y obtención de un diagrama de decisión binario de los casos de pruebas correspondientes; el plan de pruebas cualificado contendría al menos un caso de prueba adecuado.

Sin embargo, otro de los objetivos de esta invención es el de proporcionar un medio legible por ordenador para guardar un programa informático que ejecute un método para elegir un plan de casos de pruebas cualificados a partir de una base de datos de casos de pruebas; dicho método de prueba consta de los pasos siguientes: establecimiento de diversas reglas de prueba, selección de los casos de pruebas adecuados en función de cada una de las reglas, obtención de un diagrama de decisión binario a partir de los casos de pruebas adecuados y selección de un plan de casos de pruebas cualificados en función del diagrama de decisión binario; el plan de casos de pruebas cualificados contendría al menos un caso de prueba adecuado.

Los detalles técnicos y las realizaciones preferidas implementadas para esta invención se describen en los párrafos siguientes que acompañan a los dibujos adjuntos, con el fin de que aquellas personas que posean conocimientos sobre este campo puedan apreciar bien las características de la invención reivindicada.

Breve descripción de los dibujos

La Fig. 1 es la primera realización de la presente invención;

La Fig. 2 es un diagrama de decisión binario para seleccionar casos de pruebas cualificados;

La Fig. 3 es la segunda realización de la presente invención; y

La Fig. 4 es la tercera realización de la presente invención.

Descripción de la realización preferida

La presente invención puede elegir automáticamente un plan de casos de pruebas cualificados a partir de una base de datos de casos de pruebas. Dicha base de datos se compone de diversos casos de pruebas para adecuarse a los distintos requisitos de prueba de diversos objetos.

La Fig. 1 muestra la primera realización de la presente invención, que consiste en un dispositivo de prueba formado por un módulo de reglas 101, un módulo de selección 103, un módulo de modulación 105 y un módulo de feedback 107. El dispositivo de prueba se conecta a una base de datos de casos de pruebas 109, formada por diversos casos de pruebas. Asimismo, la Fig. 2 muestra un diagrama de decisión binario para la selección de casos de pruebas cualificados, y contiene tres subdiagramas de decisión binarios que se indican por separado como subdiagramas 202, 204 y 206.

El módulo de reglas 101 define la expresión binaria de los casos de pruebas que se encuentran en la base de datos 109. En la presente realización aplica una expresión binaria de seis dígitos para representar a los distintos casos de pruebas. Por ejemplo, el caso de prueba 21 de la base de datos 109 se representa como 010101, y se índica como ruta 2022 en el subdiagrama 202. Según ese mismo principio, el primer bit de la expresión binaria de seis dígitos significa 2⁰, el segundo 2¹, y el sexto bit 2⁵. Por tanto, esta expresión binaria de seis dígitos puede representar a 64 casos de pruebas. Si se incrementa el número de casos de pruebas, la expresión binaria también incrementará sus bits digitales para adaptarse a los requisitos. Para el resto de los casos de pruebas se utilizan formatos universales como el TTCN-3.

El módulo de reglas 101 está también configurado para establecer diversas reglas de prueba con el fin de elegir el caso de prueba adecuado en respuesta a cada regla por parte del módulo de selección 103. A continuación, el módulo de reglas 101 elabora un diagrama de decisión binario según los casos de pruebas adecuados elegidos. El módulo de reglas 101 puede establecer cualquier número de reglas de prueba en función de las necesidades del usuario. En la realización, el módulo de reglas 101 establece las reglas de prueba, denominadas primera y segunda regla. Si tomamos como ejemplo la primera regla, ésta contiene una primera precondición que requiere un caso de prueba con el evento "T2 start", donde "T2 start" significa que el objeto debe comenzar en el momento T2. La primera regla también contiene una segunda precondición, ya que exige un caso de prueba cuyo tiempo de ejecución sea inferior a cinco segundos, y una poscondición que requiere un caso de prueba con eventos receptores "T2 timeout", donde "T2 timeout" significa que el objeto debe finalizar su cuenta atrás en el momento T2. La segunda regla sólo contiene una tercera precondición, que establece el requisito de un caso de prueba con un porcentaje de uso de la memoria inferior al 30%.

A continuación, el módulo de reglas 101 elige los casos de prueba adecuados según la primera y la segunda regla, siendo el resultado el que aparece en la tabla 1.

El subdiagrama 204 representa categorías de resultados de las pruebas, y se divide en cuatro categorías...

1. Un dispositivo de prueba que se conecta a una base de datos de casos de prueba para seleccionar un plan de casos de prueba cualificados a partir de dicha base de datos, caracterizada por comprender;

un módulo de reglas configurado para definir una expresión binaria para cada uno de los casos de prueba contenidos en la base de datos de casos de pruebas, y para establecer diversas reglas de prueba,

un módulo de selección configurado para seleccionar casos de prueba adecuados en la base de datos de casos de pruebas en función de cada una de las reglas de prueba y obteniendo un diagrama de decisión binario de los casos de prueba adecuados,

un módulo de modulación configurado para seleccionar un plan de casos de prueba cualificados con arreglo al diagrama de decisión binario, donde el plan de casos de prueba cualificados incluye al menos un caso de prueba adecuado,

un módulo de feedback configurado para reorganizar el diagrama de decisión binario con arreglo a un resultado de prueba temporal de un objeto; de tal manera que el módulo de modulación prueba el objeto al menos según uno de los casos de prueba adecuados para obtener el resultado de prueba temporal.

2. El dispositivo de prueba mencionado en la reivindicación 1, donde los casos de prueba figuran en formato TTCN-3.

3. El dispositivo de prueba mencionado en la reivindicación 1, donde el caso de prueba temporal se halla en formato XML.

4. Un método de prueba para seleccionar un plan de casos de prueba cualificados a partir de una base de datos de casos de prueba, caracterizado por comprender los pasos siguientes;

definición de una expresión binaria para cada uno de los casos de prueba contenidos en la base de datos de casos de prueba,

establecimiento de diversas reglas de prueba,

selección de casos de prueba adecuados en la base de datos de casos de prueba en función de cada una de dichas reglas,

obtención de un diagrama de decisión binario de los casos de prueba adecuados,

selección de un plan de casos de prueba cualificados con arreglo al diagrama de decisión binario, incluyendo dicho plan al menos un caso de prueba adecuado,

prueba del objeto al menos con arreglo a uno de los casos de prueba adecuados para obtener un resultado de prueba temporal,

reorganización del diagrama de decisión binario según el resultado de prueba temporal.

5. El método de prueba mencionado en la reivindicación 4, donde los casos de prueba se encuentran en formato TTCN-3.

6. El método de prueba mencionado en la reivindicación 4, donde el caso de prueba temporal se halla en formato XML.

7. Un medio legible por ordenador que guarda un programa informático para ejecutar un método de selección de un plan de casos de prueba cualificados a partir de una base de datos de casos de prueba, caracterizado por comprender los pasos siguientes;

definición de una expresión binaria para cada uno de los casos de prueba contenidos en la base de datos de casos de prueba,

establecimiento de diversas reglas de prueba,

selección de un caso de prueba adecuado en la base de datos de casos de prueba según cada una de las reglas de prueba,

obtención de un diagrama de decisión binario de los casos de prueba adecuados,

selección de un plan de casos de prueba cualificados con arreglo al diagrama de decisión binario, incluyendo dicho plan al menos un caso de prueba adecuado,

prueba del objeto al menos con arreglo a uno de los casos de prueba adecuados para obtener un resultado de prueba temporal,

reorganización del diagrama de decisión binario en función del resultado de prueba temporal.

8. El medio legible por ordenador mencionado en la reivindicación 7, donde los casos de prueba se hallan en formato TTCN-3.

9. El medio legible por ordenador mencionado en la reivindicación 7, donde el resultado de prueba temporal se halla en formato XML.