Thursday, April 17, 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 milk and cream / D.H. Nelson. 19 p. :
  2. Progress report on nondestructive testing by electromagnetic methods / by C.J. Renken. 27 p. :
  3. Testing Preorders for Probabilistic Processes can be Characterized by Simulations Transition systems are well-established as a semantic model for distributed systems with preorders ...
  4. Software Quality Assurance for Mathematical Modeling Systems With increasing importance placed on standard quality assurance methodologies by large companies and...
  5. Experiencias innovadoras universitarias con software social: reflexiones sobre la sociedad en red La presente investigación describe el escenario de aprendizaje, los resultados y conclusiones de di...

Otros recursos de la misma colección

  1. 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...
  2. 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...
  3. Ray tracing interactivo en OpenCL BVH
  4. 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,...
  5. Adaptación de arquitecturas profundas a problemas no estacionarios En Aprendizaje Automatizado, la mayoría de los métodos de análisis de datos utilizados asumen como p...

Valoración de los usuarios

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

Busque un recurso