Close
Metadata

@TechReport{SantiagoJ˙niorCrisVija:2010:CoCoAp,
               author = "Santiago J{\'u}nior, Valdivino Alexandre de and Cristi{\'a}, 
                         Maximiliano and Vijaykumar, Nandamudi Lankapalli",
                title = "Model-based test case generation using statecharts and z: a 
                         comparison and a combined approach",
          institution = "Instituto Nacional de Pesquisas Espaciais",
                 year = "2010",
                 type = "RPQ",
               number = "INPE-16677-RPQ/850",
              address = "S{\~a}o Jos{\'e} dos Campos",
             keywords = "statecharts, Z, model-based software testing, formal methods.",
             abstract = "No Instituto Nacional de Pesquisas Espaciais (INPE), pesquisadores 
                         e Engenheiros de Software t{\^e}m usado testes baseados em 
                         Statecharts j{\'a} h{\'a} algum tempo para testar software 
                         embarcado em computadores de sat{\'e}lites. Por outro lado, um 
                         grupo de pesquisadores do Centro Internacional Franco Argentino de 
                         Ciencias de la Informaci{\'o}n y de Sistemas (CIFASIS) e Flowgate 
                         Consulting t{\^e}m aplicado testes basedos em linguagem Z no 
                         escopo de testes de unidade. Ambos os grupos iniciaram uma 
                         compara{\c{c}}{\~a}o das respectivas abordagens e ferramentas e, 
                         o que se iniciou como uma compara{\c{c}}{\~a}o para compartilhar 
                         id{\'e}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{\'e}cnicas se complementam e se 
                         beneficiam uma da outra. Este Relat{\'o}rio T{\'e}cnico detalha 
                         as id{\'e}ias da compara{\c{c}}{\~a}o entre Statecharts e Z, e 
                         tamb{\'e}m a proposta combinando estas duas t{\'e}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{\'o}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.",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais} and {Universidad 
                         Nacional de Ros{\'a}rio (UNR)} and {Instituto Nacional de 
                         Pesquisas Espaciais}",
           copyholder = "SID/SCD",
             language = "en",
                pages = "70",
                  ibi = "8JMKD3MGP7W/373F9JP",
                  url = "http://urlib.net/rep/8JMKD3MGP7W/373F9JP",
           targetfile = "publicacao1.pdf",
        urlaccessdate = "2019, Dec. 14"
}


Close