Tesis doctoral de Jose Garcia Fanjul
En los últimos años se ha detectado un importante y sostenido aumento en la inversión que las empresas dedican al desarrollo de software basado en servicios (soas). El desarrollo de soas y, especialmente, los procesos de prueba de este tipo de software plantean un reto a los ingenieros que algunos autores califican como un cambio de paradigma en la ingeniería del software. Entre los retos que deben afrontarse en los procesos de prueba cabe destacar, por ejemplo, la falta de información homogénea acerca de los servicios disponibles y el coste asociado a la ejecución de soas. Una parte muy importante de los soas existentes hoy en día son composiciones de servicios y, concretamente, aquellas especificadas utilizando el estándar bpel, que se ha convertido en un estándar de facto. en esta tesis se describe un método sistemático de generación de casos de prueba para composiciones de servicios especificadas en el lenguaje bpel. Se utiliza el comprobador de modelos spin para generar automáticamente las especificaciones de los casos. Inicialmente se expone cómo obtener un modelo de comportamiento operacional expresado en el lenguaje promela (el lenguaje de entrada de spin) a partir de la especificación de una composición de servicios expresada en bpel. A continuación en el método se aplica un criterio de suficiencia dado, lo que se traduce en la instrumentación del modelo promela y la obtención sistemática de un conjunto de requisitos de prueba. En la tesis se utilizan dos criterios de suficiencia diferentes basados en transiciones: cobertura de transiciones y cobertura de pares de transiciones adyacentes. Cada uno de los requisitos se transforma en una propiedad en lógica temporal ltl que se incluye como entrada de la herramienta spin. Al ejecutar el comprobador de modelos, se obtendrá un contraejemplo que cumple, al menos, el requisito incluido en la fórmula y que se transforma en un caso de prueba. Pa ilustrar y validar el método, se incluyen do
Datos académicos de la tesis doctoral «Generacion de casos de prueba para composiciones de servicios web«
- Título de la tesis: Generacion de casos de prueba para composiciones de servicios web
- Autor: Jose Garcia Fanjul
- Universidad: Oviedo
- Fecha de lectura de la tesis: 20/04/2007
Dirección y tribunal
- Director de la tesis
- Pablo Tuya Gonzalez
- Tribunal
- Presidente del tribunal: pere Botella lópez
- José Javier Dolado cosín (vocal)
- Miguel Toro bonilla (vocal)
- isabel Ramos roman (vocal)