Friday, October 24, 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 que te pueden interesar

  1. Experimental calibration of in-situ sampling and testing of historical masonry The mechanical characterization of existing masonry is a difficult task due to the heterogeneous and...
  2. Active testing search for point cloud matching We present a general approach for solving the point-cloud matching problem for the case of mildly no...
  3. Testing axioms for quantum theory on probabilistic toy-theories
  4. Software agents for personalized training of collaborative e-learning teachers In Computer Supported Collaborative Learning (CSCL) environments it is not enough to organize studen...
  5. From software architecture descriptions to object-oriented designs Service-Oriented Architecture (SOA) is becoming a dominant approach for developing distributed enter...

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