Tuesday, September 30, 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: 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. G-JASON : Una Implementación de un Sistema de Razonamiento Procedural (PRS) que incorpora incertidumbre Hasta el momento, las mejores implementaciones de agentes de la familia del modelo BDI (B: Belief, D...
  2. Algoritmo divisivo de clustering con determinación automática de componentes Cluster analysis es el estudio de algoritmos y métodos cuyo objetivo es encontrar una forma convenie...
  3. 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...
  4. Herramienta para Filtrado Estructural sobre Ontología Gene Ontology La bioinformática es la aplicación de tecnologías computacionales a la gestión y al análisis de dato...
  5. Predicción de Sistemas Dinámicos con Redes Neuronales Profundas Existe una diversidad de series temporales que son objeto de estudio en múltiples disciplinas, por e...

Valoración de los usuarios

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

Busque un recurso