1) La descarga del recurso depende de la página de origen
2) Para poder descargar el recurso, es necesario ser usuario registrado en Universia


Opción 1: Descargar recurso

Detalles del recurso

Descripción

Aún con el uso creciente de los métodos formales en el desarrollo de software, el testing de software continúa siendo la técnica dominante para verificar y validar sistemas. Con el testing basado en especificaciones, la precisión de las especificaciones formales hace del testing una actividad mucho más sistemática. Este trabajo describe el primer prototipo de Fastest, una herramienta que facilita la derivación de casos de prueba a partir de especificaciones en el lenguaje Z.

Pertenece a

Repositorio Hipermedial UNR - Repositorio Hipermedial de la Universidad Nacional de Rosario  

Autor(es)

Rodríguez Monetti, Pablo - 

Id.: 55263392

Idioma: spa  - 

Versión: 1.0

Estado: Final

Tipo de recurso: bachelorThesis  -  tesis de grado  -  publishedVersion  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: openAccess

Requerimientos técnicos:  Browser: Any - 

Relación: [References] http://www.fceia.unr.edu.ar/lcc/t523/uploads/9.pdf

Fecha de contribución: 26-sep-2014

Contacto:

Localización:

Otros recursos de la misma colección

  1. Modelo y simulación de Redes de Petri con el formalismo DEVS Existen en la actualidad una gran variedad de formalismos matemáticos para el modelado y simulación ...
  2. Sobre el papel de la acetilcolina en la memoria operativa La necesidad de comprender los mecanismos de memoria y aprendizaje es más apremiante a medida que au...
  3. Refinamiento a JAVA de casos de prueba abstractos generados por Fastest, un sistema de testing automatizado Fastest
  4. Formalización de la aritmética de TLA+ en el asistente de pruebas Isabelle TLA+ es un lenguaje para especificar sistemas distribuidos y concurrentes. Está basado en una lógica...
  5. Posicionamiento automático de etiquetas en grafos La ubicación de etiquetas en posiciones convenientes es un problema frecuente dentro del proceso de...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.