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 que te pueden interesar

  1. Behaviour change intervention for smokeless tobacco cessation: its development, feasibility and fidelity testing in Pakistan and in the UK Background: People of South Asian-origin are responsible for more than three-quarters of all the smo...
  2. TESTING AND MODELING A VANE EXPANDER USED IN AN ORC WORKING WITH HEXAMETHYLDISILOXANE (MM) Peer reviewed
  3. Epoxy thermoplastic pavement marking material : specification and testing. Mode of access: Internet.
  4. Development and Testing of a Boolean Obsolescence Assessment Tool for Built Environment Asset Systems Purpose: The purpose of this paper is to address the need for further development of tools that coul...
  5. Increasing the intent to receive a pandemic influenza vaccination: testing the impact of theory-based messages OBJECTIVE: Vaccination is an effective preventive measure to reduce influenza transmission, especial...

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.