Saturday, January 31, 2015

 

 



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 que te pueden interesar

  1. Selección genética de plantas elites de palma aceitera, utilizando software SELEGEN REML/BLUP La palma aceitera es uno de cultivos de la Amazonía Peruana, que genera en los inversionistas mayor ...
  2. ActivAR. Software para calcular la actividad clínica en pacientes con Artritis Reumatoide La valoración de la actividad de la Artritis Reumatoide en consultas diarias por medio de un índice ...
  3. Efectos de los videos subtitulados presentados en DVD y con software especializado en el reconocimiento auditivo de palabras
  4. Dating violence and sexually transmitted disease/HIV testing and diagnosis among adolescent females ABSTRACT. Objective. Previous studies demonstrate significant associations between dating-violence v...
  5. Formal methods for accelerated development of telecommunications software In this paper we summarize our experience in building new generation formal methods-based CASE tools...

Otros recursos de la misma colección

  1. Modelo y simulación de Redes de Petri con el formalismo DEVS Existen en la actualidad una gran variedad de formalismos matemáticos para el modelado y simulación ...
  2. Sobre el papel de la acetilcolina en la memoria operativa La necesidad de comprender los mecanismos de memoria y aprendizaje es más apremiante a medida que au...
  3. Refinamiento a JAVA de casos de prueba abstractos generados por Fastest, un sistema de testing automatizado Fastest
  4. Formalización de la aritmética de TLA+ en el asistente de pruebas Isabelle TLA+ es un lenguaje para especificar sistemas distribuidos y concurrentes. Está basado en una lógica...
  5. Posicionamiento automático de etiquetas en grafos La ubicación de etiquetas en posiciones convenientes es un problema frecuente dentro del proceso de...

Valoración de los usuarios

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

Busque un recurso