Monday, September 22, 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. O mercado de software aplicativo: Estudo do comportamento do cliente corporativo O crescimento da indústria de software é um fato notável, fruto do desenvolvimento da tecnologia de ...
  2. A influência do capital intelectual sobre a performance dos projetos de software O sucesso de uma organização de desenvolvimento de software é altamente dependente da performance do...
  3. Edge effects in compression testing periodic cellular metal sandwich cores
  4. Fast and Private Genomic Testing for Disease Susceptibility
  5. Secure Genomic Testing with Size-and Position-Hiding Private Substring Matching

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