Este proyecto trata sobre la automatización y extensión del Test Template Framework (TTF). El TTF es un método de testing basado en modelos (MBT) especialmente orientado a testing de unidad a partir de especificaciones Z. Aunque el TTF es un método sólido y fue ampliamente estudiado desde su primera publicación, la comunidad de MBT fue perdiendo interés en él. Nosotros creemos que esto se debió, al menos en parte, a la falta o dificultad aparente en dotarlo de un apoyo herramental. De hecho, algunos han sugerido que la generación de casos de prueba abstractos siguiendo el TTF es una actividad manual que requiere que los usuarios manipulen predicados complejos. La intención de este proyecto es mostrar que estas conclusiones son al menos dudosas, implementando una herramienta, llamada Fastest. Fastest no solo es capaz de producir automáticamente casos de prueba abstractos sino que además podrá cubrir las necesidades de la comunidad Z en relación a herramientas de MBT.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Cristiá, Maximiliano

Servicio de Difusión de la Creación Intelectual

Soporte Herramental para elTest Template FrameworkMaximiliano Cristia´CIFASIS-UNR y Flowgate ConsultingRosariocristia@cifasis-conicet.gov.arResumenEste proyecto trata sobre la automati-zacio´n y extensio´n del Test Template Frame-work (TTF). El TTF es un me´todo de testingbasado en modelos (MBT) especialmente ori-entado a testing de unidad a partir de especi-ficaciones Z. Aunque el TTF es un me´todoso´lido y fue ampliamente estudiado desde suprimera publicacio´n, la comunidad de MBTfue perdiendo intere´s en e´l. Nosotros creemosque esto se debio´, al menos en parte, a la faltao dificultad aparente en dotarlo de un apoyoherramental. De hecho, algunos han sugeri-do que la generacio´n de casos de prueba ab-stractos siguiendo el TTF es una actividadmanual que requiere que los usuarios manip-ulen predicados complejos. La intencio´n deeste proyecto es mostrar que estas conclu-siones son al menos dudosas, implementandouna herramienta, llamada Fastest. Fastest nosolo es capaz de producir automa´ticamentecasos de prueba abstractos sino que adema´spodr´ıa cubrir las necesidades de la comunidadZ en relacio´n a herramientas de MBT.Palabras clave: testing basado en mod-elos, test template framework, notacio´n Z,FastestContextoEl proyecto se desarrolla en el Centro In-ternacional Franco-Argentino de Ciencias dela Informacio´n y de Sistemas (CIFASIS) yen la empresa Flowgate Consulting. Hasta elmomento el financiamiento ha provenido ensu mayor´ıa de Flowgate Consulting. Flowgateobtuvo parte del dinero para este proyecto atrave´s de un ANR otorgado por FONTAR.Por otro lado, durante los cuatro an˜os quellevamos en este proyecto hemos interactuadocon investigadores y profesionales de INVAP(Argentina), The Open University (Gran Bre-tan˜a), Instituto Nacional de Pesquisas Espa-ciais (INPE, Brasil), Instituto de Aerona´uticay Espac¸o (IAE, Brasil) y Altran Praxis (GranBretan˜a), con alguno de los cuales hemos re-alizado publicaciones conjuntas.Introduccio´nEl testing basado en modelos (MBT) esuna te´cnica ma´s o menos madura orientadaa generar casos de prueba de un programaanalizando su especificacio´n formal [12, 9], co-mo se muestra en la Figura 1. Estas te´cnicas1han sido desarrolladas y aplicadas a especifi-caciones escritas en diferentes notaciones for-males como Z [11], ma´quinas de estados fini-tos y sus extensiones [8], B [10], especifica-ciones algebraicas [1], etc. La hipo´tesis fun-damental detra´s del MBT es que dado queun programa es correcto si verifica su especi-ficacio´n, entonces esta es una fuente excelentepara obtener casos de prueba.ModeloProgramaCasos abstractosCasos concretosSalida concretaSalida abstractaRefinementoAbstracciónProgramaciónGeneración VerificaciónEjecución EjecuciónFigura 1: A general description of the MBTprocess.Stocks y Carrington introdujeron unme´todo de MBT basado en especificacionesZ llamado Test Template Framework (TTF)[11] que da una sema´ntica particular al pa-so “Generacio´n” de la Figura 1. El TTFapunta principalmente al testing de unidad.Nuestro grupo fue el primero en desarrollaruna herramienta, llamada Fastest, que au-tomatiza casi por completo el TTF [5, 3, 2].Adema´s podemos asegurar que es la primeraimplementacio´n abiertamente disponible deun me´todo de MBT para la comunidad Z.Una de las ventajas importantes del TTFpara los usuarios de Z es que todos los con-ceptos importantes (clases de prueba, casosde prueba abstractos, etc.) se expresan en Z.Segu´n el TTF: (i) las especificaciones detests se estructuran en a´rboles de testing, loscuales se generan aplicando ta´cticas de test-ing; (ii) los a´rboles de prueba deben ser po-dados para evitar especificaciones de tests in-satisfacibles; y (iii) se deben derivar casos deprueba abstractos solo de las hojas de losa´rboles una vez podados. Todas estas activi-dades requieren complejas manipulaciones depredicados y esquemas Z que Fastest autom-atiza casi por completo.Como parte de nuestro trabajo de in-vestigacio´n hemos aplicado Fastest a varioscasos de estudio en colaboracio´n con insti-tutos de investigacio´n o empresas. En par-ticular trabajamos con investigadores delINPE en la aplicacio´n de Fastest a prob-lemas del a´rea aeroespacial [6]. Tambie´nhemos hecho lo propio con con el a´rea desistemas de INVAP e investigadores de IAEpero sin generar una publicacio´n cient´ıficaespec´ıfica (se pueden ver los resultados enhttp://www.flowgate.net/pdf/reports.tar.gz). Estos resultados incluyen la for-malizacio´n en Z de una porcio´n no trivial delesta´ndar aeroespacial ECSS-E-70-41A [7] ala cual se le aplico´ Fastest lo que nos per-mitio´ descubrir limitaciones y fijar nuevosdesaf´ıos.L´ıneas de Investigacio´n yDesarrolloActualmente estamos trabajando en lossiguientes sub-proyectos.Traduccio´n de casos de prueba alenguaje naturalLos casos de prueba abstractos generadospor Fastest son pa´rrafos de texto Z, es de-cir texto formal. Si bien esta descripcio´n deun caso de prueba es u´til para automatizar eltesting, requiere que los ingenieros involucra-dos en el proyecto sepan leer Z. En proyec-tos donde se requiere verificacio´n independi-2ente esto puede ser un problema dado quelos expertos externos pueden no saber Z. Aldetectar este problema hemos comenzado atrabajar en un me´todo semi-automa´tico detraduccio´n de los casos de prueba abstrac-tos generados por Fastest a lenguaje natu-ral [4]. Este sub-proyecto lo llevamos a cabointeractuando con investigadores del a´rea delingu¨´ıstica computacional de The Open Uni-versity. El me´todo propuesto entra dentro dela categor´ıa de generacio´n de lenguaje naturalbasada en plantillas.Refinamiento de casos de pruebaComo dijimos ma´s arriba, el TTF trata es-encialmente sobre el paso “Generacio´n” de laFigura 1; los autores originales no incluyeronen su trabajo el resto de los pasos del procesode MBT. Nosotros hemos extendido el TTFcompletando el proceso de MBT. En particu-lar hemos trabajado en la automatizacio´n delpaso “Refinamiento” graficado en la Figura1. En efecto, los casos de prueba generadospor Fastest son abstractos en el sentido deque esta´n escritos en lenguaje Z. En u´ltimainstancia el propo´sito del MBT es testear unprograma, por lo que los casos escritos en Zno son completamente u´tiles. Por esta razo´nes necesario refinarlos al nivel del programa.Esto significa traducirlos de Z al lenguaje deprogramacio´n en el cual este´ escrito el progra-ma. Para tal fin hemos definido un lenguajede refinamiento de casos de prueba (TCRL)mediante el cual se pueden escribir reglas derefinamiento independientes del lenguaje deprogramacio´n. Adema´s, implementamos uninte´rprete de ese lenguaje con una arquitec-tura tal que permite de manera sencilla refi-nar los casos a diferentes lenguajes de progra-macio´n.Aplicacio´n y transferencia tec-nolo´gicaNuestro objetivo de ma´xima es crear unatecnolog´ıa que sea u´til en la industria. Hastael momento el testing funcional es una tareapra´cticamente manual siendo automa´ticas so-lo sus etapas ma´s sencillas (ba´sicamente laejecucio´n de casos de prueba). En consecuen-cia gran parte de nuestro trabajo consiste envalidar continuamente nuestros avances me-diante la aplicacio´n de Fastest a casos realestomados de la industria.En estos momentos estamos trabajandocon la empresa Nemo Group (Argentina)para testear sus principales aplicaciones Ja-va. Adema´s, trabajamos en conjunto con in-genieros de Altran Praxis (Gran Bretan˜a)en la definicio´n de nuevas funcionalidadesde Fastest de manera tal de adecuar la her-ramienta a sus necesidades.Formacio´n de Recursos Hu-manosAlgunos de los miembros del equipo sondocentes del Departamento de Ciencias dela Computacio´n (DCC) de la Facultad deCiencias Exactas, Ingenier´ıa y Agrimensu-ra (FCEIA) de la Universidad Nacional deRosario (UNR); el resto son estudiantes ograduados de la Licenciatura en Ciencias dela Computacio´n (LCC) del DCC.Hasta el momento cuatro tesinas de gra-do se han desarrollado dentro del marco delproyecto. Cabe aclarar que estos estudiantesfueron becados por el grupo por lo que en al-gunos casos se les exigio´ un trabajo que nor-malmente excede la complejidad y longitudde una tesina de grado.3Referencias[1] Gilles Bernot, Marie Claude Gaudel, andBruno Marre. Software testing basedon formal specifications: a theory and atool. Softw. Eng. J., 6(6):387–405, 1991.[2] Maximiliano Cristia´, Pablo Albertengo,and Pablo Rodr´ıguez Monetti. Fastest:a model-based testing tool for the Z no-tation. In Franco Mazzanti and Gianlu-ca Trentani, editors, PTD-SEFM, pages3–8. Consiglio Nazionale della Ricerche,Pisa, Italy, 2010.[3] Maximiliano Cristia´, Pablo Albertengo,and Pablo Rodr´ıguez Monetti. Pruningtesting trees in the test template frame-work by detecting mathematical contra-dictions. In Jose´ Luis Fiadeiro and Ste-fania Gnesi, editors, SEFM, pages 268–277. IEEE Computer Society, 2010.[4] Maximiliano Cristia´ and Brian Plu¨ss.Generating natural language descrip-tions of z test cases. In John D. Kelleher,Brian Mac Namee, Ielka van der Sluis,Anja Belz, Albert Gatt, and AlexanderKoller, editors, INLG. The Associationfor Computer Linguistics, 2010.[5] Maximiliano Cristia´ and Pablo Ro-dr´ıguez Monetti. Implementing andapplying the Stocks-Carrington frame-work for model-based testing. In KarinBreitman and Ana Cavalcanti, editors,ICFEM, volume 5885 of Lecture Notesin Computer Science, pages 167–185.Springer, 2009.[6] Maximiliano Cristia´, Valdivino Santia-go, and N.L. Vijaykumar. On comparingand complementing two MBT approach-es. In Fabia´n Vargas and Erika Cota, edi-tors, LATW, pages 1–6. IEEE ComputerSociety, 2010.[7] ECSS. Space Engineering – GroundSystems and Operations: Telemetry andTelecommand Packet Utilization. Tech-nical Report ECSS-E-70-41A, EuropeanSpace Agency, 2003.[8] Wolfgang Grieskamp, Yuri Gurevich,Wolfram Schulte, and Margus Veanes.Generating finite state machines fromabstract state machines. In ISSTA’02: Proceedings of the 2002 ACM SIG-SOFT international symposium on Soft-ware testing and analysis, pages 112–122, New York, NY, USA, 2002. ACM.[9] Robert M. Hierons, Kirill Bogdanov,Jonathan P. Bowen, Rance Cleaveland,John Derrick, Jeremy Dick, Marian Ghe-orghe, Mark Harman, Kalpesh Kapoor,Paul Krause, Gerald Lu¨ttgen, AnthonyJ. H. Simons, Sergiy Vilkomir, Martin R.Woodward, and Hussein Zedan. Usingformal specifications to support testing.ACM Comput. Surv., 41(2):1–76, 2009.[10] Bruno Legeard, Fabien Peureux, andMark Utting. A Comparison of the BTTand TTF Test-Generation Methods. InZB ’02: Proceedings of the 2nd Interna-tional Conference of B and Z Users onFormal Specification and Developmentin Z and B, pages 309–329, London, UK,2002. Springer-Verlag.[11] P. Stocks and D. Carrington. AFramework for Specification-Based Test-ing. IEEE Transactions on SoftwareEngineering, 22(11):777–793, November1996.[12] Mark Utting and Bruno Legeard. Prac-tical Model-Based Testing: A Tools Ap-proach. Morgan Kaufmann PublishersInc., San Francisco, CA, USA, 2006.4

Soporte herramental para el Test Template Framework

SEDICI - Repositorio de la UNLP

Soporte Herramental para el
Test Template Framework
Maximiliano Cristia´
CIFASIS-UNR y Flowgate Consulting
Rosario
cristia@cifasis-conicet.gov.ar
Resumen
Este proyecto trata sobre la automati-
zacio´n y extensio´n del Test Template Frame-
work (TTF). El TTF es un me´todo de testing
basado en modelos (MBT) especialmente ori-
entado a testing de unidad a partir de especi-
ficaciones Z. Aunque el TTF es un me´todo
so´lido y fue ampliamente estudiado desde su
primera publicacio´n, la comunidad de MBT
fue perdiendo intere´s en e´l. Nosotros creemos
que esto se debio´, al menos en parte, a la falta
o dificultad aparente en dotarlo de un apoyo
herramental. De hecho, algunos han sugeri-
do que la generacio´n de casos de prueba ab-
stractos siguiendo el TTF es una actividad
manual que requiere que los usuarios manip-
ulen predicados complejos. La intencio´n de
este proyecto es mostrar que estas conclu-
siones son al menos dudosas, implementando
una herramienta, llamada Fastest. Fastest no
solo es capaz de producir automa´ticamente
casos de prueba abstractos sino que adema´s
podr´ıa cubrir las necesidades de la comunidad
Z en relacio´n a herramientas de MBT.
Palabras clave: testing basado en mod-
elos, test template framework, notacio´n Z,
Fastest
Contexto
El proyecto se desarrolla en el Centro In-
ternacional Franco-Argentino de Ciencias de
la Informacio´n y de Sistemas (CIFASIS) y
en la empresa Flowgate Consulting. Hasta el
momento el financiamiento ha provenido en
su mayor´ıa de Flowgate Consulting. Flowgate
obtuvo parte del dinero para este proyecto a
trave´s de un ANR otorgado por FONTAR.
Por otro lado, durante los cuatro an˜os que
llevamos en este proyecto hemos interactuado
con investigadores y profesionales de INVAP
(Argentina), The Open University (Gran Bre-
tan˜a), Instituto Nacional de Pesquisas Espa-
ciais (INPE, Brasil), Instituto de Aerona´utica
y Espac¸o (IAE, Brasil) y Altran Praxis (Gran
Bretan˜a), con alguno de los cuales hemos re-
alizado publicaciones conjuntas.
Introduccio´n
El testing basado en modelos (MBT) es
una te´cnica ma´s o menos madura orientada
a generar casos de prueba de un programa
analizando su especificacio´n formal [12, 9], co-
mo se muestra en la Figura 1. Estas te´cnicas
1
han sido desarrolladas y aplicadas a especifi-
caciones escritas en diferentes notaciones for-
males como Z [11], ma´quinas de estados fini-
tos y sus extensiones [8], B [10], especifica-
ciones algebraicas [1], etc. La hipo´tesis fun-
damental detra´s del MBT es que dado que
un programa es correcto si verifica su especi-
ficacio´n, entonces esta es una fuente excelente
para obtener casos de prueba.
Modelo
Programa
Casos 
abstractos
Casos 
concretos
Salida 
concreta
Salida 
abstracta
Refinemento
Abstracción
Programación
Generación Verificación
Ejecución Ejecución
Figura 1: A general description of the MBT
process.
Stocks y Carrington introdujeron un
me´todo de MBT basado en especificaciones
Z llamado Test Template Framework (TTF)
[11] que da una sema´ntica particular al pa-
so “Generacio´n” de la Figura 1. El TTF
apunta principalmente al testing de unidad.
Nuestro grupo fue el primero en desarrollar
una herramienta, llamada Fastest, que au-
tomatiza casi por completo el TTF [5, 3, 2].
Adema´s podemos asegurar que es la primera
implementacio´n abiertamente disponible de
un me´todo de MBT para la comunidad Z.
Una de las ventajas importantes del TTF
para los usuarios de Z es que todos los con-
ceptos importantes (clases de prueba, casos
de prueba abstractos, etc.) se expresan en Z.
Segu´n el TTF: (i) las especificaciones de
tests se estructuran en a´rboles de testing, los
cuales se generan aplicando ta´cticas de test-
ing; (ii) los a´rboles de prueba deben ser po-
dados para evitar especificaciones de tests in-
satisfacibles; y (iii) se deben derivar casos de
prueba abstractos solo de las hojas de los
a´rboles una vez podados. Todas estas activi-
dades requieren complejas manipulaciones de
predicados y esquemas Z que Fastest autom-
atiza casi por completo.
Como parte de nuestro trabajo de in-
vestigacio´n hemos aplicado Fastest a varios
casos de estudio en colaboracio´n con insti-
tutos de investigacio´n o empresas. En par-
ticular trabajamos con investigadores del
INPE en la aplicacio´n de Fastest a prob-
lemas del a´rea aeroespacial [6]. Tambie´n
hemos hecho lo propio con con el a´rea de
sistemas de INVAP e investigadores de IAE
pero sin generar una publicacio´n cient´ıfica
espec´ıfica (se pueden ver los resultados en
http://www.flowgate.net/pdf/reports
.tar.gz). Estos resultados incluyen la for-
malizacio´n en Z de una porcio´n no trivial del
esta´ndar aeroespacial ECSS-E-70-41A [7] a
la cual se le aplico´ Fastest lo que nos per-
mitio´ descubrir limitaciones y fijar nuevos
desaf´ıos.
L´ıneas de Investigacio´n y
Desarrollo
Actualmente estamos trabajando en los
siguientes sub-proyectos.
Traduccio´n de casos de prueba a
lenguaje natural
Los casos de prueba abstractos generados
por Fastest son pa´rrafos de texto Z, es de-
cir texto formal. Si bien esta descripcio´n de
un caso de prueba es u´til para automatizar el
testing, requiere que los ingenieros involucra-
dos en el proyecto sepan leer Z. En proyec-
tos donde se requiere verificacio´n independi-
2
ente esto puede ser un problema dado que
los expertos externos pueden no saber Z. Al
detectar este problema hemos comenzado a
trabajar en un me´todo semi-automa´tico de
traduccio´n de los casos de prueba abstrac-
tos generados por Fastest a lenguaje natu-
ral [4]. Este sub-proyecto lo llevamos a cabo
interactuando con investigadores del a´rea de
lingu¨´ıstica computacional de The Open Uni-
versity. El me´todo propuesto entra dentro de
la categor´ıa de generacio´n de lenguaje natural
basada en plantillas.
Refinamiento de casos de prueba
Como dijimos ma´s arriba, el TTF trata es-
encialmente sobre el paso “Generacio´n” de la
Figura 1; los autores originales no incluyeron
en su trabajo el resto de los pasos del proceso
de MBT. Nosotros hemos extendido el TTF
completando el proceso de MBT. En particu-
lar hemos trabajado en la automatizacio´n del
paso “Refinamiento” graficado en la Figura
1. En efecto, los casos de prueba generados
por Fastest son abstractos en el sentido de
que esta´n escritos en lenguaje Z. En u´ltima
instancia el propo´sito del MBT es testear un
programa, por lo que los casos escritos en Z
no son completamente u´tiles. Por esta razo´n
es necesario refinarlos al nivel del programa.
Esto significa traducirlos de Z al lenguaje de
programacio´n en el cual este´ escrito el progra-
ma. Para tal fin hemos definido un lenguaje
de refinamiento de casos de prueba (TCRL)
mediante el cual se pueden escribir reglas de
refinamiento independientes del lenguaje de
programacio´n. Adema´s, implementamos un
inte´rprete de ese lenguaje con una arquitec-
tura tal que permite de manera sencilla refi-
nar los casos a diferentes lenguajes de progra-
macio´n.
Aplicacio´n y transferencia tec-
nolo´gica
Nuestro objetivo de ma´xima es crear una
tecnolog´ıa que sea u´til en la industria. Hasta
el momento el testing funcional es una tarea
pra´cticamente manual siendo automa´ticas so-
lo sus etapas ma´s sencillas (ba´sicamente la
ejecucio´n de casos de prueba). En consecuen-
cia gran parte de nuestro trabajo consiste en
validar continuamente nuestros avances me-
diante la aplicacio´n de Fastest a casos reales
tomados de la industria.
En estos momentos estamos trabajando
con la empresa Nemo Group (Argentina)
para testear sus principales aplicaciones Ja-
va. Adema´s, trabajamos en conjunto con in-
genieros de Altran Praxis (Gran Bretan˜a)
en la definicio´n de nuevas funcionalidades
de Fastest de manera tal de adecuar la her-
ramienta a sus necesidades.
Formacio´n de Recursos Hu-
manos
Algunos de los miembros del equipo son
docentes del Departamento de Ciencias de
la Computacio´n (DCC) de la Facultad de
Ciencias Exactas, Ingenier´ıa y Agrimensu-
ra (FCEIA) de la Universidad Nacional de
Rosario (UNR); el resto son estudiantes o
graduados de la Licenciatura en Ciencias de
la Computacio´n (LCC) del DCC.
Hasta el momento cuatro tesinas de gra-
do se han desarrollado dentro del marco del
proyecto. Cabe aclarar que estos estudiantes
fueron becados por el grupo por lo que en al-
gunos casos se les exigio´ un trabajo que nor-
malmente excede la complejidad y longitud
de una tesina de grado.
3
Referencias
[1] Gilles Bernot, Marie Claude Gaudel, and
Bruno Marre. Software testing based
on formal specifications: a theory and a
tool. Softw. Eng. J., 6(6):387–405, 1991.
[2] Maximiliano Cristia´, Pablo Albertengo,
and Pablo Rodr´ıguez Monetti. Fastest:
a model-based testing tool for the Z no-
tation. In Franco Mazzanti and Gianlu-
ca Trentani, editors, PTD-SEFM, pages
3–8. Consiglio Nazionale della Ricerche,
Pisa, Italy, 2010.
[3] Maximiliano Cristia´, Pablo Albertengo,
and Pablo Rodr´ıguez Monetti. Pruning
testing trees in the test template frame-
work by detecting mathematical contra-
dictions. In Jose´ Luis Fiadeiro and Ste-
fania Gnesi, editors, SEFM, pages 268–
277. IEEE Computer Society, 2010.
[4] Maximiliano Cristia´ and Brian Plu¨ss.
Generating natural language descrip-
tions of z test cases. In John D. Kelleher,
Brian Mac Namee, Ielka van der Sluis,
Anja Belz, Albert Gatt, and Alexander
Koller, editors, INLG. The Association
for Computer Linguistics, 2010.
[5] Maximiliano Cristia´ and Pablo Ro-
dr´ıguez Monetti. Implementing and
applying the Stocks-Carrington frame-
work for model-based testing. In Karin
Breitman and Ana Cavalcanti, editors,
ICFEM, volume 5885 of Lecture Notes
in Computer Science, pages 167–185.
Springer, 2009.
[6] Maximiliano Cristia´, Valdivino Santia-
go, and N.L. Vijaykumar. On comparing
and complementing two MBT approach-
es. In Fabia´n Vargas and Erika Cota, edi-
tors, LATW, pages 1–6. IEEE Computer
Society, 2010.
[7] ECSS. Space Engineering – Ground
Systems and Operations: Telemetry and
Telecommand Packet Utilization. Tech-
nical Report ECSS-E-70-41A, European
Space Agency, 2003.
[8] Wolfgang Grieskamp, Yuri Gurevich,
Wolfram Schulte, and Margus Veanes.
Generating finite state machines from
abstract state machines. In ISSTA
’02: Proceedings of the 2002 ACM SIG-
SOFT international symposium on Soft-
ware testing and analysis, pages 112–
122, New York, NY, USA, 2002. ACM.
[9] Robert M. Hierons, Kirill Bogdanov,
Jonathan P. Bowen, Rance Cleaveland,
John Derrick, Jeremy Dick, Marian Ghe-
orghe, Mark Harman, Kalpesh Kapoor,
Paul Krause, Gerald Lu¨ttgen, Anthony
J. H. Simons, Sergiy Vilkomir, Martin R.
Woodward, and Hussein Zedan. Using
formal specifications to support testing.
ACM Comput. Surv., 41(2):1–76, 2009.
[10] Bruno Legeard, Fabien Peureux, and
Mark Utting. A Comparison of the BTT
and TTF Test-Generation Methods. In
ZB ’02: Proceedings of the 2nd Interna-
tional Conference of B and Z Users on
Formal Specification and Development
in Z and B, pages 309–329, London, UK,
2002. Springer-Verlag.
[11] P. Stocks and D. Carrington. A
Framework for Specification-Based Test-
ing. IEEE Transactions on Software
Engineering, 22(11):777–793, November
1996.
[12] Mark Utting and Bruno Legeard. Prac-
tical Model-Based Testing: A Tools Ap-
proach. Morgan Kaufmann Publishers
Inc., San Francisco, CA, USA, 2006.
4


Spanish

http://sedici.unlp.edu.ar/bitstream/handle/10915/20057/Documento_completo.pdf?sequence=1

Soporte herramental para el Test Template Framework

Abstract

Similar works

Full text

Available Versions

Servicio de Difusión de la Creación Intelectual

SEDICI - Repositorio de la UNLP