Fechar
Metadados

Tipo da ReferênciaReport
Identificador8JMKD3MGP7W/373F9JP
Repositóriosid.inpe.br/mtc-m19@80/2010/02.26.14.05   (acesso restrito)
Metadadossid.inpe.br/mtc-m19@80/2010/02.26.14.05.47
Sitemtc-m16d.sid.inpe.br
Número do RelatórioINPE-16677-RPQ/850
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoSantiagoJúniorCrisVija:2010:CoCoAp
Autor1 Santiago Júnior, Valdivino Alexandre de
2 Cristiá, Maximiliano
3 Vijaykumar, Nandamudi Lankapalli
Identificador de Curriculo1 8JMKD3MGP5W/3C9JJB5
Grupo1 DAS-CEA-INPE-MCT-BR
2 LAC-CTE-INPE-MCT-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais
2 Universidad Nacional de Rosário (UNR)
3 Instituto Nacional de Pesquisas Espaciais
Endereço de e-Mail do Autor1 valdivino@das.inpe.br
TítuloModel-based test case generation using statecharts and z: a comparison and a combined approach
Ano2010
InstituçãoInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Palavras-Chavestatecharts, Z, model-based software testing, formal methods.
ResumoNo 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.
Número de Páginas70
Idiomaen
TipoRPQ
DivulgaçãoNTRSNASA; BNDEPOSITOLEGAL.
AreaCOMP
Tamanho2447 KiB
Número de Arquivos1
Arquivo Alvopublicacao1.pdf
Última Atualização2010:05.31.12.12.02 sid.inpe.br/mtc-m19@80/2009/08.21.17.02 sergio
Última Atualização dos Metadados2019:11.29.18.42.13 sid.inpe.br/mtc-m19@80/2009/08.21.17.02 sergio {D 2010}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Endereço de e-Mailvaldivino@das.inpe.br
e-Mail (login)sergio
Grupo de Usuáriosadministrator
ricardo
valdivino
viveca@sid.inpe.br
yolanda.souza@mcti.gov.br
Grupo de Leitoresadministrator
sergio
Detentor da CópiaSID/SCD
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
Estágio do Documentonot transferred
Permissão de Leituradeny from all
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPCW/3ETR8EH
Conteúdo da Pasta source
@4primeirasPaginas_Valdivino Alexandre de Santiago Júnior_16677.pdf 15/04/2010 15:13 158.1 KiB
publicacao - abstract e resumos corrigidos.pdf 15/04/2010 15:22 88.5 MiB
publicacao.pdf 19/04/2010 13:44 88.4 MiB
Conteúdo da Pasta agreementnão têm arquivos
Histórico2010-03-04 12:54:09 :: valdivino -> yolanda ::
2010-03-08 18:29:20 :: yolanda -> viveca@sid.inpe.br ::
2010-03-08 19:11:39 :: viveca@sid.inpe.br -> yolanda ::
2010-03-08 19:16:37 :: yolanda -> valdivino ::
2010-03-08 19:19:38 :: valdivino -> yolanda ::
2010-04-08 17:00:00 :: yolanda -> valdivino ::
2010-04-08 17:13:47 :: valdivino -> yolanda ::
2010-04-19 15:18:19 :: yolanda -> ricardo ::
2010-04-19 16:48:02 :: ricardo -> viveca@sid.inpe.br ::
2010-04-27 19:28:52 :: viveca@sid.inpe.br -> administrator ::
2010-05-28 16:04:15 :: administrator -> ricardo ::
2010-05-31 12:12:02 :: ricardo -> viveca@sid.inpe.br :: 2010
2010-05-31 15:04:37 :: viveca@sid.inpe.br -> administrator :: 2010
2010-05-31 15:28:01 :: administrator -> viveca@sid.inpe.br :: 2010
2010-06-01 12:00:27 :: viveca@sid.inpe.br -> administrator :: 2010
2019-11-20 13:25:03 :: administrator -> sergio :: 2010
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyright creatorhistory date descriptionlevel doi edition format isbn issn label lineage mark nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype
Data de Acesso15 dez. 2019
atualizar 

Fechar