Fechar
Metadados

%0 Report
%4 sid.inpe.br/mtc-m19@80/2010/02.26.14.05
%2 sid.inpe.br/mtc-m19@80/2010/02.26.14.05.47
%@ INPE-16677-RPQ/850
%A Santiago Júnior, Valdivino Alexandre de,
%A Cristiá, Maximiliano,
%A Vijaykumar, Nandamudi Lankapalli,
%@affiliation Instituto Nacional de Pesquisas Espaciais
%@affiliation Universidad Nacional de Rosário (UNR)
%@affiliation Instituto Nacional de Pesquisas Espaciais
%@electronicmailaddress valdivino@das.inpe.br
%T Model-based test case generation using statecharts and z: a comparison and a combined approach
%D 2010
%I Instituto Nacional de Pesquisas Espaciais
%C São José dos Campos
%K statecharts, Z, model-based software testing, formal methods.
%X No Instituto Nacional de Pesquisas Espaciais (INPE), pesquisadores e Engenheiros de Software têm usado testes baseados em Statecharts já há algum tempo para testar software embarcado em computadores de satélites. Por outro lado, um grupo de pesquisadores do Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas (CIFASIS) e Flowgate Consulting têm aplicado testes basedos em linguagem Z no escopo de testes de unidade. Ambos os grupos iniciaram uma comparação das respectivas abordagens e ferramentas e, o que se iniciou como uma comparação para compartilhar idéias e resultados, resultou em uma proposta de Testes Baseados em Modelos (TBM) mais ampla e efetiva, dado que se percebeu que ambas as técnicas se complementam e se beneficiam uma da outra. Este Relatório Técnico detalha as idéias da comparação entre Statecharts e Z, e também a proposta combinando estas duas técnicas mostradas anteriormente em um artigo aceito e apresentado no 11th IEEE Latin American Test Workshop (LATW'10) , o qual ocorreu em Punta del Este, Uruguai, em 2010. ABSTRACT: At Instituto Nacional de Pesquisas Espaciais (INPE - National Institute for Space Research), researchers and Software Engineers have been using Statechart-based testing for some time to test satellite computer embedded software. On the other hand, a group of researchers at Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas (CIFASIS - French Argentine International Center for Information Systems and Sciences) and Flowgate Consulting have been applying Z-based testing for unit testing. Both groups started to compare their approaches and tools and, what started as a comparison to share ideas and results, is now turning into the realization that actually both techniques complement and benefit from each other, yielding a more effective and wider Model-Based Testing (MBT) approach. This Technical Report details the ideas of the comparison between Statecharts and Z, and also the proposal combining these two techniques shown previously in a paper accepted and presented at the 11th IEEE Latin A merican Test Workshop (LATW'1O) that took place in Punta del Este, Uruguay, 2010.
%P 70
%@language en
%9 RPQ
%3 publicacao1.pdf


Fechar