Monday, September 1, 2014

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía


Fastest: Automatizando el testing de software

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

  Descargar recurso

Detalles del recurso

Pertenece a: Repositorio Hipermedial UNR - Repositorio Hipermedial de la Universidad Nacional de Rosario  

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.

Autor(es): Rodríguez Monetti, Pablo - 

Id.: 55263392

Idioma: spa  - 

Versión: 1.0

Estado: Final

Tipo de recurso: info:eu-repo/semantics/bachelorThesis  -  tesis de grado  -  info:eu-repo/semantics/publishedVersion  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: info:eu-repo/semantics/openAccess

Requerimientos técnicos:  Browser: Any - 

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

Fecha de contribución: 15-abr-2014

Contacto:

Localización:


Otros recursos que te pueden interesar

  1. Testing the Diameter of Graphs We propose a general model for testing graph properties, which extends and simplifies the bounded de...
  2. Browsing and Searching Software Architectures Software architecture visualization tools tend to support browsing, that is, exploration by followin...
  3. Rapid Concurrent Software Engineering in Competitive Situations This article is an experience report on the evolutionary development process of AT Humboldt, a multi...
  4. Issues in Component-Based Software Engineering Virtual Machine Interface: Interface of a component must be designed as a virtual machine. A compone...
  5. Diversity in the Software Development Process Various methods have been proposed for building faulttolerant software in an effort to provide subst...

Otros recursos de la misma colección

  1. Obtención automática de metadatos de páginas Web para mejorar la ordenación de los resultados de una búsqueda Actualmente existe en Internet gran cantidad de información, la cual es recopilada e indexada por lo...
  2. Herramienta para Filtrado Estructural sobre Ontología Gene Ontolog La bioinformática es la aplicación de tecnologías computacionales a la gestión y al análisis de dato...
  3. Predicción de Sistemas Dinámicos con Redes Neuronales Profunda Existe una diversidad de series temporales que son objeto de estudio en múltiples disciplinas, por e...
  4. Ray tracing interactivo en OpenCL BVH
  5. Abordando el problema del anclaje de símbolos para la clasificación semiautomática de imágenes satelitales Este trabajo se sitúa en el contexto de investigación del equipo de BFO1 (bioinformatique théorique,...

Valoración de los usuarios

No hay ninguna valoración para este recurso.Sea el primero en valorar este recurso.
 

Busque un recurso