Thursday, August 21, 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. Contribuições do software Winplot nos processos de ensino e de aprendizagem de funções afins e quadráticas utilizando superfícies de revolução Este trabalho apresenta a criação e aplicação de uma proposta didática abordando o ensino e aprendiz...
  2. Registros de representações semióticas no estudo de sistemas de equações de 1º grau com duas variáveis usando o software Geogebra Este estudo descreve momentos da investigação de um trabalho aplicado em uma turma de uma escola da ...
  3. Geração de dados para teste de software
  4. Targeted genetic testing for familial hypercholesterolaemia using next generation sequencing: a population-based study Background

    Familial hypercholesterolaemia (FH) is a common Mendelian condition which, untreat...
  5. OutbreakTools: a new platform for disease outbreak analysis using the R software The investigation of infectious disease outbreaks relies on the analysis of increasingly complex and...

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