--------------------------------------------------- SITIO DE TEST | DSPACE v7.6.5 ---------------------------------------------------

The FTCRL Reference Guide (for Version 1.0)

Miniatura

Archivos

FTCRLreferenceGuide1.pdf (637.47 KB)

Fecha

2014-08

Autores

Título de la revista

ISSN de la revista

Título del volumen

Editor

Resumen
In this document we present a language called Fastest Test Case Re nement Language (FTCRL). FTCRL is a general method for translating abstract test cases produced by Fastest into a set of programs of some programming language.

Palabras clave

FASTEST, Software test, test cases

Citación

URI

http://hdl.handle.net/2133/3740

Colecciones

Ingeniería de Software - Reportes Técnicos